[論文レビュー] A Note on Cut-Approximators and Approximating Undirected Max Flows.

Richard Peng|arXiv (Cornell University)|Nov 27, 2014

Complexity and Algorithms in Graphs参考文献 15被引用数 5

ひとこと要約

本論文は、無向グラフにおけるカット近似木の構築と最大フローの近似計算の間のタイトなアルゴリズム的関係を確立する。この関係を活用することで、両問題に対して初めて O(m polylog(n)) 時間のアルゴリズムを提示し、フロー計算およびグラフ分解分野における現在の技術水準を著しく向上させる。

ABSTRACT

We show a closer algorithmic connection between constructing cut-approximating hierarchical tree decompositions and computing approximate maximum flows in undirected graphs. This leads to the first O(m polylog(n)) time algorithms for both problems.

研究の動機と目的

• カット近似木の階層的木分解と無向グラフにおける近似最大フロー計算の間のギャップを埋めること。
• 両問題のアルゴリズム的依存関係を活用して、より高速なアルゴリズムを開発すること。
• 両問題に対して、具体的には O(m polylog(n)) の近似線形時間複雑度を達成すること。
• 同じアルゴリズム的フレームワークが、両大規模グラフ問題を同時に効率的に解くことができることを示すこと。

提案手法

• 著者らは、無向グラフにおけるカット近似木と近似最大フローの間の構造的同等性を同定する。
• 共通のデータ構造を用いて、カット近似木と近似最大フローを同時に計算する新しいアルゴリズムを設計する。
• 階層的レベル間での近似カット値の維持に、再帰的分解とスパース化技術に依存する。
• 木分解のパrametric searchに類似したアプローチを用いて、効率的にフロー近似値を改善する。
• 動的グラフスパースファイアと低ストレッチ全域木の性質を活用することで、近似線形時間で動作する。
• コア的イノベーションは、同じ計算フレームワークを再利用して両問題を解くことで、重複計算を削減することにある。

実験結果

リサーチクエスチョン

• RQ1 カット近似木の階層的木分解を近似線形時間で構築できるか？
• RQ2 カット近似木と無向グラフにおける近似最大フローの間に、根本的なアルゴリズム的関係が存在するか？
• RQ3 1つのアルゴリズムが、両問題に対して近似線形時間性能を達成できるか？
• RQ4 どのような構造的性質が、このような効率的近似を可能にするのか？

主な発見

• 本論文は、カット近似木の階層的木分解を構築するための最初の O(m polylog(n)) 時間アルゴリズムを提示する。
• 無向グラフにおける近似最大フロー計算に対しても、同じ時間複雑度を達成する。
• 両問題間のアルゴリズム的関係により、共有の計算プリミティブが可能となり、全体の複雑度が低下する。
• 両問題が近似線形時間で解けることが実証され、従来の境界を大幅に改善する。