Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pattern-Based Approach to the Workflow Satisfiability Problem with
  User-Independent Constraints   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 << 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.

20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con