The Next 700 Impossibility Results in Time-Varying Graphs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2014

The Next 700 Impossibility Results in Time-Varying Graphs

Abstract

We address highly dynamic distributed systems modeled by time-varying graphs (TVGs). We interest in proof of impossibility results that often use informal arguments about convergence. First, we provide a distance among TVGs to define correctly the convergence of TVG sequences. Next, we provide a general framework that formally proves the convergence of the sequence of executions of any deterministic algorithm over TVGs of any convergent sequence of TVGs. Finally, we illustrate the relevance of the above result by proving that no deterministic algorithm exists to compute the underlying graph of any connected-over-time TVG, i.e., any TVG of the weakest class of long-lived TVGs.
Fichier principal
Vignette du fichier
IPL.pdf (316.86 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01097109 , version 1 (18-12-2014)

Identifiers

Cite

Nicolas Braud-Santoni, Swan Dubois, Mohamed Hamza Kaaouachi, Franck Petit. The Next 700 Impossibility Results in Time-Varying Graphs. [Research Report] UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL. 2014. ⟨hal-01097109⟩
203 View
140 Download

Altmetric

Share

Gmail Facebook X LinkedIn More