[論文レビュー] Computing braid groups of graphs with applications to robot motion planning

Vitaliy Kurlin|ArXiv.org|Aug 7, 2009

Topological and Geometric Data Analysis参考文献 9被引用数 6

ひとこと要約

本稿では、グラフ上のロボットの衝突のない運動計画法を用いて、グラフのブレード群の提示を計算するアルゴリズムを提示する。2点ブレード群が、可換関係子のみからなる提示を持つことが示され、線形時間の運動計画法アルゴリズムと、配置空間への変形リトラクション技術を活用している。

ABSTRACT

We design an algorithm writing down presentations of graph braid groups. Generators are represented in terms of actual motions of robots moving without collisions on a given graph. A key ingredient is a new motion planning algorithm whose complexity is linear in the number of edges and quadratic in the number of robots. The computing algorithm implies that 2-point braid groups of all light planar graphs have presentations where all relators are commutators.

研究の動機と目的

• グラフのブレード群の提示を計算するアルゴリズムの開発、特にグラフ上のロボット運動計画に焦点を当てる。
• 複数のロボットがグラフに基づくレール上で衝突のない運動をモデル化するというトポロジカルな課題に取り組む。
• 特に平面的グラフに対して、ブレード群の提示が可換関係子のみからなる条件を確立する。
• グラフのトポロジーと配置空間の基本群構造との間に、幾何学的かつアルゴリズム的枠組みを提供する。

提案手法

• ロボットの配置空間を1次元複体に単純化するために、変形リトラクションを用いる。
• 分割定理を適用して、次数2の頂点を除去し、ループや多重辺のない最小形にグラフを縮小する。
• 高次元の頂点でのロボットの交換（トライオード運動を用いて）と、一方のロボットが固定された状態で他方が巡回する経路から生成子を構成する。
• 各生成子を、衝突のない運動を保証する安全なサポート条件を満たす、非順序配置空間内のループとして表現する。
• 互いに交わらないサイクルに沿った運動が可換であることを示し、自由ホモトピーの議論を用いて、関係子を可換子として導出する。
• 最初のベッチ数を基に帰納法を用い、各新しいサイクルに対して生成子と関係子を段階的に追加することで、ブレード群の提示を構築する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、明示的な提示を伴うグラフのブレード群をアルゴリズム的に計算できるか？
• RQ2 平面的グラフの2点ブレード群が、可換関係子のみからなる提示を持つ条件は何か？
• RQ3 辺の数に対して線形時間、ロボット数に対して二次時間で動作する運動計画アルゴリズムを設計できるか？
• RQ4 どのようなトポロジカルおよび組合せ的条件が、ブレード群の提示におけるすべての関係子が可換子であることを保証するか？

主な発見

• 本稿では、辺の数に対して線形時間、ロボット数に対して二次時間で動作する、2点ブレード群の提示を計算するアルゴリズム1.5を提示している。
• 軽量平面的グラフに対しては、すべての関係子が可換子である提示を持つことが、命題4.6で示されている。
• 生成子は、次数≥3の頂点でのロボットの交換と、一方のロボットが固定された状態で他方が巡回する経路に対応する。
• 証明は、互いに交わらないサイクルに沿ったループがホモトープであることを示し、それらの可換子が自明な関係子であることを根拠としている。
• 本構成は、木に互いに交わらない辺を追加したグラフに対して有効であり、それらは補題4.5の条件を満たす。
• この結果により、このようなグラフに対しては、ブレード群の提示が可換関係子によって生成されることを確認し、平面的グラフのブレード群に関する予想を支持する。