On asynchronous rendezvous in general graphs

Abstract : A pair of agents (robots) are moving in a graph with the goal of meeting at the same node or while traversing the same edge. An asynchronous adversary knows the prescribed walks of the two agents and is in complete control of the speed of each agent during its walk. We provide a complete characterization of pairs of walks that enforce rendezvous against an asynchronous adversary after traversing a given number of edges. The characterization is efficient in that it can be checked in polynomial time. We argue that the certificate of rendezvous enforcement that is produced by the checking algorithm contains a wealth of information on why rendezvous is enforced.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, In press, 〈10.1016/j.tcs.2018.06.045〉
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01900843
Contributeur : Lélia Blin <>
Soumis le : lundi 22 octobre 2018 - 14:59:13
Dernière modification le : vendredi 16 novembre 2018 - 02:20:32

Fichier

revised_TCS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, et al.. On asynchronous rendezvous in general graphs. Theoretical Computer Science, Elsevier, In press, 〈10.1016/j.tcs.2018.06.045〉. 〈hal-01900843〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

9