[論文レビュー] Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space

Yukiko Yamauchi, Taichi Uehara+2 more|arXiv (Cornell University)|May 18, 2015

Optimization and Search Problems参考文献 23被引用数 12

ひとこと要約

本稿は、3次元ユークリッド空間における完全同期型、匿名型、無記憶型モバイルロボットが平面形成問題（重複なしに同一平面上に集約する問題）を解くための必要十分条件を提示する。この解決法はロボット配置の回転群による対称性の破壊に依存し、直感に反する結果を明らかにする：正多面体（イコサヘドロンを除く）からは平面を形成できるが、多くの半正多面体からはできない。これは、それらの多面体が対称性が低いにもかかわらず、対称性の破壊を妨げる非自明な回転群を持つためである。

ABSTRACT

Creating a swarm of mobile computing entities frequently called robots, agents or sensor nodes, with self-organization ability is a contemporary challenge in distributed computing. Motivated by this, we investigate the plane formation problem that requires a swarm of robots moving in the three dimensional Euclidean space to land on a common plane. The robots are fully synchronous and endowed with visual perception. But they do not have identifiers, nor access to the global coordinate system, nor any means of explicit communication with each other. Though there are plenty of results on the agreement problem for robots in the two dimensional plane, for example, the point formation problem, the pattern formation problem, and so on, this is the first result for robots in the three dimensional space. This paper presents a necessary and sufficient condition for fully-synchronous robots to solve the plane formation problem that does not depend on obliviousness i.e., the availability of local memory at robots. An implication of the result is somewhat counter-intuitive: The robots cannot form a plane from most of the semi-regular polyhedra, while they can form a plane from every regular polyhedron (except a regular icosahedron), whose symmetry is usually considered to be higher than any semi-regular polyhedrdon.

研究の動機と目的

• 完全同期型、匿名型、無記憶型ロボットが3次元空間で平面形成を達成するための必要十分条件を特定すること。
• 特に回転群構造という対称性の役割が、平面形成を可能または不可能にする要因となることの分析。
• 2次元ロボットアルゴリズムを3次元に拡張する基盤を提供し、ロボットが自ら共通平面に自己組織化できるようにすること。
• キラリティ（右ねじ型の局所座標系）と可視性が3次元ロボットスワームにおける分散協調に与える影響の調査。
• 2次元アルゴリズムとは配置空間が不交和であるような配置空間を提供し、2次元と3次元プロトコルのシームレスな合成を可能にすること。

提案手法

• 著者らは、3次元空間におけるロボット配置Pの回転群γ(P)を定義し、配置を保持する回転対称性の集合を捉える。
• γ(P)に基づいて配置をC1、C2、D2に分類し、それぞれ巡回群および二面体群に対応させる。
• 局所観測に基づき、回転群構造に依存して共通平面への移動を計算する決定的平面形成アルゴリズムを設計する。
• アルゴリズムは、最終配置以外ではロボットが共通平面上に存在しないことを保証し、2次元アルゴリズム空間と不交和を保つ。
• γ(P)に関するケース解析を用いて正しさを証明し、対称性の破壊が可能になるのはγ(P)が自明（C1）または特定の構造（C2、D2）である場合に限ることを示す。
• 局所記憶（無記憶ロボット）に依存せず、グローバル座標系や通信を仮定しない。

実験結果

リサーチクエスチョン

• RQ1 完全同期型、匿名型、無記憶型ロボットが3次元空間で共通平面を形成するための必要十分条件は何か？
• RQ2 多くの半正多面体は高い対称性を持つにもかかわらず、なぜロボットはそれらから平面を形成できないのか？
• RQ3 ロボット配置の回転群構造が平面形成問題の可解性にどのように影響するか？
• RQ4 キラリティ（右ねじ型の局所座標系）は3次元ロボット配置における対称性の破壊にどのような影響を及けるか？
• RQ5 既存の2次元ロボットアルゴリズムと3次元平面形成アルゴリズムを、配置空間の衝突を回避して合成可能か？

主な発見

• 平面形成問題は、初期配置の回転群γ(P)が自明（C1）であるか、特定の構造（C2またはD2）を持つ場合に限り解ける。
• 正多面体（正イコサヘドロンを除く）からはすべて平面を形成できるが、正イコサヘドロンは対称性の破壊を妨げる回転群を持つため形成できない。
• 多くの半正多面体からはロボットが平面を形成できないが、これは一部の正多面体よりも高い回転対称性を持つにもかかわらず、非自明な回転群を持つためである。
• 提案されたアルゴリズムは、実行中は常にロボットが共通平面上にいないことを保証し、2次元アルゴリズムと安全に合成可能である。
• アルゴリズムは正しく動作し、無記憶ロボットに対しても適用可能であり、局所記憶や永続的状態を必要としない。
• この結果は、直感に反する現象を示している：高い対称性が可解性を保証するわけではない。むしろ、半正多面体は非自明な回転群のため、対称性の破壊を妨げる傾向にある。