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.

An efficient reconstruction of a graph from its line graph in parallel

Parallel Graph Drawing Algorithm for Bipartite Planar Graphs

Parallel Algorithms for Maximal Linear Forests

A Parallel Algorithm For Finding All The Roots Of A Polynomial

Dynamic constant time parallel graph algorithms with sub-linear work

Minimum Linear Arrangement of Series-Parallel Graphs

Parallel Subgraph Listing in a Large-Scale Graph

Recursive-Parallel Algorithm for Solving the Maximum Common Subgraph Problem

A Parallel Algorithm for Finding All Elementary Circuits of a Directed Graph

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

Nearly Work-Efficient Parallel DFS in Undirected Graphs

Efficient Parallel D-Core Decomposition at Scale

Parallel Graph Decompositions Using Random Shifts

Algorithms for the Reconstruction of Genomic Structures with Proofs of Their Low Polynomial Complexity and High Exactness

Reconstruction of geometric random graphs with the Simple algorithm

A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors

Engineering a scalable high quality graph partitioner

Reverse Line Graph Construction: The Matrix Relabeling Algorithm MARINLINGA Versus Roussopoulos's Algorithm

Parallel Write-Efficient Algorithms and Data Structures for Computational Geometry

Edge-Parallel Graph Encoder Embedding

Parallel Order-Based Core Maintenance in Dynamic Graphs