Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/2095116.2095135acmotherconferencesArticle/Chapter ViewAbstractPublication PagessodaConference Proceedingsconference-collections
research-article

Exact distance oracles for planar graphs

Published: 17 January 2012 Publication History
  • Get Citation Alerts
  • Abstract

    We present new and improved data structures that answer exact node-to-node distance queries in planar graphs. Such data structures are also known as distance oracles. For any directed planar graph on n nodes with non-negative lengths we obtain the following:
    • Given a desired space allocation S ε [n lg lg n, n2], we show how to construct in Õ(S) time a data structure of size O(S) that answers distance queries in Õ(n/√ S) time per query. The best distance oracles for planar graphs until the current work are due to Cabello (SODA 2006), Chen and Xu (STOC 2000), Djidjev (WG 1996), and Fakcharoenphol and Rao (FOCS 2001). For σ ε (1, 4/3) and space S = nσ, we essentially improve the query time from n2/S to √n2/S.
    • As a consequence, we obtain an improvement over the fastest algorithm for k-many distances in planar graphs whenever k ε [√n, n).
    • We provide a linear-space exact distance oracle for planar graphs with query time O(n1/2+ε) for any constant ε > 0. This is the first such data structure with provable sublinear query time.
    • For edge lengths ≥ 1, we provide an exact distance oracle of space Õ(n) such that for any pair of nodes at distance l the query time is Õ(min{l, √ n}). Comparable query performance had been observed experimentally but could not be explained theoretically.
    Our data structures with superlinear space are based on the following new tool: given a non-self-crossing cycle C with c = O(√n) nodes, we can preprocess G in Õ(n) time to produce a data structure of size O(n lg lg c) that can answer the following queries in Õ(c) time: for a query node u, output the distance from u to all the nodes of C. This data structure builds on and provides an alternative for a related data structure of Klein (SODA 2005), which reports distances to the boundary of a face, rather than a cycle.

    References

    [1]
    {ACC+96} Srinivasa Rao Arikati, Danny Z. Chen, L. Paul Chew, Gautam Das, Michiel H. M. Smid, and Christos D. Zaroliagis. Planar spanners and approximate shortest path queries among obstacles in the plane. In 4th European Symposium on Algorithms (ESA), pages 514--528, 1996.
    [2]
    {ADF+11} Ittai Abraham, Daniel Delling, Amos Fiat, Andrew V. Goldberg, and Renato Fonseca F. Werneck. VC-dimension and shortest path algorithms. In 38th International Colloquium on Automata, Languages, and Programming (ICALP), pages 690--699, 2011.
    [3]
    {AFGW10} Ittai Abraham, Amos Fiat, Andrew V. Goldberg, and Renato Fonseca F. Werneck. Highway dimension, shortest paths, and provably efficient algorithms. In 21st ACM-SIAM Symposium on Discrete Algorithms (SODA), 2010.
    [4]
    {AP89} Stefan Arnborg and Andrzej Proskurowski. Linear time algorithms for NP-hard problems restricted to partial k-trees. Discrete Applied Mathematics, 23(1):11--24, 1989.
    [5]
    {AT05} Lars Arge and Laura Toma. External data structures for shortest path queries on planar digraphs. In 16th International Symposium on Algorithms and Computation (ISAAC), pages 328--338, 2005.
    [6]
    {Bak94} Brenda S. Baker. Approximation algorithms for NP-complete problems on planar graphs. Journal of the ACM, 41(1):153--180, 1994. Announced at FOCS 1983.
    [7]
    {BCK+10} Reinhard Bauer, Tobias Columbus, Bastian Katz, Marcus Krug, and Dorothea Wagner. Preprocessing speed-up techniques is hard. In 7th International Conference on Algorithms and Complexity (CIAC), pages 359--370, 2010.
    [8]
    {BDDW09} Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delling, and Dorothea Wagner. The shortcut problem - complexity and approximation. In 35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), pages 105--116, 2009.
    [9]
    {BFSS07} Holger Bast, Stefan Funke, Peter Sanders, and Dominik Schultes. Fast routing in road networks with transit nodes. Science, 316(5824):566, 2007.
    [10]
    {BSWN10} Glencora Borradaile, Piotr Sankowski, and Christian Wulff-Nilsen. Min st-cut oracle for planar graphs with near-linear preprocessing time. In 51st IEEE Symposium on Foundations of Computer Science (FOCS), pages 601--610, 2010.
    [11]
    {Cab06} Sergio Cabello. Many distances in planar graphs. In 17th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1213--1220, 2006. A preprint of the journal version is available in the University of Ljubljana preprint series, Vol. 47 (2009), 1089.
    [12]
    {CX00} Danny Ziyi Chen and Jinhui Xu. Shortest path queries in planar graphs. In 32nd ACM Symposium on Theory of Computing (STOC), pages 469--478, 2000.
    [13]
    {CZ00} Shiva Chaudhuri and Christos D. Zaroliagis. Shortest paths in digraphs of small treewidth. part I: Sequential algorithms. Algorithmica, 27(3):212--226, 2000. Announced at ICALP 1995.
    [14]
    {DH04} Erik D. Demaine and Mohammad Taghi Hajiaghayi. Diameter and treewidth in minor-closed graph families, revisited. Algorithmica, 40(3):211--215, 2004.
    [15]
    {Dij59} Edsger Wybe Dijkstra. A note on two problems in connexion with graphs. Numerische Mathematik, 1:269--271, 1959.
    [16]
    {Dji96} Hristo Djidjev. Efficient algorithms for shortest path problems on planar digraphs. In 22nd International Workshop on Graph-Theoretic Concepts in Computer Science (WG), pages 151--165, 1996.
    [17]
    {DPBF10} Frederic Dorn, Eelko Penninkx, Hans L. Bodlaender, and Fedor V. Fomin. Efficient exact algorithms on planar graphs: Exploiting sphere cut decompositions. Algorithmica, 58(3):790--810, 2010. Announced at ESA 2005.
    [18]
    {DPZ00} Hristo Djidjev, Grammati E. Pantziou, and Christos D. Zaroliagis. Improved algorithms for dynamic shortest paths. Algorithmica, 28(4):367--389, 2000.
    [19]
    {EG08} David Eppstein and Michael T. Goodrich. Studying (non-planar) road networks through an algorithmic lens. In 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems (ACM-GIS), page 16, 2008.
    [20]
    {Epp99} David Eppstein. Subgraph isomorphism in planar graphs and related problems. Journal of Graph Algorithms and Applications, 3(3), 1999. Announced at SODA 1995.
    [21]
    {Epp00} David Eppstein. Diameter and treewidth in minor-closed graph families. Algorithmica, 27(3-4):275--291, 2000.
    [22]
    {FK11} Arash Farzan and Shahin Kamali. Compact navigation and distance oracles for graphs with small treewidth. In 38th International Colloquium on Automata, Languages, and Programming (ICALP), pages 268--280, 2011.
    [23]
    {FMS91} Esteban Feuerstein and Alberto Marchetti-Spaccamela. Dynamic algorithms for shortest paths in planar graphs. In 17th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), pages 187--197, 1991.
    [24]
    {FR06} 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. Announced at FOCS 2001.
    [25]
    {Fre87} Greg N. Frederickson. Fast algorithms for shortest paths in planar graphs, with applications. SIAM Journal on Computing, 16(6):1004--1022, 1987.
    [26]
    {GSSD08} Robert Geisberger, Peter Sanders, Dominik Schultes, and Daniel Delling. Contraction hierarchies: Faster and simpler hierarchical routing in road networks. In 7th International Workshop on Experimental Algorithms (WEA), pages 319--333, 2008.
    [27]
    {GT08} Qian-Ping Gu and Hisao Tamaki. Optimal branch-decomposition of planar graphs in O(n 3) time. ACM Transactions on Algorithms, 4(3), 2008. Announced at ICALP 2005.
    [28]
    {GT09} Qian-Ping Gu and Hisao Tamaki. Constant-factor approximations of branch-decomposition and largest grid minor of planar graphs in O(n 1+ε) time. In 20th International Symposium on Algorithms and Computation (ISAAC), pages 984--993, 2009.
    [29]
    {GW05} Andrew V. Goldberg and Renato Fonseca F. Werneck. Computing point-to-point shortest paths from external memory. In 7th Workshop on Algorithm Engineering and Experiments (ALENEX), pages 26--40, 2005.
    [30]
    {Hal76} Rudolf Halin. S-functions for graphs. Journal of Geometry, 8(1-2):171--186, 1976.
    [31]
    {HKMS09} Moritz Hilger, Ekkehard Köhler, Rolf H. Möhring, and Heiko Schilling. Fast point-to-point shortest path computations with arc-flags. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 74:41--72, 2009. Papers of the 9th DIMACS Implementation Challenge: Shortest Paths, 2006.
    [32]
    {HKRS97} Monika Rauch Henzinger, Philip Nathan Klein, Satish Rao, and Sairam Subramanian. Faster shortest-path algorithms for planar graphs. Journal of Computer and System Sciences, 55(1):3--23, 1997. Announced at STOC 1994.
    [33]
    {HMZ03} David A. Hutchinson, Anil Maheshwari, and Norbert Zeh. An external memory data structure for shortest path queries. Discrete Applied Mathematics, 126(1):55--82, 2003. Announced at COCOON 1999.
    [34]
    {JHR96} Ning Jing, Yun-Wu Huang, and Elke A. Rundensteiner. Hierarchical optimization of optimal path finding for transportation applications. In 5th International Conference on Information and Knowledge Management (CIKM), pages 261--268, 1996.
    [35]
    {Joh77} Donald B. Johnson. Efficient algorithms for shortest paths in sparse networks. Journal of the ACM, 24(1):1--13, 1977.
    [36]
    {KK06} Lukasz Kowalik and Maciej Kurowski. Oracles for bounded-length shortest paths in planar graphs. ACM Transactions on Algorithms, 2(3):335--363, 2006. Announced at STOC 2003.
    [37]
    {KKS11} Ken-ichi Kawarabayashi, Philip Nathan Klein, and Christian Sommer. Linear-space approximate distance oracles for planar, bounded-genus, and minor-free graphs. In 38th International Colloquium on Automata, Languages, and Programming (ICALP), pages 135--146, 2011.
    [38]
    {Kle02} Philip Nathan Klein. Preprocessing an undirected planar network to enable fast approximate distance queries. In 13th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 820--827, 2002.
    [39]
    {Kle05} Philip Nathan Klein. Multiple-source shortest paths in planar graphs. In 16th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 146--155, 2005.
    [40]
    {Kle08} Philip Nathan Klein. A linear-time approximation scheme for TSP in undirected planar graphs with edgeweights. SIAM Journal on Computing, 37(6):1926--1952, 2008. Announced at FOCS 2005.
    [41]
    {KMS05} Ekkehard Köhler, Rolf H. Möhring, and Heiko Schilling. Acceleration of shortest path and constrained shortest path computation. In 4th International Workshop on Experimental and Efficient Algorithms (WEA), pages 126--138, 2005.
    [42]
    {KMW10} Philip Nathan Klein, Shay Mozes, and Oren Weimann. Shortest paths in directed planar graphs with negative lengths: A linear-space O(n log2 n)-time algorithm. ACM Transactions on Algorithms, 6(2), 2010. Announced at SODA 2009.
    [43]
    {Lau04} Ulrich Lauther. An extremely fast, exact algorithm for finding shortest paths in static networks with geographical background. In Geoinformation und Mobilität -- von der Forschung zur praktischen Anwendung, volume 22, pages 219--230, 2004.
    [44]
    {Mil86} Gary L. Miller. Finding small simple cycle separators for 2-connected planar graphs. Journal of Computer and System Sciences, 32(3):265--279, 1986. Announced at STOC 1984.
    [45]
    {MWN10} Shay Mozes and Christian Wulff-Nilsen. Shortest paths in planar graphs with real lengths in O(n log2 n/log log n) time. In 18th European Symposium on Algorithms (ESA), pages 206--217, 2010.
    [46]
    {Nus11} Yahav Nussbaum. Improved distance queries in planar graphs. In 12th International Symposium on Algorithms and Data Structures (WADS), pages 642--653, 2011.
    [47]
    {PR10} Mihai Patrascu and Liam Roditty. Distance oracles beyond the Thorup-Zwick bound. In 51st IEEE Symposium on Foundations of Computer Science (FOCS), 2010.
    [48]
    {RS86} Neil Robertson and Paul D. Seymour. Graph minors. II. algorithmic aspects of tree-width. Journal of Algorithms, 7:309--322, 1986.
    [49]
    {RS91} Neil Robertson and Paul D. Seymour. Graph minors. X. obstructions to tree-decomposition. J. Comb. Theory, Ser. B, 52(2):153--190, 1991.
    [50]
    {Sch98} 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. Announced at ISTCS 1995.
    [51]
    {Som10} Christian Sommer. Approximate Shortest Path and Distance Queries in Networks. PhD thesis, The University of Tokyo, 2010.
    [52]
    {Som11} Christian Sommer. More compact oracles for approximate distances in planar graphs. CoRR, abs/1109.2641, 2011.
    [53]
    {SS05} Peter Sanders and Dominik Schultes. Highway hierarchies hasten exact shortest path queries. In 13th Annual European Symposium on Algorithms (ESA), pages 568--579, 2005.
    [54]
    {ST94} Paul D. Seymour and Robin Thomas. Call routing and the ratcatcher. Combinatorica, 14(2):217--241, 1994.
    [55]
    {SVY09} Christian Sommer, Elad Verbin, and Wei Yu. Distance oracles for sparse graphs. In 50th IEEE Symposium on Foundations of Computer Science (FOCS), pages 703--712, 2009.
    [56]
    {Tho04} Mikkel Thorup. Compact oracles for reachability and approximate distances in planar digraphs. Journal of the ACM, 51(6):993--1024, 2004. Announced at FOCS 2001.
    [57]
    {WN10a} Christian Wulff-Nilsen. Algorithms for Planar Graphs and Graphs in Metric Spaces. PhD thesis, University of Copenhagen, 2010.
    [58]
    {WN10b} Christian Wulff-Nilsen. Min st-cut of a planar graph in O(n log log n) time. CoRR, abs/1007.3609, 2010.
    [59]
    {Zar08} Christos Zaroliagis. Engineering algorithms for large network applications. In Encyclopedia of Algorithms. 2008.

    Cited By

    View all
    • (2021)Planar distance oracles with better time-space tradeoffsProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458213(2517-2536)Online publication date: 10-Jan-2021
    • (2021)A deterministic parallel APSP algorithm and its applicationsProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458081(255-272)Online publication date: 10-Jan-2021
    • (2019)Exact distance oracles for planar graphs with failing verticesProceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3310435.3310562(2110-2123)Online publication date: 6-Jan-2019
    • Show More Cited By

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    SODA '12: Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete algorithms
    January 2012
    1764 pages

    Sponsors

    • Kyoto University: Kyoto University

    In-Cooperation

    Publisher

    Society for Industrial and Applied Mathematics

    United States

    Publication History

    Published: 17 January 2012

    Check for updates

    Qualifiers

    • Research-article

    Conference

    SODA '12
    Sponsor:
    • Kyoto University

    Acceptance Rates

    Overall Acceptance Rate 411 of 1,322 submissions, 31%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 27 Jul 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2021)Planar distance oracles with better time-space tradeoffsProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458213(2517-2536)Online publication date: 10-Jan-2021
    • (2021)A deterministic parallel APSP algorithm and its applicationsProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458081(255-272)Online publication date: 10-Jan-2021
    • (2019)Exact distance oracles for planar graphs with failing verticesProceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3310435.3310562(2110-2123)Online publication date: 6-Jan-2019
    • (2018)Near-optimal compression for the planar graph metricProceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3174304.3175305(530-549)Online publication date: 7-Jan-2018
    • (2018)Better tradeoffs for exact distance oracles in planar graphsProceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3174304.3175304(515-529)Online publication date: 7-Jan-2018
    • (2018)Decremental transitive closure and shortest paths for planar digraphs and beyondProceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3174304.3175271(73-92)Online publication date: 7-Jan-2018
    • (2018)Subquadratic Algorithms for the Diameter and the Sum of Pairwise Distances in Planar GraphsACM Transactions on Algorithms10.1145/321882115:2(1-38)Online publication date: 7-Dec-2018
    • (2018)Holiest minimum-cost paths and flows in surface graphsProceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing10.1145/3188745.3188904(1319-1332)Online publication date: 20-Jun-2018
    • (2018)When Hierarchy Meets 2-Hop-LabelingProceedings of the 2018 International Conference on Management of Data10.1145/3183713.3196913(709-724)Online publication date: 27-May-2018
    • (2017)Subquadratic algorithms for the diameter and the sum of pairwise distances in planar graphsProceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3039686.3039825(2143-2152)Online publication date: 16-Jan-2017
    • Show More Cited By

    View Options

    Get Access

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media