[論文レビュー] Square Formation by Asynchronous Oblivious Robots

Marcello Mamino, Giovanni Viglietta|arXiv (Cornell University)|May 19, 2016

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

ひとこと要約

本稿では、ユークリッド平面上の4体の非同期的、無記憶的、静黙的、方向不詳、非キラル、非剛体なロボットを用いた正方形形成の決定的アルゴリズムを提示する。このアルゴリズムは、細心の配置分類と慎重な移動ルールを用いて非同期性と協調性の欠如に対処し、これらの最小限の仮定のもとでも正方形形成が達成可能であることを証明する。これにより、このロボットモデルにおける形成可能なパターンの特徴付けが完全に達成される。

ABSTRACT

A fundamental problem in Distributed Computing is the Pattern Formation problem, where some independent mobile entities, called robots, have to rearrange themselves in such a way as to form a given figure from every possible (non-degenerate) initial configuration. In the present paper, we consider robots that operate in the Euclidean plane and are dimensionless, anonymous, oblivious, silent, asynchronous, disoriented, non-chiral, and non-rigid. For this very elementary type of robots, the feasibility of the Pattern Formation problem has been settled, either in the positive or in the negative, for every possible pattern, except for one case: the Square Formation problem by a team of four robots. Here we solve this last case by giving a Square Formation algorithm and proving its correctness. Our contribution represents the concluding chapter in a long thread of research. Our results imply that in the context of the Pattern Formation problem for mobile robots, features such as synchronicity, chirality, and rigidity are computationally irrelevant.

研究の動機と目的

• 非同期的、無記憶的ロボットにおけるパターン形成問題の最後の未解決事例を解消すること：4体のロボットによる正方形の形成。
• 同期性、記憶、通信、方向性、キラリティ、剛体移動の欠如がある中でも正方形形成が達成可能であることを証明すること。
• ASYNCHロボットモデルにおけるすべての形成可能なパターンの特徴付けを完了すること。
• 同期性やキラリティといった特徴がパターン形成において計算的に無関係であることを示すこと。

提案手法

• 幾何学的および位相的性質に基づいて、ロボット配置を異なるクラス（例：ピンホイール、ハサミ、フラウイング、スリムヘキサゴン）に分類する。
• 各配置クラスに対して特定の移動ルールが発動され、ロボットは自らの局所的視認に基づいて事前に定義された目標位置へのみ移動する。
• 非同期性に起因する不測の配置変化を防ぐために、ロボットの移動経路に重要な点（critical points）を定義する。
• 慎重な移動技術により、ロボットが安全であると確認できるまで移動を開始しないようにし、非同期性による不整合を回避する。
• 幾何的不変量と対称性の議論を用いて、スリムヘキサゴンや直交形状といった妨害的配置の形成を防ぐ。
• 事例別解析による形式的証明により、すべての配置が衝突も無限ループもなく、最終的に正方形に収束することを検証する。

実験結果

リサーチクエスチョン

• RQ1 4体の非同期的、無記憶的、静黙的、方向不詳、非キラル、非剛体なロボットは、任意の初期配置から正方形を形成できるか？
• RQ2 このモデルにおいて、同期性、キラリティ、剛体性の欠如が正方形形成を妨げる十分な要因となるか？
• RQ3 協調性と記憶の欠如がある中で、正方形への収束を可能にする幾何学的およびアルゴリズム的メカニズムは何か？
• RQ4 収束プロセス中に妨害的配置（例：スリムヘキサゴン）の形成を防ぐことは可能か？

主な発見

• 提案されたアルゴリズムは、4体のASYNCHロボットの非退化な初期配置から正方形を正常に形成する。
• アルゴリズムは正当性が保証され、有限時間で終了し、衝突なしに収束することが保証される。
• 細心の経路計画と重要な点の選定により、スリムヘキサゴンのような妨害的配置の形成が防止される。
• スリムヘキサゴンからハサミ配置への遷移は安全に処理され、問題状態への再進入のリスクがない。
• 証明により、同期性、キラリティ、剛体性といった特徴がパターン形成問題において計算的に無関係であることが示された。
• 本結果により、ASYNCHロボットモデルにおけるすべての形成可能なパターンの特徴付けが完了し、最後の未解決事例が解消された。