4 research outputs found
On the reduction of the CSP dichotomy conjecture to digraphs
It is well known that the constraint satisfaction problem over general
relational structures can be reduced in polynomial time to digraphs. We present
a simple variant of such a reduction and use it to show that the algebraic
dichotomy conjecture is equivalent to its restriction to digraphs and that the
polynomial reduction can be made in logspace. We also show that our reduction
preserves the bounded width property, i.e., solvability by local consistency
methods. We discuss further algorithmic properties that are preserved and
related open problems.Comment: 34 pages. Article is to appear in CP2013. This version includes two
appendices with proofs of claims omitted from the main articl
A finer reduction of constraint problems to digraphs
It is well known that the constraint satisfaction problem over a general
relational structure A is polynomial time equivalent to the constraint problem
over some associated digraph. We present a variant of this construction and
show that the corresponding constraint satisfaction problem is logspace
equivalent to that over A. Moreover, we show that almost all of the commonly
encountered polymorphism properties are held equivalently on the A and the
constructed digraph. As a consequence, the Algebraic CSP dichotomy conjecture
as well as the conjectures characterizing CSPs solvable in logspace and in
nondeterministic logspace are equivalent to their restriction to digraphs.Comment: arXiv admin note: substantial text overlap with arXiv:1305.203