Collision-free Exploration by Mobile Agents Using Pebbles

Sajal K. Das,Amit Kumar Dhar,Barun Gorain,Madhuri Mahawar

2024-10-23

Abstract:In this paper, we study collision-free graph exploration in an anonymous pot labeled network. Two identical mobile agents, starting from different nodes in $G$ have to explore the nodes of $G$ in such a way that for every node $v$ in $G$, at least one mobile agent visits $v$ and no two agents are in the same node in any round and stop. The agents know the size of the graph but do not know its topology. If an agent arrives in the one-hop neighborhood of the other agent, both agents can detect the presence of the other agent but have no idea at which neighboring node the other agent resides. The agents may wake up in different rounds An agent, after waking up, has no knowledge about the wake-up time of the other agent. We study the problem of collision-free exploration where some pebbles are placed by an Oracle at the nodes of the graph to assist the agents in achieving collision-free exploration. The Oracle knows the graph, the starting positions of the agents, and their wake-up schedule, and it places some pebbles that may be of different colors, at most one at each node. The number of different colors of the pebbles placed by the Oracle is called the {\it color index} of the corresponding pebble placement algorithm. The central question we study is as follows: "What is the minimum number $z$ such that there exists a collision-free exploration of a given graph with pebble placement of color index $z$?" For general graphs, we show that it is impossible to design an algorithm that achieves collision-free exploration with color index 1. We propose an exploration algorithm with color index 3. We also proposed a polynomial exploration algorithm for bipartite graphs with color index 2.

Data Structures and Algorithms

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **In an anonymous network, how to achieve collision - free graph exploration for two mobile agents by placing Pebbles (markers)**. Specifically, the paper explores the following core issues:

### Core Issue:
**"Given a graph, how many colors of Pebbles are minimally required to ensure that two mobile agents can complete the exploration of this graph without collision?"**

### Background and Challenges:
1. **Anonymous Graph**: Nodes have no labels, and edges have unique port numbers.
2. **Mobile Agents**: Two identical mobile agents start from different nodes and must visit all nodes and cannot be at the same node in the same round.
3. **Collision - free Requirement**: Collisions between agents are not allowed, and even when they are at adjacent nodes, they cannot determine each other's specific locations.
4. **The Role of Oracle**: The Oracle knows the structure of the graph, the starting positions of the agents, and the wake - up schedules, and can place Pebbles of different colors at certain nodes to help agents avoid collisions.

### Main Contributions:
1. **Impossibility Result**: It is proved that for general graphs, collision - free exploration cannot be achieved using Pebbles of a single color.
2. **Algorithm Design**:
- A collision - free exploration algorithm with a color index of 3 for general graphs is proposed.
- For bipartite graphs, a polynomial - time exploration algorithm with a color index of 2 is proposed.

### Key Formulas and Concepts:
- Graph Representation: \( G=(V, E) \), where \( V \) is the set of nodes and \( E \) is the set of edges.
- Node Degree: The degree \( d \) of each node \( v \), and its edges have unique port numbers \( \{0, 1,\cdots, d - 1\} \).
- Color Index: The number \( |C| \) of different colors used in the Pebble placement algorithm.
- Exploration Time: The minimum number of rounds such that both agents terminate and have visited all nodes.

### Core Ideas of the Solution:
1. **Pebble Placement Strategy**: By placing Pebbles of different colors at key nodes, agents are guided to select paths and avoid collisions.
2. **Phased Execution**: The exploration process is divided into multiple phases to ensure that each step is carried out after the previous one is completed, so as to ensure collision - free exploration.

Through these methods, the paper solves the key problem of achieving collision - free exploration in anonymous networks and provides a theoretical basis and technical means for future research.