Abstract:We examine the possibility of approximating Maximum Vertex-Disjoint Shortest Paths. In this problem, the input is an edge-weighted (directed or undirected) $n$-vertex graph $G$ along with $k$ terminal pairs $(s_1,t_1),(s_2,t_2),\ldots,(s_k,t_k)$. The task is to connect as many terminal pairs as possible by pairwise vertex-disjoint paths such that each path is a shortest path between the respective terminals. Our work is anchored in the recent breakthrough by Lochet [SODA '21], which demonstrates the polynomial-time solvability of the problem for a fixed value of $k$. Lochet's result implies the existence of a polynomial-time $ck$-approximation for Maximum Vertex-Disjoint Shortest Paths, where $c \leq 1$ is a constant. Our first result suggests that this approximation algorithm is, in a sense, the best we can hope for. More precisely, assuming the gap-ETH, we exclude the existence of an $o(k)$-approximations within $f(k) \cdot $poly($n$) time for any function $f$ that only depends on $k$. Our second result demonstrates the infeasibility of achieving an approximation ratio of $n^{\frac{1}{2}-\varepsilon}$ in polynomial time, unless P = NP. It is not difficult to show that a greedy algorithm selecting a path with the minimum number of arcs results in a $\lceil\sqrt{\ell}\rceil$-approximation, where $\ell$ is the number of edges in all the paths of an optimal solution. Since $\ell \leq n$, this underscores the tightness of the $n^{\frac{1}{2}-\varepsilon}$-inapproximability bound. Additionally, we establish that Maximum Vertex-Disjoint Shortest Paths is fixed-parameter tractable when parameterized by $\ell$ but does not admit a polynomial kernel. Our hardness results hold for undirected graphs with unit weights, while our positive results extend to scenarios where the input graph is directed and features arbitrary (non-negative) edge weights.

The Structural Complexity Landscape of Finding Balance-Fair Shortest Paths

The K Shortest Paths Problem with Application to Routing

Parameterizing Path Partitions

Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

Shortest Paths in Graphs of Convex Sets

Some easy optimization problems have the overlap-gap property

On Constrained and k Shortest Paths

The Parameterized Complexity Landscape of the Unsplittable Flow Problem

The Parameterized Complexity Landscape of Two-Sets Cut-Uncut

Odd Paths, Cycles and $T$-joins: Connections and Algorithms

How quickly can you pack short paths? Engineering a search-tree algorithm for disjoint s-t paths of bounded length

Knapsack: Connectedness, Path, and Shortest-Path

A Refined Complexity Analysis of Fair Districting over Graphs

Arborescences and Shortest Path Trees when Colors Matter

Parameterized Complexity of Finding Dissimilar Shortest Paths

Long Directed Detours: Reduction to 2-Disjoint Paths

Hierarchy of Transportation Network Parameters and Hardness Results

Exact Algorithms and Lowerbounds for Multiagent Pathfinding: Power of Treelike Topology

The Complexity of Finding Fair Many-to-One Matchings

Shortest Odd Paths in Undirected Graphs with Conservative Weight Functions

Balanced Substructures in Bicolored Graphs