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 …

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 …

Perfectly secure message transmission

D Dolev, C Dwork, O Waarts, M Yung - Journal of the ACM (JACM), 1993 - dl.acm.org
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 …

Algebraic approach to promise constraint satisfaction

L Barto, J Bulín, A Krokhin, J Opršal - Journal of the ACM (JACM), 2021 - dl.acm.org
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) …

Polymorphisms, and how to use them

L Barto, A Krokhin, R Willard - 2017 - drops.dagstuhl.de
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 …

The wonderland of reflections

L Barto, J Opršal, M Pinsker - Israel Journal of Mathematics, 2018 - Springer
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 …

Dynamic matching with better-than-2 approximation in polylogarithmic update time

S Bhattacharya, P Kiss, T Saranurak, D Wajc - Journal of the ACM, 2024 - dl.acm.org
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 …

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures

A Mottet, M Pinsker - Journal of the ACM, 2024 - dl.acm.org
We introduce the novel machinery of smooth approximations to provide a systematic
algebraic approach to the complexity of CSPs over finitely bounded homogeneous …

The complexity of general-valued CSPs

V Kolmogorov, A Krokhin, M Rolínek - SIAM Journal on Computing, 2017 - SIAM
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 …

Topology is irrelevant (in a dichotomy conjecture for infinite domain constraint satisfaction problems)

L Barto, M Pinsker - SIAM Journal on Computing, 2020 - SIAM
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 …