[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3313276.3316358acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
research-article
Open access

Planar diameter via metric compression

Published: 23 June 2019 Publication History

Abstract

We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently introduced by Abboud et al. [SODA’18]. In our variant of the Planar Graph Metric Compression Problem, one is given an n-vertex planar graph G=(V,E), a set of SV source terminals lying on a single face, and a subset of target terminals TV. The goal is to compactly encode the S× T distances.
One of our key technical contributions is in providing a compression scheme that encodes all S × T distances using O(|S|·(D)+|T|) bits, for unweighted graphs with diameter D. This significantly improves the state of the art of O(|S|· 2D+|T| · D) bits. We also consider an approximate version of the problem for weighted graphs, where the goal is to encode (1+є) approximation of the S × T distances, for a given input parameter є ∈ (0,1]. Here, our compression scheme uses O((|S|/є)+|T|) bits. In addition, we describe how these compression schemes can be computed in near-linear time. At the heart of this compact compression scheme lies a VC-dimension type argument on planar graphs, using the well-known Sauer’’s lemma.
This efficient compression scheme leads to several improvements and simplifications in the setting of diameter computation, most notably in the distributed setting:
There is an O(D5)-round randomized distributed algorithm for computing the diameter in planar graphs, w.h.p.
There is an O(D3)+D2(logn/є)-round randomized distributed algorithm for computing a (1+є) approximation for the diameter in weighted planar graphs, with unweighted diameter D, w.h.p.
No sublinear round algorithms were known for these problems before. These distributed constructions are based on a new recursive graph decomposition that preserves the (unweighted) diameter of each of the subgraphs up to a logarithmic term. Using this decomposition, we also get an exact SSSP tree computation within O(D2) rounds.

References

[1]
Amir Abboud, Keren Censor-Hillel, and Seri Khoury. 2016. Near-linear lower bounds for distributed distance computations, even in sparse networks. In International Symposium on Distributed Computing. Springer, 29–42.
[2]
Amir Abboud, Pawel Gawrychowski, Shay Mozes, and Oren Weimann. 2018.
[3]
Near-optimal compression for the planar graph metric. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, 530– 549.
[4]
Sergio Cabello. 2017. Subquadratic algorithms for the diameter and the sum of pairwise distances in planar graphs. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, 2143–2152.
[5]
Timothy M Chan and Dimitrios Skrepetos. 2017. Faster approximate diameter and distance oracles in planar graphs. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 87. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
[6]
Panagiotis Charalampopoulos, Shay Mozes, and Benjamin Tebeka. 2019. Exact Distance Oracles for Planar Graphs with Failing Vertices. SODA (2019).
[7]
Vincent Cohen-Addad, Søren Dahlgaard, and Christian Wulff-Nilsen. 2017. Fast and compact exact distance oracle for planar graphs. In Foundations of Computer Science (FOCS), 2017 IEEE 58th Annual Symposium on. IEEE, 962–973.
[8]
Michael Elkin. 2017. Distributed exact shortest paths in sublinear time. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. ACM, 757–770.
[9]
Greg N Federickson. 1987. Fast algorithms for shortest paths in planar graphs, with applications. SIAM J. Comput. 16, 6 (1987), 1004–1022.
[10]
J.A. Garay, S. Kutten, and D. Peleg. 1993. A sub-linear time distributed algorithm for minimum-weight spanning trees. In Proc. of the Symp. on Found. of Comp. Sci. (FOCS).
[11]
Cyril Gavoille, David Peleg, Stéphane Pérennes, and Ran Raz. 2001.
[12]
Distance labeling in graphs. In Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms. Society for Industrial and Applied Mathematics, 210–219.
[13]
Cyril Gavoille, David Peleg, Stéphane Pérennes, and Ran Raz. 2004.
[14]
Distance labeling in graphs. Journal of Algorithms 53, 1 (2004), 85–112.
[15]
Pawel Gawrychowski, Haim Kaplan, Shay Mozes, Micha Sharir, and Oren Weimann. 2018.
[16]
Voronoi diagrams on planar graphs, and computing the diameter in deterministic O(n 5 /3 ) time. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, 495–514.
[17]
Pawel Gawrychowski, Shay Mozes, Oren Weimann, and Christian Wulff-Nilsen. 2018. Better tradeoffs for exact distance oracles in planar graphs. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, 515–529.
[18]
Mohsen Ghaffari. 2015. Near-optimal scheduling of distributed algorithms. In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. ACM, 3–12.
[19]
Mohsen Ghaffari and Bernhard Haeupler. 2016. Distributed algorithms for planar networks I: Planar embedding. In the Proc. of the Int’l Symp. on Princ. of Dist. Comp. (PODC). 29–38.
[20]
Mohsen Ghaffari and Bernhard Haeupler. 2016. Distributed algorithms for planar networks II: Low-congestion shortcuts, mst, and min-cut. In Proc. of ACM-SIAM Symp. on Disc. Alg. (SODA). 202–219.
[21]
Mohsen Ghaffari and Jason Li. 2018. Improved distributed algorithms for exact shortest paths. In Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. ACM, 431–444.
[22]
Mohsen Ghaffari and Merav Parter. 2017. Near-Optimal Distributed DFS in Planar Graphs. In 31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria. 21:1–21:16.
[23]
Bernhard Haeupler, D. Ellis Hershkowitz, and David Wajc. 2018.
[24]
Round- and Message-Optimal Distributed Graph Algorithms. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018. 119–128.
[25]
Bernhard Haeupler, Taisuke Izumi, and Goran Zuzic. 2016.
[26]
Low-congestion shortcuts without embedding. In Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, 451–460.
[27]
Bernhard Haeupler, Taisuke Izumi, and Goran Zuzic. 2016. Near-Optimal Low-Congestion Shortcuts on Bounded Parameter Graphs. In International Symposium on Distributed Computing. Springer, 158–172.
[28]
Bernhard Haeupler and Jason Li. 2018. Faster Distributed Shortest Path Approximations via Shortcuts. In 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018. 33:1–33:14.
[29]
Bernhard Haeupler, Jason Li, and Goran Zuzic. 2018. Minor Excluded Network Families Admit Fast Distributed Algorithms. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018. 465–474.
[30]
Chien-Chung Huang, Danupon Nanongkai, and Thatchaphol Saranurak. 2017.
[31]
Distributed Exact Weighted All-Pairs Shortest Paths in Õ (nˆ {5/4}) Rounds. In Foundations of Computer Science (FOCS), 2017 IEEE 58th Annual Symposium on. IEEE, 168–179.
[32]
Philip N Klein. 2005.
[33]
Multiple-source shortest paths in planar graphs. In Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms. Society for Industrial and Applied Mathematics, 146–155.
[34]
Sebastian Krinninger and Danupon Nanongkai. 2017. A Faster Distributed Single-Source Shortest Paths Algorithm. arXiv preprint arXiv:1711.01364 (2017).
[35]
Shay Kutten and David Peleg. 1995.
[36]
Fast Distributed Construction of Kdominating Sets and Applications. In the Proc. of the Int’l Symp. on Princ. of Dist. Comp. (PODC). 238–251.
[37]
Jason Li. 2018.
[38]
Distributed Treewidth Computation. arXiv preprint arXiv:1805.10708 (2018).
[39]
Richard J Lipton and Robert Endre Tarjan. 1979. A separator theorem for planar graphs. SIAM J. Appl. Math. 36, 2 (1979), 177–189.
[40]
David Peleg. 2000.
[41]
Distributed Computing: A Locality-sensitive Approach. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA.
[42]
David Peleg, Liam Roditty, and Elad Tal. 2012. Distributed algorithms for network diameter and girth. In International Colloquium on Automata, Languages, and Programming. Springer, 660–672.
[43]
Norbert Sauer. 1972. On the density of families of sets. Journal of Combinatorial Theory, Series A 13, 1 (1972), 145–147.
[44]
Mikkel Thorup. 2004. Compact oracles for reachability and approximate distances in planar digraphs. Journal of the ACM (JACM) 51, 6 (2004), 993–1024.
[45]
Oren Weimann and Raphael Yuster. 2016. Approximating the diameter of planar graphs in near linear time. ACM Transactions on Algorithms (TALG) 12, 1 (2016), 12.
[46]
Christian Wulff-Nilsen. 2008.

Cited By

View all
  • (2024)Neighborhood Complexity of Planar GraphsCombinatorica10.1007/s00493-024-00110-644:5(1115-1148)Online publication date: 24-Jun-2024
  • (2023)Efficient Distributed Decomposition and Routing Algorithms in Minor-Free Networks and Their ApplicationsProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594604(55-66)Online publication date: 19-Jun-2023
  • (2023)Brief Announcement: Distributed Construction of Near-Optimal Compact Routing Schemes for Planar GraphsProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594561(67-70)Online publication date: 19-Jun-2023
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
STOC 2019: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing
June 2019
1258 pages
ISBN:9781450367059
DOI:10.1145/3313276
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. diameter
  2. distributed computing
  3. metric compression
  4. planar graphs
  5. shortest path

Qualifiers

  • Research-article

Conference

STOC '19
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

Upcoming Conference

STOC '25
57th Annual ACM Symposium on Theory of Computing (STOC 2025)
June 23 - 27, 2025
Prague , Czech Republic

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)92
  • Downloads (Last 6 weeks)17
