[論文レビュー] Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes, Franck Petit+1 more|ArXiv.org|Feb 11, 2009

Optimization and Search Problems参考文献 12被引用数 4

ひとこと要約

本稿では、n > 8 の任意の匿名で非方向性のリングを最適に探索できる、確率的プロトコルを提示する。対称性を破るためにランダム化を活用することで、決定的アプローチの Θ(log n) ロボット要件を著しく削減し、ロボット数とリングサイズが互いに素である必要がない。

ABSTRACT

We consider a team of $k$ identical, oblivious, asynchronous mobile robots that are able to sense (\emph{i.e.}, view) their environment, yet are unable to communicate, and evolve on a constrained path. Previous results in this weak scenario show that initial symmetry yields high lower bounds when problems are to be solved by \emph{deterministic} robots. In this paper, we initiate research on probabilistic bounds and solutions in this context, and focus on the \emph{exploration} problem of anonymous unoriented rings of any size. It is known that $Θ(\log n)$ robots are necessary and sufficient to solve the problem with $k$ deterministic robots, provided that $k$ and $n$ are coprime. By contrast, we show that \emph{four} identical probabilistic robots are necessary and sufficient to solve the same problem, also removing the coprime constraint. Our positive results are constructive.

研究の動機と目的

• 対称的で匿名なリングネットワークにおける決定的探索の高いロボット複雑性に対処する。
• 決定的プロトコルが要求する Θ(log n) ロボットと、ロボット数とリングサイズが互いに素である制約を克服する。
• 最小限のロボット数で全ノードをカバーする確率的プロトコルを設計する。
• 非同期的で無記憶的、匿名なロボット制約下でも有限の期待時間で終了を達成する。
• 任意のリングサイズ n > 8 に対して動作する構成的で分散型のソリューションを提供する。

提案手法

• 3フェーズプロトコルを用いる：フェーズ I では、確率的移動により 4 セグメント構成を検出し形成する。
• フェーズ II では、対称性を破るために確率的ロボット活性化を用いて 4 セグメントをプライマリアローに変換する。
• フェーズ III では、尾部ロボットを穴に向かって頭部へと移動させることで、決定論的にアローを拡張し、全ノードカバレッジを保証する。
• ロボット活性化の公平性を活用することで、非同期性にもかかわらず有限の期待時間で進行を保証する。
• 局所的可視性と確率的意思決定を用いて、恒久的状態やコンパスを必要とせずに記憶と方向性を模倣する。
• 最終的なアロー構成が全ノードが訪問済みであることを示すため、設計上、終了を保証する。

実験結果

リサーチクエスチョン

• RQ1 ランダム化により、無記憶的・非同期的・匿名的モデルにおける最適なリング探索に必要なロボット数を削減可能か？
• RQ2 確率的戦略を用いて、ロボット数とリングサイズとの互いに素な制約を排除できるか？
• RQ3 匿名リングにおいて、有限の期待時間で探索を保証するのに必要な最小ロボット数は何か？
• RQ4 恒久的記憶や通信なしに、どのようにして対称性を破ることができるか？
• RQ5 構成的で分散型のプロトコルが、リングサイズにかかわらず 4 体のロボットで全探索を保証できるか？

主な発見

• n > 8 の任意のリングサイズに対して、4 体の同一な確率的ロボットが、リング探索問題を解くのに必要かつ十分である。
• 完全な非同期性と通信なしの条件下でも、有限の期待時間での終了を達成する。
• 決定的ソリューションの Θ(log n) ロボット複雑性を排除し、互いに素な制約も解消する。
• システムは、任意の初期構成から有限の期待時間で 4 セグメントに遷移し、その後プライマリアローに移行する。
• フェーズ III では、決定論的にアローを拡張することで、全ノードが訪問されることを保証する。
• ロボット数において最適である。4 体未満のロボットでは、与えられた制約下では探索が達成できない。