穷举枚举揭示随机 3-SAT 中的聚类与冻结
统计力学
2008-10-02 v2 无序系统与神经网络
计算复杂性
数据结构与算法
摘要
我们研究了随机 3-可满足性 (3-SAT) 问题完整解集的几何性质。结果表明，即使在中等系统规模下，聚类数量也与理论渐近预测惊人地吻合。我们在解空间中定位了冻结相变，该相变被认为与解释随机约束满足问题中计算硬度的出现有关。
引用
@article{arxiv.0804.0362,
title = {Exhaustive enumeration unveils clustering and freezing in random 3-SAT},
author = {John Ardelius and Lenka Zdeborová},
journal= {arXiv preprint arXiv:0804.0362},
year = {2008}
}
备注
4 pages, 3 figures