[論文レビュー] Approximating ATSP by Relaxing Connectivity

Ola Svensson|arXiv (Cornell University)|Feb 6, 2015

Complexity and Algorithms in Graphs被引用数 4

ひとこと要約

本稿では、全域的接続性の要件を局所的接続性条件に緩和することで、非対称巡回セールスマン問題（ATSP）の近似法に新たなアプローチを提示する。これにより、局所的接続性ATSPと呼ばれる新しい問題を導入する。著者らは、ノード重み付き最短経路距離の下で、この緩和問題に対して3-lightアルゴリズムを設計し、一般のメトリクスへの一般化還元を用いることで、ノード重み付きATSPに対する定数倍近似を得た。これにより、この特殊ケースにおいて長年の未解決問題が解決された。

ABSTRACT

The standard LP relaxation of the asymmetric traveling salesman problem has been conjectured to have a constant integrality gap in the metric case. We prove this conjecture when restricted to shortest path metrics of node-weighted digraphs. Our arguments are constructive and give a constant factor approximation algorithm for these metrics. We remark that the considered case is more general than the directed analog of the special case of the symmetric traveling salesman problem for which there were recent improvements on Christofides' algorithm. The main idea of our approach is to first consider an easier problem obtained by significantly relaxing the general connectivity requirements into local connectivity conditions. For this relaxed problem, it is quite easy to give an algorithm with a guarantee of 3 on node-weighted shortest path metrics. More surprisingly, we then show that any algorithm (irrespective of the metric) for the relaxed problem can be turned into an algorithm for the asymmetric traveling salesman problem by only losing a small constant factor in the performance guarantee. This leaves open the intriguing task of designing a "good" algorithm for the relaxed problem on general metrics.

研究の動機と目的

• ノード重み付き最短経路距離の下での非対称TSPに対する定数倍近似アルゴリズムを設計するという長年の未解決問題に取り組む。
• 整数性ギャップが無限大に発散する可能性があるため、既存の手法がサイクルカバーまたはLP緩和に依存するという制限を克服する。
• 全域的接続性を局所的接続性制約に置き換えることで、ATSPの新たな緩和問題である局所的接続性ATSPを導入する。
• 局所的接続性ATSPに対する任意の定数光量アルゴリズムを、一般ATSPに対する定数倍近似に変換する一般還元を確立する。
• 一般メトリクス上での局所的接続性ATSPに対して、定数光量アルゴリズムが存在するかどうかを検討し、その存在が一般ATSPに対する定数倍近似をもたらす可能性を示唆する。

提案手法

• ATSPの緩和問題として、頂点部分集合における局所的接続性条件に置き換えた局所的接続性ATSPを導入する。
• 部分集合Sに対して下界関数lb(S)を用い、その解の重みが定数倍の下界関数で抑えられるアルゴリズムを「光量が定数のアルゴリズム」と定義する。
• ノード重み付き有向グラフ上での局所的接続性ATSPに対して、反復的なサイクルカバー選択を用いたプライマルデュアルスタイルの構成により、3光量アルゴリズムを提案する。
• 一般還元を用いる：与えられたメトリクス上での局所的接続性ATSPに対する任意のα光量アルゴリズムは、一般ATSPに対するO(α)近似に変換可能である。
• ノード重み付きメトリクスの構造を活用し、サイクルの重みが下界関数によって抑えられることを示し、Held-Karp緩和の整数性ギャップを最大13にまで狭める。
• 下界関数lbを用いたチャージング議論と下界技術により、解の重みが最適解の定数倍以内に収まることを証明する。

実験結果

リサーチクエスチョン

• RQ1 整数性ギャップが無限大に発散するため、従来の手法が失敗するノード重み付き最短経路距離の下での非対称TSPに対して、定数倍近似が達成可能か？
• RQ2 一般メトリクス上での局所的接続性ATSPに対して、定数光量アルゴリズムが存在するか？その存在が一般ATSPに対する定数倍近似をもたらすか？
• RQ3 局所的接続性ATSPからATSPへの一般還元は、異なるメトリクスクラス間で近似保証を移行可能か？
• RQ4 ノード重み付きATSP設定下でのHeld-Karp緩和の最もタイトな整数性ギャップは何か？
• RQ5 未重み付きグラフに対するSTSPの最近の進展を、ノード重み付きグラフに拡張でき、(1.5−ε)-近似を達成できるか？

主な発見

• ノード重み付き最短経路距離の下での局所的接続性ATSPに対して、3光量アルゴリズムを設計し、定数倍近似要因を有する解が存在することを証明した。
• 一般還元により、局所的接続性ATSPに対する任意のα光量アルゴリズムが、一般ATSPに対するO(α)近似に変換可能であることが示され、近似保証の移行が可能となった。
• ノード重み付きメトリクスでは、Held-Karp緩和の整数性ギャップが13未満に抑えられ、従来の境界を改善した。
• 本手法により、ノード重み付きATSPに対する定数倍近似という未解決問題が解決された。これは、最近の未重み付きグラフにおけるSTSP改善よりも一般性の高い特殊ケースである。
• 一般メトリクス上での局所的接続性ATSPに対する定数光量アルゴリズムの存在は未解決のままであり、その存在が一般ATSPに対する定数倍近似をもたらす可能性を示唆する。
• 本手法は、局所的接続性に注目することでATSP近似の新しい枠組みを提供し、より広範なATSP予想の解決への道筋を示唆する。