---
title: Vertex Disjoint Paths with Congestion
url: https://www.emergentmind.com/topics/vertex-disjoint-paths-with-congestion
type: topic
---

# Vertex Disjoint Paths with Congestion

Searching arXiv for recent papers on directed/vertex-disjoint paths with congestion and related relaxations.
Searching for the batch vertex-disjoint paths paper to distinguish strict disjointness from congestion-relaxed models.
Vertex Disjoint Paths with Congestion is a relaxation of the classical vertex-disjoint paths problem in which the routed paths need not be pairwise disjoint, but every vertex is allowed to lie on at most a prescribed number \(c\) of paths. In the standard directed formulation, the input consists of a digraph \(D\), an integer \(c\), and terminal pairs \((s_1,t_1),\dots,(s_k,t_k)\); the task is to find paths \(P_1,\dots,P_k\) such that each \(P_i\) connects \(s_i\) to \(t_i\) and each vertex of \(D\) appears in at most \(c\) many paths. The case \(c=1\) is the ordinary directed vertex-disjoint paths problem, while larger \(c\) interpolate between strict disjointness and unconstrained overlap [1605.01866][2507.09868][2507.12096].

## 1. Formal problem models

A standard formalization is **\((k,c)\)-Congestion Routing**: given a digraph \(G\) and \(k\) demand pairs \(I=\{(s_1,t_1),\dots,(s_k,t_k)\}\), decide whether there exists a \(c\)-routing, that is, a family \(\{P_1,\dots,P_k\}\) where each \(P_i\) links \(s_i\) to \(t_i\) and no vertex lies on more than \(c\) of the paths. In this setting, the congestion of a vertex is the number of routed paths containing it. The same model appears under closely related names such as **Directed Disjoint Paths with Congestion**, **\(k\)-Disjoint Directed Paths with Congestion \(c\)**, and **\(\kLinkageCongestion\)** in different parts of the literature [1605.01866][2507.09868][2507.12096].

The central parameter is the allowed overlap. When \(c=1\), the problem is the classical vertex-disjoint paths problem. When \(c\ge k\), the congestion constraint becomes vacuous, because a vertex may be used by all \(k\) paths. Several papers therefore analyze the high-congestion regime through the slack parameter
\[
d = k-c,
\]
which measures distance from the trivial all-overlapping case [1605.01866][2008.08368][2211.07042].

A distinct but related relaxation is **Disjoint Enough Directed Paths (DEDP)**. Here the input is a digraph \(D\), requests \(\{(s_1,t_1),\dots,(s_k,t_k)\}\), and integers \(c\) and \(s\), and the goal is to find paths satisfying the requests such that at most \(c\) vertices occur in at least \(s+1\) paths, while all other vertices occur in at most \(s\) paths. Equivalently, with \(d=n-c\), the requirement is that there exists a set \(X\subseteq V(D)\) of size at least \(d\) such that every vertex in \(X\) is used by at most \(s\) paths. This is a global congestion relaxation rather than a local bound at every vertex [1909.13848].

| Model | Constraint | Specialization |
|---|---|---|
| \((k,c)\)-Congestion Routing | every vertex is on at most \(c\) paths | \(c=1\) gives vertex-disjoint paths |
| DEDP | at least \(d\) vertices are on at most \(s\) paths | \(c=0\) gives local congestion bound \(s\) everywhere |
| batch-\(k\)DP | paths are strictly vertex-disjoint for each query | not a congestion model |

The batch-\(k\)DP line is often confused with congestion relaxations because it studies sharing, but the sharing there is algorithmic rather than combinatorial: the paths remain strictly vertex-disjoint, and the paper explicitly states that it does not study congestion in the usual sense of allowing multiple paths to share vertices or edges with bounded load [2502.16506].

## 2. Relations to classical disjointness, congestion, and Steiner-type routing

The classical directed disjoint paths problem asks for pairwise vertex-disjoint paths connecting prescribed terminal pairs. In congestion language, it is exactly the case \(c=1\). This identification is used repeatedly in the literature: the special case \(g=1\) of \(\kLinkageCongestion\) is the usual Directed \(k\)-Linkage / Vertex Disjoint Paths problem, and the special case \(c=1\) of \((k,c)\)-SPC or \(k\)-Disjoint Shortest Paths with Congestion-\(c\) is the corresponding vertex-disjoint shortest-path problem [2507.09868][2211.07042][2008.08368].

