[논문 리뷰] Collision Free Motion Planning on Graphs

Michael Färber|ArXiv.org|2004. 06. 18.

Robotic Path Planning Algorithms참고 문헌 11인용 수 12

한 줄 요약

이 논문은 나무 구조의 그래프 Γ 위에서 n개의 서로 다른 입자를 위한 운동 계획의 위상적 복잡도가 2m(Γ)+1임을 증명한다. 여기서 m(Γ)는 필수 정점의 수이며, 이 값은 n이 충분히 클 때 n에 관계없이 일정하다. 저자들은 충돌이 없는 명시적 운동 계획 알고리즘을 제안하고, 이러한 알고리즘에 필요한 최소 연속 영역 수가 위상 불변량 TC(F(Γ,n))와 같음을 증명한다. 이 값은 오직 나무의 구조에 의해 결정되며, 입자의 수와는 무관하다.

ABSTRACT

A topological theory initiated recently by the author uses methods of algebraic topology to estimate numerically the character of instabilities arising in motion planning algorithms. The present paper studies random motion planning algorithms and reveals how the topology of the robot's configuration space influences their structure. We prove that the topological complexity of motion planning TC(X) coincides with the minimal n such that there exists an n-valued random motion planning algorithm for the system; here $X$ denotes the configuration space. We study in detail the problem of collision free motion of several objects on a graph G. We describe an explicit motion planning algorithm for this problem. We prove that if G is a tree and if the number of objects is large enough, then the topological complexity of this motion planning problem equals 2m(G)+1 where m(G) is the number of the essential vertices of G. It turns out (in contrast with the results on the collision free control of many objects in space obtained earlier jointly with S. Yuzvinsky) that the topological complexity is independent of the number of particles.

연구 동기 및 목표

• 그래프 위에서 다수의 이동 물체를 갖는 시스템에서 충돌이 없는 운동 계획 알고리즘에 필요한 최소 연속 영역 수를 결정하는 것.
• 운동 계획 알고리즘의 불안정성과 비연속성의 상한을 구성공간 X에 기반한 위상 불변량 TC(X)를 수립하는 것.
• n개의 서로 다른 입자가 나무 Γ 위에 있는 구성공간 F(Γ,n)를 분석하고, 그 위상적 복잡도를 유도하는 것.
• n이 크기 때문에, 위상적 복잡도가 입자의 수가 아니라 나무의 필수 정점에 의해 결정됨을 보여주는 것.
• 최소 위상적 복잡도를 갖는 실용적인 다중 물체 제어를 위한 명시적 운동 계획 알고리즘을 제공하는 것.

제안 방법

• 구성공간 X 위에서 운동 계획 알고리즘에 필요한 최소 연속 영역 수로 정의된 위상 불변량 TC(X)를 사용한다.
• 특히 코homology 컵 곱을 사용하여, 영이 아닌 제로디바이저 클래스를 통해 TC(F(Γ,n))의 하한을 유도하는 대수적 위상수학 도구를 적용한다.
• n-입자 구성공간을 쌍으로 투영하는 맵 Φ_i와 Ψ_i를 통해 F(Γ,2)에서의 풀백을 이용해 F(Γ,n) 상에 특정 코homology 클래스 v_i와 w_i를 구성한다.
• 레마 13을 활용하여, 특정 컵 곱이 선형 독립이면서 상호 소멸하는 경우, TC(X) ≥ 2m+1임을 보여준다.
• Γ가 나무일 경우 F(Γ,n)에 대해 최소 위상적 복잡도를 달성하는 명시적 운동 계획 알고리즘을 제8장에서 개발한다.
• F(Γ,2)가 원들의 와이드 합과 호모토피 동치임을 이용하여, 나무의 필수 정점을 탐지할 수 있는 코homology 클래스를 정의한다.

실험 결과

연구 질문

• RQ1 나무 Γ 위에서 n개의 입자를 위한 충돌이 없는 운동 계획 알고리즘에 필요한 최소 연속 영역 수는 얼마인가요?
• RQ2 위상적 복잡도 TC(F(Γ,n))는 입자의 수 n과 나무 Γ의 구조에 따라 어떻게 달라지나요?
• RQ3 그래프 위에서 다수의 입자를 위한 운동 계획의 위상적 복잡도는 입자의 수에 영향을 받지 않을 수 있나요?
• RQ4 위상 불변량 TC(X)와 n-값 랜덤 운동 계획 알고리즘의 존재성 사이의 관계는 무엇인가요?
• RQ5 제로디바이저의 컵 곱과 같은 코homological 불변량이 TC(X)의 하한을 결정하는 방식은 무엇인가요?

주요 결과

• 나무 Γ 위에서 n개의 서로 다른 입자를 위한 운동 계획의 위상적 복잡도는 TC(F(Γ,n)) = 2m(Γ) + 1이며, 여기서 m(Γ)는 필수 정점의 수이다.
• n이 크기 때문에 위상적 복잡도는 n에 관계없이 일정하며, 오직 나무의 구조, 특히 필수 정점의 수에 의해 결정된다.
• F(Γ,n)에 대한 어떤 운동 계획 알고리즘에서도 최소 연속 영역 수는 TC(F(Γ,n))와 같으며, 이는 제8장의 명시적 알고리즘에 의해 달성된다.
• 레마 13의 코homological 조건—특정 컵 곱의 선형 독립성과 상호 소멸성—은 TC(X) ≥ 2m+1을 함의한다.
• 구성공간 F(Γ,2)는 원들의 와이드 합과 호모토피 동치이며, 이는 필수 정점을 탐지할 수 있는 코homology 클래스를 구성하는 데 도움이 된다.
• R² 또는 R³에서의 운동 계획과는 달리(여기서 TC(F(R²,n)) = 2n−2), 나무 위에서는 복잡도가 n에 대해 일정하여 1차원 네트워크에서의 상당한 단순화를 나타낸다.