[論文レビュー] Maximum Matchings in Random Bipartite Graphs and the Space Utilization of Cuckoo Hashtables

Alan Frieze, Páll Melsted|ArXiv.org|Oct 29, 2009

Advanced Graph Theory Research参考文献 18被引用数 26

ひとこと要約

本稿は、各左側頂点が右側にd個のランダムな隣接頂点を選択するランダムな二部グラフにおける最大マッチングのサイズを分析し、クックー・ハッシュの応用を含む。Karp-Sipserの貪欲アルゴリズムと微分方程式を用いて、確率的意味で完全マッチング（すべてのn個の左頂点がマッチングされる）が存在するための正確な閾値を確立し、d ≥ 3の場合、右側のサイズm ≈ 1.222n（α₁ ≈ 0.818）のとき、d=3では完全マッチングが確率的意味で存在することを示している。

ABSTRACT

We study the the following question in Random Graphs. We are given two disjoint sets $L,R$ with $|L|=n=αm$ and $|R|=m$. We construct a random graph $G$ by allowing each $x\in L$ to choose $d$ random neighbours in $R$. The question discussed is as to the size $μ(G)$ of the largest matching in $G$. When considered in the context of Cuckoo Hashing, one key question is as to when is $μ(G)=n$ whp? We answer this question exactly when $d$ is at least four. We also establish a precise threshold for when Phase 1 of the Karp-Sipser Greedy matching algorithm suffices to compute a maximum matching whp.

研究の動機と目的

• n個の左頂点、m個の右頂点、各左頂点が右側にd個のランダムな隣接頂点を選ぶランダムな二部グラフにおいて、確率的意味でサイズnの最大マッチングが存在するための正確な閾値を特定すること。
• Karp-Sipserの貪欲マッチングアルゴリズムの性能をこのランダムグラフモデルで分析し、特に段階1（次数1の頂点の削除）が最大マッチングを達成する役割を果たす条件を検討すること。
• d≥3のハッシュ関数を用いたクックー・ハッシュにおいて、n個のアイテムをm個のテーブル領域に確率的意味ですべて格納できる条件を、ランダムな二部グラフにおけるマッチングの存在問題に帰着させることで、明確な条件を確立すること。
• d≥3におけるクックー・ハッシュのメモリ使用率に関する先行研究を精緻化し、d≥3におけるタイトな漸近的閾値を提供することで、以前の境界のギャップを解消すること。

提案手法

• 最大マッチングのサイズを分析するために、次数1の頂点を逐次マッチングし、その後ランダムにエッジを選択するKarp-Sipserの貪欲アルゴリズムを用いる。
• 段階1の過程における頂点次数の変化を追跡するために微分方程式法を適用し、連続的近似としてプロセスをモデル化する。
• 重要なパラメータを定義する：z₁はz₁ = (e^{z₁} - 1)/(d-1)を満たし、α₁ = z₁ / [d(1 - e^{-z₁})^{d-1}]である。このα₁が確率的意味で完全マッチングが存在する閾値を決定する。
• 段階1の後、残余グラフΓ₁を分析し、α > α₁のとき、確率的意味でほぼ完全マッチングが存在することを示す。その際、(z/(αd))^{1/(d-1)} + e^{-z} - 1 = 0の非負最大解z*を用いる。
• 確率的解析とワーストケース構成の列挙を用いて、完全マッチングを妨げる稀な構成の確率を上界で抑え込む。
• カップリングの議論と集中不等式を用いて、段階1後に残存する頂点数が既知の漸近的表現に集中することを示し、正確なマッチングサイズの推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 3の場合、n = αm かつ α ≤ α₁ のとき、確率的意味でサイズnの完全マッチングが存在するような正確な閾値α₁は何か？
• RQ2 Karp-Sipserアルゴリズムの段階1が、確率的意味で最大マッチングを計算するのに十分な条件は何か？また、α > α₁のとき、その段階で得られるマッチングのサイズはどの程度か？
• RQ3 α > α₁のとき、段階1後の残余グラフΓ₁における最大マッチングの漸近的サイズは何か？また、そのサイズは残存頂点数とどのように関係するか？
• RQ4 このランダムグラフモデルにおける完全マッチングの閾値は、既知のクックー・ハッシュの結果とどのように比較できるか？d ≥ 3の場合に、よりタイトな境界を確立できるか？
• RQ5 α > α₁のとき、τ₁（段階1でマッチングされたエッジ数）の正確な漸近的挙動は何か？また、その挙動は、基本方程式の解z*にどのように依存するか？

主な発見

• d ≥ 3の場合、α ≤ α₁ ならば、確率的意味でμ(G) = n、つまり完全マッチングが存在する。ここでα₁ = z₁ / [d(1 - e^{-z₁})^{d-1}]、z₁はz₁ = (e^{z₁} - 1)/(d-1)を満たす。
• d = 3の場合、z₁ ≈ 1.251、α₁ ≈ 0.818 であり、m ≈ 1.222nの領域があれば、クックー・ハッシュにおいて確率的意味で完全マッチングが達成可能である。
• α > α₁のとき、段階1でマッチングされたエッジ数τ₁はτ₁ ∼ n(1 - (z*/(αd))^{d/(d-1)})を満たす。ここでz*は(z/(αd))^{1/(d-1)} + e^{-z} - 1 = 0の非負最大解である。
• 段階1の後、残余グラフΓ₁は確率的意味でμ(Γ₁) = min{|L₁|, |R₁|} = min{n - τ₁, (1 - (1 + z*))e^{-z*})m + o(m)}のマッチングを持つ。
• 解析により、d ≥ 3の場合、確率的意味で完全マッチングが存在する閾値はd = 2のときの閾値より厳密に低いことが確認され、解z*を用いたタイトな特徴付けが得られた。
• 本稿は、d ≥ 3の選択肢を持つクックー・ハッシュのメモリ使用率の閾値を解消し、d = 3のときm ≈ 1.222nがn個のアイテムを確率的意味で完全に挿入可能であることを示している。