DEDP was introduced specifically to interpolate between strict disjointness and local congestion. If \(s=1\), then vertices in the good region are used by at most one path, so the paths are pairwise vertex-disjoint there; if moreover \(c=0\), then every vertex must be used by at most one path, and DEDP becomes exactly Directed Disjoint Paths. At the other extreme, if \(d=n\), equivalently \(c=0\), then every vertex must obey the local congestion bound \(s\), so DEDP becomes Directed Disjoint Paths with Congestion \(s\). If \(s=0\), the good region must be avoided entirely, and the paper states that this case corresponds to a parameterized form of Steiner Network [1909.13848].

Shortest-path variants preserve the same boundary cases. In \((k,c)\)-SPC, when \(c=k\) the problem is easy because each shortest path can be computed independently, while when \(c=1\) the problem is exactly \(k\)-Disjoint Shortest Paths. The same interpolation appears in the DAG-specific formulation of \(k\)-Disjoint Shortest Paths with Congestion-\(c\), which treats \(d=k-c\) as the operative parameter in the high-congestion regime [2211.07042][2008.08368].

A recurring conceptual distinction is between **local** and **global** overlap control. The standard congestion model constrains every vertex individually. DEDP instead allows arbitrary congestion on an unspecified part of the graph, provided that a large subset of size at least \(d\) remains \(s\)-bounded. This suggests two different senses in which paths may be “disjoint enough”: either uniformly everywhere, or only on a large well-behaved region [1909.13848].

## 3. Complexity landscape on acyclic and general digraphs

For directed acyclic graphs, the high-congestion regime admits a precise positive result. For every fixed \(d\ge 1\), \((k,k-d)\)-Congestion Routing on acyclic digraphs can be solved in time \(n^{O(d)}\). The key structural lemma shows that when \(k>3d\), a \((k-d)\)-routing exists if and only if every demand pair is individually reachable and some proper subset of the demands of size \(k-1\) has a \((k-d-1)\)-routing. This yields a reduction to a subinstance of at most \(3d\) terminal pairs and leads to the \(n^{O(d)}\)-time algorithm [1605.01866].

The same paper establishes strong negative evidence that this dependence on \(d\) is close to optimal. For any fixed integer \(c\ge 1\), \((k,c)\)-Congestion Routing is W[1]-hard when parameterized by \(k\), and, assuming ETH, cannot be solved in time \(f(k)n^{o(k/\log k)}\). Rephrased in the high-congestion parametrization, \((k,k-d)\)-Congestion Routing is W[1]-hard parameterized by \(d\), and assuming ETH cannot be solved in time \(f(k)n^{o(d/\log d)}\) [1605.01866].

Later work strengthened the hardness picture by showing that the vertex-congestion problem remains W[1]-hard for every congestion \(g\ge 1\) even under severe structural restrictions: the input digraph can be acyclic, contain no \(\TT{9}\) as a butterfly minor, contain no acyclic \((5,5)\)-grid as a butterfly minor, and have ear anonymity at most \(5\). An analogous theorem holds for the edge-congestion variant on acyclic digraphs of maximum undirected degree \(3\) excluding an acyclic \((7,7)\)-wall as a weak immersion [2507.09868].

At the classical NP-completeness scale, a sharp threshold is known for fixed congestion. The directed disjoint paths problem with congestion \(c\) is NP-complete for any constant \(c\ge 1\) and any \(k\ge 3c-1\). This refutes a conjecture that the congestion-two case might be polynomial-time solvable for any constant number of terminal pairs. The same work isolates the first unresolved frontier around half-integral routing: the case \(c=2,k=3\) is polynomial-time solvable, \(k\ge 5\) is NP-complete by the general theorem, and \(k=4\) remains open [2507.12096].

