[論文レビュー] Shape Formation by Programmable Particles

Giuseppe Antonio Di Luna, Paola Flocchini+3 more|arXiv (Cornell University)|Jan 1, 2018

Modular Robots and Swarm Intelligence被引用数 6

ひとこと要約

本稿では、幾何的アメーボットモデルにおけるプログラマブルマターに対して、ランダム化され、局所制御のリーダー選出アルゴリズムを提示する。このアルゴリズムはコイン投げを用いて対数的長さの識別子を割り当て、外周上で識別子を比較するためのパイプライン化されたトークン伝搬メカニズムを採用する。アルゴリズムは高確率でO(n)非同期ラウンドでリーダー選出を達成し、粒子1つあたり定数メモリを必要とし、グローバルな知識や一意の識別子を必要としない。

ABSTRACT

Shape formation (or pattern formation) is a basic distributed problem for systems of compu- tational mobile entities. Intensively studied for systems of autonomous mobile robots, it has recently been investigated in the realm of programmable matter, where entities are assumed to be small and with severely limited capabilities. Namely, it has been studied in the geometric Amoebot model, where the anonymous entities, called particles, operate on a hexagonal tessella- tion of the plane and have limited computational power (they have constant memory), strictly local interaction and communication capabilities (only with particles in neighboring nodes of the grid), and limited motorial capabilities (from a grid node to an empty neighboring node); their activation is controlled by an adversarial scheduler. Recent investigations have shown how, start- ing from a well-structured configuration in which the particles form a (not necessarily complete) triangle, the particles can form a large class of shapes. This result has been established under several assumptions: agreement on the clockwise direction (i.e., chirality), a sequential activation schedule, and randomization (i.e., particles can flip coins to elect a leader). In this paper we provide a characterization of which shapes can be formed deterministically starting from any simply connected initial configuration of n particles. The characterization is constructive: we provide a universal shape formation algorithm that, for each feasible pair of shapes (S_0,S_F), allows the particles to form the final shape SF (given in input) starting from the initial shape S_0, unknown to the particles. The final configuration will be an appropriate scaled-up copy of S_F depending on n. If randomization is allowed, then any input shape can be formed from any initial (simply connected) shape by our algorithm, provided that there are enough particles. Our algorithm works without chirality, proving that chirality is computationally irrelevant for shape formation. Furthermore, it works under a strong adversarial scheduler, not necessarily sequential. We also consider the complexity of shape formation both in terms of the number of rounds and the total number of moves performed by the particles executing a universal shape formation algorithm. We prove that our solution has a complexity of O(n^2) rounds and moves: this number of moves is also asymptotically worst-case optimal.

研究の動機と目的

• グローバルな調整なしに、自己組織的プログラマブルマター系において効率的で分散型のリーダー選出を実現する必要性に対応する。
• 厳密な制約下で動作する局所制御アルゴリズムを設計する：一意の識別子なし、グローバル座標系なし、全粒子数の知識なし、粒子1つあたり定数メモリ。
• 高確率でO(n)非同期ラウンドでリーダー選出を達成し、形式的に解析可能で実装可能なプロトコルとして、先行研究を改善する。
• 信頼性が高くスケーラブルなリーダー選出基盤を提供することで、プログラマブルマターにおける頑健な形状形成と協調動作を可能にする。

提案手法

• 識別子設定フェーズにおいて、各粒子にランダムなコイン投げを用いて一意で対数的長さの識別子を割り当てる。
• 局所協調と三角格子の幾何的性質を用いて、境界と候補粒子を外周上に特定する。
• 外周上の候補間で識別子を比較するためのパイプライン化されたトークン伝搬メカニズムを実装し、各セグメントで並列に比較を実行する。
• 孤独性検証フェーズを適用して、候補が境界上に唯一残っていることを確認する。トークン走査を用いて孤立状態を検出する。
• 境界特定フェーズでは、外周を走査するトークンを用いて、候補が最も外側の構造上にあることを確認する。
• 順次検証フェーズを経て、候補が外周上に唯一残っていることを確認した後、粒子をリーダーと宣言する。

実験結果

リサーチクエスチョン

• RQ1 一意のIDなし、グローバル座標系なし、粒子1つあたり定数メモリという厳密な局所制約下で、プログラマブルマター用のリーダー選出アルゴリズムを設計可能か？
• RQ2 アノニマスで非同期的かつ幾何的制約のあるシステム、例えばアメーボットモデルのような環境において、リーダー選出の最小実行時間複雑度は何か？
• RQ3 ランダム識別子とトークン伝搬をどのように組み合わせることで、完全分散環境における正しさと効率性を保証できるか？
• RQ4 アルゴリズムは、単純さと実装の容易さを維持しながら、高確率でリーダー選出を保証できるか？
• RQ5 三角格子の幾何的性質は、境界上への所属確認と孤独性の検証において、どのような役割を果たすか？

主な発見

• アルゴリズムは、全粒子数nに対して高確率でO(n)非同期ラウンドでリーダー選出問題を解決する。
• 実行時間はO(C)ラウンドで上限が定められ、Cは外周上に存在する粒子数であり、固体正方形構造ではO(√n)にまで低下しうる。
• 高確率で、識別子設定フェーズと比較フェーズの後に、最大のランダム識別子を持つ一意の候補が出現する。
• 孤独性検証フェーズにより、外周上に1つの候補しか残らなくなり、このフェーズはL（外周長さ）に対してO(L)ラウンドで完了する。
• 境界特定フェーズは、外周上への所属を確認するもので、O(L)ラウンドを要し、リーダー宣言を不可逆にするために不可欠である。
• 本アルゴリズムは、先行研究よりも概念的に単純で、より実装可能であり、完全に指定された局所制御プロトコルに加え、形式的な正しさと実行時間の保証が得られている。