[論文レビュー] Negative-Weight Shortest Paths and Unit Capacity Minimum Cost Flow in Õ(m 10/7 log W) Time.

Michael B. Cohen, Aleksander Mądry+2 more|arXiv (Cornell University)|May 5, 2016

Complexity and Algorithms in Graphs参考文献 3被引用数 33

ひとこと要約

この論文は、スパースグラフ上の負の重み付き最短経路、ユニット容量最小費用流、および関連問題を解くための新しい Õ(m¹⁰/⁷ log W) 時間のアルゴリズムを提示する。内点法の枠組みを、精密な解析と新規の事前処理および摂動技術を用いて重み付きグラフの設定に拡張することで、これらの問題に対して25年以上来ない多項式時間の改善を達成した。

ABSTRACT

In this paper, we study a set of combinatorial optimization problems on weighted graphs: the shortest path problem with negative weights, the weighted perfect bipartite matching problem, the unit-capacity minimum-cost maximum flow problem and the weighted perfect bipartite $b$-matching problem under the assumption that $\Vert b\Vert_1=O(m)$. We show that each one of these four problems can be solved in $ ilde{O}(m^{10/7}\log W)$ time, where $W$ is the absolute maximum weight of an edge in the graph, which gives the first in over 25 years polynomial improvement in their sparse-graph time complexity. At a high level, our algorithms build on the interior-point method-based framework developed by Madry (FOCS 2013) for solving unit-capacity maximum flow problem. We develop a refined way to analyze this framework, as well as provide new variants of the underlying preconditioning and perturbation techniques. Consequently, we are able to extend the whole interior-point method-based approach to make it applicable in the weighted graph regime.

研究の動機と目的

• スパース重み付きグラフ上の根本的 combinatorial 最適化問題、特に負の重み付き最短経路とユニット容量最小費用流のためのより高速なアルゴリズムを開発すること。
• これらの問題に対して25年以上にわたって多項式の改善が得られなかった長年の時間計算量の壁を打ち破ること。
• 従来、非重み付き問題にのみ使われてきた内点法に基づく枠組みを、負の辺重みを含む重み付きグラフに拡張すること。
• 重み付きグラフの設定に特化した、新たな事前処理および摂動技術を設計し、収束を高速化すること。

提案手法

• ユニット容量最大流に最初に開発された内点法の枠組みを、重み付きグラフの設定に適応する。
• 辺の重みを考慮に入れ、より緊密な複雑度の上限を得られるように、内点法の分析を精緻化する。
• 負の重みが存在する状況でも数値的安定性を保ちながら収束を加速する、新たな事前処理技術の変種を開発する。
• 問題の構造を保ちつつ条件数を改善し反復回数を減らす、新規の摂動戦略を適用する。
• グラフのスパarsity と総重み W の有界性を活かし、時間計算量における m に対する近線形依存性を達成する。
• 同一の Õ(m¹⁰/⁷ log W) 時間で、4つの関連問題を統一的に解くためのアルゴリズムフレームワークを用いる：負の重み付き最短経路、ユニット容量最小費用最大流、重み付き完全二部マッチング、および ||b||₁ = O(m) を満たす b-マッチング。

実験結果

リサーチクエスチョン

• RQ1 内点法の枠組みを、負の辺重みを持つ最短経路問題を効率的に解けるように拡張できるか？
• RQ2 重み付きグラフの設定で効率性を維持するためには、事前処理および摂動技術にどのような変更が必要か？
• RQ3 ユニット容量最小費用流の時間計算量において、25年以上前に得られた境界を超える多項式時間の改善が可能か？
• RQ4 負の重みと大きな重みの絶対値が引き起こす構造的および数値的課題に対応するため、内点法をどのように適合できるか？
• RQ5 同一の時間計算量で、最短経路、最小費用流、マッチング、および b-マッチングの4つの関連問題を1つのアルゴリズムフレームワークで解けるか？

主な発見

• 負の重み付き最短経路に対して Õ(m¹⁰/⁷ log W) の時間計算量を達成し、従来の境界と比べて顕著な改善を示した。
• ユニット容量最小費用最大流に対しても同じ時間計算量を達成し、この問題に対して25年以上来ない多項式時間の改善を初めて達成した。
• 同じ Õ(m¹⁰/⁷ log W) 時間で、重み付き完全二部マッチングおよび ||b||₁ = O(m) を満たす b-マッチングの問題も解くことができ、フレームワークが拡張された。
• この改善は、内点法の精緻な解析と、重み付きグラフに特化した新たな事前処理および摂動技術に起因する。
• 内点法が重み付きグラフの設定に効果的に適用可能であることが実証され、根本的な組合せ最適化問題に対する高速な解法が可能になった。
• アルゴリズムは辺数 m に対して近線形依存性を保ち、最大辺重み W に対して対数的依存性を示し、中程度の重み範囲のスパースグラフに対して効率的である。