DEDP exhibits a different complexity profile because its congestion notion is global. For any fixed \(0<\alpha\le 1\), if \(d(n)=\Omega(n^\alpha)\) and \(c(n)=n-d(n)\), then DEDP is NP-complete for every fixed \(k\ge 3\) and \(s=1\), and \((k)\)-DEDP is W[1]-hard in DAGs for every fixed \(s\ge 1\). Moreover, DEDP is W[1]-hard with parameter \(d\) for every fixed \(s\ge 0\), even on acyclic digraphs where all source vertices are the same [1909.13848].

## 4. Tractable regimes and structural methods

Beyond the acyclic high-congestion algorithm, several tractable islands are known under structural graph restrictions. DEDP is solvable in time
\[
O(n^{4(w+1)\cdot k + 3})
\]
on digraphs of directed tree-width at most \(w\). The proof extends the Johnson–Robertson–Seymour–Thomas framework through \(Z\)-guarded sets, arboreal decompositions, itineraries, and a lemma stating that every solution is \((k,w,S)\)-limited, meaning that inside any \(w\)-guarded set the solution has at most \((w+1)k\) weak components [1909.13848].

For the dual parameters of DEDP, an XP algorithm runs in time
\[
O(n^{d+2}\cdot k^{d\cdot s}),
\]
obtained by guessing a set \(X\) of size \(d\), checking whether \(X\) is \(s\)-viable, and reducing larger \(s\) to the \(s=1\) case by duplicating vertices in \(X\). More strongly, \((k,d,s)\)-DEDP admits a kernelization algorithm running in time
\[
O(k\cdot n^2(n+m))
\]
that either outputs a solution or an equivalent instance with at most
\[
d\cdot 2^{k-s}\cdot \binom{k}{s} + 2k
\]
vertices; hence \((k,d,s)\)-DEDP is FPT. The bypassing lemma for congested vertices is the central technical step [1909.13848].

Semicomplete digraphs support a different FPT regime for the standard local congestion model. On semicomplete digraphs, \((k,c)\)-DDP is fixed-parameter tractable parameterized by \(k\) restricted to instances satisfying \(c>k/2\). The proof adapts the directed-pathwidth-plus-irrelevant-vertex methodology from edge-disjoint paths, replacing free-arc arguments by a congestion-based pigeonhole principle: when \(2c>k\), two vertices each used by exactly \(c\) paths must lie on a common routed path. The method is essentially tight for this framework, since the same paper gives counterexamples with no irrelevant vertex when \(c\le k/2\) [2504.19957].

The polynomial-time solvability of the half-integral case \(c=2,k=3\) also depends on structural decomposition. The algorithm uses bounded directed tree-width dynamic programming when possible, and otherwise applies the directed grid theorem to extract a large cylindrical wall, invokes a routing theorem that either gives a half-integral linkage or a small separator, and then repeatedly uncrosses and contracts 2-separations until the remaining graph has bounded directed tree-width. The difficult bookkeeping is handled through feasible routings at contracted regions and special subroutines for \((k,s,t,c)\)-DP with \(k=3,4\) and \(c=2\) [2507.12096].

## 5. Shortest-path congestion variants

A substantial subliterature studies shortest-path analogues of vertex-disjoint paths with congestion. In **\(k\)-Disjoint Shortest Paths with Congestion-\(c\)**, the input graph has positive edge weights and the task is to find paths \(P_1,\dots,P_k\) such that each \(P_i\) is a shortest path from \(s_i\) to \(t_i\) and every vertex is used by at most \(c\) paths. On DAGs, this problem can be solved in time \(f(k)n^{O(d)}\), where \(d=k-c\). The reduction lemma states that when \(k>3d\), the instance is solvable if and only if every terminal pair is connected and some subinstance on \(3d\) terminal pairs is solvable for congestion \(2d\) [2008.08368].

That algorithm is complemented by strong hardness. For every constant \(c\), the congested shortest-path problem is W[1]-hard with respect to the parameter \(k-c\), and for any fixed \(c\) it cannot be solved in time \(f(k)n^{o(k/\log k)}\) unless ETH fails. The paper also shows that \(k\)-EDSP does not admit any \(f(k)n^{o(k)}\) algorithm even on planar DAGs [2008.08368].

