Abstract:Single Source Shortest Paths ($\textrm{SSSP}$) is among the most well-studied problems in computer science. In the incremental (resp. decremental) setting, the goal is to maintain distances from a fixed source in a graph undergoing edge insertions (resp. deletions). A long line of research culminated in a near-optimal deterministic $(1 + \varepsilon)$-approximate data structure with $m^{1 + o(1)}$ total update time over all $m$ updates by Bernstein, Probst Gutenberg and Saranurak [FOCS 2021]. However, there has been remarkably little progress on the exact $\textrm{SSSP}$ problem beyond Even and Shiloach's algorithm [J. ACM 1981] for unweighted graphs. For weighted graphs, there are no exact algorithms beyond recomputing $\textrm{SSSP}$ from scratch in $\widetilde{O}(m^2)$ total update time, even for the simpler Single-Source Single-Target Shortest Path problem ($\textrm{stSP}$). Despite this lack of progress, known (conditional) lower bounds only rule out algorithms with amortized update time better than $m^{1/2 - o(1)}$ in dense graphs. In this paper, we give a tight (conditional) lower bound: any partially dynamic exact $\textrm{stSP}$ algorithm requires $m^{2 - o(1)}$ total update time for any sparsity $m$. We thus resolve the complexity of partially dynamic shortest paths, and separate the hardness of exact and approximate shortest paths, giving evidence as to why no non-trivial exact algorithms have been obtained while fast approximation algorithms are known. Moreover, we give tight bounds on the complexity of combinatorial algorithms for several path problems that have been studied in the static setting since early sixties: Node-weighted shortest paths (studied alongside edge-weighted shortest paths), bottleneck paths (early work dates back to 1960), and earliest arrivals (early work dates back to 1958).

Revisiting Bounded-Suboptimal Safe Interval Path Planning

Multi-Objective Safe-Interval Path Planning With Dynamic Obstacles

Tree-based Representation of Locally Shortest Paths for 2D K-Shortest Non-homotopic Path Planning

Informative Path Planning with Limited Adaptivity

Informed sampling space driven robot informative path planning

Optimal and Bounded Suboptimal Any-Angle Multi-agent Pathfinding

Multi-Query Shortest-Path Problem in Graphs of Convex Sets

Any-Angle Pathfinding for Multiple Agents Based on SIPP Algorithm

Time-optimal Path Planning for Autonomous Vehicles Based on Bi-Level Programming

Online Informative Path Planning of Autonomous Vehicles Using Kernel-Based Bayesian Optimization

Robust Stochastic Shortest-Path Planning via Risk-Sensitive Incremental Sampling

Robust shortest path planning and semicontractive dynamic programming

Combining Safe Intervals and RRT* for Efficient Multi-Robot Path Planning in Complex Environments

Prioritized Safe Interval Path Planning for Multi-Agent Pathfinding With Continuous Time on 2D Roadmaps

Optimal Robot Path Planning In a Collaborative Human-Robot Team with Intermittent Human Availability

Optimal Multirobot Path Planning on Graphs: Complete Algorithms and Effective Heuristics

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More

OffRIPP: Offline RL-based Informative Path Planning

MT-SIPP: An Efficient Collision-Free Multi-Chain Robot Path Planning Algorithm

Informed Sampling for Asymptotically Optimal Path Planning (Consolidated Version)

Approximate Sequential Optimization for Informative Path Planning