Name
Abstract | ||
|---|---|---|
Feder and Vardi have conjectured that all constraint satisfaction problems to a fixed structure (constraint language) are polynomial or NP-complete. This so-called dichotomy conjecture remains open, although it has been proved in a number of special cases. Most recently, Bulatov has verified the conjecture for conservative structures, i.e., structures which contain all possible unary relations. We explore three different implications of Bulatov's result. First, the above dichotomy can be extended to so-called inclusive structures, corresponding to conservative constraint satisfaction problems in which each variable comes with its own domain. (This has also been independently observed by Bulatov.) We prove a more general version, extending the dichotomy to so-called three-inclusive structures, i.e., structures which contain, with any unary relation $R$, all unary relations $R'$ for subsets $R' \subseteq R$ with at most three elements. For the constraint satisfaction problems in this generalization we must restrict the instances to so-called $1$-full structures, in which each variable is involved in a unary constraint. This leads to our second focus, which is on restrictions to more general kinds of "full" input structures. For any set $W$ of positive integers, we consider a restriction to $W$-full input structures, i.e., structures in which, for each $w \in W$, any $w$ variables are involved in a $w$-ary constraint. We identify a class of structures (the so-called $W$-set-full structures) for which the restriction to $W$-full input structures does not change the complexity of the constraint satisfaction problem, and hence the family of these restricted problems also exhibits dichotomy. The general family of three-inclusive constraint satisfaction problems restricted to $W$-full input structures contains examples which we cannot seem to prove either polynomial or NP-complete. Nevertheless, we are able to use our result on the dichotomy for three-inclusive constraint satisfaction problems, to deduce the fact that all three-inclusive constraint satisfaction problems restricted to $W$-full input structures are NP-complete or "quasi-polynomial" (of order $n^{O(\log n)}$). Our third focus deals with bounding the number of occurrences of a variable, which we call the degree. We conjecture that the complexity classification of three-inclusive constraint satisfaction problems extends to the case where all degrees are bounded by three. Using previous results, we are able to verify this conjecture in a number of special cases. Conservative, inclusive, and three-inclusive constraint satisfaction problems can be viewed as problems in which each variable is restricted to a "list" of allowed values. This point of view of lists is frequently encountered in the study of graph colorings, graph homomorphisms, and graph partitions. Our results presented here, in all three areas, were strongly motivated by these results on graphs. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1137/S0097539703427197 | SIAM J. Comput. |
Keywords | Field | DocType |
conservative constraint satisfaction problem,unary constraint,constraint language,special case,full structure,full input structure,constraint satisfaction problem,ary constraint,full constraint satisfaction problems,three-inclusive constraint satisfaction problem,unary relation,np complete problems,constraint satisfaction problems | Discrete mathematics,Constraint satisfaction,Local consistency,Combinatorics,Constraint graph,Constraint satisfaction problem,Complexity of constraint satisfaction,Constraint satisfaction dual problem,Constraint logic programming,Backtracking,Mathematics | Journal |
Volume | Issue | ISSN |
36 | 1 | 0097-5397 |
Citations | PageRank | References |
27 | 1.20 | 25 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tomás Feder | 1 | 1959 | 184.99 |
| Pavol Hell | 2 | 2638 | 288.75 |