[論文レビュー] Tight Bounds for Linear Sketches of Approximate Matchings

Sepehr Assadi, Sanjeev Khanna+2 more|arXiv (Cornell University)|May 6, 2015

Complexity and Algorithms in Graphs参考文献 35被引用数 12

ひとこと要約

この論文は、動的グラフストリームにおける線形スケッチのタイトなバウンドを確立し、$ n^{\tau} $ 要因で最大マッチングを近似するには $ \tilde{O}(n^{2-3\tau}) $ ビットのメモリが必要であり、このバウンドは本質的に最適であることを示している。著者たちは、Ruzsa-Szemerédiグラフを用いた通信複雑性の下界を構築し、任意のスケッチが $ n^{2-3\tau-o(1)} $ ビットのサイズを持つ必要があることを証明することで、ストリーミングアルゴリズム分野における長年の未解決問題を解決した。

ABSTRACT

We resolve the space complexity of linear sketches for approximating the maximum matching problem in dynamic graph streams where the stream may include both edge insertion and deletion. Specifically, we show that for any $ε> 0$, there exists a one-pass streaming algorithm, which only maintains a linear sketch of size $ ilde{O}(n^{2-3ε})$ bits and recovers an $n^ε$-approximate maximum matching in dynamic graph streams, where $n$ is the number of vertices in the graph. In contrast to the extensively studied insertion-only model, to the best of our knowledge, no non-trivial single-pass streaming algorithms were previously known for approximating the maximum matching problem on general dynamic graph streams. Furthermore, we show that our upper bound is essentially tight. Namely, any linear sketch for approximating the maximum matching to within a factor of $O(n^ε)$ has to be of size $n^{2-3ε-o(1)}$ bits. We establish this lower bound by analyzing the corresponding simultaneous number-in-hand communication model, with a combinatorial construction based on Ruzsa-Szemerédi graphs.

研究の動機と目的

• 動的グラフストリームにおける最大マッチングを近似するための線形スケッチの空間計算量を解明すること。
• 2014年以降未解決のままであった、動的モデルにおける1パスストリーミングアルゴリズムの空間要件に関する長年の未解決問題を解決すること。
• $ n^{\tau} $-近似最大マッチングに対して、上界と下界の両方を線形スケッチを用いて確立すること。
• 本研究以前に、特に動的設定において、非自明な1パスストリーミングアルゴリズムが存在しなかったことを示すこと。

提案手法

• 著者たちは、動的ストリームにおける線形スケッチの空間計算量を分析するため、同時型のナンバインハンド（NIH）通信モデルへの還元を用いた。
• Ruzsa-Szemerédiグラフに基づく難しい入力分布を構築し、$ n^{\tau} $-近似に必要な通信量の下界を確立した。
• 重要な要素として、グラフから $ s $-ビットメッセージへの写像 $ \phi_i $ を定義し、前像集合 $ \Gamma_i(G_i) $ のサイズを分析することで、誤ったマッチング意思決定の確率を制限した。
• 数え上げ的議論を適用し、前像集合が小さいグラフが存在する確率が $ 1/n $ 未満であることを示し、期待されるマッチング頂点数の集中性を保証した。
• 期待される良い頂点数にマルコフ不等式を適用することで、非自明な近似を達成する任意のプロトコルが、$ \Omega(n^{2-3\tau-o(1)}) $ ビットの通信量を必要とすることを示した。
• 上界は、$ \tilde{O}(n^{2-3\tau}) $ ビットのサイズの線形スケッチを維持する1パスストリーミングアルゴリズムによって達成された。

実験結果

リサーチクエスチョン

• RQ1 動的グラフストリームにおける最大マッチングを近似するための線形スケッチの最適な空間計算量は何か？
• RQ2 一般の動的グラフストリームにおいて、サブ2乗空間で非自明な1パスストリーミングアルゴリズムを構築できるか？
• RQ3 $ n^{\tau} $-近似のための $ \tilde{O}(n^{2-3\tau}) $ ビットの空間計算量はタイトか？
• RQ4 最大マッチングを近似するための、同時型ナンバインハンドモデルの通信複雑性は何か？

主な発見

• 任意の $ \tau > 0 $ に対して、$ \tilde{O}(n^{2-3\tau}) $ ビットのサイズの線形スケッチを維持する1パスストリーミングアルゴリズムが存在し、動的グラフストリームにおいて $ n^{\tau} $-近似の最大マッチングを計算できる。
• 最大マッチングを $ O(n^{\tau}) $ 要因で近似する任意の線形スケッチは、少なくとも $ n^{2-3\tau-o(1)} $ ビットのメモリを必要とし、上界がほぼ最適であることを証明した。
• 下界は、Ruzsa-Szemerédiグラフを用いた通信複雑性の議論によって確立され、$ n^{\tau}/4 $ よりも良い近似を達成する任意の同時プロトコルは、$ \Omega(n^{2-3\tau-o(1)}) $ ビットの通信量を必要とする。
• 本研究は、2014年のベルティノロワークショップで提起された、最大マッチングの1パス動的ストリーミングアルゴリズムの空間計算量に関する未解決問題を解決した。
• 著者たちは、本研究以前には、一般の動的グラフストリームにおける最大マッチングの近似を実現する非自明な1パスストリーミングアルゴリズムが知られていなかったことを示した。
• 解析により、空間バウンドは低次の項を除いてタイトであり、これを改善するには線形スケッチを越える新しいアルゴリズム的技術が必要であることが示された。