[論文レビュー] Approximating Graphic TSP by Matchings

Tobias Mömke, Ola Svensson|arXiv (Cornell University)|Apr 15, 2011

Advanced Graph Theory Research参考文献 22被引用数 27

ひとこと要約

本稿では、グラフィックTSPおよび関連問題の近似アルゴリズムを改善するための新しいフレームワークを提示する。『取り外可能ペアリング』を用いることで、エッジの追加に加えて削除を許容するEulerian multigraphの構築が可能となり、グラフィックTSPに対して1.461-近似を得るとともに、次数3制限およびクラウドフリーなグラフにおいてHeld-Karp緩和の整数性ギャップが正確に4/3であることを証明する。

ABSTRACT

We present a framework for approximating the metric TSP based on a novel use of matchings. Traditionally, matchings have been used to add edges in order to make a given graph Eulerian, whereas our approach also allows for the removal of certain edges leading to a decreased cost. For the TSP on graphic metrics (graph-TSP), the approach yields a 1.461-approximation algorithm with respect to the Held-Karp lower bound. For graph-TSP restricted to a class of graphs that contains degree three bounded and claw-free graphs, we show that the integrality gap of the Held-Karp relaxation matches the conjectured ratio 4/3. The framework allows for generalizations in a natural way and also leads to a 1.586-approximation algorithm for the traveling salesman path problem on graphic metrics where the start and end vertices are prespecified.

研究の動機と目的

• グラフィック距離と新しいマッチングベースの技術を活用して、メトリックTSPの近似比を向上させること。
• グラフィックTSPのHeld-Karp緩和の整数性ギャップについて、既知の上界（1.5）と予想される下界（4/3）の間のギャップを埋める。
• 標準的なマッチングベースのEulerian拡張を超えて、エッジの削除を許容することでコストを削減可能な、一般化可能なフレームワークの構築。
• 2-頂点連結なサブキュービックグラフが、高々4n/3 - 2/3本の辺を持つスパニングEulerian multigraphを有することを証明し、Boydらの予想を確認すること。
• 出発点と到着点が事前に指定された巡回セールスマン経路問題（TSPP）にこのフレームワークを拡張し、1.586-近似を得ること。

提案手法

• 『取り外可能ペアリング』—2-頂点連結グラフから安全に削除可能であり、依然としてEulerian multigraphを構築できるエッジの集合—の概念を導入する。
• エッジを確率1/3で追加し、一部を取り外可能ペアリングにより削除することで、総辺数を削減する確率的エッジ選択プロセスを用いる。
• 任意の2-頂点連結グラフに対して、結果として得られるEulerian multigraphの辺数が(4/3)|E| - (2/3)|R|本以下であることを証明する。ここで|R|は取り外可能ペアリングのサイズである。
• このフレームワークをHeld-Karp線形計画緩和と組み合わせ、LP解と最短路距離を用いて近似比を制限する。
• TSPPに対してハイブリッドアルゴリズムを適用：低歪みインスタンスには主フレームワークを、高歪みケースには古典的ダブルイングアルゴリズムを用いる。
• 2つのアルゴリズムの性能をバランスさせることで、最悪ケース近似比を最適化し、3 - √2 ≈ 1.5858のタイトな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 グラフィックTSPのHeld-Karp緩和の整数性ギャップが、自然なグラフクラスにおいて正確に4/3であることを証明できるか？
• RQ2 エッジの追加に加えて削除を許容することで、グラフィックTSPにおけるEulerian multigraphの構築の近似比を向上させられるか？
• RQ3 Christofidesのアルゴリズムを超えるフレームワークを用いて、グラフィックTSPで1.5未満の近似比を達成できるか？
• RQ4 出発点と到着点が固定された巡回セールスマン経路問題にこのフレームワークを拡張でき、どのような近似比が達成できるか？
• RQ5 このフレームワークは一般のメトリクスに一般化可能か？その際の主な障壁は何か？

主な発見

• 本稿では、Christofidesのアルゴリズムから長年の1.5という上限を上回る1.461-近似アルゴリズムを提案する。
• 2-頂点連結かつ次数3制限またはクラウドフリーなグラフのクラスにおいて、Held-Karp緩和の整数性ギャップが正確に4/3であることを証明する。
• 本フレームワークにより、Boydらの予想（任意の2-頂点連結サブキュービックグラフは、高々4n/3 - 2/3本の辺を持つスパニングEulerian multigraphを有する）が確認される。
• 出発点と到着点が事前に指定されたグラフィックメトリクスにおける巡回セールスマン経路問題（TSPP）に対して、近似比が3 - √2 ≈ 1.5858未満であることを達成する。
• 本フレームワークは一般のメトリクスへ一般化可能であるが、そのような設定で大きな取り外可能ペアリングを効率的に見つけることは未解決の問題のままである。
• 解析により、最悪ケース近似比は、出発点と到着点間の最短路距離が頂点数の(√2 - 1)倍のときに達成され、この境界のタイトさが裏付けられる。