[논문 리뷰] Connected Coordinated Motion Planning with Bounded Stretch

Sándor P. Fekete, Phillip Keldenich외 3명|arXiv (Cornell University)|2021. 01. 01.

Modular Robots and Swarm Intelligence인용 수 1

한 줄 요약

이 논문은 스웜의 연결성과 유한한 스트레치를 보장하면서 재구성 과정 중에도 항상 연결되어 있도록 보장하는 다항시간 알고리즘을 제안한다. 스케일드 샤프트(scaled shapes)와 플로우 기반 조율을 활용하여 최적의 메이크스팬에 대해 상수 요소 근사치를 달성하며, 시작 위치와 목표 위치 간의 최대 맨하탄 거리가 d일 경우 스케줄 지속 시간이 O(d)가 된다.

ABSTRACT

We consider the problem of coordinated motion planning for a swarm of simple, identical robots: From a given start grid configuration of robots, we need to reach a desired target configuration via a sequence of parallel, continuous, collision-free robot motions, such that the set of robots induces a connected grid graph at all integer times. The objective is to minimize the makespan of the motion schedule, i.e., to reach the new configuration in a minimum amount of time. We show that this problem is NP-hard, even for deciding whether a makespan of 2 can be achieved, while it is possible to check in polynomial time whether a makespan of 1 can be achieved. On the algorithmic side, we establish simultaneous constant-factor approximation for two fundamental parameters, by achieving constant stretch for constant scale. Scaled shapes (which arise by increasing all dimensions of a given object by the same multiplicative factor) have been considered in previous seminal work on self-assembly, often with unbounded or logarithmic scale factors; we provide methods for a generalized scale factor, bounded by a constant. Moreover, our algorithm achieves a constant stretch factor: If mapping the start configuration to the target configuration requires a maximum Manhattan distance of d, then the total duration of our overall schedule is 𝒪(d), which is optimal up to constant factors.

연구 동기 및 목표

• 시작 위치에서 목표 격자 구성으로의 대규모 동일한 연결된 로봇 집단을 효율적으로 재구성하면서 항상 연결성을 유지하는 문제를 다루는 것.
• 병렬이고 충돌 없는 운동 조건 하에, 모든 로봇이 목표 위치에 도달하는 데 소요되는 총 시간인 메이크스팬을 최소화하는 것.
• 특히 시작 및 목표 구성에서의 유한한 스케일 요소를 가정할 때, 최적의 메이크스팬에 대해 상수 요소 근사치를 제공하는 것.
• 자기 조립 및 스케일드 샤프트에 대한 이전 연구를 일반화하기 위해 유한한 스케일 요소를 도입함으로써 스웜 로봇 분야에 실용적인 적용 가능성을 높이는 것.

제안 방법

• 이 방법은 로봇 이동을 플로우 기반으로 분해하여, 격자 분할에서 각 타일에 대해 공급과 수요를 정의하는 플로우 네트워크로 재구성 문제를 모델링한다.
• 각 타일을 아홉 개의 서브타일로 분할하고, 목표 방향에 따라 로봇을 서브타일에 할당하여 타일 간 경계 근처에 클러스터를 형성함으로써 조율된 이동을 가능하게 한다.
• 서브타일 내부에서 층을 이루고 가장자리에 맞춘 로봇 배열을 동시에 사용하여 안정적인 스케줄을 구성한다.
• 최대 이동 거리를 최소화하기 위해 시작 및 목표 구성 간의 브로큰 밴드 매칭을 계산함으로써 초기 메이크스팬을 최소화한다.
• O(n^1.5 log n) 시간 내에 최소 브로큰 밴드 매칭을 적용하여 시작 및 목표 구성 간의 최소 이동 거리로 정렬한다.
• 타일 간의 인터페이스에서 로봇 클러스터를 유지하고 동기화된 병렬 운동 단계를 사용함으로써 연결성을 보장하는 최종 스케줄을 확보한다.

실험 결과

연구 질문

• RQ1 유한한 스트레치를 갖는 연결된 조율된 운동 계획 문제는, 메이크스팬이 2와 같은 작은 값일 경우에도 NP-완전인가?
• RQ2 시작 및 목표 구성에서의 유한한 스케일 요소 조건 하에 최적의 메이크스팬에 대해 상수 요소 근사치를 달성할 수 있는가?
• RQ3 시작 위치와 목표 위치 간의 최대 맨하탄 거리가 d일 경우, 스트레치 O(d)의 스케줄을 달성할 수 있는가?
• RQ4 무한한 스케일 요소에 의존하지 않고도 병렬 로봇 재구성 과정에서 연결성을 유지할 수 있는가?
• RQ5 시작 및 목표 구성이 겹치지 않는 경우에도 알고리즘이 확장 가능한가?

주요 결과

• 유한한 스트레치를 갖는 연결된 조율된 운동 계획 문제는, 메이크스팬 2가 가능할지 여부를 판단하는 데에도 불구하고 NP-완전하다.
• 다항시간 알고리즘이 임의의 시작-목표 이동 거리 d에 대해 O(d) 메이크스팬을 달성하며, 이는 상수 요소 범위 내에서 최적이다.
• 알고리즘은 일정한 스트레치를 보장한다: 최대 맨하탄 거리가 d이면, 스웜 크기와 무관하게 총 스케줄 지속 시간이 O(d)가 된다.
• 이전 연구에서 무한 또는 로그 스케일을 가정한 바에 비해, 일반화된 유한한 스케일 요소 하에서도 작동한다.
• 겹치지 않는 시작 및 목표 구성에 대해서도 알고리즘은 브로큰 밴드 매칭을 계산하여 O(d) 메이크스팬 내에서 정렬하며, 일정한 스트레치 성질을 유지한다.
• 시작 및 목표 구성의 스케일 요소가 모두 일정한 상수 c* 이상이면, 최소 메이크스팬에 대해 상수 요소 근사치를 달성한다.