Abstract:SIAM Journal on Computing, Volume 53, Issue 2, Page 247-286, April 2024. We study the problem of approximating the distances in an undirected weighted graph [math] by the distances in trees based on the notion of stretch. Focusing on decentralized models of computation such as the [math], [math], and semi-streaming models, our main results are as follows: (1) We develop a simple randomized algorithm that constructs a spanning tree such that the expected stretch of every edge is [math], where [math] is the number of nodes in [math]. If [math] is unweighted, then this algorithm can be implemented to run in [math] rounds in the [math] model, where [math] is the hop-diameter of [math]; thus our algorithm is asymptotically optimal in this case. In the weighted case, the run-time of the algorithm matches the currently best known bound for exact single source shortest path (SSSP) computations, which despite recent progress is still separated from the lower bound of [math] by polynomial factors. A naive attempt to replace exact SSSP computations with approximate ones in order to improve the complexity in the weighted case encounters a fundamental challenge, as the underlying decomposition technique fails to work under distance approximation. (2) We overcome this obstacle by developing a technique termed blurry ball growing. This technique, in combination with a clever algorithmic idea of Miller, Peng, and Xu (SPAA 2013), allows us to obtain low diameter graph decompositions with small edge cutting probabilities based solely on approximate SSSP computations. (3) Using these decompositions, we in turn obtain metric tree embedding algorithms in the vein of the celebrated work of Bartal (FOCS 1996), whose computational complexity is optimal up to polylogarithmic factors not only in the [math] model but also in the [math] and semi-streaming models. Our embeddings have the additional useful property that the tree can be mapped back to the original graph such that each edge is "used" only logarithmically many times. This property is of interest for capacitated problems and for simulating [math] algorithms on the tree into which the graph is embedded.

A 2-approximation for the bounded treewidth sparsest cut problem in $$\textsf{FPT}$$ Time

Optimized 2-Approximation of Treewidth

Approximate Max-Flow Min-Multicut Theorem for Graphs of Bounded Treewidth

FPT Approximation using Treewidth: Capacitated Vertex Cover, Target Set Selection and Vector Dominating Set

Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

Constant-factor approximations for asymmetric TSP on nearly-embeddable graphs

Faster Min-Cost Flow and Approximate Tree Decomposition on Bounded Treewidth Graphs

An FPT algorithm for node-disjoint subtrees problems parameterized by treewidth

A Linear Time Gap-ETH-Tight Approximation Scheme for TSP in the Euclidean Plane

Approximation Schemes for Steiner Forest on Planar Graphs and Graphs of Bounded Treewidth

Polynomial-time Approximation of Independent Set Parameterized by Treewidth

Tight Approximation Bounds on a Simple Algorithm for Minimum Average Search Time in Trees

Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs

Improved FPT Approximation for Non-metric TSP

Approximating bottleneck spanning trees on partitioned tuples of points

A Bi-Criteria FPTAS for Scheduling with Memory Constraints on Graph with Bounded Tree-width

On the Hardness of Approximating the $k$-Way Hypergraph Cut problem

Tight Approximation for Variants of Directed Steiner Tree Via State-Tree Decomposition and Linear Programming Rounding.

Approximating Small Sparse Cuts

Approximation Algorithms for Somek-Source Shortest Paths Spanning Tree Problems

Decentralized Low-Stretch Trees via Low Diameter Graph Decompositions