[論文レビュー] Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

Giuseppe Antonio Di Luna, Ryuhei Uehara+2 more|arXiv (Cornell University)|Jan 1, 2020

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

ひとこと要約

本稿では、可視範囲が限られた匿名で無記憶の半同期的ロボットが円周上に集約可能かどうかを検討し、各ロボットが反対点を除き円周全体を視認できる場合（ϑ = π）には集約が可能であることを証明しているが、可視範囲が ϑ ≤ π/2 に制限される場合には、回転的非対称性や接続された可視性グラフが存在しても不可能であることを示している。不可能性の結果は、ランダムな摂動を用いた新規の確率的技法に依拠している。

ABSTRACT

A swarm of anonymous oblivious mobile robots, operating in deterministic Look-Compute-Move cycles, is confined within a circular track. All robots agree on the clockwise direction (chirality), they are activated by an adversarial semi-synchronous scheduler (SSYNCH), and an active robot always reaches the destination point it computes (rigidity). Robots have limited visibility: each robot can see only the points on the circle that have an angular distance strictly smaller than a constant $\vartheta$ from the robot's current location, where $0<\vartheta\leqπ$ (angles are expressed in radians). We study the Gathering problem for such a swarm of robots: that is, all robots are initially in distinct locations on the circle, and their task is to reach the same point on the circle in a finite number of turns, regardless of the way they are activated by the scheduler. Note that, due to the anonymity of the robots, this task is impossible if the initial configuration is rotationally symmetric; hence, we have to make the assumption that the initial configuration be rotationally asymmetric. We prove that, if $\vartheta=π$ (i.e., each robot can see the entire circle except its antipodal point), there is a distributed algorithm that solves the Gathering problem for swarms of any size. By contrast, we also prove that, if $\vartheta\leq π/2$, no distributed algorithm solves the Gathering problem, regardless of the size of the swarm, even under the assumption that the initial configuration is rotationally asymmetric and the visibility graph of the robots is connected. The latter impossibility result relies on a probabilistic technique based on random perturbations, which is novel in the context of anonymous mobile robots. Such a technique is of independent interest, and immediately applies to other Pattern-Formation problems.

研究の動機と目的

• 可視範囲が限られた状況下で、匿名で無記憶、沈黙的ロボットが円形トラックに閉じ込められた場合の計算的限界を調査すること。
• 半同期的で剛体的、敵対的スケジューリング環境下において、可視範囲の範囲 ϑ がどの程度のときに集約問題が解けるかを特定すること。
• 匿名性と可視範囲の制限があるにもかかわらず、対称性の打破がどの条件下で可能かを確立すること。
• 回転的非対称な構成において、集約問題を解くために ϑ = π の可視範囲が必要不可欠であるかを検討すること。

提案手法

• 局所的な可視範囲とねじれ性（chirality）を用いて対称性を打ち破り、全ロボットが共通の集約点へ向かうように導く決定的分散アルゴリズムを設計すること。
• 全ロボットが少なくとも1回は活性化される最小時間間隔を1エポックと定義し、O(n)エポック内で収束することを分析すること。
• 可視範囲と反対点関係に基づくリーダー選出メカニズムを用いて、重複点へ向かう移動を調整すること。
• ランダム摂動に基づく新規な確率的技法を適用し、ϑ ≤ π/2 の場合の不可能性を証明すること。
• ϑ ≤ π/2 の場合、スワームサイズが既知で、可視性グラフが接続されている場合でさえも、いかなるアルゴリズムでも集約を保証できないことを証明すること。
• 剛体性と半同期的活性化を仮定した上で、ロボットの挙動を分析し、移動が意図した目的地に到達することを保証すること。

実験結果

リサーチクエスチョン

• RQ1 可視範囲が ϑ ≤ π/2 に制限される場合でも、回転的非対称性や接続された可視性グラフが存在する場合、匿名で無記憶のロボットが円周上で集約可能かどうか？
• RQ2 各ロボットが反対点を除き円周全体を視認できる場合（ϑ = π）に、決定的分散アルゴリズムが集約問題を解けるか？
• RQ3 共通の時計回り方向（ねじれ性）が、固有の識別子や記憶が存在しない状況でも対称性の打破を可能にするか？
• RQ4 ϑ ≤ π/2 の不可能性結果は、回転的非対称なターゲットを持つ他のパターン形成問題へ拡張可能か？
• RQ5 不可能性証明で用いられた確率的摂動技法は、ロボットスワーム分野の他の問題に対しても適用可能か？

主な発見

• 本稿では、ϑ = π の場合、任意のスワームサイズに対して決定的分散アルゴリズムを用いてO(n)エポックで収束するため、集約が可能であることを証明している。
• ϑ ≤ π/2 の場合には、初期構成が回転的非対称であっても、可視性グラフが接続されていなくても、いかなる分散アルゴリズムでも集約問題を解くことはできない。
• 不可能性の結果は、ランダム摂動に基づく新規な確率的技法を用いて確立されており、他のパターン形成問題に対しても独立した価値を持つ。
• アルゴリズムは反対点に位置するロボットを検出し、多重性ポイントへ向かうリーダー的挙動を用いて収束を誘導している。
• アルゴリズムの実行時間はO(n)エポックで上限が保証されているが、実際にはO(1)エポックで終了する可能性があると著者らは仮説している。
• 不可能性の結果は、色付きのライトを持つモデルでは成立しないことから、このような機能が短い可視範囲でも集約を可能にする可能性がある。