The random 2-SAT partition function

Hahn-Klimroth Max
Hahn-Klimroth Max
Lee Joon
Lee Joon
Müller Noela
Müller Noela
Penschuck Manuel
Penschuck Manuel
Zhou Guangyan
Zhou Guangyan
Cited by: 0|Bibtex|Views2|Links

Abstract:

We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-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 v...More

Code:

Data:

Your rating :
0

 

Tags
Comments