$\infty$ 副范式破缺方案下大子句数的 3-SAT 问题
统计力学
2009-11-07 v2 无序系统与神经网络
摘要
本文通过研究相关无序自旋模型的低温相，来分析过约束 3-SAT 模型中 UNSAT 相的结构。我们推导了一般类无序自旋模型的 副范式破缺方程，后者包括谢林顿- Kirkpatrick 模型、Ising p-自旋模型以及过约束 3-SAT 模型等具体情况。我们使用伪谱数码对 副范式破缺方程进行数值求解，直至包括零温。我们发现过约束 3-SAT 模型的 UNSAT 相属于 -RSB 类型：为了获得稳定解，副范式必须以连续方式被破坏，类似于外场下 SK 模型的行为。
引用
@article{arxiv.cond-mat/0108433,
title = {The 3-SAT problem with large number of clauses in $\infty$-replica symmetry breaking scheme},
author = {A. Crisanti and L. Leuzzi and G. Parisi},
journal= {arXiv preprint arXiv:cond-mat/0108433},
year = {2009}
}
备注
19 pages, 7 figures; some section improved; iopart style