Abstract:The problem of identifying a planted assignment given a random $k$-satisfiability ($k$-SAT) formula consistent with the assignment exhibits a large algorithmic gap: while the planted solution becomes unique and can be identified given a formula with $O(n\log n)$ clauses, there are distributions over clauses for which the best-known efficient algorithms require $n^{k/2}$ clauses. We propose and study a unified model for planted $k$-SAT, which captures well-known special cases. An instance is described by a planted assignment $\sigma$ and a distribution on clauses with $k$ literals. We define its distribution complexity as the largest $r$ for which the distribution is not $r$-wise independent ($1 \le r \le k$ for any distribution with a planted assignment). Our main result is an unconditional lower bound, tight up to logarithmic factors, for statistical (query) algorithms [M. Kearns, J. ACM, 45 (1998), pp. 983--1006; V. Feldman, E. Grigorescu, L. Reyzin, S. S. Vempala, and Y. Xiao, J. ACM, 64 (2017), pp. 8:1--8:37], matching known upper bounds, which, as we show, can be implemented using a statistical algorithm. Since known approaches for problems over distributions have statistical analogues (spectral, Markov Chain Monte Carlo, gradient-based, convex optimization, etc.), this lower bound provides a rigorous explanation of the observed algorithmic gap. The proof introduces a new general technique for the analysis of statistical query algorithms. It also points to a geometric paring phenomenon in the space of all planted assignments. We describe consequences of our lower bounds to Feige's refutation hypothesis [U. Feige, Proceedings of the ACM Symposium on Theory of Computing, 2002, pp. 534--543] and to lower bounds on general convex programs that solve planted $k$-SAT. Our bounds also extend to other planted $k$-CSP models and, in particular, provide concrete evidence for the security of Goldreich's one-way function and the associated pseudorandom generator when used with a sufficiently hard predicate [O. Goldreich, preprint, ia.cr/2000/063, 2000].

An improved algorithm for the (n, 3) -MaxSAT problem: asking branchings to satisfy the clauses

A New Bound for 3-Satisfiable MaxSat and Its Algorithmic Application.

Improved Algorithms for Maximum Satisfiability and Its Special Cases

An Improved Algorithm for Sparse Instances of SAT

An Improved Upper Bound for SAT.

EXPLORATION OF HARD TO SOLVE 3-SAT PROBLEMS

An Average Case Analysis of the Branching Algorithm for Solving $K$-Satisfiability Problems.

A Fast Algorithm for SAT in Terms of Formula Length

Further Improvements for SAT in Terms of Formula Length.

A Fast Algorithm for MaxSAT above Half Number of Clauses

Fast Algorithms for SAT with Bounded Occurrences of Variables

Efficient Tough Random Symmetric 3-SAT Generator

Improving Ppsz For 3-Sat Using Critical Variables

On the Complexity of Random Satisfiability Problems with Planted Solutions

On the Mysteries of MAX NAE-SAT

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses

New Branching Rules: Improvements on Independent Set and Vertex Cover in Sparse Graphs

Maxterm Covering for Satisfiability

Improved FPT Approximation Scheme and Approximate Kernel for Biclique-Free Max k-Weight SAT: Greedy Strikes Back

(2+ f(n))-SAT and Its Properties.

Community-based 3-SAT Formulas with a Predefined Solution