[論文レビュー] Online Matching: Haste makes Waste!

Yuval Emek, Shay Kutten+1 more|arXiv (Cornell University)|Mar 9, 2016

Optimization and Search Problems参考文献 31被引用数 14

ひとこと要約

本稿は、度合い空間内のオンラインで到着するリクエストを、空間的距離と待機時間の両方のコストを組み合わせて最小化する「遅延付き最小コスト完全マッチング（MPMD）」問題を導入する。本稿では、重ね合わせたポアソン過程に基づく新しい確率的プロセスを用いて性能を分析する、確率的オンラインアルゴリズムを提示し、$O(\log^2 n + \log \Delta)$の競争比を達成する。

ABSTRACT

This paper studies a new online problem, referred to as \emph{min-cost perfect matching with delays (MPMD)}, defined over a finite metric space (i.e., a complete graph with positive edge weights obeying the triangle inequality) $\mathcal{M}$ that is known to the algorithm in advance. Requests arrive in a continuous time online fashion at the points of $\mathcal{M}$ and should be served by matching them to each other. The algorithm is allowed to delay its request matching commitments, but this does not come for free: the total cost of the algorithm is the sum of metric distances between matched requests \emph{plus} the sum of times each request waited since it arrived until it was matched. A randomized online MPMD algorithm is presented whose competitive ratio is $O (\log^{2} n + \log Δ)$, where $n$ is the number of points in $\mathcal{M}$ and $Δ$ is its aspect ratio. The analysis is based on a machinery developed in the context of a new stochastic process that can be viewed as two interleaved Poisson processes; surprisingly, this new process captures precisely the behavior of our algorithm. A related problem in which the algorithm is allowed to clear any unmatched request at a fixed penalty is also addressed. It is suggested that the MPMD problem is merely the tip of the iceberg for a general framework of online problems with delayed service that captures many more natural problems.

研究の動機と目的

• ゲームプラットフォームにおけるプレイヤーマッチングなど、オンラインマッチングシステムにおけるマッチングの近接性と待機時間のトレードオフを扱う。
• 空間的および時間的コストを両方含む有限の度合い空間における「遅延付き最小コスト完全マッチング（MPMD）」問題を形式化する。
• 遅延とマッチングコストの両方を効果的にバランスさせる、確率的オンラインアルゴリズムを設計する。
• 新しい確率的プロセスモデルを用いて、提案アルゴリズムの競争比を分析する。
• ペナルティに基づくリクエストのクリアリングを許容する変種にフレームワークを拡張し、遅延サービスを伴うオンライン問題への広範な適用可能性を示唆する。

提案手法

• アルゴリズムは、重み付き頂点を持つ木構造に度合い空間を階層的に分解し、各内部ノードが$1/w(v)$レートの指数分布に基づく確率的タイマーを維持する。
• リクエストは、関連するタイマーが期限切れになるまで内部ノードでのみマッチングされ、空間的コストを低減するための遅延マッチングを保証する。
• 分析は、2つの重ね合わせたポアソン過程をモデル化する新しい確率的プロセスに依存しており、アルゴリズムのタイミングとマッチング行動を正確に捉える。
• 確率的および幾何的議論を用いて、アルゴリズムのコストと最適なオフライン解との関係を確立することで、競争比を導出する。
• ランダムタイマーの代わりに固定タイマーを用いる決定的バージョンのアルゴリズムも検討し、性能を比較して限界を示す。
• 未マッチのリクエストに対してペナルティに基づくクリアリングを許容する変種にフレームワークを拡張し、遅延とサービス品質の現実世界のトレードオフをモデル化する。

実験結果

リサーチクエスチョン

• RQ1 遅延付きオンラインマッチングにおいて、マッチングの近接性（マッチドリクエスト間の距離）と時間的コスト（待機時間）の最適なトレードオフは何か？
• RQ2 確率的オンラインアルゴリズムは、度合い空間のアスペクト比に依存しない競争比を達成できるか、それとも$\log \Delta$は避けられないか？
• RQ3 指数分布に基づく確率的タイマー機構の挙動は、遅延マッチングにおける全体のパフォーマンスにどのように影響するか？
• RQ4 この設定において、確率的アプローチと決定的アプローチの間のパフォーマンスギャップは何か？
• RQ5 MPMDフレームワークは、ペナルティに基づく意思決定を伴う他の遅延サービス付きオンライン問題に一般化可能か？

主な発見

• 提案された確率的オンラインアルゴリズムは、$O(\log^2 n + \log \Delta)$の競争比を達成する。ここで$n$は点の数、$\Delta$は度合い空間のアスペクト比を表す。
• 分析は、2つの重ね合わせたポアソン過程を含む新しい確率的プロセスに依存しており、アルゴリズムのマッチングダイナミクスを正確にモデル化する。
• 決定的バージョンのアルゴリズムは、$\Omega(n)$の競争比を示し、確率的と決定的アプローチの間の明確な分離を示している。
• フレームワークは、未マッチのコストを著しく低減できるため、オンラインゲームマッチングのような現実世界のシナリオを捉えている。
• MPMD問題が、遅延サービスを伴う広範なオンライン問題の代表例であることが示され、提案されたフレームワークの広範な適用可能性が示唆された。
• 未マッチリクエストに対するペナルティベースのクリアリングを許容する変種が導入され、コアアプローチが遅延とサービス障害のトレードオフに対応可能であることが示された。