[論文レビュー] The Geometric Maximum Traveling Salesman Problem

Alexander Barvinok, Sándor P. Fekete+4 more|ArXiv.org|Apr 10, 2002

Computational Geometry and Mesh Generation参考文献 20被引用数 4

ひとこと要約

本稿では、固定次元のユークリッド空間における多面体ノルム下での幾何的Maximum Traveling Salesman Problem (MaxTSP)について、多項式時間アルゴリズムを提示する。任意の $ f $ 個の面を持つ多面体ノルムに対して、MaxTSPは $ O(n^{f-2}\text{log}n) $ 時間で解けることが示され、2次元の場合の長方形（マンハッタン）ノルムや上限ノルムなどには最適な $ O(n) $ 時間のアルゴリズムが存在する。一方、$ d \geq 3 $ の場合、$ \mathbb{R}^d $ におけるユークリッド距離のMaxTSPはNP困難であることを証明する。

ABSTRACT

We consider the traveling salesman problem when the cities are points in R^d for some fixed d and distances are computed according to geometric distances, determined by some norm. We show that for any polyhedral norm, the problem of finding a tour of maximum length can be solved in polynomial time. If arithmetic operations are assumed to take unit time, our algorithms run in time O(n^{f-2} log n), where f is the number of facets of the polyhedron determining the polyhedral norm. Thus for example we have O(n^2 log n) algorithms for the cases of points in the plane under the Rectilinear and Sup norms. This is in contrast to the fact that finding a minimum length tour in each case is NP-hard. Our approach can be extended to the more general case of quasi-norms with not necessarily symmetric unit ball, where we get a complexity of O(n^{2f-2} log n). For the special case of two-dimensional metrics with f=4 (which includes the Rectilinear and Sup norms), we present a simple algorithm with O(n) running time. The algorithm does not use any indirect addressing, so its running time remains valid even in comparison based models in which sorting requires Omega(n \log n) time. The basic mechanism of the algorithm provides some intuition on why polyhedral norms allow fast algorithms. Complementing the results on simplicity for polyhedral norms, we prove that for the case of Euclidean distances in R^d for d>2, the Maximum TSP is NP-hard. This sheds new light on the well-studied difficulties of Euclidean distances.

研究の動機と目的

• 固定次元空間における幾何的距離関数下でのMaximum TSPの計算複雑性を扱う。
• 同じノルム下で既知のMinTSPがNP困難であるのと対照的に、どの幾何的ノルムが多項式時間解法を許容するかを特定する。
• 多面体ノルムの組み合わせ的・幾何的構造を活用して、効率的なアルゴリズムを開発する。
• 高次元における多面体ノルムの扱いやすさとユークリッドノルムの困難さの明確な二分岐を確立する。
• 一般にNP困難であるTSPに対して、特定の距離関数がなぜ効率的なアルゴリズムをもたらすのかを理論的に基礎づける。

提案手法

• 中心対称な多面体を単位球として用い、$ f $ 個の面を持つ多面体ノルムをモデル化し、面法線ベクトルとの絶対値内積の最大値として距離を表現する。
• ノルムの双対表現の構造を活用して、MaxTSPを「トンネルTSP」と呼ばれる変種に還元する。
• 幾何的ソーティングと凸包技術を用いて、ノルム下で総巡回長を最大化する最適な辺集合を同定する。
• 4つの面を持つ2次元多面体ノルム（例：長方形ノルムや上限ノルム）に対して、間接的インデクシングを回避することで、比較モデルにおいても $ O(n) $ 時間の線形時間アルゴリズムを設計する。
• $ \mathbb{R}^d $、$ d \geq 3 $ におけるユークリッドMaxTSPのNP困難性を、$ L_p $-類似距離を持つ carefully に構築された点集合を用いたハミルトン閉路問題への還元により証明する。
• 準ノルム（非対称な単位球）へと結果を拡張し、$ O(n^{2f-2}\text{log}n) $ 時間の複雑性を導出。解空間における構造的差異を分析する。

実験結果

リサーチクエスチョン

• RQ1 固定次元空間における多面体ノルム下での幾何的インスタンスのMaxTSPは、多項式時間で解けるか？
• RQ2 $ \mathbb{R}^d $ におけるユークリッド距離のMaxTSPの計算複雑性は、$ d \geq 3 $ の場合どうなるか？
• RQ3 単位球の面の数が、多面体ノルム下でのMaxTSPの時間複雑性にどのように影響するか？
• RQ4 長方形ノルムや上限ノルムなど、4つの面を持つノルムの下で、2次元におけるMaxTSPに線形時間アルゴリズムが存在するか？
• RQ5 多面体ノルムの構造的性質を活用して、比較ベースのソーティングの $ \Omega(n\text{log}n) $ 低下限界を回避するアルゴリズムを設計できるか？

主な発見

• 任意の固定された $ d $ に対して、$ f $ 個の面を持つ多面体ノルム下でのMaximum TSPは $ O(n^{f-2}\text{log}n) $ 時間で解ける。これは多項式時間解法の存在を示している。
• 2次元における4面多面体ノルム（例：長方形ノルムや上限ノルム）のMaxTSPに対して、最適な $ O(n) $ 時間のアルゴリズムが存在し、比較モデルでも成立する。
• $ d \geq 3 $ の場合、$ \mathbb{R}^d $ におけるユークリッド距離のMaxTSPはNP困難である。多面体ノルムの扱いやすさと対照的である。
• $ f $ 個の面を持つ準ノルムでは、$ O(n^{2f-2}\text{log}n) $ 時間のアルゴリズムが得られ、非対称距離関数へとアプローチを拡張できる。
• $ d $ が入力に含まれる $ L_{\infty} $-ノルム下でのMaxTSPはMax-SNP困難である。これはP = NPでない限り、多項式時間近似スキームが存在しないことを示唆する。
• 2次元における長方形ノルムの単純さにもかかわらず、平面におけるユークリッドノルムのMaxTSPは未解決のままであるが、幾何的構造の類似性からNP困難であると予想されている。