[論文レビュー] Laminar Families and Metric Embeddings: Non-bipartite Maximum Matching Problem in the Semi-Streaming Model

Kook Jin Ahn, Sudipto Guha|arXiv (Cornell University)|Apr 20, 2011

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

ひとこと要約

本稿では、半ストリーミングモデルにおける非二部重み付き最大マッチング問題に対する、最初の完全多項式時間近似スキーム（FPTAS）を提示する。これは、わずかに超線形の空間を用いて O(1/ε) パasses で (1+ε)-近似を達成する。本手法は、マッチングポリトープにおけるタイト集合のラミナリティ、メトリック埋め込み、およびグラフスパarsification を活用して、指数的多数の制約と変数を削減し、摂動された分数被覆フレームワークを用いて空間的・パasses効率的な計算を実現する。

ABSTRACT

In this paper, we study the non-bipartite maximum matching problem in the semi-streaming model. The maximum matching problem in the semi-streaming model has received a significant amount of attention lately. While the problem has been somewhat well solved for bipartite graphs, the known algorithms for non-bipartite graphs use $2^{\frac1ε}$ passes or $n^{\frac1ε}$ time to compute a $(1-ε)$ approximation. In this paper we provide the first FPTAS (polynomial in $n,\frac1ε$) for the problem which is efficient in both the running time and the number of passes. We also show that we can estimate the size of the matching in $O(\frac1ε)$ passes using slightly superlinear space. To achieve both results, we use the structural properties of the matching polytope such as the laminarity of the tight sets and total dual integrality. The algorithms are iterative, and are based on the fractional packing and covering framework. However the formulations herein require exponentially many variables or constraints. We use laminarity, metric embeddings and graph sparsification to reduce the space required by the algorithms in between and across the iterations. This is the first use of these ideas in the semi-streaming model to solve a combinatorial optimization problem.

研究の動機と目的

• 非二部重み付き最大マッチング問題に対する、多項式時間および少数のパasses で動作する完全多項式時間近似スキーム（FPTAS）の設計。
• 非二部マッチングにおける指数的多数の奇集合制約の課題を、マッチングポリトープの構造的性質を活用して克服すること。
• ラミナリティ、メトリック埋め込み、およびグラフスパース化を用いて制約と変数の数を削減することで、空間的・パasses効率を向上させること。
• プライマルのパッキング定式化と比較して、パasses数の観点からデュアル被覆定式化がより効率的に解けることを示すこと、たとえ1パassesあたりの計算量が高くなるが。

提案手法

• マッチング問題のデュアルを近似するために、摂動された分数被覆定式化を用い、奇集合のラミナリティを保持する。
• 2段階の事前処理を適用：小規模な重みのエッジをフィルタリングし、幅パラメータが有界なスパースサブグラフ G′ を構築する。
• 段階的な最大マッチングと重みベースのエッジフィルタリングを用いたグラフスパース化により、関連するエッジ数を制限し、幅を制御する。
• ジョンソン＝リンデンストラウスの補題と確率的射影を用いて、デュアル空間を圧縮し、パasses数を削減する。
• 指数的多数の変数と制約を空間効率的に扱えるように、新規の外部-内部 LP フレームワークを導入する。
• 全双対整数性とタイト集合のラミナリティを活用し、摂動が近似に不可欠な構造的性質を保持することを保証する。

実験結果

リサーチクエスチョン

• RQ1 非二部重み付き最大マッチング問題に対して、多項式時間および O(1/ε) パasses で (1+ε)-近似を達成できるか？
• RQ2 非二部マッチングポリトープにおける指数的多数の奇集合制約をストリーミング環境で効率的に処理できるか？
• RQ3 最大マッチングのサイズを、構築に必要なパasses数よりも多いが、わずかに超線形の空間を用いて O(1/ε) パasses で推定できるか？
• RQ4 メトリック埋め込みとグラフスパース化を用いて、マッチングのデュアル定式化を圧縮し、ストリーミングアルゴリズムにおけるパasses数を削減できるか？

主な発見

• 本稿は、半ストリーミングモデルにおける非二部最大マッチング問題に対する最初の FPTAS を達成した。計算時間は n および 1/ε に関して多項式的であり、パasses数は O(1/ε) である。
• エッジフィルタリングとスケーリングにより、違反オракルの幅パラメータが O(n/δ²) にまで低減され、分数被覆フレームワーク内での効率的計算が可能になった。
• サイズが (1−O(δ))OPT 以上のマッチングを含むスパースサブグラフ G′ が構築可能であり、幅パラメータは O(q/δ³) に有界である。
• デュアル被覆定式化は、任意の p≥1 に対して p/ε パasses で解ける。空間使用量は O(n¹⁺ᴼ⁽¹⁄ᵖ⁾) であり、プライマルマッチング構築に要するパasses数を上回る。
• 摂動された制約を保つ外部-内部 LP フレームワークを用いた新規な手法により、奇集合のラミナリティを保持し、効率的な反復的近似が可能になった。
• 解析により、修正された LP13 の目的関数値が最適値の (1+δ) 倍以下であることが示され、適切なパrameterチューニングにより (1+ε)-近似が保証された。