[논문 리뷰] Topological complexity of collision free motion planning algorithms in the presence of multiple moving obstacles

Michael Färber, Mark Grant외 1명|ArXiv.org|2006. 09. 17.

Topological and Geometric Data Analysis참고 문헌 10인용 수 3

한 줄 요약

이 논문은 R³에서 n개의 물체가 여러 개의 움직이는 장애물을 피하면서 운동 계획 알고리즘에 대한 위상적 복잡도를 계산한다. 복잡도는 n에 대해 선형으로 증가하며, m ≥ 2개의 장애물일 경우 2n+1이며, 장애물의 수와는 독립적임을 보여준다. 구성 공간의 코homology와 슈바르츠 종수 이론을 사용하여, 제로-디바이저 컵 길이와 다면체 세포 구조를 통해 날카로운 하한 및 상한을 확립한다. 이는 장애물의 궤적이 사전에 알려져 있을 경우, 장애물의 운동 여부에 관계없이 위상적 복잡도가 변화하지 않음을 드러낸다.

ABSTRACT

We study motion planning algorithms for collision free control of multiple objects in the presence of moving obstacles. We compute the topological complexity of algorithms solving this problem. We apply topological tools and use information about cohomology algebras of configuration spaces. The results of the paper may potentially be used in systems of automatic traffic control.

연구 동기 및 목표

• R³에서 운동 궤적이 사전에 알려진 다수의 움직이는 장애물을 피하는 n개의 운동 물체에 대한 운동 계획 알고리즘의 위상적 복잡도를 결정하는 것.
• 움직이는 장애물의 존재가 충돌 방지 운동 계획의 위상적 복잡도에 미치는 영향을 분석하는 것.
• 코homological 불변량과 호모토피 이론을 사용하여 위상적 복잡도에 대한 날카로운 하한 및 상한을 확립하는 것.
• 움직이는 장애물이 있는 문제와 정적 장애물 또는 단일 점 장애물이 있는 문제의 복잡도를 비교하는 것.
• 운동 궤적이 알려져 있을 경우, 위상적 복잡도가 장애물의 수보다는 물체의 수에 주로 의존한다는 것을 보여주는 것.

제안 방법

• 구성 공간 X 위에서 운동 계획 알고리즘을 구성하기 위해 필요한 국소 연속 규칙의 최소 수로 정의된 위상적 복잡도 불변량 TC(X)를 사용한다.
• 구성 공간 F(R³−Sₘ,n)의 코homology 대수를 통해 제로-디바이저 컵 길이 방법을 적용한다. 여기서 Sₘ은 움직이는 장애물 궤적의 집합이다.
• 슈바르츠 종수 이론과 피브어 스페이스 종수의 개념을 사용하여, H*(X;Z)에서 비자명한 곱을 통해 TC의 하한을 구한다.
• F(R³−Sₘ,n)가 1-연결되어 있고, H*(F(R³−Sₘ,n);Z)의 기저에 대응하는 세포를 가진 CW-complex와 호모토피 유형을 가짐을 증명하여, 차원 기반 추정을 통해 상한을 확립한다.
• F(R³−Sₘ,n)가 R³ⁿ에서 코드임도 3인 애핀 부분공간의 여집합과 호모토피 유형임을 이용하여 연결성에 대한 전이성 논증을 가능하게 한다.
• 특히, 정리 4.4(코homology 기저에 관한)와 [2]의 추론 5.3을 응용하여 다면체 차원 기반 상한을 유도한다.

실험 결과

연구 질문

• RQ1 R³에서 m개의 움직이는 장애물의 궤적이 사전에 알려져 있을 때, n개의 물체에 대한 운동 계획의 위상적 복잡도는 무엇인가?
• RQ2 움직이는 장애물의 수가 운동 계획 문제의 위상적 복잡도에 어떤 영향을 미치는가?
• RQ3 움직이는 장애물이 있는 시스템의 위상적 복잡도는 정적 장애물이 있거나 단일 점 장애물이 있는 시스템과 동일한가?
• RQ4 제로-디바이저 컵 길이와 같은 코homological 불변량이 움직이는 장애물이 있는 구성 공간에 대해 TC에 대해 날카로운 상한을 제공할 수 있는가?
• RQ5 장애물의 수에 관계없이, 위상적 복잡도가 물체의 수에 대해 선형으로 증가하는가?

주요 결과

• R³에서 m ≥ 2개의 움직이는 장애물을 피하는 n개의 물체에 대한 운동 계획의 위상적 복잡도는 TC(F(R³−Sₘ,n)) = 2n+1이다.
• m = 1개의 장애물일 경우 복잡도는 TC(F(R³−Sₘ,n)) = 2n이며, m = 0(장애물 없음)일 경우 2n−1이다.
• m ≥ 2일 경우 복잡도는 장애물의 수 m과 독립적이며, 오직 n에 대해 선형으로 증가한다.
• m ≥ 1일 경우 구성 공간 F(R³−Sₘ,n)는 1-연결되어 있고, 차원 2n인 CW-complex와 호모토피 유형을 가진다.
• 2n+1의 하한은 코homology 대수에서 길이 2n의 비자명한 곱을 통해 확립되며, 구체적으로 ∏(i=1 to n, j=n+1,n+2) (ēᵢⱼ)² ≠ 0임을 의미한다.
• 놀랍게도, 다수의 움직이는 장애물을 피하는 복잡도(2n+1)는 R³에서 단일 점 장애물을 피하는 복잡도(또한 2n+1)와 동일하다. 이는 직관적으로 복잡도가 증가할 것으로 예상되는 바, 오히려 동일한 결과를 낳는다.