[論文レビュー] Towards an Optimal Distributed Algorithm for Maximal Independent Set.

Mohsen Ghaffari|arXiv (Cornell University)|Jun 16, 2015

Privacy-Preserving Technologies in Data被引用数 2

ひとこと要約

この論文は、最大独立集合（MIS）問題のための単純な確率的分散アルゴリズムを提示する。このアルゴリズムは、各ノード v がその 2 ホップ近傍を超えた悪意あるランダムネスに対しても、確率 $1 - \epsilon$ で $O(\log \mathsf{deg}(v) + \log 1/\epsilon)$ ラウンド以内に終了するという、最適なローカル複雑度を達成する。最近の技術を統合することで、グローバル複雑度も $O(\log \Delta) + 2^{O(\sqrt{\log \log n})}$ まで低下し、理論的下界に近づく。

ABSTRACT

The Maximal Independent Set (MIS) problem is one of the basics in the study of locality in distributed graph algorithms. This paper presents an extremely simple randomized algorithm providing a near-optimal local complexity for this problem, which incidentally, when combined with some recent techniques, also leads to a near-optimal global complexity. Classical algorithms of Luby [STOC'85] and Alon, Babai and Itai [JALG'86] provide the global complexity guarantee that, with high probability, all nodes terminate after $O(\log n)$ rounds. In contrast, our initial focus is on the local complexity, and our main contribution is to provide a very simple algorithm guaranteeing that each particular node $v$ terminates after $O(\log \mathsf{deg}(v)+\log 1/\epsilon)$ rounds, with probability at least $1-\epsilon$. The guarantee holds even if the randomness outside $2$-hops neighborhood of $v$ is determined adversarially. This degree-dependency is optimal, due to a lower bound of Kuhn, Moscibroda, and Wattenhofer [PODC'04]. Interestingly, this local complexity smoothly transitions to a global complexity: by adding techniques of Barenboim, Elkin, Pettie, and Schneider [FOCS'12, arXiv: 1202.1983v3], we get a randomized MIS algorithm with a high probability global complexity of $O(\log \Delta) + 2^{O(\sqrt{\log \log n})}$, where $\Delta$ denotes the maximum degree. This improves over the $O(\log^2 \Delta) + 2^{O(\sqrt{\log \log n})}$ result of Barenboim et al., and gets close to the $\Omega(\min\{\log \Delta, \sqrt{\log n}\})$ lower bound of Kuhn et al. Corollaries include improved algorithms for MIS in graphs of upper-bounded arboricity, or lower-bounded girth, for Ruling Sets, for MIS in the Local Computation Algorithms (LCA) model, and a faster distributed algorithm for the Lovasz Local Lemma.

研究の動機と目的

• 各ノードごとに証明可能な最適なローカル複雑度を持つ分散 MIS アルゴリズムの設計。
• 各ノードの次数に依存する実行時間の実現により、スパarsなグラフにおける効率性を確保すること。
• ローカル保証をグローバル実行時間に変換することで、ローカルとグローバル複雑度を統合すること。
• 特に高次元グラフにおいて、既存の確率的 MIS アルゴリズムに比べて漸近的実行時間の向上を達成すること。
• ルーリングセット、LCA モデル、およびロヴァーシュの局所的補題といった関連問題のためのより高速なアルゴリズムを可能にすること。

提案手法

• 各ノードは、自身の次数と所望の失敗確率 $\epsilon$ に反比例する確率で独立集合に参加する、単純な確率的プロセスを用いる。
• 各ノードは、自身のランダムネスと 2 ホップ近傍内の隣接ノードの状態に基づいてローカルに意思決定を行い、それ以上の範囲での悪意あるランダムネスに対しても耐性を持つ。
• 集中不等式を用いてローカル終了時間を上限で制御し、高確率で $O(\log \mathsf{deg}(v) + \log 1/\epsilon)$ ラウンド以内に終了することを保証する。
• Barenboim 他（FOCS'12, arXiv:1202.1983v3）の技術を組み合わせることで、グローバル実行時間を短縮し、近似的に最適な性能を達成する。
• 分散環境における正しさと効率性を保証するため、次数依存のランダムネスと慎重な依存関係管理を分析に活用する。
• シンプルさを保ちつつ、強い理論的境界を達成するため、ローカルからグローバル複雑度への滑らかな移行を実現する。

実験結果

リサーチクエスチョン

• RQ1 単純な確率的分散アルゴリズムは、ノードの次数に応じて速やかに終了するという最適なローカル複雑度を達成できるか？
• RQ2 ローカル終了保証をどのように活用することで、MIS 計算における近似的に最適なグローバル実行時間を達成できるか？
• RQ3 分散 MIS アルゴリズムにおいて、ローカルとグローバル複雑度の最良のトレードオフは何か？
• RQ4 ノードの 2 ホップ近傍を越えた悪意あるランダムネスが、アルゴリズムの性能に及ぼす影響はどの程度か？
• RQ5 このアプローチは、ルーリングセットやロヴァーシュの局所的補題といった他の分散問題の改善にも拡張可能か？

主な発見

• アルゴリズムは、各ノード v が確率 $1 - \epsilon$ で $O(\log \mathsf{deg}(v) + \log 1/\epsilon)$ ラウンド以内に終了することを保証する。これは、既知の下界により最適である。
• ローカル複雑度は、ノードの 2 ホップ近傍を超えた悪意あるランダムネスに対しても耐性を持ち、堅牢性を確保する。
• Barenboim 他らの技術と組み合わせることで、グローバル複雑度が $O(\log \Delta) + 2^{O(\sqrt{\log \log n})}$ まで低下し、以前の $O(\log^2 \Delta) + 2^{O(\sqrt{\log \log n})}$ の境界を改善する。
• 新しいグローバル複雑度は、$\Omega(\min\{\log \Delta, \sqrt{\log n}\})$ の下界に対して、部分多項式的要因の範囲内にあり、最適性に近づく。
• このフレームワークにより、有界なアーボリシティを持つグラフ、高ジンガのグラフ、およびローカル計算アルゴリズム（LCA）モデルにおける改善されたアルゴリズムが可能になる。
• このアプローチは、ロヴァーシュの局所的補題のためのより高速な分散アルゴリズムを導き、より広範な適用可能性を示している。