[論文レビュー] A Faster Algorithm for Fully Dynamic Betweenness Centrality

Matteo Pontecorvi, Vijaya Ramachandran|arXiv (Cornell University)|Jun 18, 2015

Complex Network Analysis Techniques参考文献 23被引用数 6

ひとこと要約

この論文は、有向重み付きグラフにおける全動的バッチ中央性（BC）を維持するより高速なアルゴリズムを提示している。更新ごとの amortized 時間計算量は $ O({u^{*}}^{2} \bullet \log^{2}n) $ であり、ここで $ \nu^{*} $ は任意の頂点を通る最短経路に現れる異なる辺の数を上限とする。この手法は、複数の最短経路を簡潔に表現するための新しいデータ構造を用いて、トーラップの全動的 APSP アプローチを拡張し、従来の正確な動的 BC アルゴリズムよりも対数的要因で高速化している。

ABSTRACT

We present a new fully dynamic algorithm for maintaining betweenness centrality (BC) of vertices in a directed graph $G=(V,E)$ with positive edge weights. BC is a widely used parameter in the analysis of large complex networks. We achieve an amortized $O((ν^*)^2 \log^2 n)$ time per update, where $n = |V| $ and $ν^*$ bounds the number of distinct edges that lie on shortest paths through any single vertex. This result improves on the amortized bound for fully dynamic BC in [Pontecorvi-Ramachandran2015] by a logarithmic factor. Our algorithm uses new data structures and techniques that are extensions of the method in the fully dynamic algorithm in Thorup [Thorup2004] for APSP in graphs with unique shortest paths. For graphs with $ν^* = O(n)$, our algorithm matches the fully dynamic APSP bound in [Thorup2004], which holds for graphs with $ν^* = n-1$, since it assumes unique shortest paths.

研究の動機と目的

• 有向重み付きグラフにおける全動的バッチ中央性の、証明可能なより高速な正確なアルゴリズムの開発。
• 従来の最良 amortized 界 $ O({\nu^{*}}^{2} \cdot \log^{3}n) $ を、対数的要因を低減することで改善すること。
• トーラップの全動的 APSP 技法を、1つの頂点対あたり複数の最短経路を扱えるように一般化し、効率的な BC 維持を可能にすること。
• すべての最短経路を簡潔に表現しつつ、効率的な動的更新と経路数え上げを可能にする新しいデータ構造の設計。
• 特に、$ \nu^{*} = O(n) $ の場合に、トーラップの全動的 APSP 界に一致させること。特に、一意の最短経路を持つグラフにおいて。

提案手法

• 頂点対あたり複数の最短経路を扱えるように、経路表現のための一般化されたタプルシステムを用いて、トーラップの全動的 APSP フレームワークを拡張。
• レベルごとの集合 $ L_j^*, R_j^*, LC_j^*, RC_j^* $ を持つ階層的データ構造を導入し、異なるレベルでの最短経路の左および右拡張を追跡。
• 重みとカウントを関連付ける形で、$ (xa, by) $ のような三つ組を処理するための優先度付きキュー $ H_f $ を使用。これにより、新しいまたは更新された経路のみが処理されるように保証。
• マーク付きタプルと制御ビットを用いて、動的変更中の経路更新を追跡し、各レベルで不変条件を維持。
• 有効な左および右拡張を通じて、経路数を回復・伝搬するための 'ff-fixup' 手順を活用。これにより、すべての最短経路が正しく維持される。
• トーラップのユニークパスモデルにおけるレベルグラフの概念を、複数経路設定に一般化。これにより、複数の経路レイヤーにわたる更新の効率的伝搬が可能に。

実験結果

リサーチクエスチョン

• RQ1 従来の $ O({\nu^{*}}^{2} \cdot \log^{3}n) $ 法よりも、より良い amortized 時間界を持つ全動的 BC アルゴリズムを設計可能か？
• RQ2 元々一意の最短経路を想定していたトーラップの全動的 APSP アルゴリズムを、複数の最短経路を効率的に扱えるように一般化可能か？
• RQ3 経路表現に用いるデータ構造を、正しさと対数的オーバーヘッドを保ちつつ、動的更新をサポートするように拡張可能か？
• RQ4 $ \nu^{*} = O(n) $ の場合に、新しいアルゴリズムがトーラップの APSP アルゴリズムと同等の漸近的界に達するか？特に、一意の最短経路を持つグラフにおいて。
• RQ5 頂点を通る最短経路上の異なる辺の数（$ \nu^{*} $）をパラメータとして用い、動的 BC 計算の複雑さを制限する方法は何か？

主な発見

• 提案されたアルゴリズムは、更新ごとの amortized 時間計算量が $ O({\nu^{*}}^{2} \cdot \log^{2}n) $ に達し、従来の最良界を対数的要因で改善している。
• $ \nu^{*} = O(n) $ の場合、アルゴリズムはトーラップの全動的 APSP 界に一致する。これは一意の最短経路を仮定している。
• 新規のタプルシステムと階層的データ構造を用いて、動的更新中でもバッチ中央性スコアと全点対最短経路の正しさを維持している。
• この手法は、トーラップのレベルグラフ技法を、1つの頂点対あたり複数の最短経路を扱えるように一般化し、効率的な経路数え上げと伝搬を可能にしている。
• 制御ビットとマーク付きタプルを用いて、経路数を正しく維持。これにより、各更新で新たに発見されたまたは更新された経路のみが処理される。
• ff-fixup 手順により、すべての最短経路が正しく回復され、各レベルにわたって拡張され、すべての有効な経路がカウントに含まれているという不変条件が維持される。