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 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 …

CLAP: A new algorithm for promise CSPs

L Ciardo, S Živný - SIAM Journal on Computing, 2023 - SIAM
We propose a new algorithm for Promise Constraint Satisfaction Problems (PCSPs). It is a
combination of the Constraint Basic LP relaxation and the Affine IP relaxation (CLAP). We …

Topology and adjunction in promise constraint satisfaction

A Krokhin, J Opršal, M Wrochna, S Živný - SIAM Journal on Computing, 2023 - SIAM
The approximate graph coloring problem, whose complexity is unresolved in most cases,
concerns finding a-coloring of a graph that is promised to be-colorable, where. This problem …

Hierarchies of minion tests for PCSPs through tensors

L Ciardo, S Živný - Proceedings of the 2023 Annual ACM-SIAM …, 2023 - SIAM
We provide a unified framework to study hierarchies of relaxations for Constraint Satisfaction
Problems and their Promise variant. The idea is to split the description of a hierarchy into an …

Improved hardness for H-colourings of G-colourable graphs

M Wrochna, S Živný - Proceedings of the Fourteenth Annual ACM-SIAM …, 2020 - SIAM
We present new results on approximate colourings of graphs and, more generally,
approximate H-colourings and promise constraint satisfaction problems. First, we show NP …

SDPs and robust satisfiability of promise CSP

J Brakensiek, V Guruswami, S Sandeep - Proceedings of the 55th …, 2023 - dl.acm.org
For a constraint satisfaction problem (CSP), a robust satisfaction algorithm is one that
outputs an assignment satisfying most of the constraints on instances that are near …

Algebraic approach to approximation

L Barto, S Butti, A Kazda, C Viola, S Živný - … of the 39th Annual ACM/IEEE …, 2024 - dl.acm.org
Following the success of the so-called algebraic approach to the study of decision constraint
satisfaction problems (CSPs), exact optimization of valued CSPs, and most recently promise …

The power of Sherali--Adams relaxations for general-valued CSPs

J Thapper, S Zivny - SIAM Journal on Computing, 2017 - SIAM
We give a precise algebraic characterization of the power of Sherali--Adams relaxations for
solvability of valued constraint satisfaction problems (CSPs) to optimality. The condition is …