Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper addresses the open problem of whether a universal rendezvous algorithm exists for anonymous mobile agents in connected graphs with footprints. The authors propose a deterministic algorithm that guarantees rendezvous for all feasible instances, thereby confirming that such a universal algorithm is indeed possible in this model. This result not only resolves a significant question in the field but also expands the theoretical understanding of rendezvous problems in graph theory.
A universal rendezvous algorithm exists for anonymous agents in connected graphs with footprints, solving a long-standing open problem.
Deterministic rendezvous for two anonymous mobile agents starting simultaneously from two distinct nodes of an anonymous connected graph and navigating synchronously in the graph requires that they meet at some node. An instance of the rendezvous problem is the underlying graph, together with two distinct nodes that are the initial positions of the agents. Such an instance is said to be feasible if there is a deterministic algorithm guaranteeing rendezvous, possibly valid only for this instance. A rendezvous algorithm is said to be universal for a class of instances if it guarantees rendezvous for all feasible instances from this class. We consider the model with footprints: whenever an agent visits an unmarked node, it leaves a permanent footprint on it, and all footprints are identical. This paper aims at answering the open problem from the paper by Das and Pelc (SPAA 2026), asking whether there exists a universal rendezvous algorithm for the class of all instances in the model with footprints. We propose a universal rendezvous algorithm for the class of all instances where the underlying graph is connected (finite or countably infinite) in the model with footprints. This shows the existence of a universal algorithm for the class of all instances in the model with footprints, which is an affirmative answer to the open problem.