---
title: Dijoin Conjecture in Digraph Theory
url: https://www.emergentmind.com/topics/dijoin-conjecture
type: topic
---

# Dijoin Conjecture in Digraph Theory

The term **Dijoin Conjecture** is used in two distinct digraph-theoretic settings. In the classical packing setting, a **dijoin** is a subset of arcs that intersects every **dicut**, and Woodall conjectured in 1976 that in every digraph the minimum size of a dicut equals the maximum number of disjoint dijoins [2311.04337]. In the inversion-number setting, Bang-Jensen, da Silva, and Havet conjectured that for oriented graphs \(L\) and \(R\),
\[
\mathrm{inv}(L \rightarrow R)=\mathrm{inv}(L)+\mathrm{inv}(R),
\]
where \(L \rightarrow R\) is the oriented join obtained by adding all arcs from \(L\) to \(R\) [2212.11969]. The two statements concern different objects—arc sets meeting directed cuts versus additivity of inversion number under a graph operation—but both have become focal problems in the study of directed cuts, strong connectivity, and decycling in oriented graphs [2509.10232].

## 1. Definitions and basic frameworks

In the packing literature, for a digraph \(D=(V,A)\), a **dicut** is a cut \(\delta^+(U)\subseteq A\) for some nonempty proper subset \(U\subsetneq V\) such that \(\delta^-(U)=\emptyset\). A **dijoin** is a subset \(J\subseteq A\) that intersects every dicut, and more generally a **\(k\)-dijoin** intersects every dicut at least \(k\) times [2311.04337]. The minimum size of a dicut is commonly denoted by \(\tau\), and in the weighted setting one considers the minimum dicut weight and packings of dijoins subject to arc capacities \(w:A\to\mathbb Z_{\ge 0}\) [2202.00392].

In the inversion-number literature, for an oriented graph \(D\) and a subset \(X\subseteq V(D)\), the **inversion** of \(X\) is obtained by reversing all arcs with both endpoints in \(X\). The **inversion number** \(\mathrm{inv}(D)\) is the minimum number of inversions needed to transform \(D\) into an acyclic digraph; a sequence \(X_1,\dots,X_m\) achieving this is a **decycling family** [2212.11969]. For oriented graphs \(D_1\) and \(D_2\), the **dijoin** \(D_1\rightarrow D_2\) is the disjoint union of \(D_1\) and \(D_2\) together with an arc from every vertex of \(D_1\) to every vertex of \(D_2\) [2509.10232].

| Setting | Central object | Conjectural statement |
|---|---|---|
| Packing of dijoins | Arc subsets meeting every dicut | Maximum number of disjoint dijoins \(=\) minimum dicut size \(\tau\) |
| Inversion number of dijoins | Join \(L\rightarrow R\) of oriented graphs | \(\mathrm{inv}(L\rightarrow R)=\mathrm{inv}(L)+\mathrm{inv}(R)\) |

## 2. Woodall’s conjecture and its weighted analogue

Woodall’s conjecture states that if every directed cut of a digraph has at least \(k\) edges, then there exist \(k\) pairwise disjoint dijoins [1412.1415]. The weighted analogue, due to Edmonds and Giles, asserts that in a weighted digraph the minimum weight of a dicut equals the maximum size of a packing of dijoins respecting the arc weights [2501.10918]. The weighted statement is false in general, whereas the unweighted statement remains open [2311.04337].

A classical dual statement is the Lucchesi–Younger theorem: if every dijoin in a digraph has size at least \(k\), then there are \(k\) pairwise disjoint directed cuts [1412.1415]. The asymmetry between the forward packing problem and its dual is central in the area: the dual theorem holds even in a capacitated version, but the capacitated extension of Woodall’s conjecture fails [1412.1415].

A standard obstruction comes from Schrijver’s counterexample. There exists a planar digraph \(G\) and a subset \(S\subseteq E(G)\) such that every directed cut contains at least two edges in \(S\), yet there do not exist two disjoint dijoins included in \(S\); in that example, the subdigraph formed by the edges in \(S\) consists of three disjoint paths [1412.1415]. In all known counterexamples discussed there, the underlying undirected graph \(S^-\) is disconnected, which led to a connected-set variant of the conjecture [1412.1415].

## 3. Proven packing results and exact classes

A first general structural result is that if every dicut of \(D=(V,A)\) has size at least \(\tau\ge 2\), then \(A\) can be partitioned into a dijoin and a \((\tau-1)\)-dijoin [2202.00392]. In the same work, for \(w\in\mathbb Z_{\ge 0}^A\) and
\[
\rho(\tau,D,w):=\frac{1}{\tau}\sum_{v\in V} m_v,
\]
where each \(m_v\) is the integer in \(\{0,1,\ldots,\tau-1\}\) equal to \(w(\delta^+(v))-w(\delta^-(v))\bmod \tau\), the following are proved: if \(\rho(\tau,D,w)\in\{0,1\}\), then there is an equitable \(w\)-weighted packing of dijoins of size \(\tau\); if \(\rho(\tau,D,w)=2\), then there is a \(w\)-weighted packing of dijoins of size \(\tau\); and if \(\rho(\tau,D,w)=3\), \(\tau=3\), and \(w=\mathbf 1\), then \(A\) can be partitioned into three dijoins [2202.00392].

