[論文レビュー] Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals

Calum MacRury, Will Ma|arXiv (Cornell University)|Oct 16, 2023

Cooperative Communication and Network Coding被引用数 4

ひとこと要約

本稿は、過去の実行をサンプリングする時間離散化アルゴリズムを用いて、正確な選択確率を達成する連続時間誘導フレームワークを導入し、ランダム順序のコンテンツション解決スキーム（RCRS）を設計する。二部グラフにおける頂点の到着条件下で、(1+e⁻²)/2 ≈ 0.567-選択可能なRCRSを達成し、奇数長の閉路長がgの一般グラフへと拡張し、g→∞のとき同じ上限に収束することを示した。

ABSTRACT

We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS) via exact solution in continuous time. Given a function $c(y):[0,1] ightarrow [0,1]$, we show how to select each element which arrives at time $y \in [0,1]$ with probability exactly $c(y)$. We provide a rigorous algorithmic framework for achieving this, which discretizes the time interval and also needs to sample its past execution to ensure these exact selection probabilities. We showcase our framework in the context of online contention resolution schemes for matching with random-order vertex arrivals. For bipartite graphs with two-sided arrivals, we design a $(1+e^{-2})/2 \approx 0.567$-selectable RCRS, which we also show to be tight. Next, we show that the presence of short odd-length cycles is the only barrier to attaining a (tight) $(1+e^{-2})/2$-selectable RCRS on general graphs. By generalizing our bipartite RCRS, we design an RCRS for graphs with odd-length girth $g$ which is $(1+e^{-2})/2$-selectable as $g ightarrow \infty$. This convergence happens very rapidly: for triangle-free graphs (i.e., $g \ge 5$), we attain a $121/240 + 7/16 e^2 \approx 0.563$-selectable RCRS. Finally, for general graphs we improve on the $8/15 \approx 0.533$-selectable RCRS of Fu et al. (ICALP, 2021) and design an RCRS which is at least $0.535$-selectable. Due to the reduction of Ezra et al. (EC, 2020), our bounds yield a $0.535$-competitive (respectively, $(1+e^{-2})/2$-competitive) algorithm for prophet secretary matching on general (respectively, bipartite) graphs under vertex arrivals.

研究の動機と目的

• 連続時間における正確な選択確率を備えたランダム順序コンテンツション解決スキーム（RCRS）のための新しいフレームワークを設計すること。
• 特に二部グラフにおいて、ランダム順序の頂点到着下でのオンラインマッチングにおいて、タイトな選択可能性バウンドを達成すること。
• 特に奇数長の閉路長（odd girth）を含むグラフ構造的性質が、最適選択可能性を達成する際の主な障壁であることを同定すること。
• RCRS構成を一般グラフへと一般化し、奇数長が増加するに従い最適バウンドへの収束を定量すること。
• RCRSからオンラインアルゴリズムへの還元を用いて、予言者セクレタリー・マッチングの先行競合比を改善すること。

提案手法

• 各到着時刻y ∈ [0,1]に対して選択関数c(y) ∈ [0,1]を定義する連続時間誘導フレームワークを提案し、時刻yに到着する要素の正確な選択確率c(y)を保証する。
• 時間間隔[0,1]を離散化し、過去の実行をサンプリングすることで、ランダム順序到着下でも正確な選択確率を維持する。
• 微分方程式系を導出し、確率過程の解析を用いて、帰納法により時刻tにおける選択確率が目的のターゲットと一致することを検証する。
• 奇数長g ≥ 3のグラフに対して、上不完全ガンマ関数を用いてサイクル構造を組み込んだ選択関数c(y)を構築する。
• RCRSから予言者セクレタリー・アルゴリズムへの還元を用いて、頂点到着下でのオンラインマッチングの競合比を導出する。
• 集中不等式および martingale 論法（例：[BM23a]の定理3）を用いて、スケームの性能に関する収束性と高確率バウンドを証明する。

実験結果

リサーチクエスチョン

• RQ1 連続時間誘導フレームワークは、ランダム順序の頂点到着下で正確な選択確率を達成できるか？
• RQ2 二部マッチングにおいて、二面からの頂点到着下で達成可能な最もタイトな選択可能性は何か？
• RQ3 短い奇数長サイクルの存在は、一般グラフにおける最大達成可能選択可能性にどのように影響するか？
• RQ4 奇数長g → ∞のとき、選択可能性が(1+e⁻²)/2にどの程度収束するか？
• RQ5 このフレームワークは、一般グラフにおける予言者セクレタリー・マッチングのための改善された競合比を導出可能か？

主な発見

• 提案されたフレームワークは、二部グラフにおける二面からの頂点到着下で、(1+e⁻²)/2 ≈ 0.567-選択可能なRCRSを達成し、このバウンドがタイトであることが証明された。
• 三角形を含まないグラフ（奇数長g ≥ 5）では、RCRSは約0.563の選択可能性を達成し、最適値0.567に近く、非常に近い。
• 奇数長g → ∞のとき、RCRSの選択可能性は(1+e⁻²)/2に収束し、奇数サイクルが最適性の唯一の構造的障壁であることを示した。
• 一般グラフにおいては、0.535-選択可能なRCRSが得られ、[FTW+21]の先行8/15 ≈ 0.533のバウンドを改善した。
• [EFGT22]の還元を用いることで、一般グラフにおける予言者セクレタリー・マッチングに対して0.535-競合比のアルゴリズムが得られ、二部グラフでは(1+e⁻²)/2-競合比のアルゴリズムが得られた。