维克托·巴普斯特;阿明·科贾·奥格伦 正则\（k）-SAT模型中的冷凝相变。 （英语） Zbl 1398.68213号 Jansen，Klaus（编辑）等，近似、随机化和组合优化。算法和技术。2016年9月7日至9日在法国巴黎举行的第19届组合优化问题近似算法国际研讨会（APPROX 2016）和第20届随机化与计算国际研讨会（RANDOM 2016）会议记录。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-018-7）。LIPIcs–莱布尼茨国际信息学论文集60，第22条，第18页（2016年）。 概要：最近关于离散结构相变的许多工作都受到了来自物理学的巧妙但非严格的方法的启发。物理预测通常以分布式不动点问题的形式出现，该问题模拟了信念传播（一种消息传递算法）。在本文中，我们展示了如何将置信传播计算转化为此类预测的严格证明，即正则（k）-SAT模型中冷凝相变的存在和位置。关于整个系列，请参见[Zbl 1351.68019号]. 引用于9文件 MSC公司： 65年第68季度 算法和问题复杂性分析 60J85型 分支过程的应用 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68分20秒 人工智能背景下的问题解决（启发式、搜索策略等） 82B26型 平衡统计力学中的相变（一般） 关键词：随机\（k\）-SAT;相变;信仰传播;凝结 PDF格式BibTeX公司 XML格式引用 \textit{V.Bapst}和\textit{A.Coja-Oghlan}，LIPIcs——莱布尼茨国际程序。通知。60，第22条，第18页（2016；Zbl 1398.68213） 全文： 内政部 arXiv公司