[論文レビュー] A 4/3-approximation for TSP on cubic 3-edge-connected graphs

Nishita Aggarwal, Naveen Garg+1 more|arXiv (Cornell University)|Jan 28, 2011

Advanced Graph Theory Research参考文献 4被引用数 24

ひとこと要約

本稿では、任意の3-辺連結な3正則グラフに対して、4n/3本以下の辺を持つ連結なオイラー部分グラフを多項式時間で見つけるアルゴリズムを提示する。このアルゴリズムにより、このようなメトリクスにおけるTSPの4/3近似が達成される。手法は2因子分解、サイクルをスーパーノードに圧縮し、短いサイクルを除去する反復的分割を用い、その後制御された拡張により接続性とオイラー性を維持しながら辺数を最小化する。

ABSTRACT

We provide a polynomial time 4/3 approximation algorithm for TSP on metrics arising from the metric completion of cubic 3-edge connected graphs.

研究の動機と目的

• 3-辺連結な3正則グラフから導かれる最短経路メトリクスにおける巡回セールスマン問題（TSP）の近似比を向上させること。
• 既知の3/2近似と、これらの特殊なメトリクスにおけるHeld-Karp LPの予想される4/3整数性ギャップの間のギャップを埋めること。
• このようなグラフにおいて、多項式時間で4n/3本以下の辺を持つ連結なオイラー部分グラフを構築するアルゴリズムを設計すること。
• 3-辺連結な3正則グラフのケースにおいて、サブツアー除去LPの予想される4/3整数性ギャップを達成できること。

提案手法

• アルゴリズムは、JacksonとYoshimotoの非構成的証明の修正版を用いて、3-サイクルおよび4-サイクルを含まない2因子を計算することで開始する。
• 5-サイクルをスーパーノードに圧縮し、Maderのスプリッティング補題を適用して辺置換後も3-辺連結性を保つ。
• 圧縮と再び2因子計算を繰り返し、5-サイクルを反復的に除去する。
• 長さ6以上またはスーパーノードを含むサイクルのみを含む2因子が得られた後、スーパーノードを元の5-サイクルに再び展開するが、オイラー構造を維持する。
• 各成分について、スーパーノードを5-サイクルに置き換え、接続性とオイラー性を保つように辺を調整し、最悪ケースで頂点1つあたり4/3本の辺以下を用いる。
• 最終的に、各成分をたかだか2本の追加辺で接続することで、連結なオイラー部分グラフを構成し、総辺数が4n/3以下となるようにする。

実験結果

リサーチクエスチョン

• RQ1 3-辺連結な3正則グラフから導かれる最短経路メトリクスにおけるTSPに対して、4/3近似が達成可能か？
• RQ2 このようなグラフにおいて、多項式時間アルゴリズムを用いて、4n/3本以下の辺を持つ連結なオイラー部分グラフを構築可能か？
• RQ3 これらのメトリクスにおけるHeld-Karp LPの整数性ギャップは4/3に一致するか？ そして、そのギャップをアルゴリズム的に達成可能か？
• RQ4 3-辺連結な3正則グラフの構造的性質を活用して、短いサイクルを除去し、オイラー部分グラフの辺数を削減可能か？

主な発見

• アルゴリズムは、任意の3-辺連結な3正則グラフにおいて、4n/3本以下の辺を持つ連結なオイラー部分グラフを構築する。
• 4n/3の上限は、このクラスのメトリクスにおけるHeld-Karp LPの予想される整数性ギャップと一致する。
• 2因子分解、サイクル圧縮、反復的スプリッティングを用いて、3-、4-、5-サイクルを効果的に除去した。
• 次数2または4のスーパーノードを含む成分では、展開プロセスがそれぞれ最大5本または4本の辺を追加するが、4/3の辺の上限を維持する。
• 最終的な連結なオイラー部分グラフは、合計で⌊4n/3⌋−2本の辺を用いる。追加の辺は、成分同士を接続するためのみに使用される。
• このクラスのグラフにおいて、4/3近似がタイトであることが示された。構造的制約に反しない限り、この上限を改善することは不可能である。