[論文レビュー] Spectral Sparsification of Graphs

Daniel A. Spielman, Shang‐Hua Teng|arXiv (Cornell University)|Aug 29, 2008

Advanced Graph Theory Research参考文献 28被引用数 18

ひとこと要約

この論文は、元のグラフのラプラシアン二次形式を(1+ε)の近似で保つスパースサブグラフによるグラフのスペクトル的スパース化を導入する。任意のグラフが Õ(n/ε²) 本の辺を持つスペクトル的スパースファイアを有することが証明され、これは Õ(m) 時間で構築可能であり、対角優勢行列における線形方程式系の解法にほぼ線形時間アルゴリズムを可能にする。

ABSTRACT

We introduce a new notion of graph sparsificaiton based on spectral similarity of graph Laplacians: spectral sparsification requires that the Laplacian quadratic form of the sparsifier approximate that of the original. This is equivalent to saying that the Laplacian of the sparsifier is a good preconditioner for the Laplacian of the original. We prove that every graph has a spectral sparsifier of nearly linear size. Moreover, we present an algorithm that produces spectral sparsifiers in time $\softO{m}$, where $m$ is the number of edges in the original graph. This construction is a key component of a nearly-linear time algorithm for solving linear equations in diagonally-dominant matrcies. Our sparsification algorithm makes use of a nearly-linear time algorithm for graph partitioning that satisfies a strong guarantee: if the partition it outputs is very unbalanced, then the larger part is contained in a subgraph of high conductance.

研究の動機と目的

• ラプラシアン行列のスペクトル的類似性に基づく、グラフ近似のより強い概念としてのスペクトル的スパース化を定義・形式化すること。
• 任意の重み付きグラフに対して、ほぼ線形サイズ（Õ(n/ε²) 本の辺）のスペクトル的スパースファイアが存在することを証明すること。
• このようなスパースファイアをほぼ線形時間（Õ(m) 時間）で構築するアルゴリズムを開発すること。
• スペクトル的スパースファイアが、対角優勢行列における線形方程式系の解法に効果的なプリコンディショナとして機能することを確立すること。
• スパース化プロセスを支える基盤的なアルゴリズム、特にほぼ線形時間のグラフ分割アルゴリズムを整備すること。

提案手法

• すべての実ベクトルに対して、スパースファイアのラプラシアン二次形式が元のグラフのそれと(1+ε)の要因で近似されるという条件により、スペクトル的スパース化を定義する。
• 再帰的アルゴリズムパイプラインを用いる：まず、有効抵抗に比例する確率で辺をサンプリングし、次に重みなしスパース化と有界スパース化を適用して、ブロー・アップと辺数の増加を制御する。
• 不均衡なカットの大きな側に高いコンductanceを保証する、ほぼ線形時間のグラフ分割アルゴリズムApproxCutを用いる。
• 商グラフのスパースファイアを元のグラフに戻すためのランダムプルバック機構を適用し、エッジのブロー・アップが制限されることを保証する。
• 集中不等式と期待値解析を用いて、最終的なスパースファイアにおけるエッジのブロー・アップを制限し、1エッジあたり O(min(d_u, d_v)/log²n) 以内に保つことを証明する。
• 最終的なスパースファイアと元のグラフとのスペクトル的類似性を活用して、ラプラシアン線形方程式系のプリコンディショニングを可能にする。

実験結果

リサーチクエスチョン

• RQ1 すべての実ベクトルに対して、そのラプラシアン二次形式が元のグラフと(1+ε)の要因で近似されるようなスパースサブグラフを構築することは可能か？
• RQ2 このようなスペクトル的スパースファイアを、ほぼ線形時間（つまり Õ(m) 時間、m は辺の数）で構築することは可能か？
• RQ3 グラフのどのような構造的性質（例：コンダクタンス、有効抵抗）が、ほぼ線形サイズのスペクトル的スパースファイアの構築を可能にするか？
• RQ4 近似の強さという観点から、スペクトル的スパース化は、カットスパースファイアやスパンナーよりも優れているか？
• RQ5 スペクトル的スパースファイアは、対角優勢行列における線形方程式系の解法に効果的なプリコンディショナとして使用可能か？

主な発見

• すべての重み付きグラフは、Õ(n/ε²) 本の辺を持つスペクトル的スパースファイアを有し、これは元のグラフの(1+ε)-スペクトル的近似である。
• スパースファイアは、元のグラフの辺数 m に対して Õ(m) 時間で構築可能である。
• アルゴリズムは、任意のエッジのブロー・アップ（つまり、そのエッジにマッピングされる元のエッジ数）が O(min(d_u, d_v)/log²(3n/p)²) 以内に制限されることを保証する。
• この構築は、不均衡なカットの大きな側に高いコンダクタンスを保証するほぼ線形時間のグラフ分割アルゴリズムApproxCutに依存している。
• スペクトル的スパース化は、カットスパースファイアよりも厳密に強いことが、第5節の反例によって示されている。ここではカットスパースファイアはスペクトル的性質を保証できない。
• 結果として得られるものは、対角優勢行列における線形方程式系の解法にほぼ線形時間アルゴリズムを実現する基盤的要素であり、補足論文[ST08b]で示されている。