Asynchronous deterministic rendezvous in graphs

• Published in: Theoretical computer science Vol. 355; no. 3; pp. 315 - 326
• Main Authors: Marco, Gianluca De, Gargano, Luisa, Kranakis, Evangelos, Krizanc, Danny, Pelc, Andrzej, Vaccaro, Ugo
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier B.V 14.04.2006; Elsevier
• Subjects: Algorithmics. Computability. Computer arithmetics; Applied sciences; Asynchronous; Combinatorics; Combinatorics. Ordered structures; Computer science; control theory; systems; Deterministic; Exact sciences and technology; Graph; Graph theory; Mathematics; Rendezvous; Sciences and techniques of general use; Theoretical computing; Asynchronous; Graph; Rendezvous; Deterministic; Upper bound; Optimal algorithm; Label; Connected graph; Fast algorithm; Robot; Deterministic algorithms
• ISSN: 0304-3975; 1879-2294
• DOI: 10.1016/j.tcs.2005.12.016

Two mobile agents (robots) having distinct labels and located in nodes of an unknown anonymous connected graph have to meet. We consider the asynchronous version of this well-studied rendezvous problem and we seek fast deterministic algorithms for it. Since in the asynchronous setting, meeting at a node, which is normally required in rendezvous, is in general impossible, we relax the demand by allowing meeting of the agents inside an edge as well. The measure of performance of a rendezvous algorithm is its cost: for a given initial location of agents in a graph, this is the number of edge traversals of both agents until rendezvous is achieved. If agents are initially situated at a distance D in an infinite line, we show a rendezvous algorithm with cost O ( D | L min | 2 ) when D is known and O ( ( D + | L max | ) 3 ) if D is unknown, where | L min | and | L max | are the lengths of the shorter and longer label of the agents, respectively. These results still hold for the case of the ring of unknown size, but then we also give an optimal algorithm of cost O ( n | L min | ) , if the size n of the ring is known, and of cost O ( n | L max | ) , if it is unknown. For arbitrary graphs, we show that rendezvous is feasible if an upper bound on the size of the graph is known and we give an optimal algorithm of cost O ( D | L min | ) if the topology of the graph and the initial positions are known to agents.