SAT/UNSAT 转变附近启发式算法的行为与状态空间结构
统计力学
2013-05-29 v1
摘要
我们研究了 ASAT 的行为，这是一种通过随机局部搜索在 SAT/UNSAT 转变附近解决可满足性问题的启发式算法。该启发式算法是聚焦的，即每一步只更新不满足子句中的变量，并且比 walksat 或聚焦 Metropolis 搜索显著更简单，同时与之相似。我们表明，对于随机 3SAT，ASAT 平均在线性时间内解决了多达一百万个变量的实例，直到每个变量 4.21 个子句。对于高于 3 的 K，ASAT 似乎在“FRSB 阈值”处在线性时间内解决了实例，直到 K=7。
引用
@article{arxiv.cond-mat/0601703,
title = {Behavior of heuristics and state space structure near SAT/UNSAT transition},
author = {John Ardelius and Erik Aurell},
journal= {arXiv preprint arXiv:cond-mat/0601703},
year = {2013}
}
备注
12 pages, 6 figures, longer version available as MSc thesis of first author at http://biophys.physics.kth.se/docs/ardelius_thesis.pdf