[論文レビュー] On the Perturbation Function of Ranking and Balance for Weighted Online Bipartite Matching

Jingxun Liang, Zhihao Gavin Tang+3 more|arXiv (Cornell University)|Oct 19, 2022

Optimization and Search Problems被引用数 2

ひとこと要約

本稿は重み付きオンライン二部マッチングにおける摂動関数の役割を調査し、頂点重み付きマッチングにおいて、$ f(x) = 1 - e^{x-1} $ という標準的な関数が一意に最適であることを証明し、1−1/eの競合比を達成することを示している。さらに、この関数を用いたPerturbed-Rankingは、予算が未知のAdWords問題において、0.624未満の競合比であることが示され、Vazirani（2021）の予想を反証している。また、すべての摂動関数において、1−1/eの競合比を達成するための普遍的な上界として$ 1 - 1/e - 0.0003 $が確立されている。

ABSTRACT

Ranking and Balance are arguably the two most important algorithms in the online matching literature. They achieve the same optimal competitive ratio of 1-1/e for the integral version and fractional version of online bipartite matching by Karp, Vazirani, and Vazirani (STOC 1990) respectively. The two algorithms have been generalized to weighted online bipartite matching problems, including vertex-weighted online bipartite matching and AdWords, by utilizing a perturbation function. The canonical choice of the perturbation function is f(x) = 1-e^{x-1} as it leads to the optimal competitive ratio of 1-1/e in both settings. We advance the understanding of the weighted generalizations of Ranking and Balance in this paper, with a focus on studying the effect of different perturbation functions. First, we prove that the canonical perturbation function is the unique optimal perturbation function for vertex-weighted online bipartite matching. In stark contrast, all perturbation functions achieve the optimal competitive ratio of 1-1/e in the unweighted setting. Second, we prove that the generalization of Ranking to AdWords with unknown budgets using the canonical perturbation function is at most 0.624 competitive, refuting a conjecture of Vazirani (2021). More generally, as an application of the first result, we prove that no perturbation function leads to the prominent competitive ratio of 1-1/e by establishing an upper bound of 1-1/e-0.0003. Finally, we propose the online budget-additive welfare maximization problem that is intermediate between AdWords and AdWords with unknown budgets, and we design an optimal 1-1/e competitive algorithm by generalizing Balance.

研究の動機と目的

• RankingとBalanceを重み付きオンライン二部マッチングに一般化する際の摂動関数の役割を理解すること。
• 頂点重み付きマッチングにおいて、標準的な摂動関数$ f(x) = 1 - e^{x-1} $が一意に最適であるかどうかを特定すること。
• 予算が未知のAdWords問題におけるPerturbed-Rankingの競合比を調査し、長年の予想に挑戦すること。
• 重み付きオンラインマッチングにおいて、任意の摂動関数が達成可能な競合比の普遍的な上界を確立すること。

提案手法

• 元のグラフを段階的なオフライン頂点を持つ仮想グラフに変換するための新しい頂点分解技術を導入する。
• 各オフライン頂点を、オンライン頂点の到着時刻に応じて複数の段階に分割する新しいインスタンス$ G' $を構築する。
• オフライン頂点の以前の段階でのみオンライン頂点にマッチング可能であるように、新たな予算$ B'_{u_i} $と限界利得$ w'_{u_j v_i} $を定義する。
• 分解されたグラフ$ G' $上でPerturbed-Balance（MSVV）をシミュレートし、元のアルゴリズム$ G $上で同等であることを示す。
• オフライン最適な分数解が$ G $と$ G' $の間で保存されること、すなわち$ \text{OPT}(G) = \text{OPT}(G') $であることを証明する。
• 原双対枠組みとMSVVに関する既知の結果を用いて、$ G $におけるアルゴリズムの競合比を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点重み付きオンライン二部マッチングにおいて、$ f(x) = 1 - e^{x-1} $ という標準的な摂動関数が唯一1−1/eの競合比を達成する関数であるか。
• RQ2 予算が未知のAdWords問題において、Perturbed-Rankingが達成可能な最高の競合比は何か。
• RQ3 任意の摂動関数が、予算が未知のAdWords問題において1−1/eの競合比を達成可能か。
• RQ4 重み付きグラフの構造が、Ranking や Balance などの貪欲アルゴリズムの性能にどのように影響するか。

主な発見

• 摂動関数$ f(x) = 1 - e^{x-1} $は、頂点重み付きオンライン二部マッチングにおいて一意に最適であり、1−1/eの競合比を達成する。
• 非重み付き設定では、任意の摂動関数が1−1/eの競合比を達成可能であり、重み付きケースにおけるこの差が顕著に現れる。
• 標準関数を用いたPerturbed-Rankingは、予算が未知のAdWords問題において、0.624未満の競合比であることが示され、Vazirani（2021）の予想を反証した。
• 予算が未知のAdWords問題において、1−1/eの競合比を達成可能な摂動関数は存在せず、$ 1 - 1/e - 0.0003 $の上界が明示的に証明された。
• 提案されたオンライン予算加法的福祉最大化問題は、一般化されたBalanceアルゴリズムにより、最適な1−1/eの競合比を持つアルゴリズムを備えている。
• 頂点分解技術は、オフライン最適解を保存し、オンライン設定における動的予算更新の分析を可能にする。