Robust satisfiability of constraint satisfaction problems

  • Authors:
  • Libor Barto;Marcin Kozik

  • Affiliations:
  • Charles University & McMaster University, Prague, Czech Rep;Jagiellonian University, Krakow, Poland

  • Venue:
  • STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

An algorithm for a constraint satisfaction problem is called robust if it outputs an assignment satisfying at least (1-g(ε))-fraction of the constraints given a (1-ε)-satisfiable instance, where g(ε) - 0 as ε - 0, $g(0)=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.