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.

Design and Analysis of Asymptotically Optimal Randomized Tree Embedding Algorithms in Static Networks

Dynamic Network Embeddings for Network Evolution Analysis.

A Tree-Structured Deterministic Small-World Network

Random Walks on a Tree with Applications.

Structure Diversity and Mean Hitting Time for Random Walks on Stochastic Uniform Growth Tree Networks

Random Walks on Stochastic and Deterministic Small-World Networks.

A Tree-Structured Deterministic Self-Similar Network.

Decentralized Low-Stretch Trees via Low Diameter Graph Decompositions

Efficient Attributed Network Embedding Via Recursive Randomized Hashing

Online Probabilistic Metric Embedding: A General Framework for Bypassing Inherent Bounds

A Simple and Powerful Framework for Stable Dynamic Network Embedding

Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications

Random Walks in Small-World Exponential Treelike Networks

Determining Mean First-Passage Time for Random Walks on Stochastic Uniform Growth Tree Networks

Visualizing Evolving Trees

Efficient Tree-SVD for Subset Node Embedding over Large Dynamic Graphs.

Algorithms for 2-connected network design and flexible Steiner trees with a constant number of terminals

Optimization of layout for embedding half hypercube into conventional tree architectures

Mean Hitting Time on Recursive Growth Tree Network

Complexity and Approximate Algorithm of Shortest Paths in Dynamic Networks

Tree networks of real-world data: analysis of efficiency and spatiotemporal scales