[論文レビュー] Matching Augmentation via Simultaneous Contractions

Mohit Garg, Felix Hommelsheim+1 more|arXiv (Cornell University)|Nov 3, 2022

Complexity and Algorithms in Graphs被引用数 3

ひとこと要約

この論文は、マッチング拡張問題（MAP）に対して、以前の最良比 5/3 よりも優れた 13/8-近似比を達成する多項式時間近似アルゴリズムを提示する。アプローチは、構造的インスタンスへの α-近似比保存還元を用い、繰り返し同時縮約を導入することでグラフを単純化し、増強パスおよび縮約可能な部分グラフの構造的解析を通じて、よりタイトな下界と改善された近似保証を実現する。

ABSTRACT

We consider the matching augmentation problem (MAP), where a matching of a graph needs to be extended into a $2$-edge-connected spanning subgraph by adding the minimum number of edges to it. We present a polynomial-time algorithm with an approximation ratio of $13/8 = 1.625$ improving upon an earlier $5/3$-approximation. The improvement builds on a new $α$-approximation preserving reduction for any $α\geq 3/2$ from arbitrary MAP instances to well-structured instances that do not contain certain forbidden structures like parallel edges, small separators, and contractible subgraphs. We further introduce, as key ingredients, the technique of repeated simultaneous contractions and provide improved lower bounds for instances that cannot be contracted.

研究の動機と目的

• マッチング拡張問題（MAP）の多項式時間近似アルゴリズムを、改善された近似比で開発すること。
• 任意の MAP インスタンスを、並行辺、小さなカット、縮やせる部分グラフといった禁止構造を含まない良好な構造的インスタンスに還元すること。
• 繰り返し同時縮約を、MAP におけるグラフ構造の単純化のコア手法として導入すること。
• 非縮やせるインスタンスに対するより良い下界を確立し、タイトな近似保証を可能にすること。
• MAP における 5/3 の近似比の壁を破り、13/8 の比に到達すること。

提案手法

• 任意の α ≥ 3/2 に対して、新しい α-近似比保存還元を導入し、並行辺、小さなカット、縮やせる部分グラフを含まない構造的インスタンスに任意の MAP インスタンスを変換すること。
• 繰り返し同時縮約の技術を適用してグラフを単純化し、余分な構成要素や縮やせる部分を除去すること。
• 商グラフ G/H における増強パスの構造を分析し、オープン、クローズド、スタックド 2-増強パスに区別すること。
• 成分とパスの関係をモデル化するための補助有向グラフ Daux を使用し、赤（小）ノードと緑（大）ノードを追跡してサイクルやパスを検出すること。
• 特定の構成（例：赤ノード間の Daux 内の 2-サイクル）が存在する場合、縮やせる部分グラフが存在することを示す構造的補題を証明すること。
• 特定の 2-成分構成（共有頂点を介して接続された 2 個の 4-サイクル）において、最適解は少なくとも 4 営業単位の辺を購入する必要があるが、2-辺連結性を達成するには 5 で十分である。したがって、このような部分グラフが存在する場合、構造的仮定に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 新しい還元法と縮約技術を用いて、MAP の近似比を 5/3 を超えて改善できるか？
• RQ2 MAP インスタンスのどのような構造的性質が、近似比保存の単純化を可能にするか？
• RQ3 繰り返し同時縮約を用いて、縮やせる部分グラフを除去し、問題を単純化できるか？
• RQ4 非縮やせる MAP インスタンスに対するタイトな下界は何か？ そして、それらが近似保証の改善にどのように寄与するか？
• RQ5 増強パスがどのような条件下で縮やせる部分グラフの存在を示唆するか？ また、このような構成は、構造的インスタンスでどのように除外可能か？

主な発見

• この論文は、MAP に対して多項式時間 13/8-近似アルゴリズムを提示し、以前の最良比 5/3 よりも向上した。
• 任意の α ≥ 3/2 に対して、並行辺、小さなカット、縮やせる部分グラフを含まない構造的インスタンスに還元する新しい α-近似比保存還元を導入した。
• 繰り返し同時縮約の技術を新たに開発し、グラフの単純化と冗長構造の除去に用いた。
• 補助有向グラフ Daux 内に赤ノード（小サイズの成分に対応）間の 2-サイクルが存在する場合、それは縮やせる部分グラフの存在を示し、構造的仮定に矛盾することを証明した。
• 特定の 2-成分構成（共有頂点を介して接続された 2 個の 4-サイクル）において、最適解は少なくとも 4 営業単位の辺を購入する必要があるが、2-辺連結性を達成するには 5 で十分である。したがって、このような部分グラフは構造的インスタンスに存在できない。
• 構造的解析により、このような構成がないことにより、改善された下界の有効性と 13/8-近似の正しさが裏付けられた。