[論文レビュー] A Local Computation Approximation Scheme to Maximum Matching

Yishay Mansour, Shai Vardi|arXiv (Cornell University)|Jun 20, 2013

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

ひとこと要約

この論文は、有界次数のグラフにおける最大マッチングの近似値を求める多対数時間の局所計算アルゴリズムを提示している。$(1-\epsilon)$-近似を達成する。クエリツリーと確率的バウンドを用いて、高確率で一貫性があり、低メモリリソースでエッジクエリに応答することを保証し、この設定における最大マッチングのための最初のこのようなスキームを記録している。

ABSTRACT

We present a polylogarithmic local computation matching algorithm which guarantees a $(1-\eps)$-approximation to the maximum matching in graphs of bounded degree.

研究の動機と目的

• 有界次数のグラフにおける最大マッチングを近似する局所計算アルゴリズム（LCA）を設計すること。
• 多対数時間とクエリ時間でのみ、$(1-\epsilon)$-近似を達成すること。
• クエリツリーを用いた依存関係のモデル化により、すべてのエッジクエリ間の一貫性を保証すること。
• 最大マッチングのための$O(n)$-時間LCAの既知の不可能性を克服し、サブリニアで多対数時間の代替案を提供すること。
• クエリツリーの成長に対する確率的バウンドを確立し、実行時間とメモリ効率を保証すること。

提案手法

• アルゴリズムは、エッジクエリとその応答の間の依存関係をモデル化するクエリツリーというデータ構造を用いる。
• 各クエリが、隣接頂点からの以前の応答にのみ依存する、ランダムな頂点順序での逐次的マッチングアルゴリズムをシミュレートする。
• グラフの次数有界性から導かれる指数的尾部バウンドを用いて、クエリツリーのサイズを上限で制御する。
• 木のレベルの再帰的解析を適用し、大きなツリーのサイズとなる確率が深さとともに指数的に減少することを証明する。
• 増強パスの独立性とマッチング増強の構造を活用して、一貫性と近似保証を維持する。
• 集中不等式を用いて、大きなクエリツリーの発生確率を制限することで、高確率での正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 有界次数のグラフにおける最大マッチングに対して、局所計算アルゴリズムが$(1-\epsilon)$-近似を達成できるか。
• RQ2 一貫性と近似を維持しながら、このようなLCAに必要な最小のメモリとクエリ時間は何か。
• RQ3 有界次数のグラフにおける最大マッチングに対して、クエリツリー成長の指数的尾部バウンドを確立できるか。
• RQ4 逐次的または分散型マッチングアルゴリズムを、多対数時間のオーバーヘッドを持つLCAに変換できるか。
• RQ5 最大マッチングのための$\Omega(n)$-時間LCAの不可能性結果は、サブリニア計算モデル下でも依然として成立するか。

主な発見

• アルゴリズムは、有界次数のグラフにおける最大マッチングに対して$(1-\epsilon)$-近似を達成する。
• 各エッジクエリに対して、高確率（$1 - 1/n^2$）で$O(\log^4 n)$時間で実行される。
• アルゴリズムは、頂点数に関して多対数時間の$O(\log^3 n)$のメモリのみを用いる。
• クエリツリーのサイズは高確率で上限が保証され、計算効率が確保される。
• 次数依存の定数を用いて、クエリツリー成長の指数的尾部バウンドが証明され、スケーラビリティが保証される。
• これは、多対数リソースを用いて$(1-\epsilon)$-近似を実際に達成する、最大マッチングのための最初の局所計算近似スキームである。