A different line of work connects dijoin packing to nowhere-zero flows. If the underlying undirected graph of a digraph \(D\) with minimum dicut size \(\tau\) admits a nowhere-zero (circular) \(k\)-flow, then \(D\) contains at least
\[
\left\lfloor \frac{\tau}{k}\right\rfloor
\]
disjoint dijoins [2311.04337]. Seymour’s existence of nowhere-zero \(6\)-flows in \(2\)-edge-connected graphs yields \(\lfloor \tau/6\rfloor\) disjoint dijoins, and these can be found in polynomial time; if the underlying undirected graph is \(6p\)-edge-connected, the bound improves to \(\left\lfloor \frac{\tau p}{2p+1}\right\rfloor\) disjoint dijoins [2311.04337].

Several exact positive results are known for restricted classes. For the connected-set variant at \(k=2\), if \(S\) and \(T\) are compatible digraphs, \(S^-\) is connected, and every directed cut of \(S\cup T\) contains at least two edges from \(S\), then \(E(S)\) can be partitioned into two dijoins whenever either \(S^-\) is a caterpillar subdivision or \(S\cup T\) is planar [1412.1415]. In the weighted setting, the Edmonds–Giles conjecture is true if the underlying undirected graph is chordal, and there is a strongly polynomial time algorithm to construct such a packing [2501.10918]. Since the unweighted case is a special case, this also gives the minimum-size-dicut \(=\) maximum-number-of-disjoint-dijoins statement for chordal digraphs [2501.10918].

## 4. The inversion-number dijoin conjecture

For oriented graphs \(L\) and \(R\), the inversion-number dijoin conjecture of Bang-Jensen, da Silva, and Havet asserts
\[
\mathrm{inv}(L \rightarrow R)=\mathrm{inv}(L)+\mathrm{inv}(R).
\]
It is clear that
\[
\mathrm{inv}(L \rightarrow R)\le \mathrm{inv}(L)+\mathrm{inv}(R),
\]
and earlier work had verified equality in special cases, including the cases where at least one component has inversion number zero and cases where both components are strongly connected with low inversion numbers [2212.11969].

The conjecture extends naturally to ordered \(k\)-joins. If \([D_1,\ldots,D_k]\) denotes the generalized join obtained by adding all arcs from earlier factors to later ones, then one asks when
\[
\mathrm{inv}([D_1,\ldots,D_k])=\sum_{i=1}^k \mathrm{inv}(D_i)
\]
holds [2212.11969]. This formulation has become central in subsequent classification results [2509.10232].

A later status summary isolates families where additivity is known: it holds when
\[
(l,r)\in \{(0,0),(0,k),(k,0),(1,1),(1,2k),(2k,1),(2,2)\},
\]
where \(l=\mathrm{inv}(L)\) and \(r=\mathrm{inv}(R)\); counterexamples exist when either \(l\) or \(r\) is odd and at least \(3\) and neither is zero; and the open cases are when both are even but not both \(2\) [2404.14937].

## 5. Counterexamples and refined classifications for inversion number

The general conjecture is false. A decisive counterexample is a tournament \(R\) such that
\[
\mathrm{inv}(R)=\mathrm{inv}(C_3 \rightarrow R)=3.
\]
Since \(\mathrm{inv}(C_3)=1\), the conjectured value would have been \(4\), so this shows strict inequality [2212.11969]. The construction given there takes \(R\) to be a tournament on \(9\) vertices partitioned into three disjoint sets \(A=\{1,3\}\), \(B=\{4,6\}\), and \(C=\{7,9\}\), with the orientation chosen so that inverting \(A\cup B\), \(A\cup C\), and \(B\cup C\) yields an acyclic tournament [2212.11969].

At the same time, exact positive theorems delimit where additivity survives. If \(L\) and \(R\) satisfy \(\mathrm{inv}(L)=\mathrm{inv}(R)=2\), then
\[
\mathrm{inv}(L \rightarrow R)=4=2+2,
\]
and more generally, if \(D_1,\ldots,D_k\) are oriented graphs with \(\mathrm{inv}(D_i)\le 2\) for all \(i\), with equality for at most one \(i\), then
\[
\mathrm{inv}([D_1,\ldots,D_k])=\sum_{i=1}^k \mathrm{inv}(D_i).
\]
The same work also gives a characterization of decycling families in \(k\)-joins of inversion-\(1\) digraphs using orthonormal vectors over \(\mathbb F_2\) [2212.11969].

