[論文レビュー] A Linear Time Algorithm for the $3$-neighbour Traveling Salesman Problem on Halin graphs and extensions

Brad Woods, Abraham P. Punnen+1 more|arXiv (Cornell University)|Apr 8, 2015

Vehicle Routing Optimization Methods参考文献 25被引用数 5

ひとこと要約

本稿では、ハーリングラフ上の3近傍巡回セールスマン問題（TSP(k)）を線形時間で解くアルゴリズムを提示している。これは、k=1およびk=2の既存の研究を拡張したものである。kホップ近傍内での辺の相互作用をモデル化し、ファン型部分構造における動的計画法を用いることで、最適解をO(n)時間で達成している。k=O(log n)および完全に還元可能なグラフクラスへの拡張も行われている。

ABSTRACT

The Quadratic Travelling Salesman Problem (QTSP) is to find a least cost Hamilton cycle in an edge-weighted graph, where costs are defined on all pairs of edges contained in the Hamilton cycle. This is a more general version than the commonly studied QTSP which only considers pairs of adjacent edges. We define a restricted version of QTSP, the $k$-neighbour TSP (TSP($k$)), and give a linear time algorithm to solve TSP($k$) on a Halin graph for $k\leq 3$. This algorithm can be extended to solve TSP($k$) on any fully reducible class of graphs for any fixed $k$ in polynomial time. This result generalizes corresponding results for the standard TSP. TSP($k$) can be used to model various machine scheduling problems as well as an optimal routing problem for unmanned aerial vehicles (UAVs).

研究の動機と目的

• 巡回における辺の相対的位置に依存するコストを考慮するハーリングラフ上でのk近傍巡回セールスマン問題（TSP(k)）に対する効率的アルゴリズムの開発。
• TSP(1)およびTSP(2)に対して既に知られている線形時間アルゴリズムをk=3のケースに拡張し、より広い種類の辺の相互作用コストを扱う。
• ハーリングラフ上でのTSP(k)をk=O(log n)に対して多項式時間で解くためのアプローチを一般化し、完全に還元可能なグラフクラスへの適用可能性を検討する。
• 無人航空機（UAV）ルーティングやバイオインフォマティクス（並び替え可能な可変長マルコフモデル）といった実世界の応用を、標準TSPよりも現実的であるコスト関数でモデル化する。

提案手法

• 巡回に沿って正確にk本の辺で接続される辺のペアをk近傍辺と定義し、コスト計算の根拠とする。
• k辺部分路内のすべてのペアに対して、q(eᵢ,eⱼ)で表されるペアワイズコストを、距離の逆数で重み付けしたペナルティ関数q(e₁,…,eₖ)を導入し、影響をバランスさせる。
• 3辺カットセットに基づく再帰的分解戦略を用い、非還元可能な部分グラフ（例：ファン）を擬似ノードに縮約しながら、巡回コスト情報を保持する。
• 得られたファン構造に対して動的計画法を適用し、修正された擬似ファン戦略を用いて最小コストの巡回を計算する。
• 契約されたノードにおけるペナルティ関数を通じて巡回情報を保持・伝搬させ、最適巡回の下向き計算を可能にする。
• 簡略化されたTSP(k)問題（STSP(k)）を解くことで、元のTSP(k)と同一の最適解が得られることを証明し、アプローチの正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 ハーリングラフ上での3近傍巡回セールスマン問題（TSP(3)）は、TSP(1)およびTSP(2)の既知の線形時間解法を拡張して、線形時間で解けるか。
• RQ2 kがO(log n)に成長する場合、ハーリングラフ上でのTSP(k)の計算量的複雑度は何か。多項式時間で解けるか。
• RQ3 アルゴリズムフレームワークは、3辺カットセットによって完全に還元可能な他のグラフクラスへ一般化可能か。多項式時間での解法が保たれるか。
• RQ4 kホップ近傍内での辺の相互作用コストは、巡回の構造的性質および最適性にどのように影響を与えるか。無人航空機の慣性や飛行の滑らかさといった実用的制約をモデル化できるか。
• RQ5 還元可能なグラフ上でのTSP(k)は、非還元的部品におけるTSP(k)の解法に還元可能か。契約されたノードにおけるペナルティ関数を用いて、効率的に実行可能か。

主な発見

• ハーリングラフ上でのTSP(3)を解く線形時間アルゴリズムが提示され、グラフのファン構造と動的計画法を活用することで、O(n)の計算量を達成している。
• アルゴリズムはk=O(log n)のTSP(k)に対しても拡張可能であり、必要なペナルティ関数の成長が有界であるため、多項式時間の計算量を維持している。
• STSP(k)（TSP(k)の簡略化版）の解法が、元のTSP(k)と同一の最適解をもたらすことが証明されており、アプローチの正しさが保証されている。
• 本手法は完全にk還元可能なグラフクラスへ一般化可能であり、非還元的部品（例：ファン）を契約し、多項式時間のサブルーチンを再帰的に用いて解く。
• フレームワークは、UAVルーティングやバイオインフォマティクスへの応用を支援し、k近傍辺コストを用いて飛行の滑らかさや可変長マルコフ依存性をモデル化可能である。
• アルゴリズムの効率性は、各操作でr個のノードを削減する再帰的契約戦略に起因し、O(P(r))時間で実行される。これにより、固定kに対して全体として多項式時間の計算量が達成される。