[論文レビュー] Dynamic Gomory-Hu Tree Construction -- fast and simple

Tanja Hartmann, Dorothea Wagner|arXiv (Cornell University)|Oct 1, 2013

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

ひとこと要約

本論文は、挿入、削除、容量の更新といった任意の辺変更に対して、有効なカットを再利用し、局所的な再計算を適用することで、Gomory-Hu木を完全に動的かつ効率的に維持する初のアルゴリズムを提示する。この手法は、静的再計算と比較して最大96%のカット計算を削減し、実世界のネットワークにおいても優れた実用的性能を発揮する。

ABSTRACT

A cut tree (or Gomory-Hu tree) of an undirected weighted graph G=(V,E) encodes a minimum s-t-cut for each vertex pair {s,t} \subseteq V and can be iteratively constructed by n-1 maximum flow computations. They solve the multiterminal network flow problem, which asks for the all-pairs maximum flow values in a network and at the same time they represent n-1 non-crossing, linearly independent cuts that constitute a minimum cut basis of G. Hence, cut trees are resident in at least two fundamental fields of network analysis and graph theory, which emphasizes their importance for many applications. In this work we present a fully-dynamic algorithm that efficiently maintains a cut tree for a changing graph. The algorithm is easy to implement and has a high potential for saving cut computations under the assumption that a local change in the underlying graph does rarely affect the global cut structure. We document the good practicability of our approach in a brief experiment on real world data.

研究の動機と目的

• 挿入、削除、容量の更新を含む任意の辺変更に対して、Gomory-Hu木を効果的に維持できる完全動的アルゴリズムの開発。
• グラフ変更後も有効なまま残る既存のカットを再利用することで、カットツリーの維持にかかる計算コストを低減すること。
• 特に変更が稀または局所的なシナリオに適した、実用的で効率的な動的ネットワーク解析ソリューションの提供。
• 実世界の通信ネットワークにおける動的カットツリー維持の実現可能性と性能向上を実証すること。

提案手法

• グラフ変更後の更新されたグラフにおけるカット有効性の一般条件を定式化することで、変更後も有効なまま残るカットを再利用する。
• 交差するカットを許容し、中間的なツリー表現を維持することで、簡潔さと効率性を確保する修正されたGomory-Hu構築法を適用する。
• 元のツリーにおけるパス π(b,d) 沿いのパスベース更新戦略を採用する。ここで b と d は変更された辺の端点である。
• 再接続された各辺が現在のグラフで最小カットを誘発することを保証する貪欲戦略を用いて、ツリー内の辺を再接続する。
• 特に容量の減少に対しては、カット計算中に頂点の縮約を適用し、グラフサイズを縮小することで性能を向上させる。
• 定理2と補題3を活用して、既存の有効なカットと交差しないように新しいカットを再構成し、正しさと効率性を保証する。

実験結果

リサーチクエスチョン

• RQ1 挿入、削除、容量変更といった任意の辺変更の後でも、Gomory-Hu木を効率的に更新できるか。
• RQ2 Gomory-Hu木内の既存のカットが、グラフ変更後も有効であるための条件は何か。
• RQ3 全ツリーの再計算からではなく、有効なカットを再利用することで、どの程度の計算作業を削減できるか。
• RQ4 動的更新中に縮約技術を適用することで、最大フロー計算のコストをさらに低減できるか。
• RQ5 特に容量の減少に対して、動的アルゴリズムは時間的滑らかさ（すなわち、時間経過に伴う一貫性のあるカット値）を維持できるか。

主な発見

• 72時間にわたる電子メールネットワークの進化において、Spamによるグラフの密着化が生じても、最大フロー計算の回数が静的再計算コストの4%未満にまで削減された。
• 辺の削除および容量の減少に対して、定理2と補題3を活用し、π(b,d) 上の頂点に接続する部分木を縮約することで、有効なグラフサイズを deg*(v) 頂点にまで縮小した。
• 実世界のデータにおいて、カット計算の96%以上の削減を達成し、強力な実用的効率性を示した。
• 変更後も有効なカットが更新済みツリーに反映されることを保証することで、時間的滑らかさを確保した。
• 従来の仮定とは異なり、増加と減少の両方の辺容量変更に対して、同程度の計算コスト削減の可能性を示した。
• 中間的なツリー表現と最小カット性質を保持する再接続戦略を用いることで、実装が簡単であり、正しさを保証できる。