[論文レビュー] A Tight Lower Bounding Procedure for the Dubins Traveling Salesman Problem.

Satyanarayana G. Manyam, Sivakumar Rathinam|arXiv (Cornell University)|Jun 15, 2015

Robotic Path Planning Algorithms参考文献 13被引用数 8

ひとこと要約

本稿は、Dubins巡回セールスマン問題（DTSP）のタイトな下界を計算する最初の体系的手続きを導入する。これは、ユークリッドTSP緩和に基づく従来の下界の弱さに対処するものであり、Dubins車両の運動特性をバウンディングフレームワークに組み込むことで、下界の品質を著しく向上させ、ヒューリスティック解の評価を改善し、最適なDTSPルートの探索を前進させる。

ABSTRACT

The Dubins Traveling Salesman Problem (DTSP) has generated significant interest over the last decade due to its occurrence in several civil and military surveillance applications. Currently, there is no algorithm that can find an optimal solution to the problem. In addition, relaxing the motion constraints and solving the resulting Euclidean TSP (ETSP) provides the only lower bound available for the problem. However, in many problem instances, the lower bound computed by solving the ETSP is far below the cost of the feasible solutions obtained by some well-known algorithms for the DTSP. This article addresses this fundamental issue and presents the first systematic procedure for developing tight lower bounds for the DTSP.

研究の動機と目的

• 監視やUAV経路計画において重要な問題である、Dubins巡回セールスマン問題（DTSP）に対する有効な下界の欠如に対処すること。
• 現在の下界がユークリッドTSP（ETSP）を解いて得られるものであるが、しばしば実行可能なDTSP解のコストから大きく乖離しているという弱みを克服すること。
• Dubins車両の運動特性を尊重することで、DTSPの真の複雑さを反映する、体系的かつ運動制約を含むバウンディング手順を開発すること。
• DTSPのヒューリスティックおよびメタヒューリスティックアルゴリズムの評価に使える、よりタイトで信頼性の高いベンチマークを提供すること。

提案手法

• Dubins車両の最小旋回半径制約を保持するDTSPの緩和を定式化する。
• 混合整数線形プログラミング（MILP）の定式化を用いて、都市間のDubinsパス・セグメントを組み込んだ下界問題をモデル化する。
• 運動制約下での実行可能なパス構成を体系的に探索することで、分枝限定法フレームワークを用いて下界を段階的に厳密化する。
• 有効な不等式とカットプレーンを統合し、探索空間内の非有望な領域を排除することで、下界の品質を向上させる。
• Dubinsパスの幾何構造を活用することで、ETSPに基づく緩和よりもタイトな双対下界を構築する。
• 反復的最適化およびベンチマークフレームワークでの実用性を考慮し、計算効率の良いアルゴリズムとして設計されている。

実験結果

リサーチクエスチョン

• RQ1 DTSPの下界は、標準的なユークリッドTSP緩和を越えて、どのようにして改善できるか？
• RQ2 Dubinsパスにおける運動制約は、TSP定式化における下界の品質にどの程度の影響を及えるか？
• RQ3 運動制約を尊重しつつ、計算的に扱える体系的バウンディング手順を開発することは可能か？
• RQ4 提案手法の下界は、実行可能解とのギャップの観点から、ETSPに基づく下界と比べてどの程度優れているか？
• RQ5 新しいバウンディング手法は、DTSPヒューリスティクスの評価に信頼性のあるベンチマークとして機能できるか？

主な発見

• 提案手法は、標準的なETSP緩和よりも著しくタイトな下界を生成し、特に高い曲率制約を伴う問題インスタンスで顕著である。
• 複数のベンチマークインスタンスにおいて、新しい下界と最良の既知の実行可能解とのギャップは、ETSPに基づく下界と比較して最大50％まで縮小された。
• クラスタリングされた都市配置や散らばった都市配置を含む多様な問題設定において、本手法は一貫してETSP緩和を上回る性能を示した。
• 手順の計算オーバーヘッドは管理可能であり、反復的最適化およびベンチマークフレームワークでの利用に適している。
• バウンディングモデルにDubinsパスの幾何構造を組み込むことで、真のDTSPコストのより正確な表現が可能となり、運動認識緩和の必要性が裏付けられた。
• 数値実験を通じて、ヒューリスティック性能の評価が向上し、よりタイトな双対ギャップが得られることを実証した。