Online Treasure Hunt in Vertex-Permuted Dynamic Rings

Modern networks are dynamic rather than static, with links between entities changing over time. These networks are ubiquitous and occur in critical settings, such as wireless and mobile networks, transportation networks, sensor networks, and systems where nodes or links can fail or be turned off. Moreover, changes can be arbitrary, making it challenging to design algorithms for such networks.

In this paper we study the problem of treasure hunt or search by a group of agents in a dynamic ring network. There is a special vertex $T$ (the treasure), and $k\geq 1$ mobile agents located at potentially different vertices of the $n$-node ring start looking for the treasure at the same time. Agents are identical, anonymous, memoryless, and operate synchronously and online: at each time step $t$ they observe their neighbors in the current graph $G_{t}$, and then decide whether to move to a neighboring vertex or to stay, without any knowledge of future graphs, or memory of past actions. Their collective goal is to minimize the time that the first agent reaches the treasure.

We focus on vertex-permuted rings ($\mathrm{VP}$), a dynamic ring in which, in every time step, the vertex set is permuted and then arranged in a ring topology [1, 5]. A vertex-permuted graph is a temporal graph in which the structure of the graph remains fixed at each time step throughout the graph’s lifetime, though the vertices may assume different positions in the graph. For example, cyclists who ride in pelotons, swap their positions after specific time intervals as it is more tiring to be in front of the formation. In the natural world, it has been observed that birds flying in formation or fish swimming in formation swap positions while maintaining the same structure of the formation. In the context of sensor networks that have clusters configured in a star topology, different nodes periodically assume the role of clusterhead, in order to balance energy consumption across cluster members. All the above are examples of vertex-permuted graphs.

We show that treasure hunt is impossible in a vertex-permuted ring if there is no restriction on the dynamicity. In view of this impossibility, we consider restrictions on the dynamicity. We consider the class $\mathrm{VP(\delta)}$: for every ordered pair $(u,v)$ with $u\neq v$, and every starting time $t$, the vertices $u$ and $v$ appear as neighbors in some step $s\in\{t,t+1,\ldots,t+\delta-1\}$. Finally, we consider a random version of $\mathrm{VP}$. In $\mathrm{R\mbox{-}VP}$, in every step, a random permutation of the vertices is arranged as a ring.

Temporal graphs (also called time-varying or dynamic or evolving graphs) model networks whose edges change over time, see, e.g., the TVG survey of Casteigts et al. [10] and the distributed-computing model of Kuhn, Lynch, and Oshman, who introduced $T$-interval connectivity [10, 20]. Dynamic rings in particular have been studied for example, for the problem of gathering and dispersion [1, 14] and exploration [24, 13, 19, 22].

Vertex permutation dynamism is a temporal model in which every snapshot is isomorphic to a fixed base graph, obtained by permuting vertex identities between steps. Vertex permuted rings were introduced in [1], which studied the problem of dispersion in such graphs. In [5], the authors study restless exploration in vertex-permuted temporal graphs of arbitrary topology and show a precise characterization of the base graphs for which restless exploration is always possible. The concept of exploration by restless agents (agents who must move to a neighboring node in every step) was introduced in [7].

Search or treasure hunt has been studied in many settings, including continuous domains (e.g., the cow-path problem, first studied in [6]) and discrete graphs [4, 9]. More recently, multi-agent search has been studied, under different models of communication between the agents, different speeds of agents, various fault models, and so on.

Search in a graph [4, 9, 26] is similar to graph exploration; in the former, agents are looking for a specific node or object in the graph, while the goal of exploration is to visit every node in the graph. The exploration of temporal graphs, introduced by Michail and Spirakis [25], and studied in [17] addresses the problem of designing temporal walks that visit all vertices of a dynamic graph. Most work on exploration in temporal graphs is offline, where the entire sequence of graphs is known before designing the trajectory of agents. There is relatively little work on online exploration in dynamic graphs. In [13] and [24], online exploration of 1-interval connected dynamic rings was studied. However, this is a very different model of dynamicity than ours.

Tokens or pebbles are a common way to strengthen the extremely limited capacity of the agents for exploration tasks, by allowing a small amount of persistent state in the environment [16]. Generally speaking, agents can place pebbles at a node, and are only visible to agents when they are actually at the node. Pebbles were used in the context of treasure hunt in [18, 15, 12]. The flags that we use in our paper are similar to pebbles, but differ in that we assume the flag that can be planted by an agent when visiting a node is visible to agents at neighboring nodes in all subsequent steps. They also differ from the model of mobile agents with lights [11] in which it is the robots that are equipped with lights that enable some communication with other robots, whereas flags are left behind by robots at nodes.

When the dynamics are random rather than adversarial, agent trajectories are often analyzed using random-walk tools (hitting times, cover times) on temporal graphs. A representative example is Avin, Koucký, and Lotker, who relate the evolution rate of the graph to cover-time behavior [3].

In this paper, we study vertex-permuted rings ($\mathrm{VP}$) with $n$ nodes in which each snapshot $G_{t}$ is a cycle on $V$, obtained by an arbitrary permutation of the nodes arranged as a ring. Nodes are anonymous, that is, they may have labels, but they are unknown to the agents. In each time step $t$, in the graph $G_{t}$, every node $v$ is connected to its two neighbors in the ring via distinctly labelled ports; the labelling of the ports is arbitrary and may not provide a globally consistent orientation.

