Sciweavers

Share
CSR
2007
Springer

Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems

11 years 7 months ago
Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal is to assign values to the variables that maximises the number of satisfied constraints. Max CSP captures many well-known problems (such as Max k-SAT and Max Cut) and so is NP-hard in general. It is natural to study how restrictions on the allowed constraint types (or constraint language) affect the complexity and approximability of Max CSP. All constraint languages, for which the CSP problem (i.e., the problem of deciding whether all constraints in an instance can be simultaneously satisfied) is currently known to be NP-hard, have a certain algebraic property, and it has been conjectured that CSP problems are tractable for all other constraint languages. We prove that any constraint language with this algebraic property makes Max CSP hard at gap location 1, thus ruling out the existence of a polynomial-ti...
Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CSR
Authors Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen
Comments (0)
books