Abstract
A prominent tool in many problems involving metric spaces is a notion of randomized low-diameter decomposition. Loosely speaking, \(\beta \)-decomposition refers to a probability distribution over partitions of the metric into sets of low diameter, such that nearby points (parameterized by \(\beta >0\)) are likely to be “clustered” together. Applying this notion to the shortest-path metric in edge-weighted graphs, it is known that n-vertex graphs admit an \(O(\ln n)\)-padded decomposition (Bartal, 37th annual symposium on foundations of computer science. IEEE, pp 184–193, 1996), and that excluded-minor graphs admit O(1)-padded decomposition (Klein et al., 25th annual ACM symposium on theory of computing, pp 682–690, 1993; Fakcharoenphol and Talwar, J Comput Syst Sci 69(3), 485–497, 2004; Abraham et al., Proceedings of the 46th annual ACM symposium on theory of computing. STOC ’14, pp 79–88. ACM, New York, NY, USA, 2014). We design decompositions to the family of p-path-separable graphs, which was defined by Abraham and Gavoille (Proceedings of the twenty-fifth annual acm symposium on principles of distributed computing, PODC ’06, pp 188–197, 2006) and refers to graphs that admit vertex-separators consisting of at most p shortest paths in the graph. Our main result is that every p-path-separable n-vertex graph admits an \(O(\ln (p \ln n))\)-decomposition, which refines the \(O(\ln n)\) bound for general graphs, and provides new bounds for families like bounded-treewidth graphs. Technically, our clustering process differs from previous ones by working in (the shortest-path metric of) carefully chosen subgraphs.
Similar content being viewed by others
Notes
If we relax the balance constraint, and require that every S-flap U has size \(|U| \le 2|V|/3\), then two shortest paths suffice.
References
Abraham, I., Gavoille, C.: Object location using path separators. In: Proceedings of the Twenty-fifth Annual ACM Symposium on Principles of Distributed Computing, PODC ’06, pp. 188–197 (2006)
Abraham, I., Gavoille, C., Gupta, A., Neiman, O., Talwar, K.: Cops, robbers, and threatening skeletons: padded decomposition for minor-free graphs. In: Proceedings of the 46th Annual ACM Symposium on Theory of Computing. STOC ’14, pp. 79–88. ACM, New York, NY, USA (2014)
Awerbuch, B., Peleg, D.: Sparse partitions. In: 31st Annual IEEE Symposium on Foundations of Computer Science, pp. 503–513 (1990)
Assouad, P.: Plongements lipschitziens dans \({ R}^{n}\). Bull. Soc. Math. France 111(4), 429–448 (1983)
Bartal, Y.: Probabilistic approximation of metric spaces and its algorithmic applications. In: 37th Annual Symposium on Foundations of Computer Science, pp. 184–193. IEEE (1996)
Chan, H.T.-H., Gupta, A., Maggs, B.M., Zhou, S.: On hierarchical routing in doubling metrics. In: 16th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 762–771. SIAM (2005)
Calinescu, G., Karloff, H.J., Rabani, Y.: Approximation algorithms for the 0-extension problem. SIAM J. Comput. 34(2), 358–372 (2004)
Diot, E., Gavoille, C.: Path separability of graphs. In: Frontiers in Algorithmics, 4th International Workshop, FAW, pp. 262–273 (2010)
Das, B., Sivakumar, R., Bharghavan, V.: Routing in ad hoc networks using a spine. In: Sixth International Conference on Computer Communications and Networks, pp. 1–20 (1997)
Englert, M., Gupta, A., Krauthgamer, R., Räcke, H., Talgam-Cohen, I., Talwar, K.: Vertex sparsifiers: new results from old techniques. SIAM J. Comput. 43(4), 1239–1262 (2014)
Fakcharoenphol, J., Rao, S., Talwar, K.: A tight bound on approximating arbitrary metrics by tree metrics. J. Comput. Syst. Sci. 69(3), 485–497 (2004)
Fakcharoenphol, J., Talwar, K.: Improved decompositions of graphs with forbidden minors. In: 6th International Workshop on Approximation Algorithms for Combinatorial Optimization, pp. 36–46 (2003)
Gupta, A., Krauthgamer, R., Lee, J.R.: Bounded geometries, fractals, and low-distortion embeddings. In: 44th Annual IEEE Symposium on Foundations of Computer Science, pp. 534–543 (2003)
Garg, N., Vazirani, V.V., Yannakakis, M.: Approximate max-flow min-(multi)cut theorems and their applications. SIAM J. Comput. 25(2), 235–251 (1996)
Kamma, L., Krauthgamer, R., Nguyen, H.L.: Cutting corners cheaply, or how to remove steiner points. In: Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1029–1040 (2014)
Krauthgamer, R., Lee, J.R.: Algorithms on negatively curved spaces. In: 47th Annual IEEE Symposium on Foundations of Computer Science, pp. 119–132. IEEE (2006)
Krauthgamer, R., Lee, J.R., Mendel, M., Naor, A.: Measured descent: a new embedding method for finite metrics. Geometric Funct. Anal. 15(4), 839–858 (2005)
Klein, P., Plotkin, S.A., Rao, S.: Excluded minors, network decomposition, and multicommodity flow. In: 25th Annual ACM Symposium on Theory of Computing, pp. 682–690 (1993)
Lee, J.R., Naor, A.: Metric decomposition, smooth measures, and clustering (2004). Unpublished manuscript. http://www.cims.nyu.edu/~naor/homepagefiles/cluster
Lee, J.R., Sidiropoulos, A.: Genus and the geometry of the cut graph. In: Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’10, pp. 193–201. Society for Industrial and Applied Mathematics (2010)
Leighton, T., Rao, S.: Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms. J. ACM 46(6), 787–832 (1999)
Mendel, M., Naor, A.: Ramsey partitions and proximity data structures. J. Eur. Math. Soc. 9(2), 253–275 (2007)
Rao, S.: Small distortion and volume preserving embeddings for planar and Euclidean metrics. In: Proceedings of the 15th Annual Symposium on Computational Geometry, pp. 300–306. ACM (1999)
Talwar, K.: Bypassing the embedding: Algorithms for low dimensional metrics. In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, pp. 281–290 (2004)
Thorup, M.: Compact oracles for reachability and approximate distances in planar digraphs. J. ACM 51(6), 993–1024 (2004)
Acknowledgments
The authors thank Ittai Abraham, Alex Andoni, and Kunal Talwar for useful discussions during preliminary stages of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Work supported in part by a US-Israel BSF Grant #2010418 and an Israel Science Foundation Grant #897/13.
Rights and permissions
About this article
Cite this article
Kamma, L., Krauthgamer, R. Metric Decompositions of Path-Separable Graphs. Algorithmica 79, 645–653 (2017). https://doi.org/10.1007/s00453-016-0213-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-016-0213-0