Moser-Tardos算法局部引理的一个推广
组合数学
2011-03-15 v2 数据结构与算法
摘要
Bissacot等人最近利用统计力学中团展开的结果证明了一个定理，该定理通过弱化Lovász局部引理结论成立的条件对其进行了推广。在本注记中，我们证明了该结果的一个算法模拟，推广了Moser和Tardos最近的算法局部引理，并为Bissacot等人的定理提供了另一个适用于Moser-Tardos算法框架的证明。
引用
@article{arxiv.1102.2853,
title = {An extension of the Moser-Tardos algorithmic local lemma},
author = {Wesley Pegden},
journal= {arXiv preprint arXiv:1102.2853},
year = {2011}
}
备注
8 pages