×

Sublinear algorithms in \(T\)-interval dynamic networks. (English) Zbl 07921941

Summary: 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\geq 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 \(\Omega (n)\) rounds, even for \(T=\infty\) 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 \geq c\cdot d^2 \log^2n\). 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 \(\Theta (n)\) term. This paper further develops novel algorithms for solving Max/Median/Sum/LeaderElect/Consensus/ConfirmedFlood, while incurring \(O(d^3 \mathrm{polylog}(n))\) complexity. Again, for all these problems, our algorithms are the first ones whose time complexity does not contain a \(\Theta (n)\) term.

MSC:

68Wxx Algorithms in computer science
05Cxx Graph theory
Full Text: DOI

References:

[1] Jahja, I., Yu, H.: Sublinear algorithms in \(T\)-interval dynamic networks. In: SPAA (2020)
[2] Abshoff, S., Benter, M., Cord-Landwehr, A., Malatyali, M., Meyer auf der Heide, F.: Token dissemination in geometric dynamic networks. In: ALGOSENSORS (2013)
[3] Ahmadi, M., Kuhn, F.: Multi-message broadcast in dynamic radio networks. In: ALGOSENSORS (2017)
[4] Brandes, P., Meyer auf der Heide, F.: Distributed computing in fault-prone dynamic networks. In: International Workshop on Theoretical Aspects of Dynamic Distributed Systems (2012)
[5] Das Sarma, A., Molla, A., Pandurangan, G.: Fast distributed computation in dynamic networks via random walks. In: DISC (2012)
[6] Haeupler, B., Karger, D.: Faster information dissemination in dynamic networks via network coding. In: PODC (2011)
[7] Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: STOC (2010) · Zbl 1293.68305
[8] Peleg, D., Distributed Computing: A Locality-Sensitive Approach, 1987, Philadelphia, Pennsylvania: Society for Industrial and Applied Mathematics, Philadelphia, Pennsylvania
[9] Lynch, N., Distributed Algorithms, 1996, San Francisco: Morgan Kaufmann, San Francisco · Zbl 0877.68061
[10] Yu, H.; Zhao, Y.; Jahja, I., The cost of unknown diameter in dynamic networks, J. ACM, 65, 5, 31-13134, 2018 · Zbl 1426.68228 · doi:10.1145/3209665
[11] Chakraborty, M.; Milani, A.; Mosteiro, M., A faster exact-counting protocol for anonymous dynamic networks, Algorithmica, 80, 11, 3023-3049, 2018 · Zbl 1410.68047 · doi:10.1007/s00453-017-0367-4
[12] Kowalski, D., Mosteiro, M.: Polynomial counting in anonymous dynamic networks with applications to anonymous dynamic algebraic computations. In: ICALP (2018)
[13] Luna, G., Baldoni, R., Bonomi, S., Chatzigiannakis, I.: Conscious and unconscious counting on anonymous dynamic networks. In: International Conference on Distributed Computing and Networking (2014)
[14] Luna, G., Baldoni, R., Bonomi, S., Chatzigiannakis, I.: Counting in anonymous dynamic networks under worst-case adversary. In: IEEE International Conference on Distributed Computing Systems (2014)
[15] Luna, G., Bonomi, S., Chatzigiannakis, I., Baldoni, R.: Counting in anonymous dynamic networks: an experimental perspective. In: ALGOSENSORS (2013)
[16] Michail, O., Chatzigiannakis, I., Spirakis, P.: Naming and counting in anonymous unknown dynamic networks. In: Proceedings of International Symposium on Stabilization, Safety, and Security of Distributed Systems (2013)
[17] Chen, B.; Yu, H.; Zhao, Y.; Gibbons, PB, The cost of fault tolerance in multi-party communication complexity, J. ACM, 61, 3, 19-11964, 2014 · Zbl 1295.68115 · doi:10.1145/2597633
[18] Kuhn, F., Oshman, R.: The complexity of data aggregation in directed networks. In: DISC (2011)
[19] Kuhn, F., Moses, Y., Oshman, R.: Coordinated consensus in dynamic networks. In: PODC (2011) · Zbl 1321.68028
[20] Charron-Bost, B., Fugger, M., Nowak, T.: Approximate consensus in highly dynamic networks: the role of averaging algorithms. In: ICALP (2015)
[21] Coulouma, E., Godard, E.: A characterization of dynamic networks where consensus is solvable. In: SIROCCO (2013)
[22] Schmid, U.; Weiss, B.; Keidar, I., Impossibility results and lower bounds for consensus under link failures, SIAM J. Comput., 38, 5, 1912-1951, 2009 · Zbl 1192.68377 · doi:10.1137/S009753970443999X
[23] Augustine, J., Pandurangan, G., Robinson, P.: Fast byzantine agreement in dynamic networks. In: PODC (2013)
[24] Augustine, J., Pandurangan, G., Robinson, P.: Fast byzantine leader election in dynamic networks. In: DISC (2015)
[25] Ingram, R., Shields, P., Walter, J.: An asynchronous leader election algorithm for dynamic networks. In: IPDPS (2009)
[26] Dolev, S., Self-Stabilization, 2000, Cambridge: MIT Press, Cambridge · Zbl 1026.93001 · doi:10.7551/mitpress/6156.001.0001
[27] Chlebus, B., Kowalski, D., Olkowski, J., Olkowski, J.: Disconnected agreement in networks prone to link failures. In: International Symposium on Stabilizing, Safety, and Security of Distributed Systems (2023)
[28] Hou, R., Jahja, I., Sun, Y., Wu, J., Yu, H.: Achieving sublinear complexity under constant \(T\) in \(T\)-interval dynamic networks. In: SPAA (2022)
[29] Kuhn, F.; Oshman, R., Dynamic networks: models and algorithms, SIGACT News, 42, 1, 82-96, 2011 · doi:10.1145/1959045.1959064
[30] Almeida, P.; Baquero, C.; Farach-Colton, M.; Jesus, P.; Mosteiro, MA, Fault-tolerant aggregation: flow-updating meets mass-distribution, Distributed Comput., 30, 4, 281-291, 2017 · Zbl 1420.68022 · doi:10.1007/s00446-016-0288-5
[31] Kempe, D., Dobra, A., Gehrke, J.: Gossip-based computation of aggregate information. In: FOCS (2003)
[32] Terpstra, W.W., Leng, C., Buchmann, A.P.: Brief announcement: practical summation via gossip. In: PODC (2007)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.