Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths
Matthias Bentert,Fedor V. Fomin,Petr A. Golovach
2024-02-23
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.
Data Structures and Algorithms