[論文レビュー] 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、3次元空間では2n−1であることを確立している。コhomological手法と部分空間配置の構造を用いて、これらの上限がタイトであることを証明し、ロボット工学および計算幾何学における運動計画アルゴリズムのための位相的基盤を提供する。

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個の異なる順序付き粒子の配置空間Cₙ(Rᵐ)の位相的複雑度TC(Cₙ(Rᵐ))を特定すること。
• n個の粒子の衝突のない運動における任意の運動計画アルゴリズムの最小の不安定性の次数を確立すること。
• 配置空間を部分空間配置の補集合として見たときの位相的およびcohomological構造を分析すること。
• 平面の場合（m=2）の結果を奇数次元空間、特にR³に一般化すること。
• 構造的およびcohomological証拠に基づき、偶数mにおけるTC(Cₙ(Rᵐ))の値を予想すること。

提案手法

• 配置空間Cₙ(Rᵐ)を、各粒子のペアが同じ位置を占める場合に対応する超平面の配置の補集合としてモデル化する。
• 整数係数を用いたcohomology環H*(Cₙ(Rᵐ))を用い、その環が次数2の生成子eᵢⱼからなる可換代数であり、関係式eᵢⱼ² = 0およびi<j<kの三重組に対してeᵢⱼeᵢₖ − eᵢⱼeⱼₖ + eᵢₖeⱼₖ = 0を満たすことを示す。
• 零因子の形e̅ᵢⱼ = 1⊗eᵢⱼ − eᵢⱼ⊗1をとるA⊗Aにおける非自明な積の非消失性を用いて、cohomological下界により位相的複雑度の下界を導出する。
• 単連結なXに対してTC(X) ≤ (2 dim X + 1)/2 + 1という不等式を用い、Cₙ(Rᵐ)とホモトピー同値な2(n−1)次元のセル複体に適用して上界を確立する。
• 有限個の局所領域Fᵢ ⊂ X×Xおよび連続セクションsᵢ: Fᵢ → PXを用いて明示的な運動計画を構成し、各領域内での経路の連続性を保証する。
• mが奇数の場合、配置の交差格子がCⁿにおけるブレード配置と一致することを活用し、cohomological計算を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 R²内のn粒子に対して、位相的複雑度TC(Cₙ(R²))は何か？
• RQ2 R³内のn粒子に対して、位相的複雑度TC(Cₙ(R³))は何か？
• RQ3 配置空間の位相的複雑度は、運動計画アルゴリズムの不安定性とどのように関係するか？
• RQ4 特に奇数mに対して、配置空間Cₙ(Rᵐ)のcohomology環を代数的に記述できるか？
• RQ5 偶数mにおけるTC(Cₙ(Rᵐ))の値は何か？また、m=2のときのパターンに従うか？

主な発見

• R²内のn粒子に対して、位相的複雑度TC(Cₙ(R²))は正確に2n−2であり、この上限はタイトである。
• R³内のn粒子に対して、位相的複雑度TC(Cₙ(R³))は正確に2n−1であり、この上限もタイトである。
• 奇数mにおけるcohomology環H*(Cₙ(Rᵐ))は、関係式eᵢⱼ² = 0およびi<j<kの三重組に対してeᵢⱼeᵢₖ − eᵢⱼeⱼₖ + eᵢₖeⱼₖ = 0を満たす次数2の生成子eᵢⱼからなる可換代数である。
• 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のいずれかに限られることを示している。