An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems

  • Authors:
  • Daniel Král';Ondřej Pangrác

  • Affiliations:
  • Institute for Mathematics, Technical University Berlin, Berlin, Germany;Department of Applied Mathematics, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic

  • Venue:
  • MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

An instance of a constraint satisfaction problem is l-consistent if any l constraints of it can be simultaneously satisfied. For a set Π of constraint types, ρl(Π) denotes the largest ratio of constraints which can be satisfied in any l-consistent instance composed by constraints from the set Π. We study the asymptotic behavior of ρl(Π) for sets Π consisting of Boolean predicates.