Shortest Paths with Linear Edge Weights

2026-07-23

AI Summary

This study addresses the parametric shortest path problem in directed graphs where edge weights are linear functions of a $d$-dimensional parameter vector, investigating how the number and structure of shortest paths vary with the parameters. By integrating techniques from computational geometry—specifically point location and parameter space decomposition—with graph-theoretic analysis, the work establishes the first tight upper bound of $n^{O(d \log n)}$ on the number of distinct shortest paths over all parameter values, exponentially improving upon prior results. This bound extends to undirected graphs and settings with polynomial edge weights. Leveraging this structural insight, the authors construct a shortest path oracle capable of answering queries for arbitrary parameter values in sublinear time.

Abstract

We study shortest paths in directed graphs whose edge weights are of the form $$ \mathsf{wt}(e) = a_{e,1} λ_1 + a_{e,2} λ_2 + a_{e,3} λ_3 + \cdots + a_{e,d} λ_d + a_{e,d+1}.$$ Here, each $a_{e,i}\in\mathbb{R}$ is a fixed constant for each edge $e$, whereas each $λ_i\in\mathbb{R}$ is common across the entire graph. So, there could be different shortest paths in the graph for different values of the $λ_i$'s. This is called the Parametric Shortest Paths problem, and has been studied since the 1980s. For $d=1$, Carstensen (1983) showed that the number of shortest paths in $n$-vertex graphs is at most $n^{O(\log n)}$. She also proved a matching lower bound of $n^{Ω(\log n)}$, later refined by Mulmuley & Shah (2001). For $d=2$, Gajjar & Radhakrishnan (2019) showed an upper bound of $n^{O(\log^2 n)}$. Barth, Funke & Proissl (2022) generalized their result to prove an upper bound of $n^{O_d(\log^d n)}$ for all positive integers $d$. The lower bound did not undergo any improvement over the years. In this paper, we close this long line of research by showing an $n^{O(d\log n)}$ upper bound for all positive integers $d$, exponentially improving the previous upper bound. We observe that a matching lower bound of $n^{Ω(d\log n)}$ can be obtained from earlier works. We also show that our proof can be adapted to work for undirected graphs with positive edge weights. Furthermore, for directed graphs whose edge weights are univariate polynomials of degree at most $q$, we prove an upper bound of $n^{O(\log{n}+\log{q})}$. Finally, building upon work on the Point Location problem by Ezra, Har-Peled, Kaplan & Sharir (2020), we construct a Shortest Path Oracle which takes as input a point $\overline{x}\in \mathbb{R}^d$, and outputs a shortest path at $\overlineλ=\overline{x}$ in sublinear time (for a wide regime of $d$).

Problem

• Parametric Shortest Paths
• Linear Edge Weights
• Shortest Path Complexity
• Graph Algorithms
• Parameterized Optimization

Innovation

• Parametric Shortest Paths
• Linear Edge Weights
• Upper Bound Improvement
• Shortest Path Oracle
• Point Location