ABSTRACT
A classic result in the study of spanners is the existence of light low-stretch spanners for Euclidean spaces. These spanners have arbitrary low stretch, and weight only a constant factor greater than that of the minimum spanning tree of the points (with dependence on the stretch and Euclidean dimension). A central open problem in this field asks whether other spaces admit low weight spanners as well -- for example metric space with low intrinsic dimension -- yet only a handful of results of this type are known.
In this paper, we consider snowflake metric spaces of low intrinsic dimension. The α-snowflake of a metric (X, δ) is the metric (X, δα), for 0 < α < 1. By utilizing an approach completely different than those used for Euclidean spaces, we demonstrate that snowflake metrics admit light spanners. Further, we show that the spanner is of diameter O(log n), a result not possible for Euclidean spaces. As an immediate corollary to our spanner, we obtain dramatic improvements in algorithms for the traveling salesman problem in this setting, achieving a polynomial-time approximation scheme with near-linear runtime. Along the way, we also show that all ℓp spaces admit light spanners, a result of interest in its own right.
- I. Abraham, Y. Bartal, and O. Neiman. Embedding metric spaces in their intrinsic dimension. In Proc. of 19th SODA, pages 363--372, 2008. Google ScholarDigital Library
- S. Arikati, D. Z. Chen, L. P. Chew, G. Das, M. Smid, and C. D. Zaroliagis. Planar spanners and approximate shortest path queries among obstacles in the plane. In Proc. of 4th ESA, pages 514--528. 1996. Google ScholarDigital Library
- I. Althöfer, G. Das, D. P. Dobkin, D. Joseph, and J. Soares. On sparse spanners of weighted graphs. Discrete & Computational Geometry, 9:81--100, 1993. Google ScholarCross Ref
- S. Arya, G. Das, D. M. Mount, J. S. Salowe, and M. H. M. Smid. Euclidean spanners: short, thin, and lanky. In Proc. of 27th STOC, pages 489--498, 1995. Google ScholarDigital Library
- S. Arya, D. M. Mount, and M. H. M. Smid. Randomized and deterministic algorithms for geometric spanners of small diameter. In Proc. of 35th FOCS, pages 703--712, 1994. Google ScholarDigital Library
- S. Arora. Polynomial time approximation schemes for euclidean traveling salesman and other geometric problems. J. ACM, 45:753--782, 1998. Google ScholarDigital Library
- S. Arya and M. H. M. Smid. Efficient construction of a bounded degree spanner with low weight. Algorithmica, 17(1):33--54, 1997.Google ScholarCross Ref
- P. Assouad. Plongements lipschitziens dans Rn. Bull. Soc. Math. France, 111(4):429--448, 1983.Google ScholarCross Ref
- Y. Bartal and L. Gottlieb. A linear time approximation scheme for euclidean tsp. In Proc. of 54th FOCS, pages 698--706, 2013. Google ScholarDigital Library
- Y. Bartal, L. Gottlieb, and R. Krauthgamer. The traveling salesman problem: low-dimensionality implies a polynomial time approximation scheme. In Proc. of 44th STOC, pages 663--672, 2012. Google ScholarDigital Library
- Y. Bartal, B. Recht, and L. J. Schulman. Dimensionality reduction: Beyond the johnson-lindenstrauss bound. In Proc. of 22nd SODA, pages 868--887. 2011. Google ScholarDigital Library
- T.-H. H. Chan and A. Gupta. Small hop-diameter sparse spanners for doubling metrics. In Proc. of 17th SODA, pages 70--78, 2006. Google ScholarDigital Library
- T.-H. H. Chan, A. Gupta, B. M. Maggs, and S. Zhou. On hierarchical routing in doubling metrics. In Proc. of 16th SODA, pages 762--771, 2005. Google ScholarDigital Library
- T.-H. H. Chan, M. Li, L. Ning, and S. Solomon. New doubling spanners: Better and simpler. In Proc. of the 40th ICALP (1), pages 315--327, 2013. Google ScholarDigital Library
- Y. Dinitz, M. Elkin, and S. Solomon. Shallow-low-light trees, and tight lower bounds for Euclidean spanners. In Proc. of 49th FOCS, pages 519--528, 2008. Google ScholarDigital Library
- E. D. Demaine, M. T. Hajiaghayi, and B. Mohar. Approximation algorithms via contraction decomposition. Combinatorica, 30(5):533--552, 2010. Google ScholarDigital Library
- G. Das, P. J. Heffernan, and G. Narasimhan. Optimally sparse spanners in 3-dimensional Euclidean space. In Proc. of 9th SOCG, pages 53--62, 1993. Google ScholarDigital Library
- M. Elkin and S. Solomon. Optimal Euclidean spanners: really short, thin and lanky. In Proc. of 45th STOC, pages 646--654, 2013. Google ScholarDigital Library
- J. Gao, L. J. Guibas, and A. Nguyen. Deformable spanners and applications. In Proc. of 20th SoCG, pages 190--199, 2004. Google ScholarDigital Library
- M. Grigni and H. Hung. Light spanners in bounded pathwidth graphs. In Proc. of 37th MFCS, pages 467--477, 2012. Google ScholarDigital Library
- L. Gottlieb and R. Krauthgamer. A nonlinear approach to dimension reduction. In Proc. of 22nd SODA, pages 888--899, 2011. Google ScholarDigital Library
- A. Gupta, R. Krauthgamer, and J. R. Lee. Bounded geometries, fractals, and low-distortion embeddings. In Proc. of 44th FOCS, page 534?543, 2003. Google ScholarDigital Library
- L. Gottlieb and L. Roditty. Improved algorithms for fully dynamic geometric spanners and geometric routing. In Proc. of 19th SODA, pages 591--600, 2008. Google ScholarDigital Library
- L. Gottlieb and L. Roditty. An optimal dynamic spanner for doubling metric spaces. In Proc. of 16th ESA, pages 478--489, 2008. Google ScholarDigital Library
- S. Har-Peled and M. Mendel. Fast construction of nets in low-dimensional metrics and their applications. SIAM J. Comput., 35(5):1148--1184, 2006. Google ScholarDigital Library
- I. A. Kanj, L. PerkoviÄĞ, and G. Xia. Computing lightweight spanners locally. In Prof. of 22nd Disc, pages 365--378. 2008. Google ScholarDigital Library
- J. R. Lee, M. Mendel, and A. Naor. Metric structures in l1: Dimension, snowflakes, and average distortion. In Proc. of 4th LATIN, pages 401--412, 2004.Google Scholar
- O. Neiman. Low dimensional embedding of doubling metrics. In Proc. of 11th WAOA, 2013.Google Scholar
- A. Naor and O. Neiman. AssouadâĂŹs theorem with dimension independent of the snowflaking. Revista Matematica Iberoamericana, 28(4):1--21, 2012.Google ScholarCross Ref
- S. B. Rao and W. D. Smith. Approximating geometrical graphs via "spanners" and "banyans". In Proc. of 30th STOC, pages 540--550, 1998. Google ScholarDigital Library
- M. H. M. Smid. The weak gap property in metric spaces of bounded doubling dimension. In Proc. of Efficient Algorithms, pages 275--289, 2009. Google ScholarDigital Library
- S. Solomon. An optimal time construction of Euclidean sparse spanners with tiny diameter. In Proc. of 22nd SODA, pages 820--839, 2011. Google ScholarDigital Library
- S. Solomon. From hierarchical partitions to hierarchical covers: Optimal fault-tolerant spanners for doubling metrics. Tech. Report, CoRR abs/1304.8135, 2013.Google Scholar
Index Terms
- Light spanners for Snowflake Metrics
Recommendations
Light Spanners for High Dimensional Norms via Stochastic Decompositions
AbstractSpanners for low dimensional spaces (e.g. Euclidean space of constant dimension, or doubling metrics) are well understood. This lies in contrast to the situation in high dimensional spaces, where except for the work of Har–Peled, Indyk and ...
Low-Light Trees, and Tight Lower Bounds for Euclidean Spanners
We show that for every n-point metric space M and positive integer k, there exists a spanning tree T with unweighted diameter O(k) and weight w(T)=O(k⋅n 1/k )⋅w(MST(M)), and a spanning tree T′ with weight w(T′)=O(k)⋅w(MST(M)) and unweighted diameter O(k⋅...
Small hop-diameter sparse spanners for doubling metrics
SODA '06: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithmGiven a metric M = (V, d), a graph G = (V, E) is a t-spanner for M if every pair of nodes in V has a "short" path (i.e., of length at most t times their actual distance) between them in the spanner. Furthermore, this spanner has a hop diameter bounded ...
Comments