On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks

Matthias Függer (1, 2, 3, 4, 5) , Thomas Nowak (6) , Kyrill Winkler (7)

1 CNRS - Centre National de la Recherche Scientifique
2 LSV - Laboratoire Spécification et Vérification
3 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay
4 Université Paris-Saclay
5 MEXICO - Modeling and Exploitation of Interaction and Concurrency
6 LRI - Laboratoire de Recherche en Informatique
7 TU Wien - Vienna University of Technology = Technische Universität Wien

A nonsplit graph is a directed graph where each pair of nodes has a common incoming neighbor. We show that the radius of such graphs is in O(log log n), where n is the number of nodes. This is an exponential improvement on the previously best known upper bound of O(log n). We then generalize the result to products of nonsplit graphs. The analysis of nonsplit graph products has direct implications in the context of distributed systems, where processes operate in rounds and communicate via message passing in each round: communication graphs in several distributed systems naturally relate to nonsplit graphs and the graph product concisely represents relaying messages in such networks. Applying our results, we obtain improved bounds on the dynamic radius of such networks, i.e., the maximum number of rounds until all processes have received a message from a common process, if all processes relay messages in each round. We finally connect the dynamic radius to lower bounds for achieving consensus in dynamic networks.

Mots clés: information dissemination; dynamic networks; graph radius

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

Matthias Függer, Thomas Nowak, Kyrill Winkler. On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks. Discrete Applied Mathematics, 2020. ⟨hal-02946849⟩