[論文レビュー] A Gap-ETH-Tight Approximation Scheme for Euclidean TSP

‪Sándor Kisfaludi-Bak, Jesper Nederlof+1 more|arXiv (Cornell University)|Nov 7, 2020

Computational Geometry and Mesh Generation被引用数 2

ひとこと要約

本稿では、d次元空間におけるユークリッドTSPに対して、ランダム化された(1 + ε)-近似スキームを提示する。このアルゴリズムの実行時間は 2^O(1/ε^{d−1})n + poly(1/ε)n log n であり、Gap-Exponential Time Hypothesis (Gap-ETH)のもとでεに関する依存関係がタイトであることを達成している。主な革新は「スパarsityに敏感なパッチング」であり、巡回路のスパarsityに応じて局所的な単純化の粒度を調整することで、従来の(1/ε)^O(1/ε^{d−1})の境界を改善し、既存の最良の正確なアルゴリズムと同等の条件的最適性を達成している。

ABSTRACT

In the Euclidean k-traveling salesman problem (k-TSP), we are given n points in the d-dimensional Euclidean space, for some fixed constant d ≥ 2, and a positive integer k. The goal is to find a shortest tour visiting at least k points. We give an approximation scheme for the Euclidean k-TSP in time n⋅2^O(1/ε^{d-1})⋅(log n)^{2d²⋅2^d}. This improves Arora’s approximation scheme of running time n⋅k⋅(log n)^(O(√d/ε))^{d-1}} [J. ACM 1998]. Our algorithm is Gap-ETH tight and can be derandomized by increasing the running time by a factor O(n^d).

研究の動機と目的

• 固定次元 d ≥ 2 におけるユークリッドTSPの(1+ε)-近似スキームにおけるεに関する指数的依存関係のギャップを埋めること。
• 具体的にはGap-ETHという妥当な複雑性仮定のもとで、εに関する最適な実行時間依存関係を特定すること。
• 巡回路の局所的スパarsityに応じて単純化の粒度を調整する、新たなアルゴリズム的技術「スパarsityに敏感なパッチング」を開発すること。
• この新技術を、Steiner木問題や直交Steiner木問題を含む他の幾何最適化問題へと拡張し、TSPと同等の実行時間境界を達成すること。
• 直交Steiner木問題に対して、一致するGap-ETH下界を確立し、実行時間が条件的最適であることを証明すること。

提案手法

• 局所的スパarsityに応じて単純化の粒度を調整する『スパarsityに敏感なパッチング』を導入。これにより、スパースな領域での不要な細分化を低減する。
• スパarsityに敏感なパッチングを統合したアーロラのクアッドツリーに基づくフレームワークを拡張し、実行時間におけるε依存関係を改善する。
• クアッドツリーによる空間の階層的分解を用いて、(1+ε)-近似を保ちながら再帰的に巡回路を単純化する。
• 新しい技術をSteiner木問題および直交Steiner木問題に適用し、TSPと同一の実行時間境界が得られることを示す。
• グリッドグラフ上のハミルトン閉路問題への帰着を用いて、直交Steiner木問題に対するGap-ETH下界を導出。2^o(1/ε^{d−1})poly(n)のアルゴリズムが存在すれば、Gap-ETHに反する。
• アルゴリズムを確率的から決定的へ変換可能であり、追加のn^d要因のみを必要とし、εに関する条件的最適性が保たれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ユークリッドTSPの(1+ε)-近似スキームにおけるεに関する指数的依存関係を、2^O(1/ε^{d−1})n 時間まで改善できるか。また、Gap-ETHのもとでこれが最適であるか？
• RQ2 スパarsityに敏感なパッチング技術は、TSPを越える幾何最適化問題に対しても、よりタイトな実行時間境界を達成可能か？
• RQ3 ユークリッドTSPにおける2^O(1/ε^{d−1})n 実行時間は条件的最適か？ もしくは、より速いアルゴリズムが存在可能か？
• RQ4 新しい手法を用いて、Steiner木問題および直交Steiner木問題に対しても、同一の実行時間を達成できるか？
• RQ5 Gap-ETHのもとで、直交Steiner木問題に対して2^o(1/ε^{d−1})poly(n)のアルゴリズムが存在するか？

主な発見

• 本稿では、R^dにおけるユークリッドTSPの(1+ε)-近似アルゴリズムを提示し、実行時間は 2^O(1/ε^{d−1})n + poly(1/ε)n log n である。これは、従来の(1/ε)^O(1/ε^{d−1})n log n の境界を改善している。
• アルゴリズムは条件的最適性を達成している：ユークリッドTSPに対して2^o(1/ε^{d−1})poly(n)のアルゴリズムが存在すれば、Gap-ETHに反する。
• 新技術であるスパarsityに敏感なパッチングは、局所的巡回路のスパarsityに応じて単純化の粒度を動的に調整し、密集領域での過剰な単純化やスパース領域での過剰な細分化を低減する。
• この手法はSteiner木問題および直交Steiner木問題へも拡張可能であり、TSPと同等の 2^O(1/ε^{d−1})n + poly(1/ε)n log n の実行時間境界を達成する。
• 直交Steiner木問題に対して、一致するGap-ETH下界が確立され、2^o(1/ε^{d−1})poly(n)のアルゴリズムは、Gap-ETHが成立しない限り存在不可能であることが証明された。
• 確率的アルゴリズムは、追加のn^d要因のみで決定的化可能であり、ε依存に関する条件的最適性が保たれている。