[論文レビュー] Gathering an even number of robots in an odd ring without global multiplicity detection

Sayaka Kamei, Anissa Lamani+2 more|arXiv (Cornell University)|Jun 17, 2012

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

ひとこと要約

本稿では、局所的な弱多重検出（ロボットが現在のノードに複数のロボットが存在するかどうかのみを検出可能）を用いて、奇数サイズのリングネットワーク内に配置された偶数個の匿名的かつ無知なロボットの決定的集約プロトコルを提示する。このプロトコルは、周期的でない対称な初期配置を扱い、O(n²)の非同期ラウンドで集約を達成する。これは、このような弱いセンシング仮定のもとで偶数個のロボットを扱える最初のプロトコルである。

ABSTRACT

We propose a gathering protocol for an even number of robots in a ring-shaped network that allows symmetric but not periodic configurations as initial configurations, yet uses only local weak multiplicity detection. Robots are assumed to be anonymous and oblivious, and the execution model is the non- atomic CORDA model with asynchronous fair scheduling. In our scheme, the number of robots k must be greater than 8, the number of nodes n on a network must be odd and greater than k+3. The running time of our protocol is O(n2) asynchronous rounds.

研究の動機と目的

• 最小限のセンシング能力のもとで、リング形状のネットワーク内に配置された偶数個のロボットの集約を達成する課題に取り組む。
• 過去の研究ではグローバルな多重検出を必要としていたり、初期配置に制限を設けていたという制限を克服する。
• グローバルな多重検出を一切使用せず、局所的弱多重検出のみを用いて、対称的だが周期的でない配置でも集約を実現する。
• 公平なスケジューリングを伴う非同期 CORDA モデルにおいて、正しさと収束性を保証する。
• 従来、奇数個のロボットまたはグローバル検出に限られていた弱センシング下でのロボット集約の可能性を、偶数個のロボットにまで拡張する。

提案手法

• 3段階のプロトコルを設計：段階1では、1つの空洞をもつ1-ブロックの両端に移動可能な2体のロボットを持つ端的対称配置を確立する。
• 局所的弱多重検出を用いて、複数のロボットが存在するノードを特定し、ロボットが局所的観測に基づく意思決定を行うようにする。
• 空洞サイズが1の1-ブロックの端に位置するロボットからのみ移動を許可することで、対称性の維持と進行を保証する。
• 奇数のリングサイズを活用してエッジ-エッジの対称性を解消し、集約不能な配置を回避する。
• 段階3では、先行研究[5]で知られている集約アルゴリズムを適用し、サイズk−1の単一の1-ブロックから完全な集約へ収束させる。
• スケジューラの挙動とロボットのアクティベート順序を分析することで、古くなったり誤ったターゲット割り当てが生じないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 偶数個のロボットが、局所的弱多重検出のみを用いてリング内で集約可能か？
• RQ2 偶数個のロボットに対して、局所的弱多重検出のもとで、どのような初期配置クラスが実現可能か？
• RQ3 グローバルな多重検出を一切使用せず、対称的だが周期的でない配置でも集約を達成可能か？
• RQ4 このようなプロトコルが収束するためには、リングサイズとロボット数にどのような制約が必要か？
• RQ5 非同期的かつ非アトミックな CORDA モデルは、プロトコルの設計と収束にどのように影響を与えるか？

主な発見

• プロトコルは、奇数サイズのリング内に配置された偶数個のロボットを、局所的弱多重検出のみを用いて正常に集約する。
• プロトコルはO(n²)の非同期ラウンドで収束し、nはリング内のノード数を表す。
• プロトコルは、タワーを含まない任意の周期的でない初期配置（対称配置を含む）をサポートする。
• O(n²)ラウンド以内に終端配置に到達し、そこからさらにO(k²)ラウンドで集約が完了する。ここでkはロボット数を表す。
• 非同期スケジューリング下でも、どのロボットも古くなったり誤ったターゲットを保持しないことを保証する。
• 奇数のリングサイズは、集約不能なエッジ-エッジの対称性を回避するために不可欠であり、ノード-ノードの対称性を効果的に解消可能にする。