7,037 research outputs found
The complexity of the list homomorphism problem for graphs
We completely classify the computational complexity of the list H-colouring
problem for graphs (with possible loops) in combinatorial and algebraic terms:
for every graph H the problem is either NP-complete, NL-complete, L-complete or
is first-order definable; descriptive complexity equivalents are given as well
via Datalog and its fragments. Our algebraic characterisations match important
conjectures in the study of constraint satisfaction problems.Comment: 12 pages, STACS 201
The complexity of quantified constraints using the algebraic formulation
Peer reviewedFinal Published versio
The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case
The constraint satisfaction probem (CSP) is a well-acknowledged framework in
which many combinatorial search problems can be naturally formulated. The CSP
may be viewed as the problem of deciding the truth of a logical sentence
consisting of a conjunction of constraints, in front of which all variables are
existentially quantified. The quantified constraint satisfaction problem (QCSP)
is the generalization of the CSP where universal quantification is permitted in
addition to existential quantification. The general intractability of these
problems has motivated research studying the complexity of these problems under
a restricted constraint language, which is a set of relations that can be used
to express constraints.
This paper introduces collapsibility, a technique for deriving positive
complexity results on the QCSP. In particular, this technique allows one to
show that, for a particular constraint language, the QCSP reduces to the CSP.
We show that collapsibility applies to three known tractable cases of the QCSP
that were originally studied using disparate proof techniques in different
decades: Quantified 2-SAT (Aspvall, Plass, and Tarjan 1979), Quantified
Horn-SAT (Karpinski, Kleine B\"{u}ning, and Schmitt 1987), and Quantified
Affine-SAT (Creignou, Khanna, and Sudan 2001). This reconciles and reveals
common structure among these cases, which are describable by constraint
languages over a two-element domain. In addition to unifying these known
tractable cases, we study constraint languages over domains of larger size
The wonderland of reflections
A fundamental fact for the algebraic theory of constraint satisfaction
problems (CSPs) over a fixed template is that pp-interpretations between at
most countable \omega-categorical relational structures have two algebraic
counterparts for their polymorphism clones: a semantic one via the standard
algebraic operators H, S, P, and a syntactic one via clone homomorphisms
(capturing identities). We provide a similar characterization which
incorporates all relational constructions relevant for CSPs, that is,
homomorphic equivalence and adding singletons to cores in addition to
pp-interpretations. For the semantic part we introduce a new construction,
called reflection, and for the syntactic part we find an appropriate weakening
of clone homomorphisms, called h1 clone homomorphisms (capturing identities of
height 1).
As a consequence, the complexity of the CSP of an at most countable
-categorical structure depends only on the identities of height 1
satisfied in its polymorphism clone as well as the the natural uniformity
thereon. This allows us in turn to formulate a new elegant dichotomy conjecture
for the CSPs of reducts of finitely bounded homogeneous structures.
Finally, we reveal a close connection between h1 clone homomorphisms and the
notion of compatibility with projections used in the study of the lattice of
interpretability types of varieties.Comment: 24 page
- …