有限维布尔公式的满足性 percolation
凝聚态物理
2007-05-23 v1
摘要
使用 percolation 理论、罕见区域论证和边界效应研究有限维布尔公式的满足性与优化。在与均值场结果相反的情况下，存在满足性相变，尽管存在逻辑连通性相变。在断开相的某个部分，罕见区域导致优化算法的运行时间发散。对于 NP-hard 二维最大满足问题的热力学基态通常是唯一的。这些结果对无序材料的计算研究具有启示意义。
关键词
引用
@article{arxiv.cond-mat/0309240,
title = {Percolation of satisfiability in finite dimensions},
author = {J. M. Schwarz and A. Alan Middleton},
journal= {arXiv preprint arXiv:cond-mat/0309240},
year = {2007}
}
备注
4 pages, 4 figs