Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/3357713.3384253acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
research-article

Distance sensitivity oracles with subcubic preprocessing time and fast query time

Published: 22 June 2020 Publication History

Abstract

We present the first distance sensitivity oracle (DSO) with subcubic preprocessing time and poly-logarithmic query time for directed graphs with integer weights in the range [−M,M].
Weimann and Yuster [FOCS 10] presented a distance sensitivity oracle for a single vertex/edge failure with subcubic preprocessing time of O(Mn ω+1−α) and subquadratic query time of Õ(n 1+α), where α is any parameter in [0,1], n is the number of vertices, m is the number of edges, the Õ(·) notation hides poly-logarithmic factors in n and ω<2.373 is the matrix multiplication exponent.
Later, Grandoni and Vassilevska Williams [FOCS 12] substantially improved the query time to sublinear in n. In particular, they presented a distance sensitivity oracle for a single vertex/edge failure with Õ(Mn ω+1/2+ Mn ω+α(4−ω)) preprocessing time and Õ(n 1−α) query time.
Despite the substantial improvement in the query time, it still remains polynomial in the size of the graph, which may be undesirable in many settings where the graph is of large scale. A natural question is whether one can hope for a distance sensitivity oracle with subcubic preprocessing time and very fast query time (of poly-logarithmic in n).
In this paper we answer this question affirmatively by presenting a distance sensitive oracle supporting a single vertex/edge failure in subcubic Õ(Mn 2.873) preprocessing time for ω=2.373, Õ(n 2.5) space and near optimal query time of Õ(1).
For comparison, with the same Õ(Mn 2.873) preprocessing time the DSO of Grandoni and Vassilevska Williams has Õ(n 0.693) query time. In fact, the best query time their algorithm can obtain is (Mn 0.385) (with (Mn 3) preprocessing time).

References

[1]
Ittai Abraham, Shiri Chechik, and Cyril Gavoille. 2012. Fully Dynamic Approximate Distance Oracles for Planar Graphs via Forbidden-set Distance Labels. In Proceedings of the Forty-fourth Annual ACM Symposium on Theory of Computing (STOC). 1199–1218. isbn:978-1-4503-1245-5 https://doi.org/10.1145/2213977.2214084
[2]
Ittai Abraham, Shiri Chechik, Cyril Gavoille, and David Peleg. 2010. Forbidden-set distance labels for graphs of bounded doubling dimension. In PODC. 192–200.
[3]
Noga Alon, Zvi Galil, Oded Margalit, and Moni Naor. 1992. Witnesses for Boolean Matrix Multiplication and for Shortest Paths. In 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992. 417–426. https://doi.org/10.1109/SFCS.1992.267748
[4]
Surender Baswana, Utkarsh Lath, and Anuradha S. Mehta. 2012. Single Source Distance Oracle for Planar Digraphs Avoiding a Failed Node or Link. In Proceedings of the Twenty-third Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). 223–232. http://dl.acm.org/citation.cfm?id=2095116.2095136
[5]
Michael A Bender and Martin Farach-Colton. 2000. The LCA problem revisited. In Latin American Symposium on Theoretical Informatics. 88–94.
[6]
Aaron Bernstein and David Karger. 2008. Improved Distance Sensitivity Oracles via Random Sampling. In Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). 34–43. http://dl.acm.org/citation.cfm?id=1347082.1347087
[7]
Aaron Bernstein and David Karger. 2009. A Nearly Optimal Oracle for Avoiding Failed Vertices and Edges. In Proceedings of the Forty-first Annual ACM Symposium on Theory of Computing (STOC). 101–110. isbn:978-1-60558-506-2 https://doi.org/10.1145/1536414.1536431
[8]
Panagiotis Charalampopoulos, Shay Mozes, and Benjamin Tebeka. 2019. Exact Distance Oracles for Planar Graphs with Failing Vertices. To appear.
[9]
Shiri Chechik, Sarel Cohen, Amos Fiat, and Haim Kaplan. 2017. (1 + ∊ )-Approximate f-sensitive Distance Oracles. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA ’17). 1479–1496. http://dl.acm.org/citation.cfm?id=3039686.3039782
[10]
Shiri Chechik, Michael Langberg, David Peleg, and Liam Roditty. 2012. f-Sensitivity Distance Oracles and Routing Schemes. Algorithmica, 63, 4 (2012), 861–882. https://doi.org/10.1007/s00453-011-9543-0
[11]
Bruno Courcelle and Andrew Twigg. 2007. Compact Forbidden-Set Routing. In STACS. 37–48. https://doi.org/10.1007/978-3-540-70918-3_4
[12]
Bruno Courcelle and Andrew Twigg. 2010. Constrained-Path Labellings on Graphs of Bounded Clique-Width. Theory Comput. Syst., 47, 2 (2010), 531–567. http://springerlink.metapress.com/content/b3268gtk313180q0/
[13]
Camil Demetrescu, Mikkel Thorup, Rezaul Alam Chowdhury, and Vijaya Ramachandran. 2008. Oracles for Distances Avoiding a Failed Node or Link. SIAM J. Comput., 37, 5 (2008), Jan., 1299–1318. issn:0097-5397 https://doi.org/10.1137/S0097539705429847
[14]
Ran Duan and Seth Pettie. 2009. Dual-failure Distance and Connectivity Oracles. In Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). 506–515. http://dl.acm.org/citation.cfm?id=1496770.1496826
[15]
Fabrizio Grandoni and Virginia Vassilevska Williams. 2012. Improved Distance Sensitivity Oracles via Fast Single-Source Replacement Paths. In 53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012. 748–757. https://doi.org/10.1109/FOCS.2012.17
[16]
Donald B. Johnson. 1977. Efficient Algorithms for Shortest Paths in Sparse Networks. J. ACM, 24, 1 (1977), Jan., 1–13. issn:0004-5411 https://doi.org/10.1145/321992.321993
[17]
Neelesh Khanna and Surender Baswana. 2010. Approximate Shortest Paths Avoiding a Failed Vertex: Optimal Size Data Structures for Unweighted Graphs. In 27th International Symposium on Theoretical Aspects of Computer Science, STACS. 513–524. https://doi.org/10.4230/LIPIcs.STACS.2010.2481
[18]
François Le Gall. 2014. Powers of Tensors and Fast Matrix Multiplication. In Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC ’14). ACM, New York, NY, USA. 296–303.
[19]
Avi Shoshan and Uri Zwick. 1999. All Pairs Shortest Paths in Undirected Graphs with Integer Weights. In In IEEE Symposium on Foundations of Computer Science. 605–614.
[20]
Jan van den Brand and Thatchaphol Saranurak. 2019. Sensitive Distance and Reachability Oracles for Large Batch Updates. In 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019. 424–435. https://doi.org/10.1109/FOCS.2019.00034
[21]
Oren Weimann and Raphael Yuster. 2013. Replacement Paths and Distance Sensitivity Oracles via Fast Matrix Multiplication. ACM Trans. Algorithms, 9, 2 (2013), 14. https://doi.org/10.1145/2438645.2438646
[22]
Virginia Vassilevska Williams. 2011. Faster Replacement Paths. In Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, California, USA, January 23-25, 2011. 1337–1346. https://doi.org/10.1137/1.9781611973082.102
[23]
Virginia Vassilevska Williams. 2012. Multiplying Matrices Faster Than Coppersmith-winograd. In Proceedings of the Forty-fourth Annual ACM Symposium on Theory of Computing (STOC ’12). ACM, New York, NY, USA. 887–898. isbn:978-1-4503-1245-5 https://doi.org/10.1145/2213977.2214056
[24]
Uri Zwick. 2002. All Pairs Shortest Paths Using Bridging Sets and Rectangular Matrix Multiplication. J. ACM, 49, 3 (2002), May, 289–317. issn:0004-5411 https://doi.org/10.1145/567112.567114

