[論文レビュー] A Quasi-Polynomial Algorithm for Well-Spaced Hyperbolic TSP

‪Sándor Kisfaludi-Bak|arXiv (Cornell University)|Jan 1, 2020

Computational Geometry and Mesh Generation参考文献 19被引用数 1

ひとこと要約

本稿では、ガウス曲率 −1 の双曲平面におけるユークリッド巡回セールスマン問題（TSP）に対して、$ n^{O(\log^2 n)} \cdot \max(1, 1/\alpha) $ の実行時間を達成する準多項式時間アルゴリズムを提示する。ここで $\alpha$ は入力点の間隔の最小値である。このアルゴリズムは双曲幾何における新規なセパレータ定理と再ルーティングの議論を活用し、良好に離隔した点集合に対してより高速な計算を可能にし、密度の高い入力では $ n^{O(\sqrt{n})} $ に劣化する。

ABSTRACT

We study the traveling salesman problem in the hyperbolic plane of Gaussian curvature $-1$. Let $α$ denote the minimum distance between any two input points. Using a new separator theorem and a new rerouting argument, we give an $n^{O(\log^2 n)\max(1,1/α)}$ algorithm for Hyperbolic TSP. This is quasi-polynomial time if $α$ is at least some absolute constant, and it grows to $n^{O(\sqrt{n})}$ as $α$ decreases to $\log^2 n/\sqrt{n}$. (For even smaller values of $α$, we can use a planarity-based algorithm of Hwang et al. (1993), which gives a running time of $n^{O(\sqrt{n})}$.)

研究の動機と目的

• 曲率 −1 の双曲平面における巡回セールスマン問題（TSP）の正確なアルゴリズムを開発すること。一般に知られる $ O(2^n \text{poly}(n)) $ の境界を上回る速度を達成すること。
• 負の曲率を持つ距離空間においては既にPTASが知られているが、双曲幾何におけるTSPの正確なアルゴリズムの欠如に取り組むこと。
• 入力点の集合の密度に依存するアルゴリズムの効率の依存関係を、任意の二点間の最小距離であるパラメータ $\alpha$ を用いて特徴づけること。
• 指数時間仮説（ETH）のもとで、$\alpha = \Theta(1/\sqrt{n})$ の場合に、このアルゴリズムの実行時間が著しく改善できないことを証明し、タイトな複雑度の境界を確立すること。
• 特に良好に離隔した点集合に対して、双曲幾何におけるTSPの多項式時間アルゴリズムが可能かどうかを検討すること。

提案手法

• 双曲平面における幾何的構造に基づく点集合の分割を可能にする、新規なセパレータ定理を導入する。
• 特定の領域を横切る最適TSP巡回路の辺数を制御するための、新規な再ルーティング議論を構築する。これは再帰の深さを制御するために不可欠である。
• ピカードの円板モデルを用いて、平面グラフを双曲平面に距離を制御しながら埋め込み、位相的および計量的性質を保持する。
• 頂点ガジェット、湾曲四角形、接続ストリップを用いて、双曲平面にグリッド構造を構築し、$\Theta(1/\sqrt{n})$ の間隔を持つグラフ埋め込みを模倣する。
• 有向平面グラフにおけるハミルトン閉路問題から、双曲平面におけるTSPへの還元を適用し、条件付きの下界を確立する。
• Hwangら（1993年）の平面性に基づくアルゴリズムを密度の高い入力（$\alpha \leq \log^2 n / \sqrt{n}$）に対して組み合わせ、$ n^{O(\sqrt{n})} $ 時間を達成する。

実験結果

リサーチクエスチョン

• RQ1 入力点が良好に離隔している（$\alpha = \Omega(1)$）場合に、双曲平面におけるTSPに対して準多項式時間アルゴリズムを設計できるか。
• RQ2 実行時間の間隔パラメータ $\alpha$ への依存関係の最適性は何か？ さらに $ n^{O(\log^2 n)} \cdot \max(1, 1/\alpha) $ よりも改善可能か？
• RQ3 定数間隔の点集合に対して、双曲平面におけるTSPの多項式時間アルゴリズムが達成可能か、それとも超多項式の下界が存在するか？
• RQ4 点集合の密度が高くなるにつれてアルゴリズムの性能はどのように劣化するか？ また、$\alpha = \Theta(\log^2 n / \sqrt{n})$ の場合に $ n^{O(\sqrt{n})} $ の境界を改善可能か？
• RQ5 このアルゴリズムフレームワークを高次元の双曲空間 $H^d$ に拡張し、$ 2^{n^{1-1/(d-1)}} $ 時間のアルゴリズムを達成できるか？

主な発見

• 本稿では、良好に離隔した双曲TSPに対して、実行時間 $ n^{O(\log^2 n)} \cdot \max(1, 1/\alpha) $ の準多項式時間アルゴリズムを提示する。$\alpha \geq 1$ の場合、これは $ n^{O(\log^2 n)} $ に簡略化される。
• 間隔 $\alpha = \Theta(\log^2 n / \sqrt{n})$ の入力では、アルゴリズムの実行時間が $ n^{O(\sqrt{n})} $ に劣化し、Hwangら（1993年）のユークリッドアルゴリズムと同等の性能を示す。
• $\alpha \leq \log^2 n / \sqrt{n} $ の場合、Hwang ら（1993年）のアルゴリズムが使用され、$ n^{O(\sqrt{n})} $ 時間が達成され、ETHのもとで最適である。
• 本稿では、指数時間仮説（ETH）のもとで、$\alpha = \Theta(1/\sqrt{n})$ の場合に、このアルゴリズムの実行時間を著しく改善できないことを証明している。$ 2^{o(\sqrt{n})} $ のアルゴリズムが存在すれば、ETHに矛盾する。
• このアルゴリズムは密度依存性において最適であることが示された：ETHが成立しない限り、$\alpha = \Theta(1/\sqrt{n})$ に対してより高速なアルゴリズムは存在しない。
• このフレームワークは、高次元の双曲空間 $H^d$ に拡張され、$ 2^{o(n^{1-1/(d-1)})} $ 時間のTSPアルゴリズムが存在すればETHに矛盾する。これは、定数 $\alpha$ の場合に $ n^{O(\log^2 n)} \cdot \max(1, 1/\alpha) $ が最良の可能性であることを示唆している。