The condensation phase transition in the regular k-SAT model.
international workshop and international workshop on approximation randomization and combinatorial optimization algorithms and techniques(2016)
摘要
Much of the recent work on phase transitions in discrete structures has been inspired by ingenious but non-rigorous approaches from physics. The physics predictions typically come in the form of distributional fixed point problems that mimic Belief Propagation, a message passing algorithm. In this paper we show how the Belief Propagation calculation can be turned into a rigorous proof of such a prediction, namely the existence and location of a condensation phase transition in the regular k-SAT model.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络