A tight bound on approximating arbitrary metrics by tree metrics

In this paper, we show that any n point metric space can be embedded into a distribution over dominating tree metrics such that the expected stretch of any edge is O(log n). This improves upon the result of Bartal who gave a bound of O(log n log log n). Moreover, our result is existentially tight; there exist metric spaces where any tree embedding must have distortion Ω(log n)-distortion. This problem lies at the heart of numerous approximation and online algorithms including ones for group Steiner tree, metric labeling, buy-at-bulk network design and metrical task system. Our result improves the performance guarantees for all of these problems.

[1]  T. C. Hu.  Optimum Communication Spanning Trees , 1974, SIAM J. Comput..

[2]  J. Bourgain.  On lipschitz embedding of finite metric spaces in Hilbert space , 1985 .

[3]  P. Raghavan.  Probabilistic construction of deterministic algorithms: Approximating packing integer programs , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[4]  Frank Thomson Leighton,et al.  An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[5]  B. Awerbuch,et al.  Concurrent online tracking of mobile users , 1991, SIGCOMM '91.

[6]  Philip N. Klein,et al.  Excluded minors, network decomposition, and multicommodity flow , 1993, STOC.

[7]  Paul D. Seymour,et al.  Packing directed circuits fractionally , 1995, Comb..

[8]  Noga Alon,et al.  A Graph-Theoretic Game and Its Application to the k-Server Problem , 1995, SIAM J. Comput..

[9]  Nathan Linial,et al.  The geometry of graphs and some of its algorithmic applications , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[10]  Joseph Naor,et al.  Divide-and-conquer approximation algorithms via spreading metrics , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[11]  Joseph Naor,et al.  Divide-and-Conquer Approximation Algorithms via Spreading Metrics (Extended Abstract). , 1995, FOCS 1995.

[12]  Bruce A. Reed,et al.  Packing directed circuits , 1996, Comb..

[13]  Mihalis Yannakakis,et al.  Approximate Max-Flow Min-(Multi)Cut Theorems and Their Applications , 1996, SIAM J. Comput..

[14]  Yair Bartal,et al.  Probabilistic approximation of metric spaces and its algorithmic applications , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[15]  Andrew Tomkins,et al.  A polylog(n)-competitive algorithm for metrical task systems , 1997, STOC '97.

[16]  Yossi Azar,et al.  Buy-at-bulk network design , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[17]  Adi Rosén,et al.  The Distributed k-Server Problem - A Competitive Distributed Translator for k-Server Algorithms , 1997, J. Algorithms.

[18]  Sudipto Guha,et al.  Approximating a finite metric by a small number of tree metrics , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[19]  D. Peleg,et al.  Deterministic Polylog Approximation for Minimum Communication Spanning Trees , 1998, ICALP.

[20]  Chuan Yi Tang,et al.  A polynomial time approximation scheme for minimum routing cost spanning trees , 1998, SODA '98.

[21]  R. Ravi,et al.  A polylogarithmic approximation algorithm for the group Steiner tree problem , 2000, SODA '98.

[22]  Ran Raz,et al.  Lower Bounds on the Distortion of Embedding Finite Metric Spaces in Graphs , 1998, Discret. Comput. Geom..

[23]  Uriel Feige,et al.  Approximating the bandwidth via volume respecting embeddings (extended abstract) , 1998, STOC '98.

[24]  Sudipto Guha,et al.  Rounding via Trees : Deterministic Approximation Algorithms forGroup , 1998 .

[25]  Baruch Awerbuch,et al.  Topology aggregation for directed graph , 1998, Proceedings Third IEEE Symposium on Computers and Communications. ISCC'98. (Cat. No.98EX166).

[26]  Yuval Rabani,et al.  An O(log k) Approximate Min-Cut Max-Flow Theorem and Approximation Algorithm , 1998, SIAM J. Comput..

[27]  Yair Bartal,et al.  On approximating arbitrary metrices by tree metrics , 1998, STOC '98.

[28]  Satish Rao,et al.  Small distortion and volume preserving embeddings for planar and Euclidean metrics , 1999, SCG '99.

[29]  Cuts, trees and l/sub 1/-embeddings of graphs , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[30]  Placement Algorithms for Hierarchical Cooperative Caching , 1999, J. Algorithms.

[31]  Amos Fiat,et al.  Better algorithms for unfair metrical task systems and applications , 2000, STOC '00.

[32]  Lixia Zhang,et al.  On the placement of Internet instrumentation , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[33]  R. Ravi,et al.  An approximation algorithm for the covering Steiner problem , 2000, SODA '00.

[34]  Joseph Naor,et al.  Approximation algorithms for the metric labeling problem via a new linear programming formulation , 2001, SODA '01.

[35]  Baruch Awerbuch,et al.  Topology aggregation for directed graphs , 2001, TNET.

[36]  Moses Charikar,et al.  Approximating min-sum k-clustering in metric spaces , 2001, STOC '01.

[37]  R. Ravi,et al.  On approximating planar metrics by tree metrics , 2001, Inf. Process. Lett..

[38]  Anupam Gupta,et al.  Steiner points in tree metrics don't (really) help , 2001, SODA '01.

[39]  Yuval Rabani,et al.  Approximation algorithms for the 0-extension problem , 2001, SODA '01.

[40]  Maurice Herlihy,et al.  Competitive concurrent distributed queuing , 2001, PODC '01.

[41]  Jiri Matousek,et al.  Lectures on discrete geometry , 2002, Graduate texts in mathematics.

[42]  Éva Tardos,et al.  Approximation algorithms for classification problems with pairwise relationships: metric labeling and Markov random fields , 2002, JACM.

[43]  Anupam Gupta,et al.  Embedding k-outerplanar graphs into ℓ1 , 2003, SODA '03.

[44]  Aravind Srinivasan,et al.  On the Covering Steiner Problem , 2003, FSTTCS.

[45]  Yuri Ilan,et al.  A Lower Bound on the Distortion of Embedding Planar Metrics into Euclidean Space , 2003, Discret. Comput. Geom..

[46]  Yair Bartal,et al.  Multi-embedding and path approximation of metric spaces , 2003, SODA '03.

[47]  Satish Rao,et al.  An improved approximation algorithm for the 0-extension problem , 2003, SODA '03.

[48]  P. Indyk,et al.  Low-Distortion Embeddings of Finite Metric Spaces , 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

[49]  Kunal Talwar,et al.  A tight bound on approximating arbitrary metrics by tree metrics , 2004, J. Comput. Syst. Sci..

[50]  Robert Krauthgamer,et al.  Approximate classification via earthmover metrics , 2004, SODA '04.

[51]  Anupam Gupta,et al.  Cuts, Trees and ℓ1-Embeddings of Graphs* , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[52]  Robert Krauthgamer,et al.  Measured descent: a new embedding method for finite metrics , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.