[論文レビュー] Greedy algorithm for stochastic matching is a 2-approximation

Marek Adamczyk|arXiv (Cornell University)|Jul 18, 2010

Optimization and Search Problems参考文献 8被引用数 3

ひとこと要約

この論文は、確率的マッチングにおける貪欲アルゴリズム—各ステップで成功確率が最も高い辺を選択するもの—が、忍耐制約下での期待マッチングサイズを最大化する際、2-近似解法であることを証明している。証明は、期待性能が最適解の半分以上であることを示すために、独創的な確率的解析と交換論法を用いる。これは、適応的確率的最適化分野における長年の予想を裏付けるものである。

ABSTRACT

Motivated by applications in online dating and kidney exchange, the stochastic matching problem was introduced by Chen, Immorlica, Karlin, Mahdian and Rudra (2009). They have proven a 4-approximation of a simple greedy strategy, but conjectured that it is in fact a 2-approximation. In this paper we confirm this hypothesis.

研究の動機と目的

• Chen らが提起した、確率的マッチングにおける貪欲アルゴリズムが2-近似比を達成するという予想を解消すること。
• 頂点の忍耐制約が存在する状況下での貪欲戦略の性能に対するタイトな解析を提供すること。
• オンラインデートや腎臓交換プログラムなどの実用的応用分野における理論的基盤を確立すること。
• 従来の4-近似境界を、確率的および構造的論法を用いてタイトな2-近似に拡張すること。
• 異なるプローブ戦略下での頂点マッチングの条件付き確率を含む、重要な不等式を形式化し、証明すること。

提案手法

• 決定木表現を用いて決定的アルゴリズムをモデル化し、その期待結果を分析する。
• 高確率の辺がプローブされない場合に、貪欲アルゴリズムと最適アルゴリズムの行動を比較する交換論法を適用する。
• 辺 αβ をスキップした場合に頂点 α の期待利益をバインドするための、比 $\frac{1-p_{\alpha\beta}}{p_{\alpha\beta}}$ を含む重要な不等式を導入する。
• 頂点の最後のプローブと特定の辺のプローブの決定が独立していることを利用して、条件付き確率を分離する。
• 特定の辺をプローブしないという条件下で、貪欲アルゴリズムと最適アルゴリズムの成功確率を確率的に比較する。
• 関数 $\frac{1-x}{x}$ が単調減少であることに着目し、辺間における失敗確率対成功確率の比をバインドする。

実験結果

リサーチクエスチョン

• RQ1 Chen らが提起した予想通り、確率的マッチングにおける貪欲アルゴリズムは2-近似解法であるか？
• RQ2 重みなし確率的マッチング問題において、従来の4-近似よりもタイトな解析が貪欲戦略に対して達成可能か？
• RQ3 忍耐制約下での貪欲アルゴリズムと最適アルゴリズムの期待マッチングサイズの関係は何か？
• RQ4 高確率の辺がスキップされた場合、頂点マッチングの条件付き確率はどのように変化するか？
• RQ5 確率的マッチング設定下で、貪欲戦略と最適戦略の性能を比較するための交換論法を構築可能か？

主な発見

• 貪欲アルゴリズムは、忍耐制約下での確率的マッチング問題に対して2-近似比を達成する。
• 本論文は、Chen らの予想である貪欲戦略が2-近似解法であるという仮説を裏付け、従来の4-近似よりも優れた結果を得たことを確認した。
• 解析により、$\mathbb{E}[GRD(G)] \geq \frac{1}{2} \cdot \mathbb{E}[OPT(G)]$ が示され、2-近似境界の証明がなされた。
• 重要な不等式が証明された：$\frac{1-p_{\alpha\beta}}{p_{\alpha\beta}} \cdot \mathbb{P}[\text{take } \alpha \text{ in } t_\alpha \mid \neg\text{probe } \alpha\beta] \leq \mathbb{P}[\text{OPT does not take } \alpha \mid \text{not probe } \alpha\beta]$、この不等式のおかげで近似証明が可能になった。
• 証明は、頂点の最後のプローブと特定の辺のプローブの独立性に依存しており、これにより条件付き確率の分解が可能になった。
• 結果は一般のグラフに対して成り立ち、二部グラフや構造的仮定を必要としないため、広範に適用可能である。