Further refinements reveal a parity-sensitive pattern. If \(k\ge 2\) is even and \(D\) is an oriented graph with \(\mathrm{inv}(D)=k\), then
\[
\mathrm{inv}(\overrightarrow{C_3}\Rightarrow D)=1+k;
\]
equivalently, for all oriented graphs \(L,R\) with \(\mathrm{inv}(L)=1\) and \(\mathrm{inv}(R)=k\) even,
\[
\mathrm{inv}(L\Rightarrow R)=\mathrm{inv}(R\Rightarrow L)=1+k.
\]
That result disproves conjectures asserting that strict subadditivity should always occur once inversion numbers are large [2404.14937].

The classification is sharper when one factor has inversion number \(2\). If \(\mathrm{inv}(D_1)=2\) and \(\mathrm{inv}(D_2)\) is even, then
\[
\mathrm{inv}(D_1\rightarrow D_2)=2+\mathrm{inv}(D_2).
\]
If \(\mathrm{inv}(D_1)=2\) and \(\mathrm{inv}(D_2)\) is odd, then either
\[
\mathrm{inv}(D_1\rightarrow D_2)=\mathrm{inv}(D_2)+2
\]
or
\[
\mathrm{inv}(D_1\rightarrow D_2)=\mathrm{inv}(D_2)+1,
\]
and the latter occurs precisely when
\[
\mathrm{inv}(\overrightarrow{C_3}\rightarrow D_2)=\mathrm{inv}(D_2).
\]
The same paper proves an \(n\)-join theorem: if all \(\mathrm{inv}(D_i)\le 2\), then
\[
\mathrm{inv}([D_1,\ldots,D_n])=\sum_{i=1}^n \mathrm{inv}(D_i),
\]
thereby proving a conjecture of Alon, Powierski, Savery, Scott, and Wilmer [2509.10232].

## 6. Techniques, computational complexity, and remaining frontier

The two conjectural frameworks have generated markedly different proof techniques. Approximate packing results use nowhere-zero and nowhere-zero circular \(k\)-flows, together with reformulations of Woodall’s conjecture in terms of packing strongly connected orientations [2311.04337]. The connected-set variant at \(k=2\) is reduced to an orientation problem on a tree \(S\) relative to a **bias** \(\mathcal B\), with proofs in the caterpillar and planar cases using inductive orientation lemmas, planar duality, and the wedge theorem [1412.1415]. Weighted packing results use reductions to weighted \((\tau,\tau+1)\)-bipartite digraphs and a matroidal framework involving the bimatchability matroid \(M_0\) and the major matroid \(M_1\) [2202.00392]. For chordal digraphs, the exact weighted theorem relies on simplicial vertices, perfect elimination orderings, and a weight-transfer argument [2501.10918].

In the inversion-number setting, linear algebra over \(\mathbb F_2\) is central. One structural theorem characterizes decycling families in terms of orthonormal vectors over \(\mathbb F_2\) [2212.11969]. A later development introduces **tournament minimum rank** \(\mathrm{tmr}(D)\), defined as the minimal rank of a decycling matrix for a tournament \(D\), together with the relation
\[
\mathrm{inv}(D)=\mathrm{tmr}(D)\quad \text{or}\quad \mathrm{tmr}(D)+1,
\]
and in the latter case \(\mathrm{tmr}(D)\) is even [2509.10232]. This becomes the key algebraic tool in the classification of the \(\mathrm{inv}(D_1)=2\) cases [2509.10232].

Complexity and extremal questions have also been clarified. For general oriented graphs, deciding whether \(\mathrm{inv}(D)\le k\) is NP-complete for all \(k\ge 1\); for tournaments, deciding whether \(\mathrm{inv}(T)\le k\) is solvable in time \(O_k(|V(T)|^2)\), which is tight for all \(k\), and hence fixed-parameter tractable when parameterized by \(k\) [2212.11969]. The maximum inversion number of an \(n\)-vertex tournament is asymptotically \((1+o(1))n\) [2212.11969].

The present frontier is sharply delineated. In the packing setting, Woodall’s unweighted conjecture remains open, while the weighted Edmonds–Giles conjecture is false in general but true for chordal digraphs [2501.10918]. In the inversion-number setting, counterexamples are known whenever one parameter is odd and at least \(3\), whereas the remaining open case is when both inversion numbers are even and at least \(4\) [2509.10232]. A further conjecture is that tournament minimum rank is additive under dijoin,
\[
\mathrm{tmr}(D_1\rightarrow D_2)=\mathrm{tmr}(D_1)+\mathrm{tmr}(D_2),
\]
which, if true, would settle the even–even case via the relation between \(\mathrm{inv}\) and \(\mathrm{tmr}\) [2509.10232].

Source: https://www.emergentmind.com/topics/dijoin-conjecture