@MISC{Feder_fullconstraint, author = {Tomás Feder and et al.}, title = {Full Constraint Satisfaction Problems}, year = {} }

Share

OpenURL

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, Bulatovhas verified the conjecture for conservative structures, i.e., structures which contain all possible unary relations.We explore three different implications of Bulatov's result. Firstly, the above dichotomy can be extended to so-called inclusive structures, corresponding to conservative constraintsatisfaction 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 dichotomyto so-called three-inclusive structures, i.e., structures which contain, with any unary relation R,all unary relations R0 for subsets R0 ` 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 leadsto 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 2 W, any w variables are involved in a w-ary constraint. Weidentify 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 containsexamples 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-fullinput structures are NP-complete or `quasi-polynomial ' (of order nO(log n)).Our third focus deals with bounding the number of occurrences of a variable, which we