[論文レビュー] Probabilistic Asynchronous Arbitrary Pattern Formation

Quentin Bramas, Sébastien Tixeuil|arXiv (Cornell University)|Aug 15, 2015

Optimization and Search Problems参考文献 6被引用数 5

ひとこと要約

本稿では、共通の座標系やキラリティを必要とせず、平面上で任意のパターンを形成する非同期的・無知な移動ロボットのための確率的アルゴリズムを提示する。1回のランダムビットによるリーダー選挙と決定的パターン形成フェーズを組み合わせることで、5台以上のロボットからなる任意の初期配置ですべてのパターンを形成可能であり、完全非同期かつ移動一時停止の仮定なしに普遍的なパターン形成を達成する。

ABSTRACT

We propose a new probabilistic pattern formation algorithm for oblivious mobile robots that operates inthe ASYNC model. Unlike previous work, our algorithm makes no assumptions about the local coordinatesystems of robots (the robots do not share a common "North" nor a common "Right"), yet it preserves theability from any initial configuration that contains at least 5 robots to form any general pattern (and not justpatterns that satisfy symmetricity predicates). Our proposal also gets rid of the previous assumption (in thesame model) that robots do not pause while moving (so, our robots really are fully asynchronous), and theamount of randomness is kept low -- a single random bit per robot per Look-Compute-Move cycle is used.Our protocol consists in the combination of two phases, a probabilistic leader election phase, and a deterministicpattern formation one. As the deterministic phase does not use chirality, it may be of independentinterest in the deterministic context. A noteworthy feature of our algorithm is the ability to form patternswith multiplicity points (except the gathering case due to impossibility results), a new feature in the contextof pattern formation that we believe is an important asset of our approach.

研究の動機と目的

• 非同期モデルにおける確率的パターン形成に共通のキラリティが必要かどうかという未解決の問題に取り組む。
• 共通の座標系、移動制約、無限のランダムネスを必要とする従来の決定的および確率的アプローチの制限を克服する。
• 1回のサイクルあたりロボット1台あたり1ビットのランダムネスのみで、任意の一般パターン（多重性ポイントを含む）を形成可能にする。
• 完全非同期に強く、ロボットが動いているロボットを観測し、古くなったスナップショットに基づいて行動する可能性がある状況にも耐えるプロトコルを設計する。
• キラリティなしで決定的パターン形成が達成可能であることを示し、確率的フレームワークを超えて独立した価値を有する。

提案手法

• 2フェーズプロトコルを採用：最初に、1回のLCMサイクルあたりロボット1台あたり1ビットのランダムビットを用いた確率的リーダー選挙を行う。
• 2番目のフェーズでは、キラリティや共通の座標系に依存しない決定的パターン形成アルゴリズムを実装する。
• ロボットの順序付けと重心の整合性を保証するため、二角配置と等角配置を用いて分析を行う。
• 対称的配置におけるずれたロボットを特定・分離するため、CEB集合（等角性または二角性の中心）の概念を導入する。
• 3体以上のロボットが配置に共有される場合に、円弧（arc_α(a,b)）を用いた幾何的制約を導入し、等角性の中心を一意に特定する。
• 円弧の交差性と角度順序の性質をもとに、背理法を用いてずれたロボットの一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 完全非同期モデルにおいて、共通の座標系やキラリティを仮定せず、普遍的なパターン形成が達成可能か？
• RQ2 決定的設定では必要とされるキラリティが、ASYNCHRONOUSモデルにおける確率的パターン形成においても必要か？
• RQ3 1回のサイクルあたりロボット1台あたり1ビットの最小限のランダムネスで、完全非同期下での普遍的パターン形成が可能か？
• RQ4 共通の座標系が存在しない状況で、多重性ポイント（同じターゲット位置に複数のロボットが存在するパターン）を形成するにはどうすればよいか？
• RQ5 対称的配置におけるパターン形成プロセスで、ずれたロボットの一意性を保証する幾何学的・組合せ的性質は何か？

主な発見

• 提示されたアルゴリズムは、完全非同期モデルにおいて、5台以上のロボットで構成される任意のパターンについて、共通の座標系やキラリティを必要とせず普遍的なパターン形成を達成する。
• アルゴリズムは1回のLCMサイクルあたりロボット1台あたり1ビットのランダムネスのみを用い、従来の確率的アプローチに比べてランダムネスを著しく削減する。
• 二角配置または等角配置におけるずれたロボットは一意に特定可能であり、リーダー選挙フェーズにおける一貫した進行を保証する。
• 決定的パターン形成フェーズはキラリティに依存しないため、弱いモデルにおける決定的パターン形成にとっても独立した価値を有する。
• アルゴリズムは多重性ポイントを含むパターンをサポートしており、従来の決定的または確率的ソリューションでは実現されていなかった画期的な特徴を有する。
• 証明により、n ≥ 5 の二角配置において、3つの適切に配置されたロボットが等角性の中心を一意に決定することを示した。