[論文レビュー] Perfect Matchings in Õ(n^{1.5}) Time in Regular Bipartite Graphs

Ashish Goel, Michael Kapralov+1 more|ArXiv.org|Feb 10, 2009

Complexity and Algorithms in Graphs参考文献 15被引用数 4

ひとこと要約

本稿では、d-正則な二部グラフにおける完全マッチングを Õ(n^{1.5}) 期待時間で見つける確率的アルゴリズムを提示している。これは、従来の境界と比べて顕著な改善を示している。手法は二段階のサンプリングスキーム—まず一様サンプリングで辺数を削減し、次にマッチング構造を保持する非一様サンプリング—を用い、スパース部分グラフ上でHopcroft-Karpを実行することで、密度の高い正則グラフにおいて最適な性能を達成する。

ABSTRACT

We consider the well-studied problem of finding a perfect matching in $d$-regular bipartite graphs with $2n$ vertices and $m = nd$ edges. While the best-known algorithm for general bipartite graphs (due to Hopcroft and Karp) takes $O(m \sqrt{n})$ time, in regular bipartite graphs, a perfect matching is known to be computable in $O(m)$ time. Very recently, the $O(m)$ bound was improved to $O(\min\{m, \frac{n^{2.5}\ln n}{d}\})$ expected time, an expression that is bounded by $ ilde{O}(n^{1.75})$. In this paper, we further improve this result by giving an $O(\min\{m, \frac{n^2\ln^3 n}{d}\})$ expected time algorithm for finding a perfect matching in regular bipartite graphs; as a function of $n$ alone, the algorithm takes expected time $O((n\ln n)^{1.5})$. To obtain this result, we design and analyze a two-stage sampling scheme that reduces the problem of finding a perfect matching in a regular bipartite graph to the same problem on a subsampled bipartite graph with $O(n\ln n)$ edges that has a perfect matching with high probability. The matching is then recovered using the Hopcroft-Karp algorithm. While the standard analysis of Hopcroft-Karp gives us an $ ilde{O}(n^{1.5})$ running time, we present a tighter analysis for our special case that results in the stronger $ ilde{O}(\min\{m, \frac{n^2}{d} \})$ time mentioned earlier. Our proof of correctness of this sampling scheme uses a new correspondence theorem between cuts and Hall's theorem ``witnesses'' for a perfect matching in a bipartite graph that we prove. We believe this theorem may be of independent interest; as another example application, we show that a perfect matching in the support of an $n imes n$ doubly stochastic matrix with $m$ non-zero entries can be found in expected time $ ilde{O}(m + n^{1.5})$.

研究の動機と目的

• d が大きい場合に特に、d-正則な二部グラフにおける完全マッチングを求めるより高速なアルゴリズムを設計すること。
• この問題に対して従来の O(m) および O(n^{1.75}) 時間の境界を改善すること。
• 完全マッチングの存在を高確率で保ちながら、問題のサイズを縮小すること。
• サンプリングされた正則グラフの文脈において、Hopcroft-Karpアルゴリズムの tighter 分析を提供すること。
• カットとホールの定理の証拠との間の新しい対応関係を確立し、構造的なサンプリングを可能にすること。

提案手法

• 二段階のサンプリングスキームを提案：まずグラフサイズを削減するための一様サンプリングを行い、次にマッチング構造を保持する非一様サンプリングを実行する。
• Benczúr-Karger スタイルのサンプリングを縮小されたグラフに適用し、各ホールの証拠集合から少なくとも1本の辺が保持されるようにする。
• カットとホールの定理の証拠との間の新しい対応定理を活用し、サンプリングの正当性を検証する。
• 最終的なスパース部分グラフ（O(n ln n) 辺）に対してHopcroft-Karpアルゴリズムを適用し、完全マッチングを回復する。
• サンプリングされたグラフ上でHopcroft-Karpアルゴリズムを分析し、よりタイトな境界 O(n^{1.5} ln²n / d) 時間（高確率で）を示す。
• Birkhoff-von Neumann 分解フレームワークを用いて、結果を二重確率行列のサポート上でのマッチング探索へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 d が大きい場合に、d-正則な二部グラフにおける完全マッチング問題を O(m) よりも速い時間で解けるか？
• RQ2 二段階のサンプリングプロセスは、辺数を O(n ln n) に削減しながら、完全マッチングを高確率で保持できるか？
• RQ3 カットとホールの定理の証拠との間に、効率的なサンプリングを可能にする構造的対応関係が存在するか？
• RQ4 サンプリングされた正則グラフ上でHopcroft-Karpアルゴリズムをよりタイトに分析することで、Õ(n^{1.5}) 時間を達成できるか？
• RQ5 このサンプリングフレームワークを、n×n の二重確率行列のサポート上でのマッチング探索へ拡張できるか？

主な発見

• 本稿では、d-正則な二部グラフにおける完全マッチングのための O(min{m, n² ln³n / d}) 期待時間アルゴリズムを提示している。
• d = Ω(√n ln n) の場合、実行時間は O((n ln n)^{1.5}) となり、n の関数として Õ(n^{1.5}) 時間を達成する。
• 二段階のサンプリングスキームにより、完全マッチングを高確率で保ちながらグラフを O(n ln n) 辺にまで縮小できる。
• カットとホールの証拠との間の新しい対応定理が証明され、これはサンプリングプロセスの正しさの中心的役割を果たす。
• サンプリングされたグラフ上でHopcroft-Karpアルゴリズムは O(n^{1.5} ln²n / d) 時間で実行可能であり、標準的な解析を改善している。
• この手法は、n×n の二重確率行列のサポート上での完全マッチング探索に対しても、Õ(m + n^{1.5}) 期待時間で適用可能である。