Brief Announcement: Waiting in Dynamic Networks

Arnaud Casteigts (1) , Paola Flocchini (2) , Emmanuel Godard (3) , Nicola Santoro (4) , Masafumi Yamashita (5)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 SITE - School of Information Technology and Engineering [Ottawa]
3 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
4 School of Computer Science [Ottawa]
5 TCSG - Theoretical Computer Science Group

We consider infrastructure-less highly dynamic networks, where connectivity does not necessarily hold, and the network may actually be disconnected at every time instant. These networks are naturally modeled as time-varying graphs. Clearly the task of designing protocols for these networks is less difficult if the environ- ment allows waiting (i.e., it provides the nodes with store-carry- forward-like mechanisms such as local buffering) than if waiting is not feasible. We provide a quantitative corroboration of this fact in terms of the expressivity of the corresponding time-varying graph; that is in terms of the language generated by the feasible journeys in the graph. We prove that the set of languages Lnowait when no waiting is allowed contains all computable languages. On the other end, we prove that Lwait is just the family of regular languages. This gap is a measure of the computational power of waiting. We also study bounded waiting; that is when waiting is allowed at a node only for at most d time units. We prove the negative result that Lwait[d]=Lnowait.

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

Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita. Brief Announcement: Waiting in Dynamic Networks. 31st ACM Symposium on Principles of Distributed Computing (PODC), Jul 2013, Portugal. pp.99-100. ⟨hal-00854266⟩