搜索与启发式算法在随机 3-SAT 中的共生
数据结构与算法
2014-02-19 v1 人工智能
摘要
当正确结合时，搜索技术能够揭示复杂分支启发式算法的全部潜力。我们在众所周知的随机 3-SAT 公式类上证明了这一观察结果。首先，提出了一种新的分支启发式算法，该算法推广了针对此类问题的现有工作；使用该启发式算法可以构建小得多的搜索树。其次，我们引入了一种差异搜索（discrepancy search）的变体，称为 ALDS。理论和实践证据表明，当与新启发式算法结合使用时，ALDS 能以接近最优的顺序遍历搜索树。这两种技术（搜索和启发式）均已在前瞻求解器 march 中实现。SAT 2009 竞赛结果显示，march 是解决随机 k-SAT 公式方面迄今为止最强大的完全求解器。
引用
@article{arxiv.1402.4455,
title = {Symbiosis of Search and Heuristics for Random 3-SAT},
author = {Sid Mijnders and Boris de Wilde and Marijn Heule},
journal= {arXiv preprint arXiv:1402.4455},
year = {2014}
}
备注
Proceedings of the Third International Workshop on Logic and Search (LaSh 2010)