TY - JOUR
T1 - Polynomial deterministic rendezvous in arbitrary graphs
AU - Kowalski, Dariusz R.
AU - Pelc, Andrzej
N1 - Funding Information:
★Research supported in part by NSERC grant and by the Research Chair in Dis-tributed Computing of the Université du Québec en Outaouais.
PY - 2004
Y1 - 2004
N2 - The rendezvous problem in graphs has been extensively studied in the literature, mainly using a randomized approach. Two mobile agents have to meet at some node of a connected graph. We study deterministic algorithms for this problem, assuming that agents have distinct identifiers and are located in nodes of an unknown anonymous connected graph. Startup times of the agents are arbitrarily decided by the adversary. 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 steps since the startup of the later agent until rendezvous is achieved. Deterministic rendezvous has been previously shown feasible in arbitrary graphs [16] but the proposed algorithm had cost exponential in the number n of nodes and in the smaller identifier l, and polynomial in the difference τ between startup times. The following problem was stated in [16]: Does there exist a deterministic rendezvous algorithm with cost polynomial in n, τ and in labels L1, L2 of the agents (or even polynomial in n, τ and log L1, logL2)? We give a positive answer to both problems: our main result is a deterministic rendezvous algorithm with cost polynomial in n, τ and log l. We also show a lower bound Ω(n2) on the cost of rendezvous in some family of graphs.
AB - The rendezvous problem in graphs has been extensively studied in the literature, mainly using a randomized approach. Two mobile agents have to meet at some node of a connected graph. We study deterministic algorithms for this problem, assuming that agents have distinct identifiers and are located in nodes of an unknown anonymous connected graph. Startup times of the agents are arbitrarily decided by the adversary. 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 steps since the startup of the later agent until rendezvous is achieved. Deterministic rendezvous has been previously shown feasible in arbitrary graphs [16] but the proposed algorithm had cost exponential in the number n of nodes and in the smaller identifier l, and polynomial in the difference τ between startup times. The following problem was stated in [16]: Does there exist a deterministic rendezvous algorithm with cost polynomial in n, τ and in labels L1, L2 of the agents (or even polynomial in n, τ and log L1, logL2)? We give a positive answer to both problems: our main result is a deterministic rendezvous algorithm with cost polynomial in n, τ and log l. We also show a lower bound Ω(n2) on the cost of rendezvous in some family of graphs.
UR - http://www.scopus.com/inward/record.url?scp=35048871099&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=35048871099&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-30551-4_56
DO - 10.1007/978-3-540-30551-4_56
M3 - Article
AN - SCOPUS:35048871099
SN - 0302-9743
VL - 3341
SP - 644
EP - 656
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -