Approximating Linear Threshold Predicates

We study constraint satisfaction problems on the domain {-1, 1}, where the given constraints are homogeneous linear threshold predicates. That is, predicates of the form sgn(w1x1 +...+ wnxn) for some positive integer weights w1, ..., wn. Despite their simplicity, current techniques fall short of providing a classification of these predicates in terms of approximability. In fact, it is not easy to guess whether there exists a homogeneous linear threshold predicate that is approximation resistant or not. The focus of this paper is to identify and study the approximation curve of a class of threshold predicates that allow for non-trivial approximation. Arguably the simplest such predicate is the majority predicate sgn(x1 +...+ xn), for which we obtain an almost complete understanding of the asymptotic approximation curve, assuming the Unique Games Conjecture. Our techniques extend to a more general class of "majoritylike" predicates and we obtain parallel results for them. In order to classify these predicates, we introduce the notion of Chow-robustness that might be of independent interest.

[1]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[2]  R. O. Winder,et al.  THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE , 1962 .

[3]  I. S. Shiganov Refinement of the upper bound of the constant in the central limit theorem , 1986 .

[4]  Rocco A. Servedio,et al.  Improved Approximation of Linear Threshold Functions , 2009, 2009 24th Annual IEEE Conference on Computational Complexity.

[5]  Ryan O'Donnell,et al.  An optimal sdp algorithm for max-cut, and equally optimal long code tests , 2008, STOC.

[6]  Elchanan Mossel,et al.  Approximation Resistant Predicates from Pairwise Independence , 2008, 2008 23rd Annual IEEE Conference on Computational Complexity.

[7]  C. K. Chow,et al.  On the characterization of threshold functions , 1961, SWCT.

[8]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.

[9]  Ryan O'Donnell,et al.  The chow parameters problem , 2008, SIAM J. Comput..

[10]  Michael L. Dertouzos,et al.  Threshold Logic: A Synthesis Approach , 1965 .

[11]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[12]  Robert O. Winder Threshold Gate Approximations Based on Chow Parameters , 1969, IEEE Transactions on Computers.

[13]  Philip Kaszerman,et al.  A Geometric Test-Synthesis Procedure for a Threshold Device , 1963, Inf. Control..

[14]  Subhash Khot On the power of unique 2-prover 1-round games , 2002, STOC '02.

[15]  Gustav Hast,et al.  Beating a Random Assignment , 2005, APPROX-RANDOM.

[16]  Uri Zwick,et al.  Approximation algorithms for constraint satisfaction problems involving at most three variables per constraint , 1998, SODA '98.

[17]  Guy Kindler,et al.  Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[18]  Johan Håstad,et al.  Randomly supported independence and resistance , 2009, STOC '09.

[19]  R. O. Winder,et al.  Chebyshev Approximation and Threshold Functions , 1965, IEEE Trans. Electron. Comput..