11,395 research outputs found
Low-Congestion Shortcut and Graph Parameters
Distributed graph algorithms in the standard CONGEST model often exhibit the time-complexity lower bound of Omega~(sqrt{n} + D) rounds for many global problems, where n is the number of nodes and D is the diameter of the input graph. Since such a lower bound is derived from special "hard-core" instances, it does not necessarily apply to specific popular graph classes such as planar graphs. The concept of low-congestion shortcuts is initiated by Ghaffari and Haeupler [SODA2016] for addressing the design of CONGEST algorithms running fast in restricted network topologies. Specifically, given a specific graph class X, an f-round algorithm of constructing shortcuts of quality q for any instance in X results in O~(q + f)-round algorithms of solving several fundamental graph problems such as minimum spanning tree and minimum cut, for X. The main interest on this line is to identify the graph classes allowing the shortcuts which are efficient in the sense of breaking O~(sqrt{n}+D)-round general lower bounds.
In this paper, we consider the relationship between the quality of low-congestion shortcuts and three major graph parameters, chordality, diameter, and clique-width. The main contribution of the paper is threefold: (1) We show an O(1)-round algorithm which constructs a low-congestion shortcut with quality O(kD) for any k-chordal graph, and prove that the quality and running time of this construction is nearly optimal up to polylogarithmic factors. (2) We present two algorithms, each of which constructs a low-congestion shortcut with quality O~(n^{1/4}) in O~(n^{1/4}) rounds for graphs of D=3, and that with quality O~(n^{1/3}) in O~(n^{1/3}) rounds for graphs of D=4 respectively. These results obviously deduce two MST algorithms running in O~(n^{1/4}) and O~(n^{1/3}) rounds for D=3 and 4 respectively, which almost close the long-standing complexity gap of the MST construction in small-diameter graphs originally posed by Lotker et al. [Distributed Computing 2006]. (3) We show that bounding clique-width does not help the construction of good shortcuts by presenting a network topology of clique-width six where the construction of MST is as expensive as the general case
Round- and Message-Optimal Distributed Graph Algorithms
Distributed graph algorithms that separately optimize for either the number
of rounds used or the total number of messages sent have been studied
extensively. However, algorithms simultaneously efficient with respect to both
measures have been elusive. For example, only very recently was it shown that
for Minimum Spanning Tree (MST), an optimal message and round complexity is
achievable (up to polylog terms) by a single algorithm in the CONGEST model of
communication.
In this paper we provide algorithms that are simultaneously round- and
message-optimal for a number of well-studied distributed optimization problems.
Our main result is such a distributed algorithm for the fundamental primitive
of computing simple functions over each part of a graph partition. From this
algorithm we derive round- and message-optimal algorithms for multiple
problems, including MST, Approximate Min-Cut and Approximate Single Source
Shortest Paths, among others. On general graphs all of our algorithms achieve
worst-case optimal round complexity and
message complexity. Furthermore, our algorithms require an optimal
rounds and messages on planar, genus-bounded,
treewidth-bounded and pathwidth-bounded graphs.Comment: To appear in PODC 201
Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts
In this paper, we refine the (almost) existentially optimal distributed Laplacian solver recently developed by Forster, Goranci, Liu, Peng, Sun, and Ye (FOCS `21) into an (almost) universally optimal distributed Laplacian solver.
Specifically, when the topology is known (i.e., the Supported-CONGEST model), we show that any Laplacian system on an n-node graph with shortcut quality SQ(G) can be solved after n^{o(1)} SQ(G) log(1/?) rounds, where ? is the required accuracy. This almost matches our lower bound that guarantees that any correct algorithm on G requires ??(SQ(G)) rounds, even for a crude solution with ? ? 1/2. Several important implications hold in the unknown-topology (i.e., standard CONGEST) case: for excluded-minor graphs we get an almost universally optimal algorithm that terminates in D ? n^{o(1)} log(1/?) rounds, where D is the hop-diameter of the network; as well as n^{o(1)} log (1/?)-round algorithms for the case of SQ(G) ? n^{o(1)}, which holds for most networks of interest. Conditioned on improvements in state-of-the-art constructions of low-congestion shortcuts, the CONGEST results will match the Supported-CONGEST ones.
Moreover, following a recent line of work in distributed algorithms, we consider a hybrid communication model which enhances CONGEST with limited global power in the form of the node-capacitated clique (NCC) model. In this model, we show the existence of a Laplacian solver with round complexity n^{o(1)} log(1/?).
The unifying thread of these results, and our main technical contribution, is the study of a novel ?-congested generalization of the standard part-wise aggregation problem. We develop near-optimal algorithms for this primitive in the Supported-CONGEST model, almost-optimal algorithms in (standard) CONGEST (with the additional overhead due to standard barriers), as well as a simple algorithm for bounded-treewidth graphs with a quadratic dependence on the congestion ?. This primitive can be readily used to accelerate the Laplacian solver of Forster, Goranci, Liu, Peng, Sun, and Ye, and we believe it will find further independent applications in the future
- …