Cited By

View all
  • (2024)Deterministic Replacement Path CoveringACM Transactions on Algorithms10.1145/367376020:4(1-35)Online publication date: 5-Aug-2024
  • (2024)Nearly Optimal Fault Tolerant Distance OracleProceedings of the 56th Annual ACM Symposium on Theory of Computing10.1145/3618260.3649697(944-955)Online publication date: 10-Jun-2024
  • (2023)Approximate Distance Sensitivity Oracles in Subquadratic SpaceProceedings of the 55th Annual ACM Symposium on Theory of Computing10.1145/3564246.3585251(1396-1409)Online publication date: 2-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 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
June 2020
1429 pages
ISBN:9781450369794
DOI:10.1145/3357713
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: 22 June 2020

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Distance Sensitivity Oracles
  2. Fault-Tolerant
  3. Replacement Paths
  4. Shortest Paths

Qualifiers

  • Research-article

Conference

STOC '20
Sponsor:

Acceptance Rates

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

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)16
  • Downloads (Last 6 weeks)3
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2024)Deterministic Replacement Path CoveringACM Transactions on Algorithms10.1145/367376020:4(1-35)Online publication date: 5-Aug-2024
  • (2024)Nearly Optimal Fault Tolerant Distance OracleProceedings of the 56th Annual ACM Symposium on Theory of Computing10.1145/3618260.3649697(944-955)Online publication date: 10-Jun-2024
  • (2023)Approximate Distance Sensitivity Oracles in Subquadratic SpaceProceedings of the 55th Annual ACM Symposium on Theory of Computing10.1145/3564246.3585251(1396-1409)Online publication date: 2-Jun-2023
  • (2022)Maintaining exact distances under multiple edge failuresProceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing10.1145/3519935.3520002(1093-1101)Online publication date: 9-Jun-2022
  • (2022)Improved distance sensitivity oracles with subcubic preprocessing timeJournal of Computer and System Sciences10.1016/j.jcss.2021.08.005123:C(159-170)Online publication date: 1-Feb-2022
  • (2021)Approximate distance oracles subject to multiple vertex failuresProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458212(2497-2516)Online publication date: 10-Jan-2021
  • (2021)Deterministic replacement path coveringProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458108(704-723)Online publication date: 10-Jan-2021

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