Sciweavers

Share
LATIN
2010
Springer

On Quadratic Threshold CSPs

8 years 5 months ago
On Quadratic Threshold CSPs
A predicate P : {−1, 1}k → {0, 1} can be associated with a constraint satisfaction problem Max CSP(P). P is called “approximation resistant” if Max CSP(P) cannot be approximated better than the approximation obtained by choosing a random assignment, and “approximable” otherwise. This classification of predicates has proved to be an important and challenging open problem. Motivated by a recent result of Austrin and Mossel (Computational Complexity, 2009), we consider a natural subclass of predicates defined by signs of quadratic polynomials, including the special case of predicates defined by signs of linear forms, and supply algorithms to approximate them as follows. In the quadratic case we prove that every symmetric predicate is approximable. We introduce a new rounding algorithm for the standard semidefinite programming relaxation of Max CSP(P) for any predicate P : {−1, 1}k → {0, 1} and analyze its approximation ratio. Our rounding scheme operates by first mani...
Per Austrin, Siavosh Benabbas, Avner Magen
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where LATIN
Authors Per Austrin, Siavosh Benabbas, Avner Magen
Comments (0)
books