[論文レビュー] Min st-Cut Oracle for Planar Graphs with Near-Linear Preprocessing Time

Glencora Borradaile, Piotr Sankowski+1 more|arXiv (Cornell University)|Mar 5, 2010

Advanced Graph Theory Research参考文献 15被引用数 10

ひとこと要約

本稿では、O(n log⁴n)の前処理時間とO(n log n)の空間計算量を備え、定数時間のクエリ応答を実現する、無向平面グラフにおけるmin st-cutクエリの最初のサブ二次的アルゴリズムを提示する。平面双対性と階層的セパレータおよびトップツリーを用いたFR-Dijkstraの新規応用により、Gomory-Hu木を暗黙的に構築し、最小サイクル基底を暗黙的に表現する。決定的性能を達成するには、前処理時間に追加でlog²nの要因が加算される。

ABSTRACT

For an undirected $n$-vertex planar graph $G$ with non-negative edge-weights, we consider the following type of query: given two vertices $s$ and $t$ in $G$, what is the weight of a min $st$-cut in $G$? We show how to answer such queries in constant time with $O(n\log^4n)$ preprocessing time and $O(n\log n)$ space. We use a Gomory-Hu tree to represent all the pairwise min cuts implicitly. Previously, no subquadratic time algorithm was known for this problem. Since all-pairs min cut and the minimum cycle basis are dual problems in planar graphs, we also obtain an implicit representation of a minimum cycle basis in $O(n\log^4n)$ time and $O(n\log n)$ space. Additionally, an explicit representation can be obtained in $O(C)$ time and space where $C$ is the size of the basis. These results require that shortest paths are unique. This can be guaranteed either by using randomization without overhead, or deterministically with an additional $\log^2 n$ factor in the preprocessing times.

研究の動機と目的

• サブ二次的前処理時間と定数時間のクエリ応答を実現する、平面グラフにおけるmin st-cutオラクルの設計。
• 近似線形時間と空間で、Gomory-Hu木を用いてすべてのペアワイズ最小カットを暗黙的に表現すること。
• 平面双対性を活用し、近似線形時間で最小サイクル基底問題を同時に解くこと。
• 一意な最短経路の仮定の下で、正しさと効率性を保証すること。ランダム化によりオーバーヘッドなし、または決定論的にlog²nの追加コストを負担することで実現可能。

提案手法

• 未分離な面の間の分離サイクルの反復的構築を、階層的平面セパレータが指針とする。
• Reifの最小分離サイクル用アルゴリズムの変更版を適用し、FR-Dijkstraによる最短経路計算に依存する。
• FakcharonpholとRaoのデータ構造を事前に計算して、平面グラフにおける効率的な最短経路クエリをサポートする。
• トップツリーを用いて、内部および外部の密な距離グラフ（intDDGとextDDG）におけるlex-shortestパスの維持とクエリを実現し、効率的なパス比較を可能にする。
• intDDGでは下から上へ、extDDGでは上から下へ、再帰的分解とパス比較を活用して、lex-shortestパス木を構築する。各操作の時間はO(log²n)。
• 等長サイクルのコンパクト表現とパス表現における二分探索を用い、サイクル上の臨界辺をO(|C| + log³n)時間で特定する。

実験結果

リサーチクエスチョン

• RQ1 平面グラフにおけるmin st-cutクエリを、サブ二次的前処理時間で定数時間で応答可能か？
• RQ2 平面グラフに対して、近似線形時間でGomory-Hu木を構築可能か？
• RQ3 平面双対性と最小カットデータ構造を用いて、最小サイクル基底を暗黙的に表現可能か？
• RQ4 最短経路の一意性が、アルゴリズムの正しさと効率性に与える影響は？
• RQ5 時間的コストが著しく増大することなく、決定論的アルゴリズムに変換可能か？

主な発見

• 本稿では、平面グラフにおけるmin st-cutオラクルについて、O(n log⁴n)の前処理時間とO(n log n)の空間計算量を達成し、クエリ応答時間はO(1)である。
• アルゴリズムはGomory-Hu木を暗黙的に構築し、近似線形時間ですべてのペアワイズ最小カットを表現可能である。
• 平面双対性により、同じデータ構造は最小サイクル基底を暗黙的に表現する。基底のサイズがCである場合、明示的な基底はO(C)時間と空間で計算可能である。
• アルゴリズムは一意な最短経路に依存しており、ランダム化によりオーバーヘッドなしに保証可能であり、決定論的には前処理時間に追加でlog²nの要因が加算される。
• トップツリーとFR-Dijkstraの使用により、各操作あたりO(log²n)時間で効率的なパス比較とlex-shortestパス木の構築が可能となり、全体の時間計算量はO(n log⁴n)に収束する。
• 密な距離グラフ（intDDGとextDDG）の再帰的分解により、O(log n)の再帰深さが保証され、分離サイクルの効率的計算が可能となる。