[論文レビュー] Gathering Problems for Autonomous Mobile Robots with Lights

Satoshi Terai, Koichi Wada+1 more|arXiv (Cornell University)|Nov 29, 2018

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

ひとこと要約

本稿では、半同期的設定下における自己組織的移動ロボットとライトを用いた最適な集約アルゴリズムを提示し、ロボットが内部、外部、またはフルライト可視性を用いることで集約を達成する、新規なモデルを導入する。2つのライトとセットビューを用いることで、剛体的、ラウンドロビン型、非キラルな環境下で集約が解けることが証明され、最小の色要件が確立され、ライトタイプ間の計算能力の階層が明確化される。

ABSTRACT

We study the Gathering problem for n autonomous mobile robots in semi-synchronous settings with persistent memory called light. It is well known that Gathering is impossible in a basic model when robots have no lights, if the system is semi-synchronous or even centralized (only one robot is active in each time). On the other hand, Rendezvous (Gathering when n = 2) is possible if robots have lights of various types with a constant number of colors. In this paper, we extend the model of robots with lights so that Gathering algorithms can be discussed properly. Then we show Gathering algorithms with three types of lights in the semi-synchronous settings and reveal relationship between the power of lights and other additional assumptions. The most algorithms shown here are optimal in the number of colors they use.

研究の動機と目的

• 半同期的ロボットシステムにおける集約問題を解くために必要な、追加仮定の最小限のもの——特に可視性タイプと移動モデル——を特定すること。
• 内部ライト、外部ライト、フルライトモデルの間における計算能力の階層を、ロボット集約の文脈で明確化すること。
• 剛体性やキラル性などのさまざまなシステム制約下で、最小限のライト色数を用いた最適な集約アルゴリズムを設計すること。
• 先行研究における会合問題の結果を一般化した集約問題へと拡張し、半同期的および集中型スケジューラ下での解消条件を確立すること。

提案手法

• ロボットにライトを備えた洗練されたモデルを導入し、内部ライト（自らの可視性のみ）、外部ライト（他のロボットの可視性のみ）、フルライト（自らと他のロボットの両方の可視性）を区別する。
• 2つのライトとセットビューを用いた集約アルゴリズムを設計し、ライト色とアクティベーション順序に基づくロボット順序付けを活用して、単一の点へ収束させる。
• ラウンドベースのシミュレーションを採用し、最小の順序値を持つロボットを優先的に処理することで、段階的に配置が収束し、集約へと向かう。
• 補題を用いて、剛体移動とラウンドロビン型アクティベーション下で、配置が $BB$ または $BBB$ パターンへ収束することを証明し、最終的な集約を保証する。
• 剛体性（非剛体対剛体移動）と最小移動距離 $\delta$ の存在が色要件に与える影響を分析する。
• 内部ライトモデルにおいて2色とセットビューが、剛体的・非キラル的・ラウンドロビン型システムでは集約を解けることを確立する。

実験結果

リサーチクエスチョン

• RQ1 内部ライト可視性を前提とした半同期的システムにおいて、集約に必要な最小のライト色数は何か？
• RQ2 さまざまなスケジューラー下で、可視性モデル（内部、外部、フルライト）が集約問題の解消可能性に与える影響は何か？
• RQ3 2つのライトとセットビューのみを用いて、キラル性やグローバル座標の一致なしに集約を達成できるか？
• RQ4 ロボット集約の文脈において、外部ライトモデルと内部ライトモデルの計算能力の関係は何か？
• RQ5 会合問題に関する結果を、最小限の仮定のもとで一般集約問題へと拡張できるか？

主な発見

• 剛体的・非キラル的・ラウンドロビン型スケジューラ下では、内部ライトモデルにおいて2つのライトとセットビューのみを用いて集約が解ける。
• アルゴリズムは $BB$ または $BBB$ の配置へ収束し、そこから $\min$ または $\min_2$ の追加ラウンドで集約が達成される。
• 色の使用量の観点から、2色の内部ライトモデルが最適であり、より強い仮定を要する高色数の外部ライト解法よりも優れている。
• 非剛体モデルにおいて $\delta$（最小移動距離）を導入すると、色数が3に減少するが、これは剛体性よりも強い仮定であることを示唆する。
• 本稿では、10色のフルライトが、半同期アルゴリズムのシミュレーションを介して非同期システムでも集約を可能にすることを確立する。
• 外部ライトモデルと内部ライトモデルの計算能力の関係は未解決であり、両者間に厳密な優位性がないことが示唆されている。