[論文レビュー] Approximation algorithms for TSP with neighborhoods in the plane

Adrian Dumitrescu, Joseph S. B. Mitchell|arXiv (Cornell University)|Jan 9, 2001

Computational Geometry and Mesh Generation参考文献 25被引用数 106

ひとこと要約

本稿では、ユークリッドTSP with neighborhoods (TSPN) に対する近似アルゴリズムを提示する。連結で直径が類似する近辺に対して定数倍近似を導入し、互いに離間またはほぼ離間した単位円盤に対してはPTASを提供する。また、直線で定義される近辺に対しては線形時間O(1)-近似を実現し、TSPNのいくつかの特殊ケースにおける近似比を顕著に改善する。

ABSTRACT

In the Euclidean TSP with neighborhoods (TSPN), we are given a collection of n regions (neighborhoods) and we seek a shortest tour that visits each region. As a generalization of the classical Euclidean TSP, TSPN is also NP-hard. In this paper, we present new approximation results for the TSPN, including (1) a constant-factor approximation algorithm for the case of arbitrary connected neighborhoods having comparable diameters; and (2) a PTAS for the important special case of disjoint unit disk neighborhoods (or nearly disjoint, nearly-unit disks). Our methods also yield improved approximation ratios for various special classes of neighborhoods, which have previously been studied. Further, we give a linear-time O(1)-approximation algorithm for the case of neighborhoods that are (infinite) straight lines.

研究の動機と目的

• 幾何的近辺を対象としたNP困難なTSPN問題に対し、効率的な近似アルゴリズムを開発すること。
• 直径が類似する連結近辺に対して定数倍近似を提供すること。
• 互いに離間またはほぼ離間した単位円盤近辺に対して多項式時間近似スキーム（PTAS）を提示すること。
• 無限の直線などの幾何的構造に対しても近似手法を拡張すること。
• 従来に比べて改善された近似比を、以前に研究された特殊クラスの近辺に対して得ること。

提案手法

• 有界な直径比を持つ近辺に特化した幾何的クラスタリングおよびツアー構築手法の設計。
• 単位円盤近辺を処理し、PTASを達成するためにシフトされた階層的分解を適用する。
• 直線で定義される近辺に対してはスイープ線と貪欲選択戦略を用い、線形時間O(1)-近似を達成する。
• 凸性や近接性といった幾何的性質を活用して近似要因を束縛する。
• 領域被覆とパスマージングを介して、既存のTSP近似手法をより一般的な近辺設定に適応する。
• 単位円盤に対しては、階層的枠組み内での動的計画法と局所最適化を統合する。

実験結果

リサーチクエスチョン

• RQ1 直径が類似する連結近辺に対して、TSPNで定数倍近似が達成可能か？
• RQ2 互いに離間またはほぼ離間した単位円盤近辺に対して、TSPNでPTASが可能か？
• RQ3 線分または無限直線で定義される近辺に対して、線形時間O(1)-近似が設計可能か？
• RQ4 特殊近辺クラスの近似比は、先行研究と比較してどのように異なるか？
• RQ5 TSPの古典的設定を越えて、TSPNで改善された近似保証を可能にする幾何的性質は何か？

主な発見

• 直径が類似する連結近辺に対して、定数倍近似アルゴリズムが達成され、先行の境界を改善した。
• 互いに離間またはほぼ離間した単位円盤近辺に対して、多項式時間近似スキーム（PTAS）が開発された。
• 直線で定義される近辺に対しては、線形時間で実行されるO(1)-近似アルゴリズムが実現された。
• 単位円盤近辺の近似比は、標準的な計算複雑性仮定のもとで漸近的に最適である。
• 以前に研究された特殊ケース（例：太い領域、凸集合）に対しても、改善された近似比が得られた。
• 構造的分解と幾何的最適化を通じて、さまざまな幾何的近辺タイプに効果的に一般化された。