[論文レビュー] The guillotine approach for TSP with neighborhoods revisited

Sophie Spirkl|arXiv (Cornell University)|Dec 2, 2013

Advanced Graph Theory Research参考文献 8被引用数 3

ひとこと要約

本稿は、ユークリッド空間における巡回セールスマン問題の近隣領域（TSPN）に対してミッチェルのガーヴィット分割法を再考し、互いに交わらない単位円板における元のPTASの主張に深刻な欠陓を是正するとともに、精緻なグリッド丸めと(m,M)-ガーヴィット分割動的計画法フレームワークを用いて(1+O(ε))-近似解を得ることを証明した。この手法により、単位円板および円に類する領域に対して、α-fat Eまたは凸性の仮定のもとでPTASを確立した。一方、一般のα-fat領域におけるPTASの存在は、未解決の接続性および構造的問題のため、未解決のまま残っている。

ABSTRACT

The Euclidean TSP with neighborhoods (TSPN) is the following problem: Given a set R of k regions, find a shortest tour that visits at least one point from each region. We study the special cases of disjoint, connected, alpha-fat regions (i.e., every region P contains a disk of diameter diam(P)/alpha) and disjoint unit disks. For the latter, Dumitrescu and Mitchell proposed an algorithm based on Mitchell's guillotine subdivision approach for the Euclidean TSP and claimed it to be a PTAS. However, their proof contains a severe gap, which we will close in the following. Bodlaender et al. remark that their techniques for the minimum corridor connection problem carry over to the TSPN and yield an alternative PTAS for this problem. For disjoint connected alpha-fat regions of varying size, Mitchell proposed a slightly different PTAS candidate. We will expose several further problems and gaps in this approach. Some of them we can close, but overall, for alpha-fat regions, the existence of a PTAS for the TSPN remains open.

研究の動機と目的

• ミッチェルによる、互いに交わらない単位円板におけるTSPNのPTAS主張に内在する根本的欠附を特定・是正すること。
• 修正されたガーヴィット分割法とグリッド丸め技術を用いて、TSPNにおける互いに交わらない単位円板に対して、厳密なPTASを確立すること。
• ガーヴィット分割法が一般のα-fatまたはα-fat E領域へと拡張可能かどうかを検討し、特に接続性および構造的整合性の問題に焦点を当てる。
• 既存手法の限界を明確にし、さまざまな太さおよび幾何的制約のもとでのTSPNにおけるPTASの存在状況を特定すること。

提案手法

• 軸に平行なカットを用いた再帰的ウィンドウ分割に基づく動的計画法問題にTSPNを再定式化し、複雑性を有界にする(m,M)-ガーヴィット性を強制する。
• δ = (2⌈k/ε⌉)⁻²を用いたグリッド丸めスキームを適用し、状態空間の多項式サイズを保ちつつ、巡回路長が最適解の(1+O(ε))以内に収まるように保証する。
• グリッド丸めおよびエッジ補正による巡回路長の増加を制限するための課金スキームを導入し、総長が最適解の(1+O(ε))以内に保たれることを保証する。
• 摂動を加えたグリッド上での最適巡回路から再帰的に構築を開始し、(m+9,M+24)-ガーヴィット構造と接続性を維持するようにエッジを挿入する。
• 長さと接続性の保証を可能にするために、有界な周囲長対直径比を満たすように、α-fat（α-fat E）の概念を修正して用いる。
• エッジ補正、偶奇調整、サブウィンドウの整合性に関する補題を用いて、Euler的かつ接続されたエッジ集合の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ミッチェルによる、互いに交わらない単位円板におけるTSPNの元のPTAS主張は、形式的に妥当化可能か、それとも根拠に欠附が存在するか？
• RQ2 両方の(1+O(ε))-近似解と接続性を保証するために、ガーヴィット分割法およびグリッド丸めプロセスにどのような修正が必要か？
• RQ3 PTASフレームワークは、一般のα-fat領域へどの程度拡張可能か。また、そのために必要な幾何的仮定は何か？
• RQ4 元のアプローチが外部領域の存在下で接続性を保てない理由は何か。そして、その欠附はどのように是正可能か？
• RQ5 互いに交わらない連結なα-fat領域（サイズが異なるものも含む）におけるTSPNにPTASは存在するか、それとも未解決のままか？

主な発見

• デュミトレスクとミッチェルによる、互いに交わらない単位円板における元のPTAS主張には深刻な欠附が存在し、本研究で完全に是正された。
• 精緻なガーヴィット分割法とグリッド丸め法を用いて、TSPNにおける互いに交わらない単位円板に対する(1+O(ε))-近似アルゴリズムが確立された。
• 総長が(1+O(ε))L*（L*は最適巡回路長）である一方で、(m+9,M+24)-ガーヴィット性を満たし、Euler的かつ接続されたエッジ集合Eが存在する。
• 課金スキームにより、グリッド丸めおよびエッジ補正に起因する長さ増加が適切に制限され、近似比が保たれていることが保証された。
• α-fat E領域または凸領域に対しては、フレームワークを適応可能にし、(1+O(ε))-近似を維持できるが、サイズが異なる領域では接続性が依然として課題である。
• ミッチェルの意味における一般のα-fat領域におけるPTASの存在は、再帰的分割における接続性および構造的整合性の未解決問題のため、未解決のまま残っている。