TY - GEN
T1 - Distance sensitivity oracles with subcubic preprocessing time and fast query time
AU - Chechik, Shiri
AU - Cohen, Sarel
N1 - Publisher Copyright: © 2020 ACM.
PY - 2020/6/8
Y1 - 2020/6/8
N2 - 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 Õ(n1+α), 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 Õ(n1-α) 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 Õ(Mn2.873) preprocessing time for ω=2.373, Õ(n2.5) space and near optimal query time of Õ(1). For comparison, with the same Õ(Mn2.873) preprocessing time the DSO of Grandoni and Vassilevska Williams has Õ(n0.693) query time. In fact, the best query time their algorithm can obtain is (Mn0.385) (with (Mn3) preprocessing time).
AB - 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 Õ(n1+α), 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 Õ(n1-α) 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 Õ(Mn2.873) preprocessing time for ω=2.373, Õ(n2.5) space and near optimal query time of Õ(1). For comparison, with the same Õ(Mn2.873) preprocessing time the DSO of Grandoni and Vassilevska Williams has Õ(n0.693) query time. In fact, the best query time their algorithm can obtain is (Mn0.385) (with (Mn3) preprocessing time).
KW - Distance Sensitivity Oracles
KW - Fault-Tolerant
KW - Replacement Paths
KW - Shortest Paths
UR - http://www.scopus.com/inward/record.url?scp=85086766835&partnerID=8YFLogxK
U2 - https://doi.org/10.1145/3357713.3384253
DO - https://doi.org/10.1145/3357713.3384253
M3 - منشور من مؤتمر
T3 - Proceedings of the Annual ACM Symposium on Theory of Computing
SP - 1375
EP - 1388
BT - STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
A2 - Makarychev, Konstantin
A2 - Makarychev, Yury
A2 - Tulsiani, Madhur
A2 - Kamath, Gautam
A2 - Chuzhoy, Julia
T2 - 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020
Y2 - 22 June 2020 through 26 June 2020
ER -