Abstract:We investigate exploration algorithms for autonomous mobile robots evolving in uniform ring-shaped networks. Different from the usual Look-Compute-Move (LCM) model, we consider two characteristics: myopia and luminosity. Myopia means each robot has a limited visibility. We consider the weakest assumption for myopia: each robot can only observe its neighboring nodes. Luminosity means each robot maintains a non-volatile visible light. We consider the weakest assumption for luminosity: each robot can use only two colors for its light. The main interest of this paper is to clarify the impact of luminosity on exploration with myopic robots.As a main contribution, we characterize the minimum number of myopic robots to achieve perpetual and terminating exploration in the fully synchronous (FSYNC), semi-synchronous (SSYNC), and asynchronous (ASYNC) models; we prove that (i) in the FSYNC model, two myopic robots are necessary and sufficient to achieve perpetual exploration, and three myopic robots are necessary and sufficient to achieve terminating exploration, and (ii) in the SSYNC and ASYNC models, three myopic robots are necessary and sufficient to achieve perpetual exploration, and four myopic robots are necessary and sufficient to achieve terminating exploration. These results clarify the power of lights for myopic robots since, without lights, five myopic robots are necessary and sufficient to achieve terminating exploration in the FSYNC model, and no terminating exploration algorithm exists with myopic robots in the SSYNC and ASYNC models.We also show that, in the FSYNC model (resp., the SSYNC and ASYNC models), the proposed perpetual exploration algorithm is universal, that is, the algorithm solves perpetual exploration from any solvable initial configuration with two (resp., three) myopic robots and two colors. On the other hand, we show that, in the FSYNC model (resp., the SSYNC and ASYNC models), no universal algorithm exists for terminating exploration, that is, no algorithm may solve terminating exploration from any solvable initial configuration with three (resp., four) myopic robots and two colors.

Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots

Gathering Semi-Synchronously Scheduled Two-State Robots

Gathering on Rings for Myopic Asynchronous Robots with Lights

Robots with Lights: Overcoming Obstructed Visibility Without Colliding

Asynchronous Gathering of Robots with Finite Memory on a Circle under Limited Visibility

Filling MIS Vertices by Myopic Luminous Robots

Optimal Uniform Circle Formation by Asynchronous Luminous Robots

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -

Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights

The Mutual Visibility Problem for Fat Robots

Mutual Visibility by Robots with Persistent Memory

Minimum algorithm sizes for self-stabilizing gathering and related problems of autonomous mobile robots

Complete Visibility Algorithms of Luminous Robots With Two‐Color Lights on Grid

Complete Visibility Algorithm for Autonomous Mobile Luminous Robots under an Asynchronous Scheduler on Grid Plane

Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

Rendezvous of two robots with visible bits

Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid

Asynchronous Filling by Myopic Luminous Robots

Uniform Partitioning of a Bounded Region using Opaque ASYNC Luminous Mobile Robots

Fault-induced dynamics of oblivious robots on a line

Ring exploration with myopic luminous robots