eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2023-02-01
47:1
47:21
10.4230/LIPIcs.ITCS.2023.47
article
Asymptotically Tight Bounds on the Time Complexity of Broadcast and Its Variants in Dynamic Networks
El-Hayek, Antoine
1
https://orcid.org/0000-0003-4268-7368
Henzinger, Monika
1
https://orcid.org/0000-0002-5008-6530
Schmid, Stefan
2
3
https://orcid.org/0000-0002-7798-1711
Faculty of Computer Science, Universität Wien, Austria
TU Berlin, Germany
Fraunhofer SIT, Darmstadt, Germany
Data dissemination is a fundamental task in distributed computing. This paper studies broadcast problems in various innovative models where the communication network connecting n processes is dynamic (e.g., due to mobility or failures) and controlled by an adversary.
In the first model, the processes transitively communicate their ids in synchronous rounds along a rooted tree given in each round by the adversary whose goal is to maximize the number of rounds until at least one id is known by all processes. Previous research has shown a ⌈(3n-1)/2⌉-2 lower bound and an O(nlog log n) upper bound. We show the first linear upper bound for this problem, namely ⌈(1+√2) n-1⌉ ≈ 2.4n.
We extend these results to the setting where the adversary gives in each round k-disjoint forests and their goal is to maximize the number of rounds until there is a set of k ids such that each process knows of at least one of them. We give a ⌈3(n-k)/2⌉-1 lower bound and a (π²+6)/6 n+1 ≈ 2.6n upper bound for this problem.
Finally, we study the setting where the adversary gives in each round a directed graph with k roots and their goal is to maximize the number of rounds until there exist k ids that are known by all processes. We give a ⌈3(n-3k)/2⌉+2 lower bound and a ⌈(1+√2)n⌉+k-1 ≈ 2.4n+k upper bound for this problem.
For the two latter problems no upper or lower bounds were previously known.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol251-itcs2023/LIPIcs.ITCS.2023.47/LIPIcs.ITCS.2023.47.pdf
broadcast
cover
k-broadcast
dynamic radius
dynamic graphs
oblivious message adversary
time complexity