Latency, Capacity, and Distributed MST

Consider the problem of building a minimum-weight spanning tree for a given graph $G$. In this paper, we study the cost of distributed MST construction where each edge has a latency and a capacity, along with the weight. Edge latencies capture the delay on the links of the communication network, while capacity captures their throughput (in this case the rate at which messages can be sent). Depending on how the edge latencies relate to the edge weights, we provide several tight bounds on the time required to construct an MST. When there is no correlation between the latencies and the weights, we show that (unlike the sub-linear time algorithms in the standard \textsf{CONGEST} model, on small diameter graphs), the best time complexity that can be achieved is $\tilde{\Theta}(D+n/c)$, where edges have capacity $c$ and $D$ refers to the latency diameter of the graph. However, if we restrict all edges to have equal latency $\ell$ and capacity $c$, we give an algorithm that constructs an MST in $\tilde{O}(D + \sqrt{n\ell/c})$ time. Next, we consider the case where latencies are exactly equal to the weights. Here we show that, perhaps surprisingly, the bottleneck parameter in determining the running time of an algorithm is the total weight $W$ of the constructed MST by showing a tight bound of $\tilde{\Theta}(D + \sqrt{W/c})$. In each case, we provide matching lower bounds.

[1]  Éva Tardos,et al.  Algorithm design , 2005 .

[2]  D. Peleg,et al.  On the complexity of universal leader election , 2013, PODC '13.

[3]  Gurdip Singh,et al.  A highly asynchronous minimum spanning tree protocol , 1995, Distributed Computing.

[4]  Francis Y. L. Chin,et al.  An almost linear time and O(nlogn+e) Messages distributed algorithm for minimum-weight spanning trees , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[5]  Idit Keidar,et al.  Evaluating the running time of a communication round over the internet , 2002, PODC '02.

[6]  Jaroslav Nesetril,et al.  Otakar Boruvka on minimum spanning tree problem Translation of both the 1926 papers, comments, history , 2001, Discret. Math..

[7]  David Peleg,et al.  Distributed Matroid Basis Completion via Elimination Upcast and Distributed Correction of Minimum-Weight Spanning Trees , 1998, ICALP.

[8]  Pierre A. Humblet,et al.  A Distributed Algorithm for Minimum-Weight Spanning Trees , 1983, TOPL.

[9]  Michael Elkin An Unconditional Lower Bound on the Time-Approximation Trade-off for the Distributed Minimum Spanning Tree Problem , 2006, SIAM J. Comput..

[10]  Richard Cole,et al.  Deterministic Coin Tossing with Applications to Optimal Parallel List Ranking , 2018, Inf. Control..

[11]  Bernhard Haeupler,et al.  Round- and Message-Optimal Distributed Graph Algorithms , 2018, PODC.

[12]  Michele Scquizzato,et al.  A Time- and Message-Optimal Distributed Algorithm for Minimum Spanning Trees , 2020, ACM Trans. Algorithms.

[13]  Shay Kutten,et al.  Fast Distributed Construction of Small k-Dominating Sets and Applications , 1998, J. Algorithms.

[14]  Ali Mashreghi,et al.  Broadcast and minimum spanning tree with o(m) messages in the asynchronous CONGEST model , 2018, DISC.

[15]  David Peleg,et al.  A near-tight lower bound on the time complexity of distributed MST construction , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[16]  Peter Robinson,et al.  The Distributed Minimum Spanning Tree Problem , 2018, Bull. EATCS.

[17]  Robert E. Tarjan,et al.  Data structures and network algorithms , 1983, CBMS-NSF regional conference series in applied mathematics.

[18]  David Peleg,et al.  Distributed Computing: A Locality-Sensitive Approach , 1987 .

[19]  Peter Robinson,et al.  Slow Links, Fast Links, and the Cost of Gossip , 2018, 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).

[20]  Mikkel Thorup,et al.  Construction and Impromptu Repair of an MST in a Distributed Network with o(m) Communication , 2015, PODC.

[21]  Fabian Kuhn,et al.  Distributed MST and Broadcast with Fewer Messages, and Faster Gossiping , 2018, DISC.

[22]  Baruch Awerbuch,et al.  Cost-sensitive analysis of communication protocols , 1990, PODC '90.

[23]  Baruch Awerbuch,et al.  Optimal distributed algorithms for minimum weight spanning tree, counting, leader election, and related problems , 1987, STOC.

[24]  Gopal Pandurangan,et al.  Time-Message Trade-Offs in Distributed Algorithms , 2018, DISC.

[25]  Michael Elkin,et al.  A Simple Deterministic Distributed MST Algorithm, with Near-Optimal Time and Message Complexities , 2017, PODC.

[26]  Michael Elkin,et al.  A faster distributed protocol for constructing a minimum spanning tree , 2004, SODA '04.

[27]  Roy Friedman,et al.  Distributed Wisdom: Analyzing Distributed-System Performance--Latency vs. Throughput , 2006, IEEE Distributed Syst. Online.

[28]  Maleq Khan,et al.  A fast distributed approximation algorithm for minimum spanning trees , 2007, Distributed Computing.