[論文レビュー] An Approximation Algorithm for Two-Edge-Connected Subgraph Problem via Triangle-Free Two-Edge-Cover

Yusuke Kobayashi, Takashi Noguchi|arXiv (Cornell University)|Jan 1, 2023

Advanced Optical Network Technologies被引用数 3

ひとこと要約

本稿では、2-Edge-Connected Spanning Subgraph問題（2-ECSS）に対して、1.326であった従来の最良比の1.3 + εに改善する(1.3 + ε)-近似アルゴリズムを提示する。この手法は、Hartvigsenの最大三角形自由2マッチングの多項式時間アルゴリズムを活用して、最小の三角形自由2エッジ被覆を計算し、それらを先行研究からの洗練された削減および縮約技術を用いて2エッジ連結なスパニング部分グラフに変換する。

ABSTRACT

The $2$-Edge-Connected Spanning Subgraph problem (2-ECSS) is one of the most fundamental and well-studied problems in the context of network design. In the problem, we are given an undirected graph $G$, and the objective is to find a $2$-edge-connected spanning subgraph $H$ of $G$ with the minimum number of edges. For this problem, a lot of approximation algorithms have been proposed in the literature. In particular, very recently, Garg, Grandoni, and Ameli gave an approximation algorithm for 2-ECSS with factor $1.326$, which was the best approximation ratio. In this paper, we give a $(1.3+\varepsilon)$-approximation algorithm for 2-ECSS, where $\varepsilon$ is an arbitrary positive fixed constant, which improves the previously known best approximation ratio. In our algorithm, we compute a minimum triangle-free $2$-edge-cover in $G$ with the aid of the algorithm for finding a maximum triangle-free $2$-matching given by Hartvigsen. Then, with the obtained triangle-free $2$-edge-cover, we apply the arguments by Garg, Grandoni, and Ameli.

研究の動機と目的

• 2-Edge-Connected Spanning Subgraph問題（2-ECSS）の最良既知近似比を改善すること。
• 1.326という従来の最良境界を下回る多項式時間近似アルゴリズムを開発すること。
• 三角形自由2エッジ被覆が2-ECSSの近似保証を向上させる有効性を示すこと。
• 任意の固定されたε > 0に対して、(1.3 + ε)-近似を達成する決定的アルゴリズムを提供すること。

提案手法

• Hartvigsenの三角形自由2マッチングのための最大マッチングアルゴリズムを用いて、入力グラフにおける最小の三角形自由2エッジ被覆を計算する。
• Garg, Grandoni, Ameliのフレームワークからの削減および縮約手順を適用して、グラフ構造を単純化する。
• 局所的操作を用いて三角形自由2エッジ被覆を準標準形に変換し、連結成分とブリッジを削減する。
• ブリッジ数に基づくサイズバウンドの議論を用いて、2エッジ連結部分グラフに対する(13/10 − 1/(20b))-近似を得る。
• 任意の妥当な2-ECSS解が三角形自由2エッジ被覆であることに着目し、最適解を下界付ける。
• すべての操作がエッジ数を保存し、( |H′|, cc(H′), br(H′) )の辞書式順序を改善することで、多項式時間内に終了することを保証する。

実験結果

リサーチクエスチョン

• RQ1 構造的なエッジ被覆技術を用いて、2-ECSSの近似比を1.326未満に改善できるか？
• RQ2 Hartvigsenの三角形自由2マッチングアルゴリズムは、2-ECSS近似の文脈で有用か？
• RQ3 最小の三角形自由2エッジ被覆を効率的に計算し、より良い近似保証を得るために利用できるか？
• RQ4 三角形自由2エッジ被覆と既存の削減フレームワークを組み合わせることで、近似比を向上できるか？
• RQ5 最終的な部分グラフ構築におけるブリッジに基づくサイズ解析を洗練させることで、近似比をさらに低下できるか？

主な発見

• 本稿は、2-ECSSに対して(1.3 + ε)-近似比を達成し、従来の最良比1.326を改善した。
• Hartvigsenの三角形自由2マッチングのための最大マッチングアルゴリズムを用いて、最小の三角形自由2エッジ被覆を多項式時間で計算可能である。
• 2-ECSSの最適解値は、任意の三角形自由2エッジ被覆のサイズ以上であるため、有効な下界が得られる。
• 三角形自由2エッジ被覆を、bがブリッジの割合であるとき、被覆サイズの(13/10 − 1/(20b))倍以内のサイズを持つ2エッジ連結スパニング部分グラフに変換できる。
• 各ステップで( |H′|, cc(H′), br(H′) )の辞書式順序が改善されるため、アルゴリズムは多項式時間内で終了する。
• 三角形自由2エッジ被覆が、2-ECSSにおける近似比の向上に強力な構造的道具であることが示された。