Skip to Main content Skip to Navigation
Journal articles

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots

Abstract : We consider swarms of asynchronous oblivious robots evolving into an anonymous grid-shaped network. In this context, we investigate optimal (w.r.t. the number of robots) deterministic solutions for the terminating exploration problem. We first show lower bounds in the semi-synchronous model. Precisely, we show that at least three robots are required to explore any grid of at least three nodes, even in the probabilistic case. Then, we show that at least four (resp. five) robots are necessary to deterministically explore a (2,2)-Grid (resp. a (3,3)-Grid). We then propose deterministic algorithms in the asynchronous model. This latter being strictly weakest than the semi-synchronous model, all the aforementioned bounds still hold in that context. Our algorithms actually exhibit the optimal number of robots that is necessary to explore a given grid. Overall, our results show that except in two particular cases, three robots are necessary and sufficient to deterministically explore a grid of at least three nodes and then terminate. The optimal number of robots for the two remaining cases is four for the (2,2)-Grid and five for the (3,3)-Grid, respectively.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Pascal Raymond <>
Submitted on : Thursday, November 14, 2019 - 10:54:25 AM
Last modification on : Tuesday, March 23, 2021 - 9:28:03 AM
Long-term archiving on: : Saturday, February 15, 2020 - 1:43:09 PM



Pascal Raymond, Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil. Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. The Computer Journal, Oxford University Press (UK), 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩. ⟨hal-02363013⟩



Record views


Files downloads