[論文レビュー] Optimal Multi-Robot Path Planning on Graphs: Structure and Computational Complexity

Jingjin Yu, Steven M. LaValle|arXiv (Cornell University)|Jul 12, 2015

Robotic Path Planning Algorithms参考文献 7被引用数 32

ひとこと要約

本稿は、4つの主要な目的—総到着時間、マクスパン、総距離、最大距離—について、それぞれが3SATからの還元を用いてNP困難であることを示すことで、グラフ上の最適なマルチロボットパスプランニング（MPP）の計算的非効率性を確立する。さらに、これらの目的は構造的に不適合であり、いかなる1つの解も、いかなる2つの目的を同時に最適化できないことを示し、マルチロボット最適化における根本的なトレードオフを強調する。

ABSTRACT

We study the problem of optimal multi-robot path planning on graphs (MPP) over four distinct minimization objectives: the total arrival time, the makespan (last arrival time), the total distance, and the maximum (single-robot traveled) distance. On the structure side, we show that each pair of these four objectives induces a Pareto front and cannot always be optimized simultaneously. Then, through reductions from 3-SAT, we further establish that computation over each objective is an NP-hard task, providing evidence that solving MPP optimally is generally intractable. Nevertheless, in a related paper, we design complete algorithms and efficient heuristics for optimizing all four objectives, capable of solving MPP optimally or near-optimally for hundreds of robots in challenging setups.

研究の動機と目的

• マルチロボットパスプランニング（MPP）における4つの一般的な最適化目的—総到着時間、マクスパン、総距離、最大距離—の間の構造的トレードオフを分析すること。
• これらの目的が同時に最適化可能かどうかを特定し、最適解における本質的な不適合性を明らかにすること。
• 各目的を最適化する問題の計算複雑性を確立し、すべてがNP困難であることを示すこと。
• 簡素化された設定、例えば2つの入れ替え可能なロボットグループに分かれた場合でも、NP困難性が維持されるかを調査すること。
• MPPにおけるアルゴリズム設計の理論的基盤を提供し、計算困難な問題の変種と構造的制約を特定すること。

提案手法

• 無限に多くのMPPインスタンスを構築し、4つの目的のいかなるペアに対しても同時に最適化可能な解が存在しないことを示し、パレート不適合性を証明する。
• 古典的なNP困難な3SAT問題からの還元を用いて、4つのMPP目的それぞれのNP困難性を証明する。
• 既存のMPPガジェット構成（変数、節、交換、シンクガジェット）を変更し、3SAT構造を保持するとともに距離制約を強制する。
• 一方向パスと追加の頂点を導入し、最大距離目的における均一な移動距離を保証し、意図しない短絡経路を防ぐ。
• 追加された構造物が経路の柔軟性を増加させないことを示し、元の3SATインスタンスの困難性がMPP定式化においても保持されることを保証する。
• NP-membershipと3SATからの還元によるNP困難性を示すことにより、総距離と最大距離の両MPP変種のNP完全性を確立する。

実験結果

リサーチクエスチョン

• RQ1 4つのMPP目的—総到着時間、マクスパン、総距離、最大距離—のうち、いかなる2つも、1つの解が同時に最適化可能か。
• RQ2 MPPにおける総到着時間の最小化問題はNP困難か。また、この困難性は構造的制約のもとでも維持されるか。
• RQ3 ロボットが2つの入れ替え可能なタイプに分類される場合でも、MPPにおける最大距離の最小化のNP困難性は保たれるか。
• RQ4 異なるMPP目的を最適化する際、どのような構造的性質が生じるか。それらは解の設計をどのように制約するか。
• RQ5 目的間の本質的な不適合性は、実際のヒューリスティックまたは近似アルゴリズムの設計に活用可能か。

主な発見

• 4つのMPP目的のいかなるペアに対しても、パレートフロントが生じる。つまり、いかなる解も、2つの目的を同時に最小化できない。
• 任意の2つの目的に対する最適解の差は、任意に大きくとれる。これは強い構造的不適合性を示している。
• 3SATからの還元を用いて、4つの目的—総到着時間、マクスパン、総距離、最大距離—それぞれの最適化がNP困難であることを証明した。
• ロボットが2つのグループに分かれる入れ替え可能なロボットに制限されても、総距離と最大距離のMPPのNP困難性は維持される。
• 最大距離MPPの証明において、追加の頂点と辺が、意図しない経路の柔軟性をもたらさないことが示された。これにより、元の3SATインスタンスの困難性が保持された。
• 結果として、正確な最適MPPは計算的に非効率であることが示唆され、実用的にはヒューリスティクスや近似アルゴリズムの使用が促進される。