New Hardness Results for Routing on Disjoint Paths

TL;DR

This paper establishes a super-polynomial hardness of approximation for the Node-Disjoint Paths problem, even in restricted planar graph cases, significantly advancing understanding of its computational complexity.

Contribution

It proves that NDP is $2^{ ilde{ ext{O}}( ext{sqrt}( ext{log} n))}$-hard to approximate under certain complexity assumptions, even for planar graphs with degree 3.

Findings

Hardness of approximation for NDP is super-polynomial under standard assumptions.

Extends hardness results to Edge-Disjoint Paths in similar graph classes.

Results hold even when sources are on a single face boundary in planar graphs.

Abstract

In the classical Node-Disjoint Paths (NDP) problem, the input consists of an undirected $n$-vertex graph $G$, and a collection $\mathcal{M}=\{(s_1,t_1),\ldots,(s_k,t_k)\}$ of pairs of its vertices, called source-destination, or demand, pairs. The goal is to route the largest possible number of the demand pairs via node-disjoint paths. The best current approximation for the problem is achieved by a simple greedy algorithm, whose approximation factor is $O(\sqrt n)$, while the best current negative result is an $\Omega(\log^{1/2-\delta}n)$-hardness of approximation for any constant $\delta$, under standard complexity assumptions. Even seemingly simple special cases of the problem are still poorly understood: when the input graph is a grid, the best current algorithm achieves an $\tilde O(n^{1/4})$-approximation, and when it is a general planar graph, the best current approximation ratio of an efficient algorithm is $\tilde O(n^{9/19})$. The best currently known lower bound on the approximability of both these versions of the problem is APX-hardness. In this paper we prove that NDP is $2^{\Omega(\sqrt{\log n})}$-hard to approximate, unless all problems in NP have algorithms with running time $n^{O(\log n)}$. Our result holds even when the underlying graph is a planar graph with maximum vertex degree $3$, and all source vertices lie on the boundary of a single face (but the destination vertices may lie anywhere in the graph). We extend this result to the closely related Edge-Disjoint Paths problem, showing the same hardness of approximation ratio even for sub-cubic planar graphs with all sources lying on the boundary of a single face.