[论文解读] 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

一句话总结

本文提出了在三维欧几里得空间中，完全同步、匿名、无记忆移动机器人解决平面形成问题的必要且充分条件——即在不出现多重性的前提下聚集于同一平面。该解决方案通过机器人配置的旋转群实现对称性破缺，揭示了一个反直觉的结果：机器人可从除正二十面体外的所有正多面体形成平面，却无法从大多数半正多面体形成平面，尽管后者的对称性较低。

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.

研究动机与目标

• 确定完全同步、匿名、无记忆机器人在三维空间中实现平面形成的必要且充分条件。
• 分析对称性（特别是旋转群结构）在促成或阻碍平面形成中的作用。
• 为将二维机器人算法扩展至三维奠定基础，使机器人能够自组织为同一平面。
• 研究手性与可见性对三维机器人集群分布式协调的影响。
• 提供一个与二维算法不相交的配置空间，实现二维与三维协议的无缝组合。

提出的方法

• 作者定义了三维空间中机器人构型 P 的旋转群 γ(P)，用于捕捉保持构型不变的旋转对称性集合。
• 根据 γ(P) 将构型分类为 C1、C2 或 D2，分别对应循环群与二面体旋转群。
• 设计了一种确定性平面形成算法，基于局部观测计算向共同平面的移动，其依据为旋转群结构。
• 该算法确保机器人在最终构型之前不会形成平面，从而保持与二维算法空间的不相交性。
• 通过 γ(P) 的案例分析证明正确性，表明仅当 γ(P) 为平凡群（C1）或具有特定结构（C2、D2）时，才能打破对称性以形成平面。
• 该方法不依赖本地记忆（无记忆机器人），且不假设存在全局坐标系或通信机制。

实验结果

研究问题

• RQ1 完全同步、匿名、无记忆机器人在三维空间中形成共同平面的必要且充分条件是什么？
• RQ2 为何机器人无法从大多数半正多面体形成平面，尽管其对称性较高？
• RQ3 机器人构型的旋转群结构如何决定平面形成问题的可解性？
• RQ4 手性（右手局部坐标系）对三维机器人构型中对称性破缺有何影响？
• RQ5 现有二维机器人算法能否与三维平面形成算法组合使用而不产生配置空间冲突？

主要发现

• 当且仅当初始构型的旋转群 γ(P) 为平凡群（C1），或具有特定结构（C2 或 D2）时，平面形成问题才可解，具体取决于构型的对称性。
• 机器人可从除正二十面体外的所有正多面体形成平面，因为正二十面体的旋转群会阻止对称性破缺。
• 尽管半正多面体通常比某些正多面体具有更高的旋转对称性，但机器人无法从大多数半正多面体形成平面。
• 所提出的算法确保在执行过程中机器人不会处于同一平面，除非达到最终构型，从而实现与二维算法的安全组合。
• 该算法对无记忆机器人正确有效，即无需本地存储或持久状态。
• 该结果揭示了一种类反直觉现象：更高的对称性并不保证可解性，事实上，由于非平凡旋转群的存在，半正多面体往往阻碍对称性破缺。