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

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 …

Algebraic approach to promise constraint satisfaction

J Bulín, A Krokhin, J Opršal - Proceedings of the 51st Annual ACM …, 2019 - dl.acm.org
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) …

Combinatorial gap theorem and reductions between promise CSPs

L Barto, M Kozik - Proceedings of the 2022 Annual ACM-SIAM …, 2022 - SIAM
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 …

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 …

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 …

Linearly ordered colourings of hypergraphs

TV Nakajima, S Živný - ACM Transactions on Computation Theory, 2023 - dl.acm.org
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 …

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 …

An invitation to the promise constraint satisfaction problem

A Krokhin, J Opršal - ACM SIGLOG News, 2022 - dl.acm.org
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 …

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 …