[论文解读] A Lower Bound for the Distributed Lovász Local Lemma

Sebastian Brandt, Orr Fischer+6 more|arXiv (Cornell University)|Nov 3, 2015

Complexity and Algorithms in Graphs参考文献 5被引用 8

一句话总结

该论文为在有界度图中解决洛瓦兹局部大数（Lovász Local Lemma, LLL）的随机化蒙特卡洛分布式算法建立了 Ω(log log n) 通信轮数的紧下界，即使依赖度 d 为常数时亦成立。作者引入了无汇向定向（sinkless orientation）和无汇着色（sinkless coloring）作为关键中间问题，通过互惠加速引理（mutual speedup lemma）证明：若存在 sub-log-log n 时间的算法，将在高环图中导致矛盾，从而证明了现有 O(log n) 轮算法的最优性。

ABSTRACT

We show that any randomised Monte Carlo distributed algorithm for the Lovász local lemma requires $Ω(\log \log n)$ communication rounds, assuming that it finds a correct assignment with high probability. Our result holds even in the special case of $d = O(1)$, where $d$ is the maximum degree of the dependency graph. By prior work, there are distributed algorithms for the Lovász local lemma with a running time of $O(\log n)$ rounds in bounded-degree graphs, and the best lower bound before our work was $Ω(\log^* n)$ rounds [Chung et al. 2014].

研究动机与目标

• 弥合已知的 O(log n) 上界与先前 Ω(log* n) 下界之间在分布式 LLL 算法上的差距。
• 建立一个即使在依赖度 d 为常数（d = O(1)）时也成立的更强下界。
• 证明不存在任何随机化蒙特卡洛算法能在高概率下以 o(log log n) 轮解决 LLL。
• 引入并分析无汇向定向与无汇着色作为推导下界的中间问题。
• 证明该下界在标准 LLL 条件下依然成立，包括 ep(d+1) ≤ 1 和 4pd ≤ 1。

提出的方法

• 将分布式 LLL 问题约化为 3-正则图中的无汇向定向问题，同时保持渐近轮数复杂度不变。
• 提出互惠加速引理：在 t 轮内解决无汇向定向意味着可在 t-1 轮内解决无汇着色，反之亦然。
• 在高环图中迭代应用互惠加速引理，假设存在 sub-log-log n 时间算法，导出 0 轮时的矛盾。
• 使用概率分析来界定失败概率，表明即使在 o(log log n) 次迭代后，仍存在不可忽略的失败概率。
• 采用高环 d-正则图（环长 Ω(log n)）以隔离局部行为，避免分析中的全局依赖。
• 利用 König 的线着色定理，证明高环 d-正则图存在 d-边着色，从而支持无汇着色实例的构造。

实验结果

研究问题

• RQ1 随机化蒙特卡洛分布式算法能否在高概率下以 o(log log n) 轮解决洛瓦兹局部大数？
• RQ2 分布式 LLL 的 Ω(log* n) 下界是否紧致，或可进一步改进？
• RQ3 在 d-正则高环图中，无汇向定向问题能否在高概率下以 o(log log n) 轮解决？
• RQ4 无汇向定向与无汇着色之间的互惠加速引理是否能支持更强的下界？
• RQ5 LLL 的下界是否在更弱的 LLL 条件下依然成立，例如 4pd ≤ 1？

主要发现

• 任何随机化蒙特卡洛分布式算法解决洛瓦兹局部大数均需 Ω(log log n) 通信轮数，即使 d = O(1) 时亦成立。
• 该下界对对称 LLL 准则（ep(d+1) ≤ 1）和经典 Erdős–Lovász 准则（4pd ≤ 1）均成立。
• 在 d-正则高环图中，无汇向定向问题无法在 o(log log n) 轮内以高概率解决。
• 在 d-正则高环图中，无汇着色问题同样需要 Ω(log log n) 轮，且该下界对这类图中的 d-着色是紧致的。
• 互惠加速引理通过迭代将轮数减少至零，从而支持矛盾论证，证明 sub-log-log n 时间算法不可能存在。
• 该结果表明，现有在有界度图中解决 LLL 的 O(log n) 轮算法在最坏情况下是渐近最优的。