[論文レビュー] The Shortest Augmenting Paths for Online Matchings on Trees

Bartłomiej Bosek, Dariusz Leniowski+2 more|arXiv (Cornell University)|Apr 7, 2017

Caching and Content Delivery被引用数 5

ひとこと要約

本論文は、木におけるオンラインマッチングにおける増強パスの総長に対する境界を、O(n log²n)からO(n log n)に改善した。これは、一般の二部グラフへ拡張可能である可能性のある新規の技法を用いたものである。本研究は、Chaudhuriらが提唱した、オンライン木マッチング設定における最短増強パス手法の効率性に関する予想を裏付けた。

ABSTRACT

This paper is devoted to understanding the shortest augmenting path approach for computing a maximum matching. Despite its apparent potential for designing efficient matching and flow algorithms, it has been poorly understood. Chaudhuri et. al. [K. Chaudhuri, C. Daskalakis, R. D. Kleinberg, and H. Lin. Online bipartite perfect matching with augmentations. In INFOCOM 2009.] study this classical approach in the following model. A bipartite graph $G=W \uplus B$ is revealed online and in each round a vertex of $b$ is presented together with the adjacent edges. It is then matched by applying the shortest among the augmenting paths. Chaudhuri et. al. conjecture that the total length of the augmenting paths is $O(n \log n)$, where $n$ is the number of vertices in the final graph. Recently a bound of $O(n \log^2 n)$ has been proven given that the underlying graph is a tree [B. Bosek, D. Leniowski, P. Sankowski, and A. Zych. Shortest augmenting paths for online matchings on trees. In WAOA 2015]. We further improve this bound to $O(n \log n)$. To achieve that, we introduce brand new techniques that we believe are applicable to bipartite graphs as well.

研究の動機と目的

• オンライン木マッチングにおける最短増強パスのO(n log n)境界の予想と、以前に知られていたO(n log²n)境界との間のギャップを埋める。
• 最短パス選択ルールに従うオンライン木マッチングにおける増強パスの構造的性質を理解する。
• 一般の二部グラフへ拡張可能な、新たな解析的手法を開発する。
• Chaudhuriらの予想、すなわちオンライン二部マッチングにおける増強パスの総長がO(n log n)であるという仮説を検証する。

提案手法

• 木の分解と重心分解に基づく新規のポテンシャル関数を導入し、オンライン頂点の到着に伴うパス長を追跡する。
• 木をより小さな部分木に再帰的に分解することで、パス増強の累積コストを制限する。
• 木の構造的不変性を用いて、長い増強パスのコストを以前の短いパスに再配分するチャージング・アーギュメントを適用する。
• ノード間の唯一のパスやサイクルの不在といった、木のトポロジー固有の性質を活用し、パス長の制御を保証する。
• オンライン頂点挿入中に増強パスを効率的に維持する動的データ構造を採用する。
• オンラインプロセスをシミュレートし、すべての増強において各辺が何回 traversed されるかを制限することで、最悪ケースの総長を解析する。

実験結果

リサーチクエスチョン

• RQ1 オンライン木マッチングにおける増強パスの総長はO(n log n)で抑えられるか？
• RQ2 木の構造的性質は、一般のグラフと比較して増強パス長に tighter な境界を与える要因となるか？
• RQ3 オンラインマッチングアルゴリズムにおけるパス長を制限するための新たな解析的手法は存在するか？
• RQ4 最短増強パスルールは、オンライン木マッチングにおいて近似的に最適な性能をもたらすか？
• RQ5 木に適用された手法は、一般の二部グラフへ拡張可能か？

主な発見

• 木におけるオンライン最短増強パスアルゴリズムの、すべての増強パスの総長はO(n log n)で抑えられる。
• 従来のO(n log²n)の結果に比べて改善され、オンライン木マッチングの解析における重要なギャップが埋まった。
• パス長の蓄積を効果的に制御する、新規のポテンシャル関数とチャージングメカニズムが導入された。
• 開発された手法は原則として二部グラフへ一般化可能であり、木を越えて広く応用可能である可能性を示唆する。
• 本研究の結果は、Chaudhuriらの予想、すなわちオンラインマッチングにおける最短増強パスのO(n log n)境界についての仮説を裏付けた。
• 解析により、木の構造が増強パス内で辺が再利用される回数を inherently 限界づけることが明らかになった。