A proof of the CSP dichotomy conjecture
D Zhuk - Journal of the ACM (JACM), 2020 - dl.acm.org
Many natural combinatorial problems can be expressed as constraint satisfaction problems.
This class of problems is known to be NP-complete in general, but certain restrictions on the …
This class of problems is known to be NP-complete in general, but certain restrictions on the …
A dichotomy theorem for nonuniform CSPs
AA Bulatov - 2017 IEEE 58th Annual Symposium on …, 2017 - ieeexplore.ieee.org
In a non-uniform Constraint Satisfaction problem CSP (Γ), where Γ is a set of relations on a
unite set A, the goal is to und an assignment of values to variables subject to constraints …
unite set A, the goal is to und an assignment of values to variables subject to constraints …
Perfectly secure message transmission
This paper studies the problem of perfectly secure communication in general network in
which processors and communication lines may be faulty. Lower bounds are obtained on …
which processors and communication lines may be faulty. Lower bounds are obtained on …
Algebraic approach to promise constraint satisfaction
The complexity and approximability of the constraint satisfaction problem (CSP) has been
actively studied over the past 20 years. A new version of the CSP, the promise CSP (PCSP) …
actively studied over the past 20 years. A new version of the CSP, the promise CSP (PCSP) …
Polymorphisms, and how to use them
Polymorphisms, and How to Use Them Page 1 Polymorphisms, and How to Use Them Libor Barto
∗1, Andrei Krokhin2, and Ross Willard †3 1 Department of Algebra, Faculty of Mathematics and …
∗1, Andrei Krokhin2, and Ross Willard †3 1 Department of Algebra, Faculty of Mathematics and …
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 ω-categorical relational …
fixed template is that pp-interpretations between at most countable ω-categorical relational …
Dynamic matching with better-than-2 approximation in polylogarithmic update time
We present dynamic algorithms with polylogarithmic update time for estimating the size of
the maximum matching of a graph undergoing edge insertions and deletions with …
the maximum matching of a graph undergoing edge insertions and deletions with …
Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures
We introduce the novel machinery of smooth approximations to provide a systematic
algebraic approach to the complexity of CSPs over finitely bounded homogeneous …
algebraic approach to the complexity of CSPs over finitely bounded homogeneous …
The complexity of general-valued CSPs
An instance of the valued constraint satisfaction problem (VCSP) is given by a finite set of
variables, a finite domain of labels, and a sum of functions, each function depending on a …
variables, a finite domain of labels, and a sum of functions, each function depending on a …
Topology is irrelevant (in a dichotomy conjecture for infinite domain constraint satisfaction problems)
The tractability conjecture for finite domain constraint satisfaction problems (CSPs) stated
that such CSPs are solvable in polynomial time whenever there is no natural reduction, in …
that such CSPs are solvable in polynomial time whenever there is no natural reduction, in …