[論文レビュー] Improved Analysis for Graphic TSP Approximation via Matchings

Marcin Mucha|arXiv (Cornell University)|Aug 4, 2011

Complexity and Algorithms in Graphs参考文献 10被引用数 4

ひとこと要約

この論文は、マッチングに基づくアルゴリズムの分析を精緻化することで、グラフィック距離における巡回セールスマン問題（TSP）の近似比を改善した。グラフィックTSPに対しては35/24の近似比を達成し、一般化されたTSPパス問題に対しては19/12 + εの近似比を達成した。Euler路におけるマッチング構造の組合せ的解析をより厳密にすることで、Christofidesの結果や最近の境界を上回る結果を得た。

ABSTRACT

The Travelling Salesman Problem is one the most fundamental and most studied problems in approximation algorithms. For more than 30 years, the best algorithm known for general metrics has been Christofides’s algorithm with approximation factor of 3 2 , even though the so-called HeldKarp LP relaxation of the problem is conjectured to have the integrality gap of only 4 3 . Very recently, significant progress has been made for the important special case of graphic metrics, first by Oveis Gharan et al. [3], and then by Momke and Svensson [8]. In this paper, we provide an improved analysis for the approach presented in [8] yielding a bound of 35 24 on the approximation factor, as well as a bound of 19 12 + e for any e > 0 for a more general Travelling Salesman Path Problem in graphic metrics.

研究の動機と目的

• 辺の重みが無重みグラフ内の最短路に一致する特殊なTSPのケースとしてのグラフィックTSPの近似比を改善すること。
• MomkeとSvenssonが導入したマッチングに基づくアプローチの分析を精緻化すること。
• 改善された近似比を、より一般的なグラフィック距離における巡回セールスマンパス問題に拡張すること。
• 現在知られている最良の近似比と、Held-KarpのLP緩和における予想される整数性ギャップ4/3の間のギャップを埋めること。

提案手法

• グラフィック距離における最小重み完全マッチングから導かれるEuler路の構造を活用する。
• Euler路の辺を元のグラフ内のパスに置き換える際のコストを、組合せ的解析によって上限付ける。
• マッチングに基づく変換による辺置き換えに伴うコスト増加を追跡するために、潜在関数の議論を用いる。
• TSP巡回路構築におけるマッチングコストとパス置換コストのトレードオフを分析するための新しい分解技術を導入する。
• 辺の種別とそれらが全体の近似比に与える寄与度についてのケース解析を実施する。
• オープン巡回路を想定するTSPパス問題に拡張するため、マッチングと置換戦略を調整する。

実験結果

リサーチクエスチョン

• RQ1 MomkeとSvenssonが達成した7/5の境界を超えて、グラフィックTSPの近似比を改善できるか？
• RQ2 グラフィック距離におけるマッチングに基づく構成で達成可能な最もタイトな近似比は何か？
• RQ3 Euler路における辺の置換の分析が、全体の近似比にどのように影響するか？
• RQ4 この手法は、近似比が有界であることを保証する、より一般的なグラフィック距離におけるTSPパス問題に拡張可能か？
• RQ5 グラフィック距離におけるTSPパス問題の最良の達成可能な近似比は何か？また、任意のε > 0に対して19/12 + εとして表現可能か？

主な発見

• 本論文は、グラフィックTSPに対して35/24 ≈ 1.4583の改善された近似比を達成し、以前の最良の境界7/5 = 1.4を超えた。
• より一般的なグラフィック距離における巡回セールスマンパス問題に対しては、任意のε > 0に対して19/12 + εの境界を確立した。これは、先行研究を上回る結果である。
• 分析により、マッチングに基づくパス置換によってEuler路の辺を置き換える際のコスト増加が、組合せ的議論によってきわめて厳密に上限づけられていることが示された。
• 本手法は、TSP巡回路の構築におけるマッチングコストとパス置換コストのトレードオフを体系的に分析・制御する方法を提供する。
• これらの結果は、現在知られている最良の近似比と、Held-Karp緩和における予想される4/3の整数性ギャップの間のギャップを埋める上で、顕著な一歩を前進させた。
• 構造的変更を加えることで、本フレームワークは、パス版やボトルネック版を含む、グラフィック距離におけるTSPの他の変種へも一般化可能である。