For $\delta\in\mathbb{N}$, the class $\mathrm{VP}(\delta)$ consists of all dynamic graphs in $\mathrm{VP}$  in which, for every pair $\{u,v\}$ with $u\neq v$ and every starting time $t=i\delta+1$ for $i\in\mathbb{N}$ there exists $s\in\{t,t+1,\ldots,t+\delta-1\}$ such that $u$ and $v$ are adjacent in $G_{s}$. Equivalently, every vertex sees every other vertex as a neighbor at least once in every window of length $\delta$. A dynamic graph in $\mathrm{VP(\delta)}$ does not need to be a periodic graph with period $\delta$. So a graph in $\mathrm{VP(\delta)}$ does not guarantee adjacencies with all other vertices in a sliding window of length $\delta$. However, it is easy to see that for every graph in $\mathrm{VP(\delta)}$, adjacencies are guaranteed with all other vertices in a sliding window of length $2\delta$. Thus, in the rest of the paper, we do not talk about sliding windows, and instead when speaking of $\mathrm{VP(\delta)}$, consider a graph where starting at time 1, time is divided into windows of $\delta$ steps, and in each window, each vertex is guaranteed to be adjacent to every other vertex in at least one step during the window.

One of the nodes of the graph contains a treasure; we assume this treasure can only be seen when an agent is located at the same node as the treasure. To find the treasure, agents have to visit the nodes of the graph. In the $k\geq 2$ case, agents work in synchronous discrete time steps, using the well-known Look-Compute-Move model [13].

We consider two models of visibility and what an agent can do when it visits a node. In the first model, when an agent visits a node, it is able to mark it as visited by planting a flag there (we say the agent flags the node), which is visible to any agent at a neighboring node. A node that has not been visited by any agent remains unflagged. Note that agents have no visibility about nodes at a distance more than one in any step. In the second model, an agent cannot plant a flag, and cannot distinguish between nodes that were previously visited from nodes that have never been visited, even when those nodes are adjacent.

Agents are silent - they do not communicate with agents at other nodes by sending messages. Planting flags to mark nodes as visited can be seen as a form of indirect communication between agents. There is no other communication between agents.

Each agent has a consistent private orientation of the ring, which designates each port as $cw$ or $ccw$. As in  [14], access to the ports is by mutual exclusion: if multiple agents request the same port, exactly only of them succeeds. Requests to the two ports are arbitrated independently.

Our lower bounds are valid for stronger models of agents; the specific ways in which agents can be strengthened are mentioned in the theorem statements.

We are also interested in analyzing the competitive ratio of our online algorithms. The competitive ratio of an online algorithm $ALG$ is the worst-case ratio (over all possible input sequences $G_{1},\ldots,G_{L}$) of the cost of $ALG$ to the cost of an optimal offline algorithm that knows the entire input sequence in advance. Although we describe our lower bound arguments in the classic request-answer game framework, where the adversary chooses the next graph $G_{t}$ based on the actions of the agent so far, it is known that the lower bound also holds against an oblivious adversary for deterministic algorithms, and against an adaptive offline adversary for randomized algorithms [8].

In this section, we show that treasure hunt is impossible for any number of agents in $\mathrm{VP}$ when there are no restrictions on the permutations in every step.

An adversarial scheduler can confine the agent to at most three nodes by using the following TrapIn-$(3)$ procedure. Suppose the agent is at a node $u$ whose neighbors are $v$ and $w$ in $G_{t}$. The graph $G_{t+1}$ chosen by the adversary depends on the agent’s action in step $t$. If the agent stays in $u$, then $G_{t+1}=G_{t}$. If the agent moves to $v$, then in $G_{t+1}$ the adversary swaps the positions of $v$ and $u$, so that $v$ is now in the middle. Similarly, if it moves to $w$, the adversary swaps the positions of $u$ and $w$ so that $w$ is in the middle. In this way, the agent can never visit any nodes except for $u,v,$ and $w$. Figure 1 gives a concrete example of TrapIn-$(3)$ with $\{u,v,w\}=\{0,1,2\}$.

It is straightforward to see that a similar procedure can be employed even if $k$ agents do not start at the same node, provided that $n$ is large enough compared to $k$, by trapping subsets of agents in separate sets of nodes; we omit the details.

In light of the impossibility of treasure hunt in unrestricted $\mathrm{VP}$, we consider restricted versions of $\mathrm{VP}$ in this section, namely $\mathrm{VP(\delta)}$ and $\mathrm{R\mbox{-}VP}$.

In this section, we study treasure hunt with $k\geq 2$ agents in $VP(\delta)$. We first give an online algorithm with search time $O(n\delta/k)$, showing that $k$ agents obtain a linear speedup up to constant factors. We then prove a matching lower bound for the stated range of $\delta$.

We studied treasure hunt in vertex-permuted dynamic rings. We showed that, in unrestricted $VP$, the treasure may be hidden forever from any set of $k\leq n-3$ deterministic or randomized agents. For $VP(\delta)$ with $\delta\geq\lceil(n-1)/2\rceil$, we gave tight bounds for the search time and competitive ratio for a single deterministic agent with flag, and showed that $k$ agents can obtain a linear speedup. We also studied the random model $R$-VP.

Several questions remain open. First, our lower bound for one deterministic agent with flags is proved for $\delta\geq 2n$. It would be interesting to know whether the same bound holds for the full feasible range $\delta\geq\lceil(n-1)/2\rceil$. Second, the competitive ratio of randomized algorithms against an adaptive online adversary is yet to be studied. Finally, one may ask which results extend beyond rings to vertex-permuted graphs with other topologies.