RandomWalkSAT 搜索程序中的松弛与偶极性
凝聚态物理
2009-11-10 v2 计算复杂性
摘要
本文对解决随机布尔约束满足问题的局部搜索分辨程序平均性质进行分析.根据约束数与变量数之比 alpha,求解耗时 T_res 随问题规模 N 呈线性增长 (T_res \sim tau(alpha) N, alpha < alpha_d) 或指数增长 (T_res \sim exp(N zeta(alpha)), alpha > alpha_d).通过基于演化算子量子表述的系统展开方案计算了线性相中的松弛时间 tau(alpha).对于 alpha > alpha_d,系统被困于某种偶极状态,求解通过跨越大型势垒而实现.本文提出了对该势垒高度 zeta(alpha) 的退火计算.多项式/指数交叉点 alpha_d 与解的聚类起始点无关.
引用
@article{arxiv.cond-mat/0301272,
title = {Relaxation and Metastability in the RandomWalkSAT search procedure},
author = {Guilhem Semerjian and Remi Monasson},
journal= {arXiv preprint arXiv:cond-mat/0301272},
year = {2009}
}
备注
23 pages, 11 figures. A mistake in sec. IV.B has been corrected