Robustly Solvable Constraint Satisfaction Problems

Libor Barto,Marcin Kozik
DOI: https://doi.org/10.48550/arXiv.1512.01157
2015-12-04
Abstract:An algorithm for a constraint satisfaction problem is called robust if it outputs an assignment satisfying at least $(1-g(\varepsilon))$-fraction of the constraints given a $(1-\varepsilon)$-satisfiable instance, where $g(\varepsilon) \rightarrow 0$ as $\varepsilon \rightarrow 0$. Guruswami and Zhou conjectured a characterization of constraint languages for which the corresponding constraint satisfaction problem admits an efficient robust algorithm. This paper confirms their conjecture.
Computational Complexity
What problem does this paper attempt to address?