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

An FPTAS for Shortest-Longest Path Problem

An Efficient PTAS for Parallel Machine Scheduling with Capacity Constraints.

Shortest Path and Maximum Flow Problems Under Service Function Chaining Constraints

An FPTAS for the Parallel Two-Stage Flowshop Problem

An Fptas for Sm-Cels Problem with Monotone Cost Functions

A PTAS for parallel two-stage flowshops under makespan constraint

An Efficient Approximation Algorithm for Traffic Engineering in Software Defined Networks

Improved FPT Approximation for Non-metric TSP

A polynomial-time approximation scheme for parallel two-stage flowshops under makespan constraint

Approximation Algorithms for the Shortest Total Path Length Spanning Tree Problem.

An FPTAS of Minimizing Total Weighted Completion Time on Single Machine with Position Constraint

Fine-Grained Optimality of Partially Dynamic Shortest Paths and More

Polynomial-Time Approximation Schemes for Scheduling Problems with Time Lags

Selecting Shorter Alternate Paths for Tunnel-Based IP Fast ReRoute in Linear Time

Approximating All-Pair Bounded-Leg Shortest Path and APSP-AF in Truly-Subcubic Time.

Backlog-Aware SRPT Flow Scheduling in Data Center Networks

Toward Breaking the Curse of Dimensionality: An FPTAS for Stochastic Dynamic Programs with Multidimensional Actions and Scalar States

A Bi-Criteria FPTAS for Scheduling with Memory Constraints on Graph with Bounded Tree-width

FPT Approximations for Packing and Covering Problems Parameterized by Elimination Distance and Even Less

Cost-Efficient Virtual Network Function Placement and Traffic Steering

On the optimality of approximation schemes for the classical scheduling problem