Almost-Optimal Deterministic Treasure Hunt in Unweighted Graphs

• Published in: ACM transactions on algorithms 2023-07, Vol.19 (3), p.1-32, Article 22
• Main Authors: Bouchard, Sébastien, Dieudonné, Yoann, Labourel, Arnaud, Pelc, Andrzej
• Format: Article
• Language: English
• Subjects: Computer Science; Design and analysis of algorithms; Theory of computation
• ISSN: 1549-6325; 1549-6333
• DOI: 10.1145/3588437

A mobile agent navigating along edges of a simple connected unweighted graph, either finite or countably infinite, has to find an inert target (treasure) hidden in one of the nodes. This task is known as treasure hunt. The agent has no a priori knowledge of the graph, of the location of the treasure, or of the initial distance to it. The cost of a treasure hunt algorithm is the worst-case number of edge traversals performed by the agent until finding the treasure. Awerbuch et al. [3] considered graph exploration and treasure hunt for finite graphs in a restricted model where the agent has a fuel tank that can be replenished only at the starting node s. The size of the tank is B = 2 (1+α) r, for some positive real constant α, where r, called the radius of the graph, is the maximum distance from s to any other node. The tank of size B allows the agent to make at most ⌊ B ⌋ edge traversals between two consecutive visits at node s. Let e(d) be the number of edges whose at least one endpoint is at distance less than d from s. Awerbuch et al. [3] conjectured that it is impossible to find a treasure hidden in a node at distance at most d at cost nearly linear in e(d). We first design a deterministic treasure hunt algorithm working in the model without any restrictions on the moves of the agent at cost (e(d) log d) and then show how to modify this algorithm to work in the model from Awerbuch et al. [3] with the same complexity. Thus, we refute the preceding 20-year-old conjecture. We observe that no treasure hunt algorithm can beat cost Θ (e(d)) for all graphs, and thus our algorithms are also almost optimal.