Abstract:In the dynamic Single-Source Shortest Paths (SSSP) problem, we are given a graph $G=(V,E)$ subject to edge insertions and deletions and a source vertex $s\in V$, and the goal is to maintain the distance $d(s,t)$ for all $t\in V$. Fine-grained complexity has provided strong lower bounds for exact partially dynamic SSSP and approximate fully dynamic SSSP [ESA'04, FOCS'14, STOC'15]. Thus much focus has been directed towards finding efficient partially dynamic $(1+\epsilon)$-approximate SSSP algorithms [STOC'14, ICALP'15, SODA'14, FOCS'14, STOC'16, SODA'17, ICALP'17, ICALP'19, STOC'19, SODA'20, SODA'20]. Despite this rich literature, for directed graphs there are no known deterministic algorithms for $(1+\epsilon)$-approximate dynamic SSSP that perform better than the classic ES-tree [JACM'81]. We present the first such algorithm. We present a \emph{deterministic} data structure for incremental SSSP in weighted digraphs with total update time $\tilde{O}(n^2 \log W)$ which is near-optimal for very dense graphs; here $W$ is the ratio of the largest weight in the graph to the smallest. Our algorithm also improves over the best known partially dynamic \emph{randomized} algorithm for directed SSSP by Henzinger et al. [STOC'14, ICALP'15] if $m=\omega(n^{1.1})$. We also provide improved conditional lower bounds. Henzinger et al. [STOC'15] showed that under the OMv Hypothesis, the partially dynamic exact $s$-$t$ Shortest Path problem in undirected graphs requires amortized update or query time $m^{1/2-o(1)}$, given polynomial preprocessing time. Under a hypothesis about finding Cliques, we improve the update and query lower bound for algorithms with polynomial preprocessing time to $m^{0.626-o(1)}$. Further, under the $k$-Cycle hypothesis, we show that any partially dynamic SSSP algorithm with $O(m^{2-\epsilon})$ preprocessing time requires amortized update or query time $m^{1-o(1)}$.

On efficient algorithms for bottleneck path problems with many sources

Single-Source Bottleneck Path Algorithm Faster Than Sorting for Sparse Graphs

Efficient Online Sensitivity Analysis For The Injective Bottleneck Path Problem

Fast Algorithms for (max, Min)-Matrix Multiplication and Bottleneck Shortest Paths

Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

On the Quickest Flow Problem in Dynamic Networks: a Parametric Min-Cost Flow Approach

Breaking the O(n2.5) Deterministic Time Barrier for Undirected Unit-Capacity Maximum Flow

Maximum Flow by Augmenting Paths in $n^{2+o(1)}$ Time

A New Algorithm For Solving Transportation Problem With Network Connected Sources

Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs

First Passage Percolation with Queried Hints

A Faster Algorithm for Quickest Transshipments via an Extended Discrete Newton Method

New Algorithms and Hardness for Incremental Single-Source Shortest Paths in Directed Graphs

An Output-Sensitive Algorithm for All-Pairs Shortest Paths in Directed Acyclic Graphs

Online Food Delivery to Minimize Maximum Flow Time

Approximating bottleneck spanning trees on partitioned tuples of points

Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance

Online Traffic Routing: Deterministic Limits and Data-driven Enhancements

Minimizing the Maximum Flow Time in the Online Food Delivery Problem.

Faster single-source shortest paths with negative real weights via proper hop distance

Maximum Flow and Minimum-Cost Flow in Almost-Linear Time