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) …
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 …
Algebraic approach to promise constraint satisfaction
The complexity and approximability of the constraint satisfaction problem (CSP) has been
actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) …
actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) …
Combinatorial gap theorem and reductions between promise CSPs
A value of a CSP instance is typically defined as a fraction of constraints that can be
simultaneously met. We propose an alternative definition of a value of an instance and show …
simultaneously met. We propose an alternative definition of a value of an instance and show …
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 …
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 …
Linearly ordered colourings of hypergraphs
A linearly ordered (LO) k-colouring of an r-uniform hypergraph assigns an integer from {1,...,
k} to every vertex so that, in every edge, the (multi) set of colours has a unique maximum …
k} to every vertex so that, in every edge, the (multi) set of colours has a unique maximum …
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 …
An invitation to the promise constraint satisfaction problem
The study of the complexity of the constraint satisfaction problem (CSP), centred around the
Feder-Vardi Dichotomy Conjecture, has been very prominent in the last two decades. After a …
Feder-Vardi Dichotomy Conjecture, has been very prominent in the last two decades. After a …
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 …