Counting good truth assignments of random k-SAT formulae

Year
2007
Type(s)
Author(s)
A. Montanari, D. Shah
Source
Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, Louisiana, pp. 1255-1264
Url
https://dl.acm.org/citation.cfm?id=1283518

We present a deterministic approximation algorithm to compute logarithm of the number of ‘good’ truth assignments for a random k-satisfiability (k-SAT) formula in polynomial time (by ‘good’ we mean that violates a small fraction of clauses). The relative error is bounded above by an arbitrarily small constant ε with high probability1 as long as the clause density (ratio of clauses to variables) α < αu(k) = 2k-1logk(1 + o(1)). The algorithm is based on computation of marginal distribution via belief propagation and use of an interpolation procedure. This scheme substitutes the traditional one based on approximation of marginal probabilities via MCMC, in conjunction with self-reduction, which is not easy to extend to the present problem.

Our results are expected hold for a reasonable non-random setup with locally tree-like sparse k-SAT formulas. We derive 2k-1 log k(1+o(1)) as threshold for uniqueness of the Gibbs distribution on satisfying assignment of random infinite tree k-SAT formulae to establish our results, which is of interest in its own right.