322 research outputs found
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
Algebra and the Complexity of Digraph CSPs: a Survey
We present a brief survey of some of the key results on the interplay between algebraic and graph-theoretic methods in the study of the complexity of digraph-based constraint satisfaction problems
Maximal Digraphs With Respect to Primitive Positive Constructibility
We study the class of all finite directed graphs up to primitive positive
constructability. The resulting order has a unique greatest element, namely the
graph with one vertex and no edges. The graph has a unique greatest
lower bound, namely the graph with two vertices and one directed edge.
Our main result is a complete description of the greatest lower bounds of
; we call these graphs submaximal. We show that every graph that is not
equivalent to and is below one of the submaximal graphs
The number of clones determined by disjunctions of unary relations
We consider finitary relations (also known as crosses) that are definable via
finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite
parameter set . We prove that whenever contains at least one
non-empty relation distinct from the full carrier set, there is a countably
infinite number of polymorphism clones determined by relations that are
disjunctively definable from . Finally, we extend our result to
finitely related polymorphism clones and countably infinite sets .Comment: manuscript to be published in Theory of Computing System
- …