[論文レビュー] Distributed Minimum Cut Approximation

Mohsen Ghaffari, Fabian Kühn|arXiv (Cornell University)|May 23, 2013

Complexity and Algorithms in Graphs参考文献 16被引用数 27

ひとこと要約

本稿では、CONGESTモデル下での重み付きグラフにおける最小辺カットの近似を実現する2つの分散アルゴリズムを提示している。両者とも近似的に最適な時間計算量を達成している。1つ目のアルゴリズムは、新規の確率的レイヤリング技術を用いてエッジをサンプリングし、O(ε⁻¹λ)のカットサイズをO(D) + Õ(n^{1/2+ε})ラウンドで特定する。2つ目のアルゴリズムは、マトゥラの中心集約型アルゴリズムを適合させ、(2+ε)-近似を Õ((D+√n)/ε⁵) ラウンドで達成する。これは既知の下界 Ω(D+√n) にほぼ一致する。

ABSTRACT

We study the problem of computing approximate minimum edge cuts by distributed algorithms. We use a standard synchronous message passing model where in each round, $O(\log n)$ bits can be transmitted over each edge (a.k.a. the CONGEST model). We present a distributed algorithm that, for any weighted graph and any $ε\in (0, 1)$, with high probability finds a cut of size at most $O(ε^{-1}λ)$ in $O(D) + ilde{O}(n^{1/2 + ε})$ rounds, where $λ$ is the size of the minimum cut. This algorithm is based on a simple approach for analyzing random edge sampling, which we call the random layering technique. In addition, we also present another distributed algorithm, which is based on a centralized algorithm due to Matula [SODA '93], that with high probability computes a cut of size at most $(2+ε)λ$ in $ ilde{O}((D+\sqrt{n})/ε^5)$ rounds for any $ε>0$. The time complexities of both of these algorithms almost match the $ ildeΩ(D + \sqrt{n})$ lower bound of Das Sarma et al. [STOC '11], thus leading to an answer to an open question raised by Elkin [SIGACT-News '04] and Das Sarma et al. [STOC '11]. Furthermore, we also strengthen the lower bound of Das Sarma et al. by extending it to unweighted graphs. We show that the same lower bound also holds for unweighted multigraphs (or equivalently for weighted graphs in which $O(w\log n)$ bits can be transmitted in each round over an edge of weight $w$), even if the diameter is $D=O(\log n)$. For unweighted simple graphs, we show that even for networks of diameter $ ilde{O}(\frac{1}λ\cdot \sqrt{\frac{n}{αλ}})$, finding an $α$-approximate minimum cut in networks of edge connectivity $λ$ or computing an $α$-approximation of the edge connectivity requires $ ildeΩ(D + \sqrt{\frac{n}{αλ}})$ rounds.

研究の動機と目的

• 大規模ネットワークにおける最小辺カットの近似を実現する効率的な分散アルゴリズムを設計するという未解決問題に取り組む。
• 分散最小カット近似における、既存の上界と下界の間のギャップを埋める。
• ダス・サルマらの下界を、重みなし多重グラフおよび単純グラフへ拡張し、分散計算の理論的限界を強化する。
• 最小カット問題にとどまらず、他の応用にも適用可能な、分散環境下での確率的エッジサンプリングを分析するための新規な解析フレームワーク「確率的レイヤリング」を構築する。

提案手法

• ランダムにサンプリングされた部分グラフの接続性特性を分析するための新規な確率的レイヤリング技術を提案。p = Ω(log n / λ) の確率でエッジをサンプリングすることで、高確率で接続性が保証されることを証明。
• p = Θ(log n / λ) の確率でエッジをサンプリングする分散アルゴリズムを設計し、局所的計算を用いて小さなカットを特定。時間計算量は O(D) + Õ(n^{1/2+ε}) ラウンド。
• マトゥラの中心集約型 (2+ε)-近似アルゴリズムと、スパースエッジ連結性証明（Thurimella）およびカージャーの確率的スパース化を組み合わせ、時間計算量 Õ((D+√n)/ε⁵) の第二のアルゴリズムを設計。
• 集合の互いに素性問題への還元を用いて、分散最小カット近似の下界を確立する硬いインスタンスを構築。
• ノードをクリーク、エッジを完全二部グラフまたは単一エッジに置き換えることで、下界構築法を重みなし多重グラフおよび単純グラフに適応。エッジ連結性と直径の性質を保持。
• 垂直方向の接続をクリーク間に追加するパラメータ化された構築法を用い、直径を O(D') に保ちつつ、そのような接続数を λ に制限。これにより、タイトな下界解析が可能になる。

実験結果

リサーチクエスチョン

• RQ1 CONGESTモデルにおいて、既知の下界 Ω(D + √n) にほぼ一致する時間で、最小辺カットを近似できる分散アルゴリズムを設計できるか？
• RQ2 分散最小カット計算において、近似因子と時間計算量の最適なトレードオフは何か？
• RQ3 確率的レイヤリングのような新規な解析技術を用いて、分散環境下での確率的エッジサンプリングをどのように分析できるか？
• RQ4 重み付きグラフにおける Ω(D + √n) の下界は、重みなし多重グラフおよび単純グラフへも拡張可能か？
• RQ5 エッジ連結性 λ が未知であっても、理論的下界に近い時間で (2+ε)-近似の最小カットを達成できるか？

主な発見

• 1番目のアルゴリズムは、高確率でカットサイズが O(ε⁻¹λ) 以下になることを保証し、O(D) + Õ(n^{1/2+ε}) ラウンドで実行される。これは Ω(D + √n) の下界にほぼ一致する。
• 2番目のアルゴリズムは、Õ((D + √n)/ε⁵) ラウンドで (2+ε)-近似を達成する。これは従来の分散手法を改善し、既知の下界にほぼ一致する。
• 本稿はダス・サルマらの下界を重みなし多重グラフに拡張し、エッジ容量が重みに比例しても Ω(D + √n) ラウンドが必要であることを示した。
• 重みなし単純グラフでは、α-近似最小カットまたはエッジ連結性計算において、特定の直径制約下で Ω(D + √(n/(αλ))) ラウンドが必要である。
• 確率的レイヤリング技術は、p = Ω(log n / λ) でエッジをサンプリングすることで高確率で接続性が保証されることを、シンプルで自己完結的な証明で示している。これは既知の最適閾値と一致する。
• 下界の硬いインスタンスの構築により、エッジ連結性 λ が既知であっても、α 要因での最小カット近似には Ω(min{k/(B log n), ℓ}) ラウンドが必要であることが示され、最終的に Ω(D + √(n/(αλ))) の下界が得られた。