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.

Parameterized algorithms for Eccentricity Shortest Path Problem

The Path Set Packing Problem

Parameterizing Path Partitions

Equitable Connected Partition and Structural Parameters Revisited: N-fold Beats Lenstra

Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

Parameterized Shortest Path Reconfiguration

Parameterized Complexity of Path Set Packing

On the Parameterized Complexity of Eulerian Strong Component Arc Deletion

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

Fixed-Parameter and Approximation Algorithms: A New Look

Parameterised distance to local irregularity

A subexponential parameterized algorithm for Directed Subset Traveling Salesman Problem on planar graphs

Parameterized complexity for iterated type partitions and modular-width

Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH

Parameterized Rural Postman Problem

Parameterized Algorithms for Steiner Forest in Bounded Width Graphs

A Polylogarithmic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2

A Linear Time Gap-ETH-Tight Approximation Scheme for TSP in the Euclidean Plane

Polyhedral Aspects of Feedback Vertex Set and Pseudoforest Deletion Set

Constant-factor approximations for asymmetric TSP on nearly-embeddable graphs

Parameterized Algorithms for Editing to Uniform Cluster Graph