Skip to main content

Research Repository

Advanced Search

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

Karapetyan, Daniel; J. Parkes, Andrew; Gutin, Gregory; Gagarin, Andrei

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints Thumbnail


Authors

Gregory Gutin

Andrei Gagarin



Abstract

The fixed parameter tractable (FPT) approach is a powerful tool in tackling computationally hard problems. In this paper, we link FPT results to classic artificial intelligence (AI) techniques to show how they complement each other. Specifically, we consider the workflow satisfiability problem (WSP) which asks whether there exists an assignment of authorised users to the steps in a workflow specification, subject to certain constraints on the assignment. It was shown by Cohen et al. (JAIR 2014) that WSP restricted to the class of user-independent constraints (UI), covering many practical cases, admits FPT algorithms, i.e. can be solved in time exponential only in the number of steps $k$ and polynomial in the number of users $n$. Since usually $k less than less than n in WSP, such FPT algorithms are of great practical interest.

We present a new interpretation of the FPT nature of the WSP with UI constraints giving a decomposition of the problem into two levels. Exploiting this two-level split, we develop a new FPT algorithm that is by many orders of magnitude faster than the previous state-of-the-art WSP algorithm and also has only polynomial-space complexity. We also introduce new pseudo-Boolean (PB) and Constraint Satisfaction (CSP) formulations of the WSP with UI constraints which efficiently exploit this new decomposition of the problem and raise the novel issue of how to use general-purpose solvers to tackle FPT problems in a fashion that meets FPT efficiency expectations. In our computational study, we investigate, for the first time, the phase transition (PT) properties of the WSP, under a model for generation of random instances. We show how PT studies can be extended, in a novel fashion, to support empirical evaluation of scaling of FPT algorithms.

Citation

Karapetyan, D., J. Parkes, A., Gutin, G., & Gagarin, A. (2019). Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints. Journal of Artificial Intelligence Research, 66, 85-122. https://doi.org/10.1613/jair.1.11339

Journal Article Type Article
Acceptance Date Jul 12, 2019
Online Publication Date Sep 5, 2019
Publication Date Sep 5, 2019
Deposit Date Apr 18, 2019
Publicly Available Date Sep 5, 2019
Journal Journal of Artificial Intelligence Research
Print ISSN 1076-9757
Publisher AI Access Foundation
Peer Reviewed Peer Reviewed
Volume 66
Pages 85-122
DOI https://doi.org/10.1613/jair.1.11339
Keywords Artificial Intelligence; Computational Complexity
Public URL https://nottingham-repository.worktribe.com/output/1659650
Publisher URL https://jair.org/index.php/jair/article/view/11339
Related Public URLs https://www.jair.org/index.php/jair/about
Contract Date Apr 18, 2019

Files






You might also like



Downloadable Citations