Reflects downloads up to 11 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Neighborhood Complexity of Planar GraphsCombinatorica10.1007/s00493-024-00110-644:5(1115-1148)Online publication date: 24-Jun-2024
  • (2023)Efficient Distributed Decomposition and Routing Algorithms in Minor-Free Networks and Their ApplicationsProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594604(55-66)Online publication date: 19-Jun-2023
  • (2023)Brief Announcement: Distributed Construction of Near-Optimal Compact Routing Schemes for Planar GraphsProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594561(67-70)Online publication date: 19-Jun-2023
  • (2023)Covering Planar Metrics (and Beyond): O(1) Trees Suffice2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00139(2231-2261)Online publication date: 6-Nov-2023
  • (2023)The Energy Complexity of Diameter and Minimum Cut Computation in Bounded-Genus NetworksTheoretical Computer Science10.1016/j.tcs.2023.114279(114279)Online publication date: Oct-2023
  • (2023)The Energy Complexity of Diameter and Minimum Cut Computation in Bounded-Genus NetworksStructural Information and Communication Complexity10.1007/978-3-031-32733-9_12(262-296)Online publication date: 25-May-2023
  • (2022)Fully Polynomial-Time Distributed Computation in Low-Treewidth GraphsProceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3490148.3538590(11-22)Online publication date: 11-Jul-2022
  • (2021)Smaller Cuts, Higher Lower BoundsACM Transactions on Algorithms10.1145/346983417:4(1-40)Online publication date: 31-Oct-2021
  • (2021)Low-Congestion Shortcuts for Graphs Excluding Dense MinorsProceedings of the 2021 ACM Symposium on Principles of Distributed Computing10.1145/3465084.3467935(213-221)Online publication date: 21-Jul-2021
  • (2021)Low-Congestion Shortcuts in Constant Diameter GraphsProceedings of the 2021 ACM Symposium on Principles of Distributed Computing10.1145/3465084.3467927(203-211)Online publication date: 21-Jul-2021
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media