[논문 리뷰] On the hardness of unlabeled multi-robot motion planning

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

Robotic Path Planning Algorithms참고 문헌 18인용 수 14

한 줄 요약

이 논문은 다각형 장애물 사이에 단위 정사각형 로봇이 있는 경우, 레이블이 없는 다중 로봇 운동 계획 문제가 PSPACE-난이도임을 증명한다. 이는 레이블이 없는 경우에 대해 처음으로 이러한 난이도 결과를 확립한 것이다. 저자들은 알려진 PSPACE-난이도 문제, 특히 비결정성 제약 논리(NCL) 모델에서의 감소를 사용하여 네 가지 변형—다중에서 다중, 다중에서 단일, 다중에서 단일-제한, 단일에서 단일—에 대해 난이도를 입증한다. 이는 레이블이 있는 경우에도 영향을 미친다.

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에 의존하며, 이는 목표 구성에서 각 로봇의 시작 및 목표 구성이 유일하게 결정됨을 보장함으로써, 레이블 확장을 가능하게 한다.