Sublinear Algorithms in T-Interval Dynamic Networks
We consider standard T - interval dynamic networks , under the synchronous timing model and the broadcast CONGEST model. In a T - interval dynamic network , the set of nodes is always fixed and there are no node failures. The edges in the network are always undirected, but the set of edges in the to...
Gespeichert in:
| Veröffentlicht in: | Algorithmica Jg. 86; H. 9; S. 2959 - 2996 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
New York
Springer US
01.09.2024
Springer Nature B.V |
| Schlagworte: | |
| ISSN: | 0178-4617, 1432-0541 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | We consider standard
T
-
interval dynamic networks
, under the synchronous timing model and the broadcast CONGEST model. In a
T
-
interval dynamic network
, the set of nodes is always fixed and there are no node failures. The edges in the network are always undirected, but the set of edges in the topology may change arbitrarily from round to round, as determined by some
adversary
and subject to the following constraint: For every
T
consecutive rounds, the topologies in those rounds must contain a common connected spanning subgraph. Let
H
r
to be the maximum (in terms of number of edges) such subgraph for round
r
through
r
+
T
-
1
. We define the
backbone diameter
d
of a
T
-interval dynamic network to be the maximum diameter of all such
H
r
’s, for
r
≥
1
. We use
n
to denote the number of nodes in the network. Within such a context, we consider a range of fundamental distributed computing problems including
Count
/
Max
/
Median
/
Sum
/
LeaderElect
/
Consensus
/
ConfirmedFlood
. Existing algorithms for these problems all have time complexity of
Ω
(
n
)
rounds, even for
T
=
∞
and even when
d
is as small as
O
(1). This paper presents a novel approach/framework, based on the idea of
massively parallel aggregation
. Following this approach, we develop a novel deterministic
Count
algorithm with
O
(
d
3
log
2
n
)
complexity, for
T
-interval dynamic networks with
T
≥
c
·
d
2
log
2
n
. Here
c
is a (sufficiently large) constant independent of
d
,
n
, and
T
. To our knowledge, our algorithm is the very first such algorithm whose complexity does not contain a
Θ
(
n
)
term. This paper further develops novel algorithms for solving
Max
/
Median
/
Sum
/
LeaderElect
/
Consensus
/
ConfirmedFlood
, while incurring
O
(
d
3
polylog
(
n
)
)
complexity. Again, for all these problems, our algorithms are the first ones whose time complexity does not contain a
Θ
(
n
)
term. |
|---|---|
| Bibliographie: | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ISSN: | 0178-4617 1432-0541 |
| DOI: | 10.1007/s00453-024-01250-3 |