[論文レビュー] Approximate Generalized Matching: $f$-Factors and $f$-Edge Covers

Dawei Huang, Seth Pettie|arXiv (Cornell University)|Jun 19, 2017

Complexity and Algorithms in Graphs参考文献 26被引用数 7

ひとこと要約

本稿では、非二部グラフにおける最大重み $f$-マッチングおよび最小重み $f$-エッジ被覆のほぼ線形時間近似スキームを提示する。近似を保つ還元とエドモンズのブ loss アルゴリズムにおける補完スラックネスの新しい緩和を用いる。主な結果は、$(1-\epsilon)$-近似 $f$-マッチングおよび $(1+\epsilon)$-近似 $f$-エッジ被覆の $O_{\epsilon}(m\alpha(m,n))$-時間アルゴリズムである。

ABSTRACT

In this paper we present linear time approximation schemes for several generalized matching problems on nonbipartite graphs. Our results include $O_ε(m)$-time algorithms for $(1-ε)$-maximum weight $f$-factor and $(1+ε)$-approximate minimum weight $f$-edge cover. As a byproduct, we also obtain direct algorithms for the exact cardinality versions of these problems running in $O(m\sqrt{f(V)})$ time. The technical contributions of this work include an efficient method for maintaining {\em relaxed complementary slackness} in generalized matching problems and approximation-preserving reductions between the $f$-factor and $f$-edge cover problems.

研究の動機と目的

• 非二部グラフにおける一般化マッチング問題のための効率的で近似を保つ還元の欠如に対処する。
• 入力の拡大を回避し、双対構造を保つ直接的な $f$-マッチングおよび $f$-エッジ被覆のアルゴリズムを開発する。
• $(1\pm\epsilon)$-近似保証を伴う重み付き $f$-マッチングおよび $f$-エッジ被覆の近線形時間近似スキームを設計する。
• 近似に基づく丸めを用いて、$O(m\alpha(m,n)\sqrt{f(V)})$ 時間で正確な基数 $f$-マッチングおよび $f$-エッジ被覆を計算可能にする。
• 線形計画法の双対性および構造を保ち、重み付きおよび近似変種を自然にサポートする。

提案手法

• 一般化マッチングにおける増幅ウォーク探索中に双対妥当性を維持するために、緩和された補完スラックネス条件を導入する。
• 双対性と補完的構造を活用して、$f$-マッチングと $f$-エッジ被覆問題の間で近似を保つ還元を用いる。
• エドモンズのブ loss アルゴリズムを、厳密な双対妥当性を要件としない緩和された双対条件で動作させるように変更し、増幅ウォークの効率的探索を可能にする。
• エッジの消費と先祖-後代関係を用いて、再帰的探索を避けるために、探索木およびブロス構造を動的に維持する。
• 二段階アプローチを採用する：まず緩和された双対条件を用いて $\epsilon$-近似解を計算し、次に標準的な増幅ウォーク探索により解を完成させる。
• $\epsilon$-近似を用いて、$O(\sqrt{f(V)})$ の余剰/不足を束縛し、近線形時間で正確な解の完成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 入力サイズの拡大なしに、$(1-\epsilon)$-近似最大重み $f$-マッチングを近線形時間で達成できるか？
• RQ2 $f$-エッジ被覆から $f$-マッチングへの近似を保つ還元を設計できるか？ これにより双対構造が保持され、入力の拡大が回避されるか？
• RQ3 エドモンズのアルゴリズムにおける補完スラックネス条件をどのように緩和すれば、一般化マッチングにおける効率的近似を可能にするか？
• RQ4 近似に基づく丸めを用いた正確な $f$-マッチングおよび $f$-エッジ被覆の計算の複雑度は何か？
• RQ5 統一されたアルゴリズム枠組みにより、$(1\pm\epsilon)$-近似 $f$-マッチングおよび $f$-エッジ被覆に対して $O(m\alpha(m,n))$-時間複雑度を達成できるか？

主な発見

• 本稿では、$(1-\epsilon)$-近似最大重み $f$-マッチングのための $O_{\epsilon}(m\alpha(m,n))$-時間アルゴリズムを提示する。
• また、$(1+\epsilon)$-近似最小重み $f$-エッジ被覆のための $O_{\epsilon}(m\alpha(m,n))$-時間アルゴリズムも提供する。
• 近似フレームワークを用いることで、正確な $f$-マッチングまたは $f$-エッジ被覆は $O(m\alpha(m,n)\sqrt{f(V)})$ 時間で計算可能である。
• 近似を保つ $f$-マッチングと $f$-エッジ被覆の間の還元は、双対構造を保持し、入力の拡大を回避する。
• 緩和された補完スラックネスフレームワークにより、一般化マッチング問題に対する効率的で近線形時間の近似が可能になる。
• $\epsilon = 1/\sqrt{f(V)}$ と設定することで、$O(\sqrt{f(V)})$ の余剰または不足を持つ解が得られ、近線形時間で正確な解の完成が可能になる。