Asynchronous Deterministic Rendezvous in Bounded Terrains

Jurek Czyzowicz (1) , David Ilcinkas (2, 3) , Arnaud Labourel (2) , Andrzej Pelc (1)

1 DII - Département d'Informatique et d'Ingénierie
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
3 CEPAGE - Algorithmics for computationally intensive applications over wide scale distributed platforms

Two mobile agents (robots) have to meet in an a priori unknown bounded terrain modeled as a polygon, possibly with polygonal obstacles. Robots are modeled as points, and each of them is equipped with a compass. Compasses of robots may be incoherent. Robots construct their routes, but the actual walk of each robot is decided by the adversary that may, e.g., speed up or slow down the robot. We consider several scenarios, depending on three factors: (1) obstacles in the terrain are present, or not, (2) compasses of both robots agree, or not, (3) robots have or do not have a map of the terrain with their positions marked. The cost of a rendezvous algorithm is the worst-case sum of lengths of the robots' trajectories until their meeting. For each scenario we design a deterministic rendezvous algorithm and analyze its cost. We also prove lower bounds on the cost of any deterministic rendezvous algorithm in each case. For all scenarios these bounds are tight.

Mots clés: mobile agent; rendezvous; deterministic; polygon; obstacle

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Andrzej Pelc. Asynchronous Deterministic Rendezvous in Bounded Terrains. SIROCCO 2010, Jun 2010, Şirince, Turkey. pp.72-85, ⟨10.1007/978-3-642-13284-1_7⟩. ⟨hal-00516048⟩