[論文レビュー] LP-Based Approximation Algorithms for Traveling Salesman Path Problems

Hyung-Chan An, David B. Shmoys|arXiv (Cornell University)|May 12, 2011

Vehicle Routing Optimization Methods参考文献 16被引用数 4

ひとこと要約

本稿では、単位重みグラフ距離の下での巡回セールスマン経路問題に対して、$\left(\frac{5}{3} - \epsilon\right)$-近似アルゴリズムを提示する。これは、以前の最良保証である$5/3$を改善するものである。Hoogeveenのアルゴリズムの洗練された解析と、Oveis Gharan, Saberi, and Singhの手法の変更版を組み合わせることで、経路バージョンの Held-Karp緩和の整数性ギャップに対する一致する上界を確立する。

ABSTRACT

This paper has been merged into 1110.4604.

研究の動機と目的

• 単位重みグラフ距離の下での、2つの事前指定された端点を持つ巡回セールスマン経路問題の近似比を改善すること。
• 経路バージョンの Held-Karp緩和の整数性ギャップに定数上界を確立すること。これは、以前は未知であった。
• Hoogeveenのアルゴリズムと、Oveis Gharan, Saberi, and Singhのアルゴリズムの変更版を組み合わせ、より良い性能保証を達成すること。
• 整数性ギャップ上界が改善された近似比と一致するように、構成的証明を提供すること。

提案手法

• Hoogeveenのアルゴリズムに対する新しいLPベースの解析を提案し、性能保証がタイトになる重要なケースを同定する。
• 巡回問題用に開発されたOveis Gharan, Saberi, and Singhのアルゴリズムを、単位重みグラフ距離の下での経路バージョンに適応させるために変更する。
• 確率的解析フレームワークを用いて、解の期待コストを抑え、Held-Karp緩和の構造とT-ジョイン分解を活用する。
• パラメータ化された解析を導入し、$\gamma$、$\sigma_l$、$\sigma_u$ を用いて、特に$(s,t)$辺のコスト比に基づく異なるケースを処理する。
• スパニングツリーとT-ジョインの和として得られる多重グラフ$L$を構築し、2つの端点間でエーラー路が存在することを保証する。
• 線形計画の双対性と辺の接続性制約を用いて、アルゴリズム出力の期待コストに上界を確立する。

実験結果

リサーチクエスチョン

• RQ1 単位重みグラフ距離の下での巡回セールスマン経路問題の近似比は、$5/3$を越えて改善可能か？
• RQ2 一般距離および単位重みグラフ距離の下での経路バージョンの Held-Karp緩和の整数性ギャップは何か？
• RQ3 巡回問題における$\left(\frac{3}{2} - \epsilon_0\right)$-近似の技術を経路バージョンに適応させ、より良い保証を得られるか？
• RQ4 Hoogeveenのアルゴリズムには、性能保証がタイトになる重要なケースがあり、それが他のアルゴリズム的要素を用いて改善可能か？
• RQ5 経路バージョンの Held-Karp緩和の整数性ギャップは、$5/3$未満の定数で上界されるか？

主な発見

• 本稿では、単位重みグラフ距離の下での巡回セールスマン経路問題に対して、$\left(\frac{5}{3} - \epsilon\right)$-近似アルゴリズムを提示する。ここで$\epsilon > 0$である。
• 経路バージョンの Held-Karp緩和の整数性ギャップは、$\frac{5}{3} - \epsilon$で上界される。これは、アルゴリズムの性能保証と一致する。
• 解析により、Hoogeveenのアルゴリズムにおいて比が$5/3$に達する重要なケースが同定され、このケースはOveis Gharan, Saberi, and Singhのアルゴリズムの変更版を用いることで改善可能であることが示された。
• 改善されたアルゴリズムは、ケースA1で$\frac{5}{3} - C_{A1}$、ケースA2で$\frac{5}{3} - C_{A2}$、ケースBで$\frac{5}{3} - C_B$の性能保証を達成する。ここで$C_{A1} = 4 \cdot 10^{-2}$、$C_{A2} = 3.9 \cdot 10^{-52}$、$C_B = 3.9 \cdot 10^{-52}$である。
• 証明は構成的であり、組み合わせ的アルゴリズム手法の期待コスト解析を通じて、整数性ギャップ上界を確立する。
• この結果は、一般距離の下での経路問題に対する以前の最良近似比$5/3$を改善し、経路バージョンの Held-Karp緩和の整数性ギャップに対する最初の定数上界を提供する。