[論文レビュー] 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 が定数（d = O(1)）であっても成り立つ。著者らは、中間問題として「シンクレス方向付け」と「シンクレス彩色」を導入し、互いの高速化を示す補題を用いて、高径路長グラフにおいて、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)下界との間のギャップを埋めるため。
• 依存度 d が定数（d = O(1)）であっても成り立つより強い下界を確立するため。
• 任意の確率的モンテカルロ分散アルゴリズムが高確率で o(log log n) ラウンド未満でLLLを解くことは不可能であることを示すため。
• 下界を導出するために、中間問題としてのシンクレス方向付けとシンクレス彩色を導入・分析するため。
• 標準的なLLL基準（ep(d+1) ≤ 1 および 4pd ≤ 1）のもとでも、下界が成立することを示すため。

提案手法

• 分散LLL問題を、3正則グラフにおけるシンクレス方向付け問題に還元し、漸近的ラウンド複雑性を保ったままにする。
• 相互高速化補題を導入：t ラウンドでシンクレス方向付けが解けるならば、t−1 ラウンドでシンクレス彩色が解けるし、逆も同様である。
• 高径路長グラフにおいて、この相互高速化補題を繰り返し適用し、0 ラウンドで矛盾を導くことで、log log n 未満の時間で解けるアルゴリズムが存在しないことを示す。
• 確率的解析を用いて失敗確率を評価し、o(log log n) 回の反復ですら、無視できない失敗確率が残ることを示す。
• 高径路長 d 正則グラフ（径路長 Ω(log n)）を用いて、局所的挙動を分離し、解析におけるグローバル依存性を回避する。
• Königの線彩色定理を活用し、高径路長の d 正則グラフが d 辺彩色をもつことを示し、シンクレス彩色インスタンスの構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 確率的モンテカルロ分散アルゴリズムが、高確率で o(log log n) ラウンド未満でLLLを解くことは可能か？
• RQ2 分散LLLにおけるΩ(log* n)下界はタイトか、それとも改善可能か？
• RQ3 d 正則で高径路長のグラフにおけるシンクレス方向付け問題は、高確率で o(log log n) ラウンド未満で解けるか？
• RQ4 シンクレス方向付けとシンクレス彩色の間の相互高速化補題は、より強い下界を導くのに有効か？
• RQ5 4pd ≤ 1 といった弱いLLL基準のもとでも、LLLの下界は成立するか？

主な発見

• 任意の確率的モンテカルロ分散アルゴリズムが、Lovász Local Lemma を解くには、Ω(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彩色において下界がタイトである。
• 相互高速化補題により、ラウンド複雑度を繰り返し0にまで低下させることで矛盾を導くことができ、log log n 未満の時間で解けるアルゴリズムが存在しないことを証明する。
• この結果により、有界次数のグラフにおける既存のO(log n)ラウンドのLLLアルゴリズムが、最悪ケースにおいて漸近的に最適であることが示唆される。