[論文レビュー] 13/9-approximation for Graphic TSP

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

Complexity and Algorithms in Graphs被引用数 57

ひとこと要約

本稿では、MömkeとSvenssonの循環ベースのアプローチを精緻化することで、Graphic TSPに対する$\frac{13}{9}$-近似アルゴリズムを提示する。コア循環コストの2次元ナップサック解析を導入し、補正部が本質的に無料であることを証明することで、従来の手法よりも tighter な上限が得られる。

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 Held-Karp 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., and then by Momke and Svensson. In this paper, we provide an improved analysis for the approach introduced by Momke and Svensson yielding a bound of 13/9 on the approximation factor, as well as a bound of 19/12+epsilon for any epsilon>0 for a more general Travelling Salesman Path Problem in graphic metrics.

研究の動機と目的

• MömkeとSvenssonの1.461程度の近似比を超えるGraphic TSPの近似比を改善すること。
• Mömke-Svenssonアルゴリズムで用いられる循環コストのよりタイトな解析を提供すること、特にコア部と補正部に焦点を当てる。
• 循環の補正部がコスト寄与に対して本質的に無料であることを示し、より良い境界を可能にする。
• コア循環コストに対してほぼ一致する下界を確立し、今後の改善がナップサック型の解析をはるかに超える構造的洞察を必要とすることを示すこと。
• 改善された解析をGraphic TSPパス問題（TSPP）に拡張し、任意の$\varepsilon>0$に対して$\frac{19}{12}+\varepsilon$-近似を得ること。

提案手法

• 補助フローネットワークにおける最小コスト循環の精緻な解析を用い、コア部と補正部に分解する。
• コア循環コストの上限を抑えるために、従来の1次元ナップサックではなく2次元ナップサック問題の定式化を適用する。
• 循環の補正部が総コストに著しく寄与しないことを証明し、漸近的解析において本質的に「無料」と見なせることを示す。
• コア循環コストに対する下界を確立し、上界とほぼ一致することから、解析が構造的制約の範囲でタイトであることを示す。
• 改善された循環コスト境界と既存のTSP構築定理を組み合わせて、最終的な近似比を導出する。
• Christofidesのアルゴリズムとスパニングツリーに基づくパス構築法を用いたバランス技術により、TSPPの最終的近似比を達成する。

実験結果

リサーチクエスチョン

• RQ1 MömkeとSvenssonの$\frac{14(\sqrt{2}-1)}{12\sqrt{2}-13} \approx 1.461$という境界を超えて、Graphic TSPの近似係数を改善できるか？
• RQ2 Mömke-Svenssonフレームワークで用いられる循環のコストを、特に補正部に注目してよりタイトに解析できるか？
• RQ3 1次元ナップサックではなく2次元ナップサックモデルを用いることで、コア循環コストをよりタイトに束縛できるか？
• RQ4 改善された解析をGraphic TSPパス問題に拡張し、$3 - \sqrt{2} + \varepsilon \approx 1.586 + \varepsilon$という既存の境界を超えるより良い近似比を得られるか？
• RQ5 コア循環コストに対する最もタイトな下界は何か？ そして、それが今後の改善が現在のナップサック型の構造的解析をはるかに超える洞察を必要とすることを示唆するか？

主な発見

• 本稿では、Graphic TSPに対して$\frac{13}{9} \approx 1.444$-近似を達成し、以前の最高の近似比（約1.461）を改善した。
• 循環の補正部が本質的に無料であることが示され、最終的な境界に顕著なコスト寄与をしない。
• 2次元ナップサックモデルを用いてコア循環コストのよりタイトな上界を導出し、これに対してほぼ一致する下界が得られた。
• Graphic TSPパス問題（TSPP）に対して、任意の$\varepsilon > 0$に対して$\frac{19}{12} + \varepsilon$-近似を得た。これは、以前の$3 - \sqrt{2} + \varepsilon \approx 1.586 + \varepsilon$の境界を改善する。
• LP緩和値への依存が減少したため、Christofidesのアルゴリズムとのバランス処理を不要としたため、MömkeとSvenssonの元々の研究よりも解析が著しく単純化された。
• コア循環コストに対する下界は、今後の改善が現在のナップサック型の構造的解析をはるかに超える洞察を必要とすることを示唆している。