Abstract:This paper presents parallel, distributed and quantum algorithms for single-source shortest paths when edges can have negative weights (negative-weight SSSP). We show a framework that reduces negative-weight SSSP in all these setting to $n^{o(1)}$ calls to any SSSP algorithm that works with a virtual source. More specifically, for a graph with $m$ edges, $n$ vertices, undirected hop-diameter $D$, and polynomially bounded integer edge weights, we show randomized algorithms for negative-weight SSSP with (i) $W_{SSSP}(m,n)n^{o(1)}$ work and $S_{SSSP}(m,n)n^{o(1)}$ span, given access to an SSSP algorithm with $W_{SSSP}(m,n)$ work and $S_{SSSP}(m,n)$ span in the parallel model, (ii) $T_{SSSP}(n,D)n^{o(1)}$, given access to an SSSP algorithm that takes $T_{SSSP}(n,D)$ rounds in $\mathsf{CONGEST}$, (iii) $Q_{SSSP}(m,n)n^{o(1)}$ quantum edge queries, given access to a non-negative-weight SSSP algorithm that takes $Q_{SSSP}(m,n)$ queries in the quantum edge query model. This work builds off the recent result of [Bernstein, Nanongkai, Wulff-Nilsen, FOCS'22], which gives a near-linear time algorithm for negative-weight SSSP in the sequential setting. Using current state-of-the-art SSSP algorithms yields randomized algorithms for negative-weight SSSP with (i) $m^{1+o(1)}$ work and $n^{1/2+o(1)}$ span in the parallel model, (ii) $(n^{2/5}D^{2/5} + \sqrt{n} + D)n^{o(1)}$ rounds in $\mathsf{CONGEST}$, (iii) $m^{1/2}n^{1/2+o(1)}$ quantum queries to the adjacency list or $n^{1.5+o(1)}$ quantum queries to the adjacency matrix. Our main technical contribution is an efficient reduction for computing a low-diameter decomposition (LDD) of directed graphs to computations of SSSP with a virtual source. Efficiently computing an LDD has heretofore only been known for undirected graphs in both the parallel and distributed models.

An Edge-Fencing Strategy for Optimizing SSSP Computations on Large-Scale Graphs

Distributed Single-Source Shortest Path with Only Local Relaxation

An Adaptive Sharing Framework for Efficient Multi-source Shortest Path Computation

XSP - Fast SSSP Based on Communication-Computation Collaboration.

Parallel, Distributed, and Quantum Exact Single-Source Shortest Paths with Negative Edge Weights

Scaling Graph 500 SSSP to 140 Trillion Edges with over 40 Million Cores

Shortest Path Computation over Disk-Resident Large Graphs Based on Extended Bulk Synchronous Parallel Methods.

An Efficient SSSP Algorithm on Time-Evolving Graphs with Prediction of Computation Results

A Near-Optimal Low-Energy Deterministic Distributed SSSP with Ramifications on Congestion and APSP

SSSP on GPU Without Atomic Operation.

SPLZ: An efficient algorithm for single source shortest path problem using compression method

A Randomized Algorithm for Single-Source Shortest Path on Undirected Real-Weighted Graphs

A Bottom-Up Algorithm for Negative-Weight SSSP with Integrated Negative Cycle Finding

VSEP: A Distributed Algorithm for Graph Edge Partitioning

EFS: Entropy First Search for Dynamic Shortest Path Problem in Large Sparse Graphs

Fast All-Pairs Shortest Paths Algorithm in Large Sparse Graph

A Simple Parallel Algorithm with Near-Linear Work for Negative-Weight Single-Source Shortest Paths

Deterministic Fully Dynamic SSSP and More

Communication Avoiding All-Pairs Shortest Paths Algorithm for Sparse Graphs

A novel approach for calculating single-source shortest paths of weighted digraphs based on rough sets theory

Chain-splitting-solving-splicing Approach to Large-Scale OFISP-modeled Satellite Range Scheduling Problem