通过抑制波动来逼近满足问题的相变
无序系统与神经网络
2007-05-23 v1 统计力学
摘要
使用统计力学中的方法和思想，我们提出了一种简单方法，用于严格求得由N个变量和M个从K个变量组成的子句的随机布尔表达式中满足问题相变的上界。在随机图的理论中，确定满足阈值α_c=M/N的精确位置是一个主要的开放问题。该方法基于识别核心——一个与原表达式具有相同满足性质的子表达式（子图）。我们建立自洽方程，以确定核心的宏观参数并计算改进的退火界限。我们针对三个示例问题说明了该方法：K-XOR-SAT、K-SAT和正1-in-K-SAT。
引用
@article{arxiv.cond-mat/0403416,
title = {Approximating satisfiability transition by suppressing fluctuations},
author = {S. Knysh and V. N. Smelyanskiy and R. D. Morris},
journal= {arXiv preprint arXiv:cond-mat/0403416},
year = {2007}
}
备注
31 pages, 6 figures