Abstract:We consider the distributed and parallel construction of low-diameter decompositions with strong diameter for (weighted) graphs and (weighted) graphs that can be separated through $k \in \tilde{O}(1)$ shortest paths. This class of graphs includes planar graphs, graphs of bounded treewidth, and graphs that exclude a fixed minor $K_r$. We present algorithms in the PRAM, CONGEST, and the novel HYBRID communication model that are competitive in all relevant parameters. Given $\mathcal{D} > 0$, our low-diameter decomposition algorithm divides the graph into connected clusters of strong diameter $\mathcal{D}$. For a arbitrary graph, an edge $e \in E$ of length $\ell_e$ is cut between two clusters with probability $O(\frac{\ell_e\cdot\log(n)}{\mathcal{D} })$. If the graph can be separated by $k \in \tilde{O}(1)$ paths, the probability improves to $O(\frac{\ell_e\cdot\log \log n}{\mathcal{D} })$. In either case, the decompositions can be computed in $\tilde{O}(1)$ depth and $\tilde{O}(kn)$ work in the PRAM and $\tilde{O}(1)$ time in the HYBRID model. In CONGEST, the runtimes are $\tilde{O}(HD + \sqrt{n})$ and $\tilde{O}(HD)$ respectively. All these results hold w.h.p. Broadly speaking, we present distributed and parallel implementations of sequential divide-and-conquer algorithms where we replace exact shortest paths with approximate shortest paths. In contrast to exact paths, these can be efficiently computed in the distributed and parallel setting [STOC '22]. Further, and perhaps more importantly, we show that instead of explicitly computing vertex-separators to enable efficient parallelization of these algorithms, it suffices to sample a few random paths of bounded length and the nodes close to them. Thereby, we do not require complex embeddings whose implementation is unknown in the distributed and parallel setting.

On the Combinatorial Diameters of Parallel and Series Connections

On the Diameter of a 2-Sum of Polyhedra

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

Polytope Extensions with Linear Diameters

On the Circuit Diameter of Some Combinatorial Polytopes

The foundation of generalized parallel connections, 2-sums, and segment-cosegment exchanges of matroids

Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums

On the Combinatorial Complexity of Approximating Polytopes

Combinatorics of Lopsided Sets

Many neighborly polytopes and oriented matroids

Directed Hypercube Routing, a Generalized Lehman-Ron Theorem, and Monotonicity Testing

Log-concavity in Combinatorics

Enumeration of points, lines, planes, etc

Transversal numbers of simplicial polytopes, spheres, and pure complexes

On the Length of Monotone Paths in Polyhedra

A Spectral Approach to Polytope Diameter

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

Bounds on Cheeger-Gromov invariants and simplicial complexity of triangulated manifolds

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Intersections of matroids

Distributed And Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs