[論文レビュー] Min-Cost Flow Duality in Planar Networks

Haim Kaplan, Yahav Nussbaum|arXiv (Cornell University)|Jun 28, 2013

Advanced Graph Theory Research参考文献 16被引用数 4

ひとこと要約

本稿では、平面的グラフの幾何学的双対性と線形計画法の双対性を活用して、元の問題を双対グラフ上の等価な双対最小費用循環問題に変換する、平面的ネットワークにおける最小費用循環問題のための新規な双対変換を提示する。主な貢献は、双対グラフの構造的単純性と動的木データ構造を活用して、外平面的ネットワークにおける最小費用循環問題の $O(n/\log^2 n)$ 時間アルゴリズムを達成したことである。

ABSTRACT

In this paper we study the min-cost flow problem in planar networks. We start with the min-cost flow problem and apply two transformations, one is based on geometric duality of planar graphs and the other on linear programming duality. The result is a min-cost flow problem in a related planar network whose balance constraints are defined by the costs of the original problem and whose costs are defined by the capacities of the original problem. We use this transformation to show an O(n log^2 n) time algorithm for the min-cost flow problem in an n-vertex outerplanar network.

研究の動機と目的

• 幾何学的双対性と線形計画法の双対性を用いて、平面的ネットワークにおける最小費用循環問題の双対的変換を構築すること。
• 外平面的グラフおよびその双対の構造的性質を活用し、最小費用循環問題の高速アルゴリズムを設計すること。
• 外平面的ネットワークにおける最小費用循環問題の時間計算量を $O(n\log^2 n)$ に達成すること。これにより、先行研究の境界を改善する。

提案手法

• 平面的グラフの双対性を用いて、元の最小費用循環問題を幾何的双対グラフ上の双対問題に変換する。
• 双対問題に線形計画法の双対性を適用し、元のネットワークと双対ネットワークの間でコストと容量の役割を入れ替える。
• 元のコストがバランス制約を定義し、元の容量がコストを定義するように、双対ネットワークを構築する（場合によっては弧を二重化し、向きを反転させる）。
• 動的木（Sleator-Tarjan および Euler サービス木）を用いて、実行中に流れの経路とコストを効率的に維持・更新する。
• 過剰頂点から根への最小コスト経路を持つアクティブ木 $\hat{T}$ を維持し、容量とコストを動的に更新する。
• 経路の最小容量とコストの照会を用いて、最小コスト経路に沿って流れを押し進める。最適性を維持し、負のコストサイクルまたは不可解性を検出するための暗黙の更新を行う。

実験結果

リサーチクエスチョン

• RQ1 幾何学的双対性と線形計画法の双対性を用いて、平面的最小費用循環問題を等価な双対問題に変換し、より高速なアルゴリズムを可能にすることができるか？
• RQ2 外平面的グラフの双対構造をどのように活用すれば、最小費用循環問題の時間計算量を向上させることができるか？
• RQ3 最適性を維持しながら、双対ネットワークにおける流れの増幅とコストの更新を効率的に行うために、どのような動的データ構造が適しているか？
• RQ4 元のネットワークで不可解性または負のコストサイクルを検出できる条件は何か？
• RQ5 双対性と動的木を用いることで、外平面的ネットワークにおける最小費用循環問題を $O(n\log^2 n)$ 時間で解くことは可能か？

主な発見

• 本稿では、平面的ネットワークにおける最小費用循環問題を、コストと容量を交換したその双対平面的ネットワーク上の等価な最小費用循環問題に写像する双対変換を確立した。
• 双対問題は平面性を保ち、外平面的グラフの双対の単純な構造のおかげで、効率的なアルゴリズム的利用が可能である。
• 外平面的ネットワークにおける最小費用循環問題に対して、$O(n\log^2 n)$ 時間のアルゴリズムが達成され、これは従来の汎用アルゴリズムよりも高速である。
• 動的木を用いて最小コスト経路と容量を維持・更新しており、各操作が $O(\log n)$ 時間で実行される。
• 負のコストサイクルは、$nU+1$ 単位の流れを運ぶ弧を追跡することで検出される。これは、このような状況でのみ発生する。
• すべてのソース頂点のコピーがアクティブ木から分離している一方で、まだ過剰な流れが残っている場合、不可解性が検出される。これは、妥当な解が存在しないことを示している。