[論文レビュー] Improved Leader Election for Self-Organizing Programmable Matter

Joshua J. Daymude, Robert Gmyr+3 more|arXiv (Cornell University)|Jan 13, 2017

Modular Robots and Swarm Intelligence参考文献 33被引用数 4

ひとこと要約

本論文は、幾何的アメーボットモデルにおける自己組織的プログラマブルマターのための確率的で局所制御型のリーダー選出アルゴリズムを提示する。コイントスによる乱数識別子の生成と、外周を介したパイプライン化されたトークン伝達メカニズムを用い、高確率でO(n)の非同期ラウンド内に一意なリーダーを選出する。必要な記憶域は定数であり、グローバルな知識や一意の識別子を必要としない。

ABSTRACT

We consider programmable matter that consists of computationally limited devices (called particles) that are able to self-organize in order to achieve some collective goal without the need for central control or external intervention. We use the geometric amoebot model to describe such self-organizing particle systems, which defines how particles can actively move and communicate with one another. In this paper, we present an efficient local-control algorithm which solves the leader election problem in O(n) asynchronous rounds with high probability, where n is the number of particles in the system. Our algorithm relies only on local information --- particles do not have unique identifiers, any knowledge of n, or any sort of global coordinate system --- and requires only constant memory per particle.

研究の動機と目的

• 自己組織的プログラマブルマター系の完全な非同期的、局所制御型リーダー選出プロトコルの設計。
• 粒子数、一意の識別子、グローバル座標系といったグローバルな知識への依存を排除すること。
• 粒子1つあたり定数記憶域を用い、O(n)の非同期ラウンド内で高確率でリーダー選出を達成すること。
• 明確な実行ルールと厳密な解析を提供することで、実装可能な実用的アルゴリズムの簡素化と形式化。

提案手法

• 粒子は局所的なコイントスにより、対数的長さの乱数識別子を生成し、候補者間の対称性を破る。
• パイプライン化された方法で、外周上に位置する候補者同士の識別子を比較するためのトークン伝達メカニズムを採用する。
• アルゴリズムは境界同定フェーズを用い、粒子集合の外周上に存在する候補者を特定・検証する。
• 各候補者は、境界上に残存する最後の1つの候補者であることを確認するための孤独性検証フェーズを実行する。
• 隣接する結合部における共有メモリを介して情報交換を行い、共通のヘリシティを持つが任意のオフセットを持つポートラベルを使用する。
• プロトコルは非同期モデルに従い、同時に1つの粒子のみがアクティブ化されるため、順序整合性が保証される。

実験結果

リサーチクエスチョン

• RQ1 プログラマブルマター向けに、局所的情報と定数記憶域のみを用いたリーダー選出アルゴリズムを設計可能か？
• RQ2 一意の識別子やグローバルな知識なしに、非同期的かつ匿名なシステムで、高確率でのリーダー選出をどのように達成できるか？
• RQ3 自己組織的粒子系で一意なリーダーを選出するために、最小限の通信および連携オーバーヘッドはどの程度か？
• RQ4 三角格子の幾何的性質を、分散的かつ局所制御環境でどのように効率的に活用できるか？

主な発見

• アルゴリズムは、粒子総数nに対して高確率でO(n)の非同期ラウンド内に一意なリーダーを選出する。
• 実行時間は、外周上に存在する粒子数Lに対してO(L)で上限が定められ、nより著しく小さい場合がある。
• グローバルな連携や一意の識別子が存在しないにもかかわらず、正しさは高確率（c > 1に対して1 - n^(-c)）で達成される。
• プロトコルは先行研究よりも概念的に単純で、より実装可能であり、個々の粒子の行動を明確に定義したルールを有する。
• 孤独性検証フェーズと境界同定フェーズにより、O(L)ラウンド後に1つの候補者だけが残り、リーダーを宣言する。
• 正方形のような構造的配置では、外周サイズCがO(√n)となるため、O(√n)の実行時間となり、密な配置での効率性が示される。