Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots

Anisur Rahaman Molla, Kaushik Mondal, William K. Moses

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

The problem of dispersion of mobile robots on a graph asks that n robots initially placed arbitrarily on the nodes of an n-node anonymous graph, autonomously move to reach a final configuration where each node has at most one robot on it. This problem is of significant interest due to its relationship to other fundamental robot coordination problems, such as exploration, scattering, load balancing, relocation of self-driving electric cars to recharge stations, etc. The robots have unique IDs, typically in the range [1,poly(n)] and limited memory, whereas the graph is anonymous, i.e., the nodes do not have identifiers. The objective is to simultaneously minimize two performance metrics: (i) time to achieve dispersion and (ii) memory requirement at each robot. This problem has been relatively well-studied when robots are non-faulty. In this paper, we introduce the notion of Byzantine faults to this problem, i.e., we formalize the problem of dispersion in the presence of up to f Byzantine robots. We then study the problem on a ring while simultaneously optimizing the time complexity of algorithms and the memory requirement per robot. Specifically, we design deterministic algorithms that attempt to match the time lower bound (Ω(n) rounds) and memory lower bound (Ω(log⁡n) bits per robot). Our main result is a deterministic algorithm that is both time and memory optimal, i.e., O(n) rounds and O(log⁡n) bits of memory required per robot, subject to certain constraints. We subsequently provide results that require less assumptions but are either only time or memory optimal but not both. We also provide a primitive, utilized often, that takes robots initially gathered at a node of the ring and disperses them in a time and memory optimal manner without additional assumptions required.

Original languageEnglish
Pages (from-to)111-121
Number of pages11
JournalTheoretical Computer Science
Volume887
DOIs
StatePublished - 2 Oct 2021
Externally publishedYes

Keywords

  • Byzantine faults
  • Dispersion
  • Distributed algorithm
  • Faulty robots
  • Mobile robots
  • Rings

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots'. Together they form a unique fingerprint.

Cite this