[論文レビュー] On the hardness of unlabeled multi-robot motion planning

Kiril Solovey, Dan Halperin|arXiv (Cornell University)|Aug 10, 2014

Robotic Path Planning Algorithms参考文献 18被引用数 14

ひとこと要約

本稿は、多角形の障害物に囲まれた単位正方形のロボットに対するラベルなしマルチロボット運動計画がPSPACE困難であることを証明し、ラベルなしケースにおける最初のこのような困難性結果を確立している。著者らは、既知のPSPACE困難問題、特に非決定的制約論理（NCL）モデルからの還元を用いて、4つの変種（マルチ対マルチ、マルチ対シングル、マルチ対シングル制限付き、シングル対シングル）の困難性を示しており、ラベル付きケースに対しても同様の影響を及ぼしている。

ABSTRACT

In unlabeled multi-robot motion planning several interchangeable robots operate in a common workspace. The goal is to move the robots to a set of target positions such that each position will be occupied by some robot. In this paper, we study this problem for the specific case of unit-square robots moving amidst polygonal obstacles and show that it is PSPACE-hard. We also consider three additional variants of this problem and show that they are all PSPACE-hard as well. To the best of our knowledge, this is the first hardness proof for the unlabeled case. Furthermore, our proofs can be used to show that the labeled variant (where each robot is assigned with a specific target position), again, for unit-square robots, is PSPACE-hard as well, which sets another precedence, as previous hardness results require the robots to be of different shapes.

研究の動機と目的

• ラベルなしマルチロボット運動計画の計算複雑性を確立すること。ここでロボットは区別されず、到達位置の占有状態のみが重要である。
• ロボットの識別子が存在しないにもかかわらず、ラベル付きケースとは対照的に、ラベルなし計画が依然として計算的に困難であるかどうかを調査すること。
• マルチ対シングルやシングル対シングルの構成を含む、ラベルなし計画の複数の変種への困難性結果の拡張。
• 単位正方形ロボットのラベル付きバージョンが、異なる形状を要件としなくてもPSPACE困難であることを示すこと。

提案手法

• 既知のPSPACE困難性証明フレームワークとしての非決定的制約論理（NCL）モデルへの還元。
• 図形的構造（H）に基づくグラフ内でエッジおよび頂点ロボットを用いた配置空間の構築により、NCL論理ゲートをシミュレートする。
• 「論理的依存関係」をモデル化するための「and」ゲートの使用により、同時に移動させることが順次的にシミュレート可能であることを保証する。
• 複数配置の同値性がエッジの方向性の同値性を意味することを証明し、全対全問題からマルチ対マルチ問題への還元を可能にする。
• 単一ロボットおよび制限付き移動制約を扱うために還元を適応し、マルチ対シングルおよびシングル対シングル変種の困難性を証明する。
• 補題11を活用して、ラベル付きケースでは各ロボットの開始配置とターゲット配置が一意に決定されることを示し、困難性証明をラベル付き単位正方形ロボットに拡張可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ラベルなしマルチロボット運動計画（単位正方形ロボット）は、ロボットが区別不能であってもPSPACE困難であるか？
• RQ2 ロボットの形状やサイズの違いを要件としないで、ラベル付き問題の困難性を確立できるか？
• RQ3 マルチ対シングルやシングル対シングルといった変種が、ラベルなし設定下でもPSPACE困難のままであるか？
• RQ4 NCLモデルからの還元を、幾何的制約を伴うラベルなしロボット配置に適応可能か？
• RQ5 ロボットが同一であっても、特定のターゲット位置に移動しなければならない場合、ラベルなし計画の計算複雑性は何か？

主な発見

• 多角形障害物に囲まれた単位正方形ロボットのラベルなしマルチロボット運動計画はPSPACE困難であり、これはラベルなしケースにおける最初のこのような困難性結果である。
• 複数配置の同値性とエッジ方向性の推論を用いた全対全問題からの還元により、マルチ対マルチ変種がPSPACE困難であることが示された。
• マルチ対シングルおよびマルチ対シングル制限付き変種もPSPACE困難であり、それらの還元は基礎となるグラフ構造におけるエッジの反転に基づいている。
• シングル対シングル変種もPSPACE困難であり、マルチ対マルチケースと類似した還元により証明された。
• 同じ還元フレームワークにより、単位正方形ロボットのラベル付きマルチロボット運動計画のバージョンもPSPACE困難であることが示された。形状の多様性がなくても同様である。
• 証明は補題11に依存しており、これはターゲット配置において各ロボットの開始配置とターゲット配置が一意に決定されることを保証し、ラベル付けの拡張を可能にしている。