Lune

FOCS2022Top-tier venue

Deterministic Low-Diameter Decompositions for Weighted Graphs and Distributed and Parallel Applications

Václav Rozhon, Michael Elkin, Christoph Grunau, Bernhard Haeupler

2022Year
5Citations
9Top-tier citations

Abstract

This paper presents new deterministic and distributed low-diameter decomposition algorithms for weighted graphs. In particular, we show that if one can efficiently compute approximate distances in a parallel or a distributed setting, one can also efficiently compute low-diameter decompositions. This consequently implies solutions to many fundamental distance based problems using a polylogarithmic number of approximate distance computations.Our low-diameter decomposition generalizes and extends the line of work starting from [RG20] to weighted graphs in a very model-independent manner. Moreover, our clustering results have additional useful properties, including strong-diameter guarantees, separation properties, restricting cluster centers to specified terminals, and more. Applications include:–The first near-linear work and polylogarithmic depth randomized and deterministic parallel algorithm for low-stretch spanning trees (LSST) with polylogarithmic stretch. Previously, the best parallel LSST algorithm required m.no(1)m.n^{o(1)} work and no(1)n^{o(1)} depth and was inherently randomized. No deterministic LSST algorithm with truly sub-quadratic work and sub-linear depth was known.–The first near-linear work and polylogarithmic depth deterministic algorithm for computing an ℓ1−\ell_{1}-embedding into polylogarithmic dimensional space with polylogarithmic distortion. The best prior deterministic algorithms for ℓ1\ell_{1}-embeddings either require large polynomial work or are inherently sequential.Even when we apply our techniques to the classical problem of computing a ball-carving with strong-diameter O(log⁡2n)O(\log^{2}n) in an unweighted graph, our new clustering algorithm still leads to an improvement in round complexity from O(log⁡10n)O(\log^{10}n) rounds [CG21] to O(log⁡4n)O(\log^{4}n).

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 76e7e0ae-bdf2-4992-b793-5bea3f4e9ace

Cited by top-tier papers9

Ask how each one uses it

Builds on8

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines