算法 Lovász 局部引理的一种新交换性概念
数据结构与算法
2025-09-09 v5 概率论
摘要
Lovász 局部引理（LLL）是概率组合学中的强大工具，可用于确立满足特定性质之对象的存在性。Moser 和 Tardos 的开创性论文及后续工作揭示，LLL 与一类用于寻找此类理想对象的随机局部搜索算法有密切关联。特别地，它可被视为此类算法快速收敛的充分条件。除了理想对象存在性和快速收敛的条件外，人们自然会进一步询问有关这些算法性质的问题。例如，“它们可并行化吗？”、“它们能输出多少解？”、“一个解的期望‘权重’是多少？”等等。这些问题及更多问题已针对一类称为交换性的 LLL 启发算法得到解答。在本文中，我们引入一种全新的、非常自然且更通用的交换性概念（本质上是矩阵交换性），它使我们能够以显著更简单的证明展示 LLL 启发局部搜索算法的一些新的精细性质。
引用
@article{arxiv.2008.05569,
title = {A new notion of commutativity for the algorithmic Lov\'{a}sz Local Lemma},
author = {David G. Harris and Fotis Iliopoulos and Vladimir Kolmogorov},
journal= {arXiv preprint arXiv:2008.05569},
year = {2025}
}