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 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 …
CLAP: A new algorithm for promise CSPs
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 …
combination of the Constraint Basic LP relaxation and the Affine IP relaxation (CLAP). We …
Topology and adjunction in promise constraint satisfaction
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 …
concerns finding a-coloring of a graph that is promised to be-colorable, where. This problem …
Hierarchies of minion tests for PCSPs through tensors
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 …
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
We present new results on approximate colourings of graphs and, more generally,
approximate H-colourings and promise constraint satisfaction problems. First, we show NP …
approximate H-colourings and promise constraint satisfaction problems. First, we show NP …
SDPs and robust satisfiability of promise CSP
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 …
outputs an assignment satisfying most of the constraints on instances that are near …
Algebraic approach to approximation
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 …
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 …
solvability of valued constraint satisfaction problems (CSPs) to optimality. The condition is …