43,489 research outputs found
Constraint satisfaction parameterized by solution size
In the constraint satisfaction problem (CSP) corresponding to a constraint
language (i.e., a set of relations) , the goal is to find an assignment
of values to variables so that a given set of constraints specified by
relations from is satisfied. The complexity of this problem has
received substantial amount of attention in the past decade. In this paper we
study the fixed-parameter tractability of constraint satisfaction problems
parameterized by the size of the solution in the following sense: one of the
possible values, say 0, is "free," and the number of variables allowed to take
other, "expensive," values is restricted. A size constraint requires that
exactly variables take nonzero values. We also study a more refined version
of this restriction: a global cardinality constraint prescribes how many
variables have to be assigned each particular value. We study the parameterized
complexity of these types of CSPs where the parameter is the required number
of nonzero variables. As special cases, we can obtain natural and
well-studied parameterized problems such as Independent Set, Vertex Cover,
d-Hitting Set, Biclique, etc.
In the case of constraint languages closed under substitution of constants,
we give a complete characterization of the fixed-parameter tractable cases of
CSPs with size constraints, and we show that all the remaining problems are
W[1]-hard. For CSPs with cardinality constraints, we obtain a similar
classification, but for some of the problems we are only able to show that they
are Biclique-hard. The exact parameterized complexity of the Biclique problem
is a notorious open problem, although it is believed to be W[1]-hard.Comment: To appear in SICOMP. Conference version in ICALP 201
Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming
The NP-hard general factor problem asks, given a graph and for each vertex a
list of integers, whether the graph has a spanning subgraph where each vertex
has a degree that belongs to its assigned list. The problem remains NP-hard
even if the given graph is bipartite with partition U+V, and each vertex in U
is assigned the list {1}; this subproblem appears in the context of constraint
programming as the consistency problem for the extended global cardinality
constraint. We show that this subproblem is fixed-parameter tractable when
parameterized by the size of the second partite set V. More generally, we show
that the general factor problem for bipartite graphs, parameterized by |V|, is
fixed-parameter tractable as long as all vertices in U are assigned lists of
length 1, but becomes W[1]-hard if vertices in U are assigned lists of length
at most 2. We establish fixed-parameter tractability by reducing the problem
instance to a bounded number of acyclic instances, each of which can be solved
in polynomial time by dynamic programming.Comment: Full version of a paper that appeared in preliminary form in the
proceedings of IPEC'1
Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning
We present a first theoretical analysis of the power of polynomial-time
preprocessing for important combinatorial problems from various areas in AI. We
consider problems from Constraint Satisfaction, Global Constraints,
Satisfiability, Nonmonotonic and Bayesian Reasoning under structural
restrictions. All these problems involve two tasks: (i) identifying the
structure in the input as required by the restriction, and (ii) using the
identified structure to solve the reasoning task efficiently. We show that for
most of the considered problems, task (i) admits a polynomial-time
preprocessing to a problem kernel whose size is polynomial in a structural
problem parameter of the input, in contrast to task (ii) which does not admit
such a reduction to a problem kernel of polynomial size, subject to a
complexity theoretic assumption. As a notable exception we show that the
consistency problem for the AtMost-NValue constraint admits a polynomial kernel
consisting of a quadratic number of variables and domain values. Our results
provide a firm worst-case guarantees and theoretical boundaries for the
performance of polynomial-time preprocessing algorithms for the considered
problems.Comment: arXiv admin note: substantial text overlap with arXiv:1104.2541,
arXiv:1104.556
Limits of Preprocessing
We present a first theoretical analysis of the power of polynomial-time
preprocessing for important combinatorial problems from various areas in AI. We
consider problems from Constraint Satisfaction, Global Constraints,
Satisfiability, Nonmonotonic and Bayesian Reasoning. We show that, subject to a
complexity theoretic assumption, none of the considered problems can be reduced
by polynomial-time preprocessing to a problem kernel whose size is polynomial
in a structural problem parameter of the input, such as induced width or
backdoor size. Our results provide a firm theoretical boundary for the
performance of polynomial-time preprocessing algorithms for the considered
problems.Comment: This is a slightly longer version of a paper that appeared in the
proceedings of AAAI 201
Structural Decompositions for Problems with Global Constraints
A wide range of problems can be modelled as constraint satisfaction problems
(CSPs), that is, a set of constraints that must be satisfied simultaneously.
Constraints can either be represented extensionally, by explicitly listing
allowed combinations of values, or implicitly, by special-purpose algorithms
provided by a solver.
Such implicitly represented constraints, known as global constraints, are
widely used; indeed, they are one of the key reasons for the success of
constraint programming in solving real-world problems. In recent years, a
variety of restrictions on the structure of CSP instances have been shown to
yield tractable classes of CSPs. However, most such restrictions fail to
guarantee tractability for CSPs with global constraints. We therefore study the
applicability of structural restrictions to instances with such constraints.
We show that when the number of solutions to a CSP instance is bounded in key
parts of the problem, structural restrictions can be used to derive new
tractable classes. Furthermore, we show that this result extends to
combinations of instances drawn from known tractable classes, as well as to CSP
instances where constraints assign costs to satisfying assignments.Comment: The final publication is available at Springer via
http://dx.doi.org/10.1007/s10601-015-9181-
- …