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.

Parallel Planar Subgraph Isomorphism and Vertex Connectivity

A Parameterized Algorithm for Vertex and Edge Connectivity of Embedded Graphs

New Data Structures For Subgraph Connectivity

Kernelizing Problems on Planar Graphs in Sublinear Space and Polynomial Time

A Simple Partially Embedded Planarity Test Based on Vertex-Addition

Finding irrelevant vertices in linear time on bounded-genus graphs

Dynamic constant time parallel graph algorithms with sub-linear work

Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition

Subgraph-universal planar graphs for trees

Engineering Nearly Linear-time Algorithms for Small Vertex Connectivity

Highly Connected Steiner Subgraph -- Parameterized Algorithms and Applications to Hitting Set Problems

The Riemann-Lanczos Problem as an Exterior Differential System with Examples in 4 and 5 Dimensions

Fixed-Parameter Tractable Canonization and Isomorphism Test for Graphs of Bounded Treewidth

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

Planarizing Graphs and their Drawings by Vertex Splitting

Planar Graphs: Random Walks and Bipartiteness Testing

Shallow Minors, Graph Products, and Beyond-Planar Graphs

Improved Outerplanarity Bounds for Planar Graphs

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

Drawing Planar Graphs with Many Collinear Vertices

Separator Theorem and Algorithms for Planar Hyperbolic Graphs