[论文解读] Topological Robotics: Subspace Arrangements and Collision Free Motion Planning

Michael Färber, Sergey Yuzvinsky|ArXiv.org|Oct 8, 2002

Computational Geometry and Mesh Generation参考文献 7被引用 4

一句话总结

本文計算了 R² 和 R³ 中 n 個不同粒子的配置空間的拓撲複雜度，確立了無碰撞運動規劃中最小不穩定度的階數為平面中 2n−2，三維空間中為 2n−1。利用上同調方法與子空間排列的結構，證明這些界限是緊緻的，為機器人學與計算幾何中的運動規劃演算法提供了拓撲基礎。

ABSTRACT

We study an elementary problem of the topological robotics: collective motion of a set of $n$ distinct particles which one has to move from an initial configuration to a final configuration, with the requirement that no collisions occur in the process of motion. The ultimate goal is to construct an algorithm which will perform this task once the initial and the final configurations are given. This reduces to a topological problem of finding the topological complexity TC(C_n(\R^m)) of the configutation space C_n(\R^m) of $n$ distinct ordered particles in \R^m. We solve this problem for m=2 (the planar case) and for all odd m, including the case m=3 (particles in the three-dimensional space). We also study a more general motion planning problem in Euclidean space with a hyperplane arrangement as obstacle.

研究动机与目标

• 計算 Rᵐ 中 n 個不同有序粒子的配置空間的拓撲複雜度 TC(Cₙ(Rᵐ))。
• 確立任何無碰撞 n 個粒子運動規劃演算法的最小不穩定度階數。
• 分析配置空間的拓撲與上同調結構，作為子空間排列的補集。
• 將平面情形（m=2）的結果推廣至奇數維空間，包括 R³。
• 基於結構與上同調證據，對偶數 m 情形下 TC(Cₙ(Rᵐ)) 的值提出猜想。

提出的方法

• 將配置空間 Cₙ(Rᵐ) 建模為 Rⁿᵐ 中超平面排列的補集，其中每條超平面對應於一對粒子處於相同位置。
• 使用具有整係數的上同調環 H*(Cₙ(Rᵐ))，證明其為由度數為 2 的元素 eᵢⱼ 生成的交換代數，關係式為 eᵢⱼ² = 0 及對三元組 i<j<k 有 eᵢⱼeᵢₖ − eᵢⱼeⱼₖ + eᵢₖeⱼₖ = 0。
• 透過 A⊗A 中零因子形式 e̅ᵢⱼ = 1⊗eᵢⱼ − eᵢⱼ⊗1 的非零乘積，應用上同調下界來計算拓撲複雜度。
• 利用不等式 TC(X) ≤ (2 dim X + 1)/2 + 1 對單連通空間 X 建立上界，並將其應用於與 Cₙ(Rᵐ) 同倫等價的 2(n−1) 維細胞複形。
• 透過構造有限多個局部區域 Fᵢ ⊂ X×X 及連續截面 sᵢ: Fᵢ → PX，建立顯式運動規劃器，確保在每個區域內路徑的連續性。
• 利用 m 為奇數時，排列的交集格與 Cⁿ 中 braid 排列的交集格一致的事實，簡化上同調計算。

实验结果

研究问题

• RQ1 R² 中 n 個粒子的配置空間的拓撲複雜度 TC(Cₙ(R²)) 是多少？
• RQ2 R³ 中 n 個粒子的配置空間的拓撲複雜度 TC(Cₙ(R³)) 是多少？
• RQ3 配置空間的拓撲複雜度如何與運動規劃演算法的不穩定性相關？
• RQ4 是否能以代數方式描述配置空間 Cₙ(Rᵐ) 的上同調環，特別是當 m 為奇數時？
• RQ5 對於偶數 m，TC(Cₙ(Rᵐ)) 的值是多少？其是否遵循 m=2 時觀察到的模式？

主要发现

• 對於 R² 中的 n 個粒子，拓撲複雜度 TC(Cₙ(R²)) 恰好為 2n−2，且此界限是緊緻的。
• 對於 R³ 中的 n 個粒子，拓撲複雜度 TC(Cₙ(R³)) 恰好為 2n−1，且此界限也是緊緻的。
• 對於奇數 m，上同調環 H*(Cₙ(Rᵐ)) 為由度數為 2 的元素 eᵢⱼ 生成的交換代數，關係式為 eᵢⱼ² = 0 及對三元組 i<j<k 有 eᵢⱼeᵢₖ − eᵢⱼeⱼₖ + eᵢₖeⱼₖ = 0。
• 在 H*(Cₙ(Rᵐ))⊗H*(Cₙ(Rᵐ)) 中構造出 2n−2 個零因子形式 e̅ᵢⱼ = 1⊗eᵢⱼ − eᵢⱼ⊗1 的非零乘積，證明了奇數 m 時 TC ≥ 2n−1 的下界。
• 配置空間 Cₙ(Rᵐ) 是單連通的，且同倫等價於一個 2(n−1) 維 CW 複形，使得可應用基於維度的 TC 上界。
• 本文猜想對於偶數 m，TC(Cₙ(Rᵐ)) = 2n−2，推廣 m=2 時的結果，並表明其值必為 2n−2 或 2n−1。