A different route to polynomial-time solvability when \(d=k-c\) is constant comes from local-to-global theorems for shortest paths. For DAGs, if \(k\)-DSP can be solved in time \(f(n,k)\), then \((k,c)\)-SPC can be solved in time
\[
O\!\left(\binom{k}{3d}\cdot f(2dn, 3d)\right).
\]
For undirected graphs, the corresponding bound is
\[
O\!\left(\binom{k}{4d}\cdot f(3dn, 4d)\right),
\]
yielding polynomial-time solvability for constant \(d\) once combined with an algorithm for undirected \(k\)-DSP [2211.07042].

The structural mechanism is expressed through **max-congestion nodes**. If \(d=k-c\), then each max-congestion node is avoided by exactly \(d\) solution paths. Observation \(\ref{lem:super-key}\) states that if \(k>Nd\), then any set of \(N\) max-congestion nodes is contained in some solution path. In the undirected setting this leads to a heavy-path lemma: if \(k>4d\), then any solvable instance has a solution in which some solution path contains all max-congestion nodes. In the directed setting the best available conclusion is weaker: if \(k>11d\), then some two solution paths contain all max-congestion nodes, and this does not currently yield an analogous reduction to \(k\)-DSP [2211.07042].

## 6. Adjacent directions, structural theory, and common misconceptions

The strict vertex-disjoint paths literature remains central because many congestion results are phrased as relaxations of it. Examples include FPT algorithms for planar directed \(k\)-Vertex-Disjoint Paths with running time \(2^{2^{O(k^2)}}n^{O(1)}\), and the planar disjoint paths algorithm with running time \(2^{O(k^2)}n^{O(1)}\) based on treewidth reduction, irrelevant vertices, and Schrijver-style algebraic or homological methods. These works do not introduce congestion parameters, but they supply decomposition tools—alternating cycles, ring components, treewidth reduction, unique linkage phenomena—that reappear in more permissive routing models [1304.4207][2008.08373].

Wall-based min-max theory is likewise adjacent rather than identical. Recent results on connecting vertex sets to walls prove alternatives between a small vertex set hitting all relevant paths and a large subwall supporting many pairwise disjoint paths with endpoints on distinct nails. The overlap control is structural—clean systems, pure linkages, in-series linkages—rather than a per-vertex congestion bound [2606.23121].

Approximation with bounded overlap has also been studied in optimization versions such as MaxEDP. On graphs with feedback vertex set number \(r\), one can route \(\Omega(\mathrm{OPT})\) pairs with congestion
\[
\mathcal O\!\left(\frac{\log(kr)}{\log\log(kr)}\right),
\]
improving the classical Raghavan–Thompson dependence on \(n\). The same paper gives an exact algorithm for MaxNDP running in time \((8k+8r)^{2r+2}\cdot \mathcal O(n)\), while proving that MaxNDP is W[1]-hard parameterized by \(r\) [1603.01740].

A frequent misconception is that any work on “sharing” in disjoint-path routing is about congestion. The batch-\(k\)DP framework of ShareDP is an explicit counterexample: it studies strict vertex-disjoint paths for many source–target pairs, using shared split-graph representations, tagged bidirectional BFS, and shared updates of \(prehops\), \(nexthops\), and \(isPinner\). The paper states that the shared resources are algorithmic computations and storage, not path overlap, and that the paths themselves remain strictly disjoint except at the two terminals of each query [2502.16506].

Taken together, these results show that Vertex Disjoint Paths with Congestion is not a single problem family but a spectrum of routing models. The standard local model constrains every vertex by a uniform capacity \(c\); DEDP relaxes this to a large well-behaved region; shortest-path variants add geodesic constraints; semicomplete, planar, bounded-width, and acyclic classes each admit their own techniques. The unifying theme is that relaxing disjointness by bounded overlap can create algorithmic leverage, but usually only in regimes controlled by slack parameters such as \(k-c\), by structural graph classes, or by global restrictions on where congestion is allowed [1605.01866][1909.13848][2504.19957].

Source: https://www.emergentmind.com/topics/vertex-disjoint-paths-with-congestion