[論文レビュー] A Local Algorithm for Finding Dense Subgraphs

Reid Andersen|ArXiv.org|Feb 13, 2007

Advanced Graph Theory Research被引用数 13

ひとこと要約

本稿では、隣接行列上で剪定された成長過程をシミュレートすることにより、二部グラフにおける密集部分グラフを局所的に特定するアルゴリズムを提示する。このアルゴリズムは、密度がθである任意の部分グラフに対して、Ω(θ/log n)の密度近似を達成する。アルゴリズムの実行時間はグラフサイズに依存せずO(Δk²)であり、全グラフをスキャンせずに、指定された開始頂点の周辺に高品質な部分グラフを保証する。

ABSTRACT

We present a local algorithm for finding dense subgraphs of bipartite graphs, according to the definition of density proposed by Kannan and Vinay. Our algorithm takes as input a bipartite graph with a specified starting vertex, and attempts to find a dense subgraph near that vertex. We prove that for any subgraph S with k vertices and density theta, there are a significant number of starting vertices within S for which our algorithm produces a subgraph S' with density theta / O(log n) on at most O(D k^2) vertices, where D is the maximum degree. The running time of the algorithm is O(D k^2), independent of the number of vertices in the graph.

研究の動機と目的

• 全グラフをスキャンせずに、指定された開始頂点の近傍に密集部分グラフを特定する局所的アルゴリズムの開発。
• 発見された部分グラフの密度に対する理論的近似保証の提供、最適部分グラフ密度に対する相対的なもの。
• 多数の開始頂点からアルゴリズムを実行することで、複数の小さな密集部分グラフを並列に発見可能にする。
• 出力部分グラフのサイズを制限することで、サイズが制御された部分グラフを必要とする応用に有用であることを保証する。
• スペクトル的手法を局所計算に拡張し、密集部分グラフと隣接行列の最大固有値との関係を活用する。

提案手法

• アルゴリズムは、頂点重みを表すベクトルに対して反復的に行列-ベクトル乗算を適用し、その後にサポートサイズを制限するための丸め処理を施す剪定された成長プロセスを用いる。
• 各ステップで、$ x_t = \text{round}(x_{t-1}A) - r_t $ を計算する。ここで $ r_t $ は剪定成分であり、スパarsityを保ちながら計算を効率化する。
• 剪定しきい値 $ \epsilon_t = 2^t / (8\sqrt{n}) $ は、近似品質とスパarsityのバランスを取るために設定され、非ゼロ要素の数を制御する。
• アルゴリズムは、非ゼロ要素のサポートが小さいベクトル $ x_t $ を維持することで、その非ゼロ頂点に接続する辺の数に比例した時間で計算を実行可能にする。
• 密度は、各ステップで $ x_t $ の左成分と右成分のサポートである $ X^t_i $ と $ Y^t_j $ によって誘導される部分グラフ上で評価される。
• 理論的分析ではスペクトル法を用い、内積 $ \langle x_t, \phi \rangle $ の増加が最大固有値 $ \lambda $ と関係づけられ、近似保証が証明される。

実験結果

リサーチクエスチョン

• RQ1 全グラフサイズに依存しない近似保証を持つ局所的アルゴリズムは、指定された頂点の近傍に密集部分グラフを発見可能か？
• RQ2 局所的密集部分グラフ検出において、実行時間と近似品質のトレードオフは何か？
• RQ3 スペクトル的手法をどのように変更すれば、理論的性能保証を持つ局所的アルゴリズムを構築できるか？
• RQ4 開始頂点を変えて複数回実行することで、効率的に複数の小さな密集部分グラフを発見可能か？
• RQ5 出力部分グラフのサイズを制限しつつも、強力な近似保証を維持することは可能か？

主な発見

• 密度 $ \theta $ の任意の部分グラフ $ (S,T) $ に対して、$ S \cup T $ 内に存在する、アルゴリズムが $ \Omega(\theta / \log n) $ の密度を持つ部分グラフを出力するような開始頂点が多数存在する。
• アルゴリズムの実行時間は $ O(\Delta k^2) $ であり、$ k = |S| + |T| $ である。これはグラフ全体の頂点数に依存しない。
• 出力部分グラフのサイズは $ O(\Delta k^2) $ で抑えられ、スケーラビリティと出力サイズの制御を保証する。
• アルゴリズムは、制御された丸めによってスパarsityを維持する剪定された成長プロセスを用いることで、計算コストを低減する。
• 理論的分析により、内積 $ \langle x_t, \phi \rangle $ が少なくとも $ (\lambda/2)^t $ の速度で増加することが示され、近似保証が可能になる。
• 空間計算量は $ O(n \log \log n) $ ビットであり、同時に保持する必要があるのは2つのベクトルのみである。