[論文レビュー] Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs

Giuseppe F. Italiano, Piotr Sankowski|arXiv (Cornell University)|Nov 12, 2010

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

ひとこと要約

本論文は、双対グラフ上で新しいクラスタベースの分割統治的手法を用いることで、無向平面グラフにおける最小カットおよび最大フローの $O(n\log n)$ の時間計算量の壁を打ち破る初のアルゴリズムを提示する。これにより、$O(n\log\log n)$ 時間で実現される。さらに、辺の更新および最小カット／最大フローのクエリを処理する完全動的アルゴリズムを導入し、操作あたり $O(n^{2/3}\log^3 n)$ の均等化時間計算量を達成する。このアルゴリズムは、新しい動的最短経路技術に裏打ちされている。

ABSTRACT

In this paper we study minimum cut and maximum flow problems on planar graphs, both in static and in dynamic settings. First, we present an algorithm that given an undirected planar graph computes the minimum cut between any two given vertices in O(n log log n) time. Second, we show how to achieve the same O(n log log n) bound for the problem of computing maximum flows in undirected planar graphs. To the best of our knowledge, these are the first algorithms for those two problems that break the O(n log n) barrier, which has been standing for more than 25 years. Third, we present a fully dynamic algorithm that is able to maintain information about minimum cuts and maximum flows in a plane graph (i.e., a planar graph with a fixed embedding): our algorithm is able to insert edges, delete edges and answer min-cut and max-flow queries between any pair of vertices in O(n^(2/3) log^3 n) time per operation. This result is based on a new dynamic shortest path algorithm for planar graphs which may be of independent interest. We remark that this is the first known non-trivial algorithm for min-cut and max-flow problems in a dynamic setting.

研究の動機と目的

• 無向平面グラフにおける最小カットおよび最大フローの長年の $O(n\\log n)$ 時間計算量の上限を打ち破ること。
• 辺の挿入・削除および最小カット／最大フローのクエリをサポートする完全動的アルゴリズムを構築し、均等化時間計算量を向上させること。
• 辺の更新および埋め込みの変更をサポートする平面グラフ向けの新しい動的最短経路アルゴリズムを導入し、動的フローおよびカットアルゴリズムを可能にすること。

提案手法

• 平面グラフの双対グラフを活用し、最小 $s$-$t$ カット問題を、パス $\pi$ に沿って切断することで構築された変更済みグラフ $G_\\pi$ における最短経路問題に変換する。
• 平面グラフのクラスタ分解を用いて、双対グラフにおける柔軟なパス選択 $\pi$ を可能にし、$O(n\log\log n)$ 時間で実現される高速な分割統治を実現する。
• Fakcharoenphol-Rao 最短経路アルゴリズムを用いて、変更済み双対グラフ $G_\pi$ における最短経路を計算し、平面グラフ上での $O(n\log\log n)$ の性能を活用する。
• 双対グラフにおいて、頂点のサイクル表現を維持することで、原始グラフにおける辺の挿入・削除の際の頂点分割・結合を効率的にサポートする。
• クラスタおよびホールのための密度の高い距離グラフを構築し、動的環境下での最小カットおよび最短経路の計算を効率的に行う。
• グローバル再構築技術を用いることで、均等化性能と同等の最悪計算量を達成し、任意の更新シーケンスに対しても堅牢性を保証する。

実験結果

リサーチクエスチョン

• RQ1 双対グラフにおける構造的洞察の新規性を活用することで、無向平面グラフにおける最小カットの $O(n\log n)$ 時間計算量の上限を改善できるか？
• RQ2 最小カットアルゴリズムのオーバーヘッドに依存せずに、無向平面グラフにおける最大フローを $O(n\log\log n)$ 時間で計算できるか？
• RQ3 辺の挿入・削除および埋め込みの変更が加えられても、平面グラフにおける最小カットおよび最大フロー情報を、サブ線形時間で維持できる完全動的アルゴリズムは存在するか？
• RQ4 辺の更新および埋め込みの変更に対応する平面グラフにおける効率的な最短経路クエリを実現するための動的データ構造および技術は何か？
• RQ5 双対グラフにおける頂点の分割・結合を効率的にモデル化することで、動的フローおよびカット計算を可能にすることができるか？

主な発見

• 本論文は、無向平面グラフにおける最小 $s$-$t$ カットを計算する $O(n\log\log n)$ 時間のアルゴリズムを達成し、初めて $O(n\log n)$ の壁を破った。
• 無向平面グラフにおける最大フローを計算する $O(n\log\log n)$ 時間のアルゴリズムが開発され、最小カットアルゴリズムの改善と同等の性能を達成した。
• 辺の挿入・削除および最小カット／最大フローのクエリを処理する完全動的アルゴリズムが提示され、操作あたり $O(n^{2/3}\log^3 n)$ の均等化時間計算量を達成した。これは、これらの問題に対する最初の非自明な動的アルゴリズムである。
• 動的アルゴリズムは、辺の挿入・削除および埋め込みの変更をサポートする平面グラフ向けの新しい動的最短経路技術に依存しており、操作あたり $O(n^{2/3}\log^2 n)$ の均等化時間計算量を達成した。
• 双対頂点のサイクル表現の使用により、原始グラフの辺更新時の頂点分割・結合を効率的に処理でき、正しさと効率性を維持した。
• クラスタ分解、双対グラフの操作、効率的な最短経路計算の組み合わせにより、グローバル再構築を用いることで最悪計算量の境界も達成された。