[論文レビュー] Navigating Central Path with Electrical Flows: from Flows to Matchings, and Back

Aleksander Mądry|arXiv (Cornell University)|Jul 8, 2013

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

ひとこと要約

本稿では、内部点法における中心路を電流流しでナビゲートすることにより、単位容量有向グラフにおける最大 $s$-$t$ フローおよび最小 $s$-$t$ 割路の $\tilde{O}(m^{10/7})$ 時間アルゴリズムを提示する。この手法は、イーヴェンとタージャンが長年にわたり提唱した $O(m \text{min}(σm, n^{2/3}))$ の時間境界を改善し、スパarsなグラフにおいて初めてのサブ・クアドレティックな改善を達成する。その結果、還元を介して二部マッチング問題にも応用が可能である。

ABSTRACT

We present an $ ilde{O}(m^{10/7})= ilde{O}(m^{1.43})$-time algorithm for the maximum s-t flow and the minimum s-t cut problems in directed graphs with unit capacities. This is the first improvement over the sparse-graph case of the long-standing $O(m \min(\sqrt{m},n^{2/3}))$ time bound due to Even and Tarjan [EvenT75]. By well-known reductions, this also establishes an $ ilde{O}(m^{10/7})$-time algorithm for the maximum-cardinality bipartite matching problem. That, in turn, gives an improvement over the celebrated celebrated $O(m \sqrt{n})$ time bound of Hopcroft and Karp [HK73] whenever the input graph is sufficiently sparse.

研究の動機と目的

• 単位容量グラフにおける最大 $s$-$t$ フローの長年の $O(m \text{min}(σm, n^{2/3}))$ 時間境界を打ち破ること。
• 最大基数二部マッチング問題を最大フロー問題に還元することで、より高速なアルゴリズムを開発すること。
• 電流流しの計算を活用して、フロー問題の内部点法における中心路を効率的にナビゲートすること。
• スパarsなグラフにおいて、サブ・クアドレティックな時間計算量を達成し、ホプクロフトとカープの $O(m\tilde{\sqrt{n}})$ の境界を改善すること。
• 電流流しと組合せ最適化問題（フローおよびマッチングを含む）との間の新しい接続を確立すること。

提案手法

• 内部点法における中心路に沿った近似解を電流流しで得る。
• 電流流し計算に由来する線形方程式系の解法を高速化するための新規条件付け技術を採用する。
• グラフの再帰的分解を用いて、低ストレッチ全域木を維持し、収束速度を向上させる。
• エッジ数を削減しながらもフロー特性を保持する動的グラフスパース化手法を統合する。
• フローとマッチング問題の双対性を活用し、アルゴリズム的改善を二部マッチングに転送する。
• 電流流し近似に基づく、精密に調整された内部点ステップの系列を用いて、最終的な時間計算量を達成する。

実験結果

リサーチクエスチョン

• RQ1 電流流しを用いることで、単位容量グラフにおける最大フローの内部点法の高速化は可能か？
• RQ2 スパarsなグラフにおいて、最大 $s$-$t$ フローの時間計算量を $O(m \text{min}(σm, n^{2/3}))$ よりも良くできるか？
• RQ3 電流流しの計算を、二部マッチングへの還元をサポートする枠組みに統合する方法は何か？
• RQ4 現代の最適化技術を用いて、単位容量グラフにおける最大フローの最良時間計算量は何か？
• RQ5 理論的および実用的に、電流流しに基づく線形方程式系の解法を用いて中心路を効率的にナビゲートできるか？

主な発見

• 本稿では、単位容量有向グラフにおける最大 $s$-$t$ フローおよび最小 $s$-$t$ 割路に対して、$\tilde{O}(m^{10/7})$ 時間の計算量を達成した。
• これは、イーヴェンとタージャンの $O(m \text{min}(σm, n^{2/3}))$ の境界を改善し、数十年にわたり改善がなかったこの設定において、初めての進展である。
• このアルゴリズムにより、最大基数二部マッチング問題に対しても $\tilde{O}(m^{10/7})$ 時間の解法が得られ、スパarsなグラフにおいてホプクロフトとカープの $O(m\tilde{\sqrt{n}})$ の境界を改善した。
• 本手法は、電流流しと組合せ最適化の間の新しい接続を確立し、フローに基づく条件付けを用いた内部点法の強力さを示した。
• 時間計算量は、スパarsなグラフにおいて $m$ に関してサブ・クアドレティックであり、$m^{10/7} = m^{1.43}$ であり、顕著な漸近的改善である。
• マッチングからフローへの還元およびその逆を経由することで、スパarsな二部マッチングに対する初めてのサブ・クアドレティックなアルゴリズムが実現された。