The random 2-SAT partition function
Probability
2021-04-27 v1 Discrete Mathematics
Combinatorics
Abstract
We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random -SAT formula converges in probability to an expression predicted by the cavity method from statistical physics. The proof is based on showing that the Belief Propagation algorithm renders the correct marginal probability that a variable is set to `true' under a uniformly random satisfying assignment.
Keywords
Cite
@article{arxiv.2002.03690,
title = {The random 2-SAT partition function},
author = {Dimitris Achlioptas and Amin Coja-Oghlan and Max Hahn-Klimroth and Joon Lee and Noela Müller and Manuel Penschuck and Guangyan Zhou},
journal= {arXiv preprint arXiv:2002.03690},
year = {2021}
}