[論文レビュー] On Approximation Lower Bounds for TSP with Bounded Metrics

Marek Karpiński, Richard Schmied|arXiv (Cornell University)|Jan 27, 2012

Complexity and Algorithms in Graphs参考文献 14被引用数 11

ひとこと要約

本稿は、XOR制約をシミュレートするための特殊なガジェット（パリティグラフを含む）を用いて、ハイブリッド問題からの新しい還元を用いて、(1,2)-ATSPおよび(1,2)-TSP問題の明示的近似下界を確立する。近似比が207/206 ≈ 1.00485未満で達成可能な近似はNP困難であることを証明し、従来の境界を著しく改善し、有界辺重みをもつメトリックTSPの変種における、最もタイトな既知の近似不能性結果を確立する。

ABSTRACT

We develop a new method for proving explicit approximation lower bounds for TSP problems with bounded metrics improving on the best up to now known bounds. They almost match the best known bounds for unbounded metric TSP problems. In particular, we prove the best known lower bound for TSP with bounded metrics for the metric bound equal to 4.

研究の動機と目的

• (1,2)-ATSPおよび(1,2)-TSP問題に対するより強い明示的近似不能性下界を確立すること。
• 特殊なグラフガジェットを用いて、ハイブリッド問題から(1,2)-ATSPおよび(1,4)-ATSP問題への多項式時間還元を構築すること。
• (1,2)-ATSPを207/206未満の近似比で近似することはNP困難であることを証明し、従来の境界を改善すること。
• 近似還元技術を用いて、MAX–(0,1)-ATSPを含む関連TSP変種への硬度結果を拡張すること。

提案手法

• 変数ガジェットと方程式ガジェットを用いて、ハイブリッド問題から(1,2)-ATSPへの還元を構築し、ハミルトンパスが満たし割り当てに対応するようにする。
• XOR制約（形式 x⊕y⊕z=0）をシミュレートするために、『パリティグラフ』をコアコンponentsとして導入する。
• ガジェットベースの構築により、(1,2)-ATSPインスタンスにおける巡回路長が、ハイブリッド問題における満たされない方程式数に正確に対応するようにする。
• エッジ重みのマッピングを用いた変換により、(1,2)-ATSPからMAX–(0,1)-ATSPへの還元を適用し、MAX–ATSP問題における硬度を導出する。
• MAX–E3–LINからハイブリッド問題への還元を適用し、既知の硬度結果に基づいてタイトな近似不能性比を確立する。
• 変数の割り当てに基づいてケースを分類し、2重のエッジ数を数えることで、巡回路構造の局所的コスト寄与を分析する。

実験結果

リサーチクエスチョン

• RQ1 以前の結果を上回る(1,2)-ATSP問題に対する明示的近似不能性下界を確立できるか？
• RQ2 (1,2)-ATSPを近似可能とする近似比の上限として、最もタイトな値は何か？
• RQ3 ガジェットをどのように設計すれば、TSP還元における近似硬度を保ちながらXOR制約をシミュレートできるか？
• RQ4 (1,2)-ATSPに対する硬度結果を、MAX–(0,1)-ATSPなどの他のTSP変種へどの程度まで拡張できるか？

主な発見

• (1,2)-ATSP問題を207/206 ≈ 1.00485未満の近似比で近似することはNP困難である。
• (1,2)-TSP問題を741/740 ≈ 1.00135未満の近似比で近似することはNP困難である。
• MAX–(0,1)-ATSP問題を320/319 ≈ 1.00314未満の近似比で近似することはNP困難である。
• ハイブリッド問題から(1,2)-ATSPへの還元は、満たされない方程式数と巡回路長のずれの間で一対一対応を保つ。
• パリティグラフガジェットは、偶数回のパリティグラフ走査が行われる場合にのみハミルトンパスが存在することを保証し、XOR制約の正しくシミュレート可能である。
• 207/206未満への近似比の改善は、標準的な複雑性理論的仮定のもとで、(1,2)-ATSPに対してNP困難であることを示す。