[論文レビュー] Approximation Algorithms for the Bottleneck Asymmetric Traveling Salesman Problem

Hyung-Chan An, Robert Kleinberg+1 more|arXiv (Cornell University)|Dec 28, 2020

Complexity and Algorithms in Graphs参考文献 19被引用数 9

ひとこと要約

本稿では、ボトルネック非対称巡回セールスマン問題（BATSP）に対する非自明な近似アルゴリズムを初めて提示する。Eulerian回路の短絡化を行う新しい技術を導入することで、$O(\log n / \log \log n)$-近似比を達成した。この手法はHeld-Karp緩和に基づき、極点解の構造的性質を活用して、最終的な巡回におけるボトルネックコストを有界に保証する。

ABSTRACT

We present the first nontrivial approximation algorithm for the bottleneck asymmetric traveling salesman problem. Given an asymmetric metric cost between n vertices, the problem is to find a Hamiltonian cycle that minimizes its bottleneck (or maximum-length edge) cost. We achieve an O(log n / log log n) approximation performance guarantee by giving a novel algorithmic technique to shortcut Eulerian circuits while bounding the lengths of the shortcuts needed. This allows us to build on a related result of Asadpour, Goemans, Mądry, Oveis Gharan, and Saberi to obtain this guarantee. Furthermore, we show how our technique yields stronger approximation bounds in some cases, such as the bounded orientable genus case studied by Oveis Gharan and Saberi. We also explore the possibility of further improvement upon our main result through a comparison to the symmetric counterpart of the problem.

研究の動機と目的

• 巡回セールスマン問題のボトルネック版（非対称）に対する非自明な近似アルゴリズムの欠如に応えること。この問題は、ハミルトニアンサイクルにおける最大辺コストを最小化することを目的とする。
• 頂点数$n$の関数として、$o(n)$の近似比を達成する多項式時間アルゴリズムを設計すること。
• 線形計画緩和の構造的洞察を活用して、対称および最小和TSPで知られている手法をボトルネック非対称設定に拡張すること。
• 特に、有向的な genus が有界なグラフなどの特殊ケースにおいて、提案手法がより強い境界を達成できることを示すこと。
• ボトルネック非対称TSPの近似の理論的限界を、その対称的対応物と比較することで探求すること。

提案手法

• アルゴリズムは、まずHeld-Karp緩和を解き、特定の構造的性質を持つ極点解$x^*$を同定する。
• 極点解$x^*$を、値が$1 - \frac{1}{k}$である大サポート部と、値が$\frac{1}{k}$である小サポート部に分解し、強い連結性と次数制約を保証する。
• 各短絡化が辺長の増加を有界に保つように、Eulerian回路からハミルトニアン巡回への変換に新規な短絡化技術を適用する。
• 解のサポート上に、出次数、入次数、カット制約などのタイトな線形制約系を用いて、解の構造を一意に再構成し、構造的一致性を強制する。
• アルゴリズムは、最終巡回における最大辺コストが最適ボトルネックコストの$O(\log n / \log \log n)$倍以内に抑えられることを保証する。
• ランダムなスパニングツリー生成および行列式に基づくサンプリングに関するAsadpourらの結果を活用し、期待短絡コストが有界なEulerian回路の分布を構築する。

実験結果

リサーチクエスチョン

• RQ1 非対称ボトルネックTSPに対して、非自明な近似アルゴリズムを設計可能か。かつてこのようなアルゴリズムは存在しなかった。
• RQ2 Held-Karp緩和のどの構造的性質が、最終巡回におけるボトルネックコストの有界性を保証するために利用可能か。
• RQ3 Eulerian回路上の短絡化プロセスを制御することで、導入される最大辺長が$O(\log n / \log \log n)$の最適解に近いかどうか。
• RQ4 提案手法は、有向的 genus が有界なグラフクラスなどの特殊なグラフクラスにおいて、より良い近似比を達成するか。
• RQ5 ボトルネック非対称TSPの近似性能は、その対称的および最小和対応物と比べてどのように異なるか。

主な発見

• 本稿は、ボトルネック非対称TSPに対して$O(\log n / \log \log n)$-近似比を達成し、この問題に対する最初の非自明な近似保証を実現した。
• 各短絡化の長さを有界に保つ、Eulerian回路に対する新規な短絡化技術を用いており、これによりボトルネックコストが所定の近似要因内に保たれる。
• Held-Karp緩和の極点解$x^*$が、注意深く選択されたタイトな線形制約の集合によって一意に決定されることを証明し、解構造の正確な再構成を可能にした。
• 有向的 genus が有界なグラフなどの特殊ケースでは、一般の$O(\log n / \log \log n)$保証よりも強い近似境界が得られる。
• Asadpourらのランダムスパニングツリーおよび行列式ベースのサンプリングの枠組みを、ボトルネック設定に拡張して応用した。
• 本研究により、ボトルネック非対称TSPが$O(\log n / \log \log n}$に近似可能であることが確立され、かつて$o(n)$-近似が知られていなかった文脈における大きなギャップが埋められた。