文件Open Access徽标

正则k-SAT模型中的凝聚相变

作者 维克托·巴普斯特, 阿明·科贾·奥格伦



PDF格式
缩略图PDF

文件

LIPIcs公司。批准-随机.2016.22.pdf
  • 文件大小:0.62 MB
  • 18页

文件标识符

作者详细信息

维克托·巴普斯特
阿明·科贾·奥格伦

引用为获取BibTex

Victor Bapst和Amin Coja-Oghlan。正则k-SAT模型中的凝聚相变。在近似、随机化和组合优化中。算法和技术(APPROX/RANDOM 2016)。莱布尼茨国际信息学论文集(LIPIcs),第60卷,第22:1-22:18页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2016)
https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2016.22

摘要

最近有关离散结构相变的许多工作都受到了物理学中巧妙但非严格的方法的启发。物理预测通常以分布式不动点问题的形式出现,模拟了消息传递算法Belief Propagation。在本文中,我们展示了如何将信念传播计算转化为这样一种预测的严格证明,即正则k-SAT模型中冷凝相变的存在和位置。
关键词
  • 随机k-SAT
  • 相变
  • 信仰传播
  • 凝结

韵律学

工具书类

  1. D.Achlioptas和A.Coja-Oghlan。相位转换的算法障碍。程序中。第49届FOCS,第793-802页,2008年。谷歌学者
  2. D.Achlioptas和C.Moore。随机k-sat:两个时刻足以跨越一个尖锐的门槛。SIAM计算机杂志,36:740-7622006。谷歌学者
  3. D.Achlioptas、A.Naor和Y.Peres。硬优化问题中相变的严格位置。《自然》,435:759-7642005年。谷歌学者
  4. D.Achlioptas和Y.Peres。随机k-sat的阈值为2^kln2-o(k)。AMS杂志,17:947-9732004。谷歌学者
  5. J.Banks和C.Moore。稀疏网络中社区检测的信息理论阈值。稀疏网络中社区检测的信息理论阈值,arXiv:1601.026582016。谷歌学者
  6. V.Bapst和A.Coja-Oghlan。利用贝特自由能源。利用贝特自由能源,arXiv:1504039752015。谷歌学者
  7. V.Bapst、A.Coja-Oghlan、S.Hetterich、F.Raßmann和D.Vilenchik。随机图着色中的凝聚相变。数学物理通讯,341:543-6062016。谷歌学者
  8. V.Bapst、A.Coja-Oghlan和F.Raßmann。随机超图2着色中的正温度相变。应用概率年鉴,26:1362?1406, 2016.谷歌学者
  9. B.巴拉克。2013年计算复杂性中的结构与组合。谷歌学者
  10. M.Bayati、D.Gamarnik和P.Tetali。稀疏随机图中插值方法和缩放极限的组合方法。《概率年鉴》,41:4080-4115,2013年。谷歌学者
  11. A.Coja-Oghlan和K.Panagiotou。追求k-sat门槛。程序中。第45届STOC,第705-714页,2013年。谷歌学者
  12. A.Coja-Oghlan和K.Panagiotou。渐近k-sat阈值。数学进展,288:985-10682016。谷歌学者
  13. A.Coja-Oghlan和L.Zdeborová。随机超图2-色环中的凝聚跃迁。SODA第23期,第241-250页,2012年。谷歌学者
  14. P.Contucci、S.Dommers、C.Giardin和S.Starr。Erdős-Rényi随机图上的反铁磁potts模型。数学物理通信,323:517-5542013。谷歌学者
  15. A.Dembo、A.Montanari、A.Sly和N.Sun。d-正则图上potts模型的副本对称解。公共数学。物理。,327:551-575, 2014.谷歌学者
  16. J.Ding、A.Sly和N.Sun。随机正则图上的最大独立集。随机正则图上的最大独立集,arXiv:1310.47872013。谷歌学者
  17. J.Ding、A.Sly和N.Sun。随机规则nae-sat的满意阈值。第46届STOC,第814-822页,2014年。谷歌学者
  18. J.Ding、A.Sly和N.Sun。过程中大k的可满足性猜想的证明。第47届STOC,第59-68页,2015年。谷歌学者
  19. D.Gamarnik、T.Nowicki和G.Swirszcz。稀疏随机图中的最大权无关集和匹配:使用局部弱收敛方法的精确结果。《随机结构与算法》,28:76-1062006。谷歌学者
  20. D.加马尔尼克和M.苏丹。稀疏随机图上局部算法的极限。程序中。第五届国际贸易术语解释委员会,第369-376页,2014年。谷歌学者
  21. D.Gamarnik和M.Sudan。随机nae-k-sat问题的测量传播引导抽取算法的性能。随机NAE-K-SAT问题的测量传播引导抽取算法的性能,arXiv:1402.00522014。谷歌学者
  22. F.Krzakala、A.Montanari、F.Ricci-Tersenghi、G.Semerjian和L.Zdeborova。吉布斯状态和随机约束满足问题的解集。程序。国家科学院,104:10318-103232007。谷歌学者
  23. Mézard和A.Montanari,信息、物理和计算。牛津大学出版社,2009年。谷歌学者
  24. M.Mézard、G.Parisi和M.Virasoro。旋转玻璃理论及其他。《世界科学》,1987年。谷歌学者
  25. M.Mézard、G.Parisi和R.Zecchina。随机可满足性问题的解析解和算法解。《科学》,297:812-8152002年。谷歌学者
  26. E.Mossel、J.Neeman和A.Sly。种植分区模型中的重建和估计。概率论及相关领域,第1-31页,2014年。谷歌学者
  27. D.潘琴科。关于k-sat模型的副本对称解。电子。J.概率。,19:1-17, 2014.谷歌学者
  28. V.Rathi、E.Aurell、L.K.Rasmussen和M.Skoglund。过程中正则随机k-sat阈值的界。第12次SAT,第264-277页,2010年。谷歌学者
  29. F.Ricci-Tersenghi和G.Semerjian。关于抽取随机约束满足问题的空腔方法和信度传播引导抽取算法的分析。《统计力学杂志》。,9001, 2009.谷歌学者
  30. T.Richardson和R.Urbanke。现代编码理论。剑桥大学出版社,2008年。谷歌学者
  31. M.塔拉格兰德。随机k-sat问题的高温情况。普罗巴伯。理论相关领域,119:187-2122001。谷歌学者
  32. L.Zdeborová和F.Krzakala。推理的统计物理:阈值和算法。推理的统计物理学:阈值和算法,arXiv:11511.024762015。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件