Abstract:Given a graph $G=(V,E)$ and a set $T=\{ (s_i, t_i) : 1\leq i\leq k \}\subseteq V\times V$ of $k$ pairs, the $k$-vertex-disjoint-paths (resp. $k$-edge-disjoint-paths) problem asks to determine whether there exist~$k$ pairwise vertex-disjoint (resp. edge-disjoint) paths $P_1, P_2, ..., P_k$ in $G$ such that, for each $1\leq i\leq k$, $P_i$ connects $s_i$ to $t_i$. Both the edge-disjoint and vertex-disjoint versions in undirected graphs are famously known to be FPT (parameterized by $k$) due to the Graph Minor Theory of Robertson and Seymour. Eilam-Tzoreff [DAM `98] introduced a variant, known as the $k$-disjoint-shortest-paths problem, where each individual path is further required to be a shortest path connecting its pair. They showed that the $k$-disjoint-shortest-paths problem is NP-complete on both directed and undirected graphs; this holds even if the graphs are planar and have unit edge lengths. We focus on four versions of the problem, corresponding to considering edge/vertex disjointness, and to considering directed/undirected graphs. Building on the reduction of Chitnis [SIDMA `23] for $k$-edge-disjoint-paths on planar DAGs, we obtain the following inapproximability lower bound for each of the four versions of $k$-disjoint-shortest-paths on $n$-vertex graphs: - Under Gap-ETH, there exists a constant $\delta>0$ such that for any constant $0<\epsilon\leq \frac{1}{2}$ and any computable function $f$, there is no $(\frac{1}{2}+\epsilon)$-approx in $f(k)\cdot n^{\delta\cdot k}$ time. We further strengthen our results as follows: Directed: Inapprox lower bound for edge-disjoint (resp. vertex-disjoint) paths holds even if the input graph is a planar (resp. 1-planar) DAG with max in-degree and max out-degree at most $2$. Undirected: Inapprox lower bound for edge-disjoint (resp. vertex-disjoint) paths hold even if the input graph is planar (resp. 1-planar) and has max degree $4$.

Constant Approximating Disjoint Paths on Acyclic Digraphs is W[1]-hard

Tight Approximation and Kernelization Bounds for Vertex-Disjoint Shortest Paths

Lower Bounds for Approximate (& Exact) k-Disjoint-Shortest-Paths

Parameterized Maximum Node-Disjoint Paths

Long Directed Detours: Reduction to 2-Disjoint Paths

Approximation Algorithms for Packing Cycles and Paths in Complete Graphs

Approximation Algorithms and Hardness of the K-Route Cut Problem

Parameterized Directed $k$-Chinese Postman Problem and $k$ Arc-Disjoint Cycles Problem on Euler Digraphs

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

Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs

Finding multiple induced disjoint paths in general graphs

Densest K-Subgraph Approximation On Intersection Graphs

Constant Approximating Parameterized K-Setcover is W[2]-hard

Improved Approximation Algorithms for Cycle and Path Packings.

Improved Approximation for Node-Disjoint Paths in Planar Graphs

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

The Unweighted and Weighted Reverse Shortest Path Problem for Disk Graphs

Improved Approximation Algorithms for the K-Path Partition Problem

Parameterized Complexity of Finding Dissimilar Shortest Paths

Efficient Approximation for Subgraph-Hitting Problems in Sparse Graphs and Geometric Intersection Graphs

Induced Disjoint Paths in AT-free Graphs