[论文解读] Topological complexity of collision free motion planning algorithms in the presence of multiple moving obstacles

Michael Färber, Mark Grant+1 more|ArXiv.org|Sep 17, 2006

Topological and Geometric Data Analysis参考文献 10被引用 3

一句话总结

本文計算了在 R³ 中 n 個物體移動並避開多個移動障礙物時的運動規劃演算法之拓撲複雜度，顯示該複雜度隨 n 線性增長（當 m ≥ 2 個障礙物時為 2n+1），且與障礙物數量無關。利用配置空間的上同調與 Schwarz 機率理論，透過零除子上同調長度與多面體細胞結構，建立緊緻的下界與上界，顯示即使障礙物移動，只要其軌跡事先已知，拓撲複雜度仍保持不變。

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.

研究动机与目标

• 確定 n 個移動物體在 R³ 中避開多個移動障礙物（其軌跡已知）之運動規劃演算法的拓撲複雜度。
• 分析移動障礙物的存在如何影響無碰撞運動規劃的拓撲複雜度。
• 利用上同調不變量與同倫理論，建立拓撲複雜度的緊緻下界與上界。
• 比較具有移動障礙物與具有靜止障礙物或單點障礙物之問題的複雜度。
• 證明在已知運動假設下，拓撲複雜度主要取決於物體數量，而非障礙物數量。

提出的方法

• 使用拓撲複雜度不變量 TC(X)，定義為在配置空間 X 上構建運動規劃演算法所需的最少局部連續規則數量。
• 透過配置空間 F(R³−Sₘ,n) 的上同調代數，應用零除子上同調長度方法，其中 Sₘ 為移動障礙物軌跡的集合。
• 運用 Schwarz 機率理論與纖維空間機率的概念，利用 H*(X;Z) 中非平凡的乘積來界定 TC 的下界。
• 建立 F(R³−Sₘ,n) 為 1-連通，且具有與 H*(F(R³−Sₘ,n);Z) 的基底對應的細胞複形的同倫類型，進而透過維度估計建立上界。
• 利用 F(R³−Sₘ,n) 同倫等價於 R³ⁿ 中 codimension-3 仿射子空間的補集的事實，允許使用橫截性論證來處理連通性。
• 應用代數拓撲的結果，包括定理 4.4（上同調基底）與 [2] 的推論 5.3，基於多面體維度推導上界。

实验结果

研究问题

• RQ1 當 n 個物體在 R³ 中避開 m 個移動障礙物（其軌跡已知）時，運動規劃的拓撲複雜度為何？
• RQ2 移動障礙物的數量如何影響運動規劃問題的拓撲複雜度？
• RQ3 具有移動障礙物的系統之拓撲複雜度是否等同於具有靜止障礙物或單一點障礙物的系統？
• RQ4 上同調不變量（如零除子上同調長度）能否為具有移動障礙物的配置空間提供緊緻的 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 線性增長。
• 配置空間 F(R³−Sₘ,n) 為 1-連通，且當 m ≥ 1 時，具有維度為 2n 的 CW-複形的同倫類型。
• 下界 2n+1 透過上同調代數中長度為 2n 的非平凡乘積確立，具體為 ∏(i=1 to n, j=n+1,n+2) (ēᵢⱼ)² ≠ 0。
• 令人驚訝的是，避開多個移動障礙物的複雜度（2n+1）與在 R³ 中避開單一固定點障礙物的複雜度（同樣為 2n+1）相同，儘管直覺上複雜度應更高。