2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS) (2015)
Berkeley, CA, USA
Oct. 17, 2015 to Oct. 20, 2015
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2015.48
Let P be a k-ary predicate over a finite alphabet. Consider a random CSP(P) instance I over n variables with m constraints. When m >> n the instance will be unsatisfiable with high probability and we want to find a certificate of unsatisfiability. When P is the 3-ary OR predicate, this is the well-studied problem of refuting random 3-SAT formulas and an efficient algorithm is known only when m >> n3/2. Understanding the density required for refutation of other predicates is important in cryptography, proof complexity, and learning theory. Previously, it was known that for a k-ary predicate, having m >> n[k/2] constraints suffices for refutation. We give a criterion for predicates that often yields efficient refutation algorithms at much lower densities. Specifically, if P fails to support a t-wise uniform distribution, then there is an efficient algorithm that refutes random CSP(P) instances whp when m >> nt/2. Indeed, our algorithm will "somewhat strongly" refute the instance I, certifying Opt(I) &#x2264; 1 -- &#x03A9;k(1). If t = k then we get the strongest possible refutation, certifying Opt(I) &#x2264; E[P] + o(1). This last result is new even for random k-SAT. Prior work on SDP hierarchies has given some evidence that efficient refutation of random CSP(P) may be impossible when m << nt=2, thus there is an indication that our algorithm's dependence on m is optimal for every P, at least in the context of SDP hierarchies. As an application of our result, we falsify assumptions used to show Hardness-of-learning in recent work of Daniely, Linial, and Shalev-Shwartz.
Complexity theory, Computer science, Cryptography, Approximation algorithms, Physics, Approximation methods, Terminology,refutation, constraint satisfaction problems
Sarah R. Allen, Ryan ODonnell, David Witmer, "How to Refute a Random CSP", 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS), vol. 00, no. , pp. 689-708, 2015, doi:10.1109/FOCS.2015.48