[論文レビュー] Motion Planning for Unlabeled Discs with Optimality Guarantees

Kiril Solovey, Jingjin Yu+2 more|arXiv (Cornell University)|Apr 20, 2015

Robotic Path Planning Algorithms参考文献 48被引用数 23

ひとこと要約

本論文は、有界加法的誤差内で最適性を保証する、ラベルなし単位円盤ロボットの運動計画のための最初の完全なアルゴリズムを提示する。グラフに基づく頂点順序付けと最短経路計算を用いた組合せ的アプローチにより、総経路長を最小化し、解のコストが OPT + 4m 以下であることを達成する。計算時間は Õ(m⁴ + m²n²) であり、ここで m はロボットの数、n は作業空間の複雑さを表す。

ABSTRACT

We study the problem of path planning for unlabeled (indistinguishable) unit-disc robots in a planar environment cluttered with polygonal obstacles. We introduce an algorithm which minimizes the total path length, i.e., the sum of lengths of the individual paths. Our algorithm is guaranteed to find a solution if one exists, or report that none exists otherwise. It runs in time $ ilde{O}(m^4+m^2n^2)$, where $m$ is the number of robots and $n$ is the total complexity of the workspace. Moreover, the total length of the returned solution is at most $ ext{OPT}+4m$, where OPT is the optimal solution cost. To the best of our knowledge this is the first algorithm for the problem that has such guarantees. The algorithm has been implemented in an exact manner and we present experimental results that attest to its efficiency.

研究の動機と目的

• 多角形障害物を有する平面的環境における区別不能（ラベルなし）の単位円盤ロボットの運動計画の課題に取り組む。
• 従来の研究が最大経路長を最小化するのに対し、個々の経路長の合計（総経路長）を最小化する。
• 理論的保証を提供する：完全性（解が存在しない場合にそれを正しく報告する）と有界な部分最適性（解のコスト ≤ OPT + 4m）。
• 従来の研究より仮定を緩和し、開始／終了位置と障害物との間の最小分離距離のみを要件とすることで、実用的で効率的な計算を可能にする。
• サンプリングに基づくヒューリスティクスに依存しない正確で決定的実装を開発し、実世界への展開に適している。

提案手法

• 先行研究から得たグラフベースの頂点順序付け戦略を用いて、問題を組合せ最適化タスクとして定式化する。
• 2つの分離条件を課す：任意の2つの開始位置またはゴール位置間の最小距離が4以上であること、任意の開始位置またはゴール位置と障害物との最小距離が √5 以上であること。
• ラベルなし制約下でロボットからゴールへの最適割り当てを求めるためにハンガリアン法を用いる。
• 各反復において、自由な構成空間内でのすべての開始位置とゴール位置のペア間の最短経路を、正確な幾何的最短経路計算により計算する。
• 干渉しない経路で到達可能な「単独ゴール」を特定・割り当てするために、再帰的探索メカニズムを用いる。
• 計画プロセス中に動的更新が可能な、効率的な最短経路クエリをサポートする構成空間表現を維持する。

実験結果

リサーチクエスチョン

• RQ1 現実的な幾何的分離制約下で、完全かつ近似的に最適な運動計画アルゴリズムを設計できるか？
• RQ2 このような設定下で、最適総経路長からの理論的最悪ケースのずれはどの程度か？
• RQ3 多項式時間計算量を維持しながら、完全性（つまり、解が存在しないことを検出できる）を保証できるか？
• RQ4 繰り返しの最短経路クエリによる計算ボトルネックを、最適性保証を損なわずに軽減できるか？
• RQ5 完全性と有界な部分最適性を維持しつつ、分離仮定をどの程度緩和できるか？

主な発見

• 提示された分離仮定のもとで、解が存在する場合に限り解を保証し、存在しない場合には正しく報告する。
• 計算された解の総経路長は、最適割り当てに基づく経路集合のコスト OPT に対して、最大で OPT + 4m である。
• アルゴリズムの実行時間は Õ(m⁴ + m²n²) であり、ここで m はロボットの数、n は作業空間の総複雑さを表す。
• 実験結果から、低コストのオーバーヘッドで効率的に解を計算できることを示しており、実行時間の大部分は最短経路計算に費やされている。
• すべてのテストシナリオにおいて、下界と実際の解のコストの差が小さく、最小限の経路長のずれで解が得られていることが裏付けられている。
• 実装は正確で決定的であり、サンプリングに基づくアプローチに内在する非決定的性質を回避しており、公開予定である。