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).

On the Shortest Path to Solve the Problem Based on Vague Sets

A New Approach for the Shortest Path Problem with Vague Sets

An Approach Towards Decision Making and Shortest Path Problems Using the Concepts of Interval‐valued Pythagorean Fuzzy Information

Complexity and Approximate Algorithm of Shortest Paths in Dynamic Networks

Using Fuzzy Number to Solve Routing Problems on the Uncertain Condition

Transportation Problems On A Fuzzy Network

Dijkstra algorithm for shortest path problem under interval-valued Pythagorean fuzzy environment

An Efficient Nature-Inspired Method to Solve the Shortest Path Tour Problem

Dynamic Shortest Path Monitoring in Spatial Networks

Study on Shortest Path Algorithm of Time-varying Road Network

Competitive analysis for the on-line fuzzy shortest path problem

Robust Shortest Path Problem with Distributional Uncertainty

Most Shortest Vital-path Problem with Incomplete Information on Traffic Network

Pythagorean fuzzy transportation problem: New way of ranking for Pythagorean fuzzy sets and mean square approach

The Organization Scheme and Decision Method Based on the Vague Sets Distance

Applying the Dijkstra Algorithm to Solve a Linear Diophantine Fuzzy Environment

A kind of solving method for the shortest path between standard rectangular network nodes

An FPTAS for Shortest-Longest Path Problem

Efficient Distributed Algorithms for Topology Control Problem with Shortest Path Constraints.

Parametric Search for the Bi-Attribute Concave Shortest Path Problem

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More