无回溯搜索的精确相变及其对贪心算法能力的启示
人工智能
2008-11-20 v1 离散数学
数据结构与算法
摘要
回溯是解决约束满足问题（CSPs）的一种基本策略。如果一个可满足的CSP实例在回溯搜索过程中能够找到解而不遇到任何死胡同，则它是无回溯的，这意味着该实例易于求解。我们证明了在某些随机CSP（即Model RB和Model RD）中无回溯搜索的精确相变。这是首次在某些随机CSP中能够确定无回溯搜索的精确相变。我们的技术结果对贪心算法的能力、随机超图的宽度以及随机CSP的精确可满足性阈值也具有有趣的启示。
引用
@article{arxiv.0811.3055,
title = {Exact phase transition of backtrack-free search with implications on the power of greedy algorithms},
author = {Liang Li and Tian Liu and Ke Xu},
journal= {arXiv preprint arXiv:0811.3055},
year = {2008}
}