[論文レビュー] Algebraic Algorithms for b-Matching, Shortest Undirected Paths, and f-Factors

Harold N. Gabow, Piotr Sankowski|arXiv (Cornell University)|Apr 24, 2013

Complexity and Algorithms in Graphs参考文献 23被引用数 10

ひとこと要約

本稿では、無向グラフにおける $f$-ファクタおよび $b$-マッチングのための、初めての効率的な代数的アルゴリズムを提示する。著者らは、新規の記号的行列構成と確率的消去法を用い、最大重み $f$-ファクタの計算に $\tilde{O}(Wf(V)^ ho)$ 時間を達成した。ここで $\rho < 2.3727$ である。この手法はチュッテの行列を $f$-ファクタに一般化し、代数的手法を用いて、保守的無向グラフにおける効率的な最短経路計算を可能にする。

ABSTRACT

Let G=(V,E) be a graph with f:V o Z_+ a function assigning degree bounds to vertices. We present the first efficient algebraic algorithm to find an f-factor. The time is ilde{O}(f(V)^ω). More generally for graphs with integral edge weights of maximum absolute value W we find a maximum weight f-factor in time ilde{O}(Wf(V)^ω). (The algorithms are randomized, correct with high probability and Las Vegas; the time bound is worst-case.) We also present three specializations of these algorithms: For maximum weight perfect f-matching the algorithm is considerably simpler (and almost identical to its special case of ordinary weighted matching). For the single-source shortest-path problem in undirected graphs with conservative edge weights, we present a generalization of the shortest-path tree, and we compute it in ilde{O(Wn^ω) time. For bipartite graphs, we improve the known complexity bounds for vertex capacitated max-flow and min-cost max-flow on a subclass of graphs.

研究の動機と目的

• 無向グラフにおける $f$-ファクタおよび $b$-マッチングのための、初めての効率的な代数的アルゴリズムを開発すること。
• Tutteの行列構成を、$\{\pm1\}$ の要素をもつ $\phi \times \phi$ のコンactな記号的行列を用いて $f$-ファクタに一般化し、巨大な中間表現を回避すること。
• 代数的手法を用いて、最大重み $f$-ファクタおよび保守的無向グラフにおける最短経路の効率的計算を可能にすること。
• 通常のマッチングと類似する構造的性質を活用して、$b$-マッチングと $f$-ファクタのアルゴリズムを統一的かつ簡素化すること。
• 密度の高いグラフにおいて、最大フローおよび最短経路問題を代数的手法で解くためのフレームワークを提供し、漸近的計算量を改善すること。

提案手法

• $\phi = f(V)$ として、$f$-ファクタのための $\phi \times \phi$ の記号的行列 $B(G)$ を、不定元 $z$ と確率的変数を用いて構築する。これにより、辺の寄与が $\pm1$ の係数で表現される。
• $\mathbb{Z}_p$（$p = \Theta(\phi^3)$）上の確率的消去法を用い、$B(G)$ の行列式および余因子行列を計算する。ここで高速行列乗算の指数 $\rho < 2.3727$ を活用する。
• 変数 $z$ における次数解析を適用し、$\deg_z(\det(B))$ および $\deg_z(\operatorname{adj}(B)_{i,j})$ を用いて最大 $f$-ファクタの重みを抽出する。これは高い確率で正しく、正当性が保証される。
• 頂点 $v$ を除いた $f^v$-ファクタ（$f$-ファクタのうち $v$ を除いたもの）の重みを分離・計算するために、補助的グラフ $G^*$ および $G^v$ を構築する。行列式および余因子行列の計算を用いる。
• 多重グラフへの一般化のため、辺のコピーに重みを割り当て、行列の要素に $z^{w(e,k)}$ 項を拡張する。
• 代数的フレームワークを用いて、保守的無向グラフにおける単一始点最短経路を $\tilde{O}(Wn^\rho)$ 時間で計算する。これは、代数的手法により一般化された最短経路木を構築することで達成される。

実験結果

リサーチクエスチョン

• RQ1 Tutte や Lovász の行列が引き起こすサイズの爆発を回避する、$f$-ファクタのコンパクトな記号的行列表現を構築することは可能か？ これにより代数的計算が高速化可能か？
• RQ2 非二部グラフに対しても、代数的手法を用いて最大重み $f$-ファクタの計算を $\tilde{O}(Wf(V)^\rho)$ 時間で達成することは可能か？
• RQ3 $f$-ファクタの構造を代数的に活用し、有向グラフへの還元を回避して、保守的無向グラフにおける最短経路計算を可能にすることは可能か？
• RQ4 $b \equiv 1$ の場合に、通常のマッチングとの構造的類似性を活用することで、$b$-マッチングの代数的フレームワークを簡素化することは可能か？
• RQ5 スケーリング技術を代数的手法と組み合わせることで、最大フローおよび $f$-ファクタアルゴリズムの実行時間をさらに改善可能か？

主な発見

• 本稿は、重みなしインスタンスにおいて $O(f(V)^\rho)$ 時間で動作する、$f$-ファクタのための最初の代数的アルゴリズムを提示する。これは、密度の高いグラフにおいて、従来の $O(\sqrt{f(V)}m)$ の境界を改善する。
• 整数辺重みが $\leq W$ の最大重み $f$-ファクタに対して、アルゴリズムは $\tilde{O}(Wf(V)^\rho)$ 時間で実行され、重み付きマッチングの最良既知の境界と一致する。
• 保守的無向グラフにおける単一始点最短経路の計算は $\tilde{O}(Wn^\rho)$ 時間で実行され、有向グラフへの還元が知られていない問題に対して、新しい代数的アプローチを提供する。
• 一般化された最短経路木の存在が証明され、代数的手法を用いて効率的に計算可能であることが示された。
• 本フレームワークにより、頂点容量付き最大フローおよび最小費用最大フロー問題に対して、代数的 $f$-ファクタ機構を活用することで、より良い計算量の境界が得られる。
• 特に構築された $\phi \times \phi$ 行列の行列式および余因子行列を、$z$ における次数解析により最大 $f$-ファクタの重みを抽出できることを、高い確率で正当性が保証された。