Document Open Access Logo

Near-Optimal Distance Emulator for Planar Graphs

Authors Hsien-Chih Chang, Pawel Gawrychowski, Shay Mozes, Oren Weimann

PDF
Thumbnail PDF

File

LIPIcs.ESA.2018.16.pdf
  • Filesize: 0.51 MB
  • 17 pages

Document Identifiers

Author Details

Hsien-Chih Chang
  • University of Illinois at Urbana-Champaign, USA
Pawel Gawrychowski
  • University of Wrocław, Poland
Shay Mozes
  • IDC Herzliya, Israel
Oren Weimann
  • University of Haifa, Israel

Funding

  • Chang, Hsien-Chih: Supported partially by NSF grant CCF-1408763.
  • Mozes, Shay: Supported partially by ISF grants 794/13 and 592/17
  • Weimann, Oren: Supported partially by ISF grants 794/13 and 592/17

Cite AsGet BibTex

Hsien-Chih Chang, Pawel Gawrychowski, Shay Mozes, and Oren Weimann. Near-Optimal Distance Emulator for Planar Graphs. In 26th Annual European Symposium on Algorithms (ESA 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 112, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.ESA.2018.16

Abstract

Given a graph G and a set of terminals T, a distance emulator of G is another graph H (not necessarily a subgraph of G) containing T, such that all the pairwise distances in G between vertices of T are preserved in H. An important open question is to find the smallest possible distance emulator. We prove that, given any subset of k terminals in an n-vertex undirected unweighted planar graph, we can construct in O~(n) time a distance emulator of size O~(min(k^2,sqrt{k * n})). This is optimal up to logarithmic factors. The existence of such distance emulator provides a straightforward framework to solve distance-related problems on planar graphs: Replace the input graph with the distance emulator, and apply whatever algorithm available to the resulting emulator. In particular, our result implies that, on any unweighted undirected planar graph, one can compute all-pairs shortest path distances among k terminals in O~(n) time when k=O(n^{1/3}).

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
Keywords
  • planar graphs
  • shortest paths
  • metric compression
  • distance preservers
  • distance emulators
  • distance oracles

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

References

  1. Amir Abboud and Greg Bodwin. Error amplification for pairwise spanner lower bounds. In 27th SODA, pages 841-854, 2016. Google Scholar
  2. Amir Abboud and Greg Bodwin. The 4/3 additive spanner exponent is tight. J. ACM, 64(4):28:1-28:20, 2017. Google Scholar
  3. Amir Abboud, Greg Bodwin, and Seth Pettie. A hierarchy of lower bounds for sublinear additive spanners. In 28th SODA, pages 568-576, 2017. Google Scholar
  4. Amir Abboud, Pawel Gawrychowski, Shay Mozes, and Oren Weimann. Near-optimal compression for the planar graph metric. In 29th SODA, pages 530-549, 2018. Google Scholar
  5. Alok Aggarwal, Maria M. Klawe, Shlomo Moran, Peter W. Shor, and Robert E. Wilber. Geometric applications of a matrix-searching algorithm. Algorithmica, 2(1):195-208, 1987. Google Scholar
  6. Alok Aggarwal and James K. Park. Notes on searching in multidimensional monotone arrays (preliminary version). In 29th FOCS, pages 497-512, 1988. Google Scholar
  7. Alok Aggarwal and Subhash Suri. Fast algorithms for computing the largest empty rectangle. In 3rd SoCG, pages 278-290, 1987. Google Scholar
  8. Noga Alon. Testing subgraphs in large graphs. Random Struct. Algorithms, 21(3-4):359-370, 2002. Google Scholar
  9. Stephen Alstrup, Søren Dahlgaard, Mathias Bæk Tejs Knudsen, and Ely Porat. Sublinear Distance Labeling. In 24th ESA, pages 5:1-5:15, 2016. Google Scholar
  10. Stephen Alstrup, Cyril Gavoille, Esben Bistrup Halvorsen, and Holger Petersen. Simpler, faster and shorter labels for distances in graphs. In 27th SODA, pages 338-350, 2016. Google Scholar
  11. Amitabh Basu and Anupam Gupta. Steiner point removal in graph metrics. Unpublished Manuscript, available from http://www.math.ucdavis.edu/~abasu/papers/SPR.pdf, 2008. Google Scholar
  12. Surender Baswana, Telikepalli Kavitha, Kurt Mehlhorn, and Seth Pettie. New constructions of (α, β)-spanners and purely additive spanners. In 16th SODA, pages 672-681, 2005. Google Scholar
  13. Guy E. Blelloch and Arash Farzan. Succinct representations of separable graphs. In 21st CPM, pages 138-150, 2010. Google Scholar
  14. Greg Bodwin. Linear size distance preservers. In 28th SODA, pages 600-615, 2017. Google Scholar
  15. Greg Bodwin and Virginia Vassilevska Williams. Better distance preservers and additive spanners. In 27th SODA, pages 855-872, 2016. Google Scholar
  16. Béla Bollobás, Don Coppersmith, and Michael Elkin. Sparse distance preservers and additive spanners. SIAM Journal on Discrete Mathematics, 19(4):1029-1055, 2005. Google Scholar
  17. Glencora Borradaile, Philip N. Klein, Shay Mozes, Yahav Nussbaum, and Christian Wulff-Nilsen. Multiple-source multiple-sink maximum flow in directed planar graphs in near-linear time. In 52nd FOCS, pages 170-179, 2011. Google Scholar
  18. Glencora Borradaile, Piotr Sankowski, and Christian Wulff-Nilsen. Min st-cut oracle for planar graphs with near-linear preprocessing time. In 51st FOCS, pages 601-610, 2010. Google Scholar
  19. Sergio Cabello. Many distances in planar graphs. Algorithmica, 62(1-2):361-381, 2012. Google Scholar
  20. Sergio Cabello. Subquadratic algorithms for the diameter and the sum of pairwise distances in planar graphs. In 28th SODA, pages 2143-2152, 2017. Google Scholar
  21. Hubert T.-H. Chan, Donglin Xia, Goran Konjevod, and Andréa W. Richa. A tight lower bound for the steiner point removal problem on trees. In 9th APPROX, pages 70-81, 2006. Google Scholar
  22. Hsien-Chih Chang and Hsueh-I Lu. Computing the girth of a planar graph in linear time. SIAM Journal on Computing, 42(3):1077-1094, 2013. Google Scholar
  23. Yun Kuen Cheung, Gramoz Goranci, and Monika Henzinger. Graph minors for preserving terminal distances approximately - lower and upper bounds. In 43rd ICALP, pages 131:1-131:14, 2016. Google Scholar
  24. Yi-Ting Chiang, Ching-Chi Lin, and Hsueh-I Lu. Orderly spanning trees with applications to graph encoding and graph drawing. In Proc. 12th Symp. Discrete Algorithms, pages 506-515, 2001. Google Scholar
  25. Eden Chlamtác, Michael Dinitz, Guy Kortsarz, and Bundit Laekhanukit. Approximating spanners and directed steiner forest: Upper and lower bounds. In 28th SODA, pages 534-553, 2017. Google Scholar
  26. Don Coppersmith and Michael Elkin. Sparse sourcewise and pairwise distance preservers. SIAM Journal on Discrete Mathematics, 20(2):463-501, 2006. Google Scholar
  27. Maxime Crochemore, Gad. M. Landau, and Michal Ziv-Ukelson. A subquadratic sequence alignment algorithm for unrestricted scoring matrices. SIAM Journal on Computing, 32:1654-1673, 2003. Google Scholar
  28. Dorit Dor, Shay Halperin, and Uri Zwick. All-pairs almost shortest paths. SIAM Journal on Computing, 29(5):1740-1759, 2000. Google Scholar
  29. David Eisenstat and Philip N Klein. Linear-time algorithms for max flow and multiple-source shortest paths in unit-weight planar graphs. In 45th STOC, pages 735-744, 2013. Google Scholar
  30. Michael Elkin, Yuval Emek, Daniel A Spielman, and Shang-Hua Teng. Lower-stretch spanning trees. SIAM Journal on Computing, 38(2):608-628, 2008. Google Scholar
  31. Michael Elkin and Seth Pettie. A linear-size logarithmic stretch path-reporting distance oracle for general graphs. ACM Trans. Algorithms, 12(4):50:1-50:31, 2016. Google Scholar
  32. Matthias Englert, Anupam Gupta, Robert Krauthgamer, Harald Racke, Inbal Talgam-Cohen, and Kunal Talwar. Vertex sparsifiers: New results from old techniques. SIAM Journal on Computing, 43(4):1239-1262, 2014. Google Scholar
  33. Jittat Fakcharoenphol and Satish Rao. Planar graphs, negative weight edges, shortest paths, and near linear time. Journal of Computer and System Sciences, 72(5):868-889, 2006. Google Scholar
  34. Cyril Gavoille, David Peleg, Stéphane Pérennes, and Ran Raz. Distance labeling in graphs. Journal of Algorithms, 53(1):85-112, 2004. Google Scholar
  35. Paweł Gawrychowski, Adrian Kosowski, and Przemysław Uznański. Sublinear-space distance labeling using hubs. In 30th DISC, pages 230-242, 2016. Google Scholar
  36. Paweł Gawrychowski, Shay Mozes, and Oren Weimann. Submatrix maximum queries in Monge matrices are equivalent to predecessor search. In 42nd ICALP, pages 580-592, 2015. Google Scholar
  37. Gramoz Goranci, Monika Henzinger, and Pan Peng. Improved guarantees for vertex sparsification in planar graphs. In 25th ESA, pages 44:1-44:14, 2017. Google Scholar
  38. Gramoz Goranci and Harald Räcke. Vertex sparsification in trees. In 14th WAOA, pages 103-115, 2016. Google Scholar
  39. Ronald L Graham and Henry O Pollak. On embedding graphs in squashed cubes. In Graph theory and applications, volume 303, pages 99-110. Springer, 1972. Google Scholar
  40. Anupam Gupta. Steiner points in tree metrics don't (really) help. In 12th SODA, pages 220-227, 2001. Google Scholar
  41. Danny Hermelin, Gad M. Landau, Shir Landau, and Oren Weimann. A unified algorithm for accelerating edit-distance via text-compression. Algorithmica, 65:339-353, 2013. Google Scholar
  42. Shang-En Huang and Seth Pettie. Lower bounds on sparse spanners, emulators, and diameter-reducing shortcuts. In 16th SWAT, pages 26:1-26:12, 2018. Google Scholar
  43. Giuseppe F. Italiano, Yahav Nussbaum, Piotr Sankowski, and Christian Wulff-Nilsen. Improved algorithms for min cut and max flow in undirected planar graphs. In 43rd STOC, pages 313-322, 2011. Google Scholar
  44. Joseph JáJá, Christian Worm Mortensen, and Qingmin Shi. Space-efficient and fast algorithms for multidimensional dominance reporting and counting. In 15th ISAAC, pages 558-568, 2004. Google Scholar
  45. Sampath Kannan, Moni Naor, and Steven Rudich. Implicat representation of graphs. SIAM Journal on Discrete Mathematics, 5(4):596-603, 1992. Google Scholar
  46. Haim Kaplan, Shay Mozes, Yahav Nussbaum, and Micha Sharir. Submatrix maximum queries in Monge matrices and Monge partial matrices, and their applications. In 23rd SODA, pages 338-355, 2012. Google Scholar
  47. M. M. Klawe and D J. Kleitman. An almost linear time algorithm for generalized matrix searching. SIAM Journal Discrete Math., 3(1):81-97, 1990. Google Scholar
  48. Philip Klein, Shay Mozes, and Oren Weimann. Shortest paths in directed planar graphs with negative lengths: a linear-space O(n lg²n)-time algorithm. ACM Transactions on Algorithms, 6(2):2-13, 2010. Google Scholar
  49. Lukasz Kowalik and Maciej Kurowski. Short path queries in planar graphs in constant time. In 35th STOC, pages 143-148, 2003. Google Scholar
  50. Robert Krauthgamer, Huy L Nguyen, and Tamar Zondiner. Preserving terminal distances using minors. SIAM Journal on Discrete Mathematics, 28(1):127-141, 2014. Google Scholar
  51. Robert Krauthgamer and Inbal Rika. Refined vertex sparsifiers of planar graphs. Preprint, July 2017. Google Scholar
  52. Jakub Lacki, Yahav Nussbaum, Piotr Sankowski, and Christian Wulff-Nilsen. Single source - all sinks max flows in planar digraphs. In 53rd FOCS, pages 599-608, 2012. Google Scholar
  53. J. W. Moon. On minimal n-universal graphs. Glasgow Mathematical Journal, 7(1):32-33, 1965. Google Scholar
  54. Shay Mozes and Christian Sommer. Exact distance oracles for planar graphs. In 23rd SODA, pages 209-222, 2012. Google Scholar
  55. J. Ian Munro and Venkatesh Raman. Succinct representation of balanced parentheses, static trees and planar graphs. In Proc. 38th Annual Symposium on Foundations of Computer Science, pages 118-126, 1997. Google Scholar
  56. Jeanette P. Schmidt. All highest scoring paths in weighted grid graphs and their application to finding all approximate repeats in strings. SIAM Journal on Computing, 27(4):972-992, 1998. Google Scholar
  57. Mikkel Thorup and Uri Zwick. Spanners and emulators with sublinear distance errors. In 17th SODA, pages 802-809, 2006. Google Scholar
  58. Alexander Tiskin. Semi-local string comparison: algorithmic techniques and applications. Arxiv 0707.3619, 2007. Google Scholar
  59. Alexander Tiskin. Fast distance multiplication of unit-Monge matrices. In 21st SODA, pages 1287-1296, 2010. Google Scholar
  60. György Turán. On the succinct representation of graphs. Discrete Applied Mathematics, 8(3):289-294, 1984. Google Scholar
  61. Oren Weimann and Raphael Yuster. Computing the girth of a planar graph in O(n log n) time. SIAM J. Discrete Math., 24(2):609-616, 2010. Google Scholar
  62. Peter M Winkler. Proof of the squashed cube conjecture. Combinatorica, 3(1):135-139, 1983. Google Scholar
  63. David P Woodruff. Lower bounds for additive spanners, emulators, and more. In 47th FOCS, pages 389-398, 2006. Google Scholar
  64. Christian Wulff-Nilsen. Wiener index and diameter of a planar graph in subquadratic time. In 25th EuroCG, pages 25-28, 2009. Google Scholar
  65. Christian Wulff-Nilsen. Constant time distance queries in planar unweighted graphs with subquadratic preprocessing time. Computational Geometry, 46(7):831-838, 2013. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact