随机 K-满足问题：从解析解到高效算法
无序系统与神经网络
2009-11-07 v3 统计力学
摘要
我们研究了随机选取的子句满足性问题，其中每个子句包含 K 个布尔变量。利用零温下的腔部方法，我们得到 K=3 的相图。我们显示，在满足可解区域存在中间相，其 metastable 状态的扩散是搜索算法减缓的根本原因。引入的腔部方法中的基本序参量（由系统在各种可能状态下局部磁场抽样组成）可以为单个样本计算。这些抽样可用于发明新的求解硬组合优化问题的算法。本文展示了一个用于 3-满足问题的算法，性能极佳。
关键词
引用
@article{arxiv.cond-mat/0207194,
title = {The random K-satisfiability problem: from an analytic solution to an efficient algorithm},
author = {Marc Mezard and Riccardo Zecchina},
journal= {arXiv preprint arXiv:cond-mat/0207194},
year = {2009}
}
备注
38 pages, 13 figures; corrected typos