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.

On Approximating Cutwidth and Pathwidth

Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number

Fast Approximations for Rooted Connectivity in Weighted Directed Graphs

Approximate Max-Flow Min-Multicut Theorem for Graphs of Bounded Treewidth

Decomposability of a Class of K-Cutwidth Critical Graphs

Approximation Algorithms and Hardness of the K-Route Cut Problem

Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

Faster Computation of Path-Width

Improved Approximation Algorithms for MAX n/2 -DIRECTED-BISECTION and MAX n/2 -DENSE-SUBGRAPH

Improved Approximation Algorithms for MAX

Improved Approximation Algorithms for MAX \frac{n}2 -DIRECTED-BISECTION and MAX \frac{n}2 -DENSE-SUBGRAPH

Tight Approximation Ratio of a General Greedy Splitting Algorithm for the Minimum K -Way Cut Problem

Tight Lower Bounds for Directed Cut Sparsification and Distributed Min-Cut

Polylogarithmic Approximation for Robust s-t Path

On the cut-query complexity of approximating max-cut

Improved Approximation Algorithms for MAX \(\frac{n}{{\text{2}}}\) -DIRECTED-BISECTION and MAX \(\frac{n}{{\text{2}}}\) -DENSE-SUBGRAPH

Approximating branchwidth on parametric extensions of planarity

Better Approximability Results for Min–max Tree/cycle/path Cover Problems

Near Optimal Bounds for Replacement Paths and Related Problems in the CONGEST Model

Strong SDP based bounds on the cutwidth of a graph

On the Hardness of Approximating the $k$-Way Hypergraph Cut problem