Digraph matrix partitions and trigraph homomorphisms
Discrete Applied Mathematics
On the adaptable chromatic number of graphs
European Journal of Combinatorics
An upper bound on adaptable choosability of graphs
European Journal of Combinatorics
Bounded tree-width and CSP-related problems
ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation
Advances on the list stubborn problem
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Dichotomy for tree-structured trigraph list homomorphism problems
Discrete Applied Mathematics
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Survey: Colouring, constraint satisfaction, and complexity
Computer Science Review
An asymptotically tight bound on the adaptable chromatic number
Journal of Graph Theory
Graph partitions with prescribed patterns
European Journal of Combinatorics
Hi-index | 0.00 |
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.