[論文レビュー] k-Connectivity in the Semi-Streaming Model

Mariano Zelke|ArXiv.org|Aug 16, 2006

Complexity and Algorithms in Graphs参考文献 19被引用数 4

ひとこと要約

本稿では、任意の定数 $k$ に対して無向グラフにおける $k$-連結性を判定する最初の半ストリーミングアルゴリズムを提示する。最初のアルゴリズムは1パスで処理を行い、辺あたり $\mathcal{O}(k^2n)$ の時間で処理を実行するが、2番目のアルゴリズムは $k+1$ パスを用い、辺あたり $\mathcal{O}(k + \alpha(n))$ の時間で処理を実行する。両者とも、$k$-連結性の検証や、2番目のケースでは $l < k$ のすべての $l$-分離集合の列挙を可能にするスパース証明書を構築する。主な貢献は、$k \leq 4$ に限らず、任意の定数 $k$ に対して半ストリーミング $k$-連結性を拡張したことである。

ABSTRACT

We present the first semi-streaming algorithms to determine k-connectivity of an undirected graph with k being any constant. The semi-streaming model for graph algorithms was introduced by Muthukrishnan in 2003 and turns out to be useful when dealing with massive graphs streamed in from an external storage device. Our two semi-streaming algorithms each compute a sparse subgraph of an input graph G and can use this subgraph in a postprocessing step to decide k-connectivity of G. To this end the first algorithm reads the input stream only once and uses time O(k^2*n) to process each input edge. The second algorithm reads the input k+1 times and needs time O(k+alpha(n)) per input edge. Using its constructed subgraph the second algorithm can also generate all l-separators of the input graph for all l

研究の動機と目的

• 任意の定数 $k$ に対して、$k \leq 4$ の既知の結果を超えて、効率的な半ストリーミングアルゴリズムが不足している問題を解決すること。
• 外部記憶装置からストリームで与えられる大規模グラフを処理できるように、半ストリーミングモデルのメモリ制約（$\mathcal{O}(n \cdot \text{polylog}\,n)$ ビット）を満たすアルゴリズムを設計すること。
• スパース証明書（部分グラフ）を構築し、$k$-連結性および $l < k$ の $l$-連結性の性質を保持させることで、完全なグラフを保存せずに後処理で連結性の性質を検証可能にする。
• 大規模グラフ処理における効率を高めるために、入力ストリームに対するパス数と辺あたりの処理時間を最小限に抑えること。
• 2番目のアルゴリズムの証明書を用いて、$l < k$ のすべての $l$-分離集合を発見可能にすることにより、ネットワーク設計における耐障害性解析を支援すること。

提案手法

• 最初のアルゴリズムは入力ストリームを1パスで処理し、スキャン優先探索森を用いて動的データ構造を維持することで、段階的にスパース証明書を構築する。
• 各辺は $\mathcal{O}(k^2n)$ 時間で処理され、$k$ 階殻の森構築フェーズにわたり、連結性の性質を維持するための貪欲戦略が用いられる。
• 2番目のアルゴリズムは入力に対して $k+1$ パスを実行し、各パス $i$ では、$F_1, \dots, F_{i-1}$ の以前の森から辺を除去した残渣グラフ上でスキャン優先探索森 $F_i$ を維持する。
• 各パスでは、残渣グラフ上のスキャン優先探索から得られる頂点順序 $o_i$ を用い、$F_i$ が正当な森となるように保証する。
• 計算の重複を避けるために、辺はパスごとにフィルタリングされ処理され、辺あたり $\mathcal{O}(k + \alpha(n))$ 時間で処理される。ここで $\alpha(n)$ は逆アッカーマン関数である。
• 最終的な証明書 $C(A_2)$ は、すべての $F_1, \dots, F_k$ をマージすることで構成され、$k$-連結性のテストや既知のアルゴリズムを用いた $l$-分離集合の計算に後処理で用いられる。

実験結果

リサーチクエスチョン

• RQ1 任意の定数 $k$ に対して、$k \leq 4$ の既知の限界を超えて、半ストリーミングモデルで $k$-連結性をテストできるか？
• RQ2 ストリーミング環境において、$k$-連結性および $l < k$ の $l$-連結性の性質を保持するように、スパース証明書を段階的に構築する方法は何か？
• RQ3 半ストリーミングアルゴリズムにおける $k$-連結性の処理において、パス数と辺あたりの処理時間のトレードオフは何か？
• RQ4 構築された証明書は $k$-連結性のテストに加え、$l < k$ のすべての $l$-分離集合の列挙をサポートできるか？
• RQ5 1パス程度の低パス数と $k$-連結性のための低辺あたり処理時間の両立を実現できる半ストリーミングアルゴリズムを設計可能か？

主な発見

• 最初のアルゴリズムは、入力ストリームを1パスで処理し、辺あたり $\mathcal{O}(k^2n)$ 時間で $k$-連結性のテストを実行し、後処理に用いるスパース証明書を提供する。
• 2番目のアルゴリズムは $k+1$ パスを用い、辺あたりの処理時間を $\mathcal{O}(k + \alpha(n))$ に削減し、大規模グラフに対して著しく効率的になる。
• 2番目のアルゴリズムが構築する証明書 $C(A_2)$ は、$l < k$ のすべての $l$-分離集合を保持しており、後処理ステップでそれらを列挙可能である。
• 定理7により、証明書 $C(A_2)$ は、すべての $l < k$ に対して $G$ と $G_k = (V, F_1 \cup \cdots \cup F_k)$ が同じ $l$-分離集合を持つことを保証しており、このアプローチの正しさが裏付けられる。
• 両アルゴリズムとも、半ストリーミングのメモリ制約 $\mathcal{O}(n \cdot \text{polylog}\,n)$ ビットを満たしており、大規模グラフ処理に適している。