Optimal Torus Exploration by Oblivious Mobile RobotsReport as inadecuate

Optimal Torus Exploration by Oblivious Mobile Robots - Download this document for free, or read online. Document in PDF available to download.

1 VERIMAG - IMAG - VERIMAG 2 MIS - Modélisation, Information & Systèmes 3 LIP6 - Laboratoire d-Informatique de Paris 6 4 Regal - Large-Scale Distributed Systems and Applications LIP6 - Laboratoire d-Informatique de Paris 6, Inria Paris-Rocquencourt

Abstract : We consider autonomous robots that are endowed with motion actuators and visibility sensors. The robots we consider are weak, i.e., they are anonymous, uniform, unable to explicitly communicate, and oblivious they do not remember any of their past actions. In this paper, we propose an optimal w.r.t. the number of robots solution for the terminating exploration of a torus-shaped network by a team of $k$ such robots. In more details, we first show that it is impossible to explore a simple torus of arbitrary size with strictly less than four robots, even if the algorithm is probabilistic. If the algorithm is required to be deterministic, four robots are also insufficient. This negative result implies that the only way to obtain an optimal algorithm w.r.t. the number of robots participating to the algorithm is to make use of probabilities. Then, we propose a probabilistic algorithm that uses four robots to explore all simple tori of size $\ell \times L$, where $7 \leq \ell \leq L$. Hence, in such tori, four robots are necessary and sufficient to solve the probabilistic terminating exploration. As a torus can be seen as a 2-dimensional ring, our result shows, perhaps surprisingly, that increasing the number of possible symmetries in the network due to increasing dimensions does not come at an extra cost w.r.t. the number of robots that are necessary to solve the problem.

Keywords : Robot Torus Exploration Oblivious

Author: Stéphane Devismes - Anissa Lamani - Franck Petit - Sébastien Tixeuil -

Source: https://hal.archives-ouvertes.fr/


Related documents