聚焦随机局部搜索与洛瓦兹局部引理
离散数学
2015-08-18 v2 组合数学
概率论
摘要
我们开发用于分析聚焦随机局部搜索算法的工具。这些算法通过重复选择当前状态中违反的约束并移动到希望解决该违反且不引入许多新违反的随机邻近状态，来概率性地搜索状态空间。这类算法中的一大类源于洛瓦兹局部引理的算法化，洛瓦兹局部引理是一个用于证明满足状态存在的非构造性工具。这里我们给出提供此类算法及更多算法的统一分析的工具，将它们表达为通用框架的实例。
引用
@article{arxiv.1507.07633,
title = {Focused Stochastic Local Search and the Lov\'asz Local Lemma},
author = {Dimitris Achlioptas and Fotis Iliopoulos},
journal= {arXiv preprint arXiv:1507.07633},
year = {2015}
}
备注
Generalized the analysis of the Recursive Walk algorithm; corrected the proof of Acyclic Edge Coloring result