arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2002.03690math.PRcs.DMmath.CO
收藏

The random 2-SAT partition function

Dimitris Achlioptas, Amin Coja-Oghlan, Max Hahn-Klimroth, Joon Lee, Noela Müller, Manuel Penschuck, Guangyan Zhou

英文摘要:

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 variable is set to `true' under a uniformly random satisfying assignment.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