activity
20042023
most citedAlgebraic approach to promise constraint satisfaction

78 citations · 116 across the 14 of their papers we have counts for

collaborators

17 papers

math.CO2023

Functors on relational structures which admit both left and right adjoints

Víctor Dalmau, Andrei Krokhin, Jakub Opršal

This paper describes several cases of adjunction in the homomorphism preorder of relational structures. We say that two functors and between thin categories of relational s…

cs.CC2022★ 12 cited

An invitation to the promise constraint satisfaction problem

Andrei Krokhin, Jakub Opršal

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

cs.CC2020★ 2 cited

Topology and adjunction in promise constraint satisfaction

Andrei Krokhin, Jakub Opršal, Marcin Wrochna +1

The approximate graph colouring problem, whose complexity is unresolved in most cases, concerns finding a -colouring of a graph that is promised to be -colourable, where $c\g…

cs.CC2019★ 16 cited

The complexity of 3-colouring -colourable graphs

Andrei Krokhin, Jakub Opršal

We study the complexity of approximation on satisfiable instances for graph homomorphism problems. For a fixed graph , the -colouring problem is to decide whether a given gra…

cs.CC2018★ 78 cited

Algebraic approach to promise constraint satisfaction

Libor Barto, Jakub Bulín, Andrei Krokhin +1

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

cs.DS2017

On the hardness of losing weight

Andrei Krokhin, Dániel Marx

We study the complexity of local search for the Boolean constraint satisfaction problem (CSP), in the following form: given a CSP instance, that is, a collection of constraints, an…