[論文レビュー] Dynamic Matching: Reducing Integral Algorithms to Approximately-Maximal Fractional Algorithms

Moab Arar, Shiri Chechik+3 more|arXiv (Cornell University)|Nov 17, 2017

Complexity and Algorithms in Graphs参考文献 42被引用数 9

ひとこと要約

本稿では、完全動的近似的最大分数マッチングアルゴリズムを完全動的整数マッチングアルゴリズムに変換する確率的還元を提示する。Bhattacharyaら（SODA 2017）の分数マッチングアルゴリズムにこの還元を適用することで、任意の定数 ǫ > 0 に対して (2+ǫ)-近似整数マッチングアルゴリズムを O(log³n) の最悪ケース更新時間で達成し、定数近似比におけるサブ多項式更新時間の動的マッチング分野における画期的な進展をもたらす。

ABSTRACT

We present a simple randomized reduction from fully-dynamic integral matching algorithms to fully-dynamic "approximately-maximal" fractional matching algorithms. Applying this reduction to the recent fractional matching algorithm of Bhattacharya, Henzinger, and Nanongkai (SODA 2017), we obtain a novel result for the integral problem. Specifically, our main result is a randomized fully-dynamic $(2+ε)$-approximate integral matching algorithm with small polylog worst-case update time. For the $(2+ε)$-approximation regime only a \emph{fractional} fully-dynamic $(2+ε)$-matching algorithm with worst-case polylog update time was previously known, due to Bhattacharya et al.~(SODA 2017). Our algorithm is the first algorithm that maintains approximate matchings with worst-case update time better than polynomial, for any constant approximation ratio. As a consequence, we also obtain the first constant-approximate worst-case polylogarithmic update time maximum weight matching algorithm.

研究の動機と目的

• 定数近似比における完全動的整数マッチングアルゴリズムの多対数最悪ケース更新時間のギャップを埋める。
• 分数マッチングと整数マッチングの理論的・実用的隔たりを、効率的な還元を可能にすることで埋める。
• 長年の未解決問題である、定数近似最大マッチングのサブ多項式最悪ケース更新時間の達成。
• 最大重みマッチングにこの結果を拡張し、最初の多対数最悪ケース更新時間を持つ定数近似アルゴリズムを実現する。
• 近似的最大分数マッチングアルゴリズムを、近似比が有界で更新時間が効率的な整数マッチングに変換する一般枠組みを提供する。

提案手法

• 完全動的整数マッチングから、近似的最大分数マッチングへの確率的還元を導入する。
• Bhattacharyaら（SODA 2017）の完全動的分数マッチングアルゴリズムを活用し、(1+2ǫ, max{54 log n/ǫ³, (3/ǫ)²¹})-近似的最大分数マッチングを維持する。
• 還元を用いて分数解を整数 (2+ǫ)-近似マッチングに変換し、多対数最悪ケース更新時間を維持する。
• 「良い分割」構造を用いて、辺の重みと頂点状態を動的に維持し、重み更新の連鎖反応を有界に保つ。
• 各更新に対して、高々1つの辺重みに影響を与えるFIX-DIRTY-NODEコールの数を有界に制御する。
• 各更新における辺重み変更回数が O(log n/ǫ²) であることを証明し、最悪ケース更新時間が O(log³n/ǫ⁷) であることを示し、効率的な実装を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の定数近似比に対して、多対数最悪ケース更新時間を持つ完全動的整数マッチングアルゴリズムを構築することは可能か？
• RQ2 近似的最大分数マッチングの維持問題に還元することで、近似的整数マッチングの維持問題を解けるか？
• RQ3 このような還元の最悪ケース更新時間オーバーヘッドは何か？サブ多項式更新時間を維持できるか？
• RQ4 このアプローチを最大重みマッチングに拡張でき、定数近似MWMにおける最初の多対数最悪ケース更新時間アルゴリズムを達成できるか？
• RQ5 分数アルゴリズムにおける1回の更新あたりの辺重み変更回数はどれくらいか？効率的な実装を保証するため、これを有界にできるか？

主な発見

• 本稿では、任意の定数 ǫ > 0 に対して、O(log³n) の最悪ケース更新時間を持つ最初の (2+ǫ)-近似完全動的整数マッチングアルゴリズムを達成した。
• 還元フレームワークにより、任意の近似的最大分数マッチングアルゴリズムを、同じ更新時間境界を有する整数マッチングに変換可能であることが示された。
• 1回の更新における辺重み変更回数は O(log n/ǫ²) に有界であり、還元プロセスの低オーバーヘッドを保証する。
• 得られた整数マッチングアルゴリズムの最悪ケース更新時間は O(log³n/ǫ⁷) であり、定数 ǫ に対して多対数的である。
• 本手法により、多対数最悪ケース更新時間を持つ最初の定数近似最大重みマッチングアルゴリズムが得られた。
• 従来の多対数更新時間アルゴリズムは分数マッチングや amortized 界限に限定されていたが、本結果により長年のギャップが埋まった。