---
title: Fort Number in Graph Theory
url: https://www.emergentmind.com/topics/fort-number
type: topic
---

# Fort Number in Graph Theory

In contemporary graph theory, the **fort number** usually denotes the packing parameter \(\ft(G)\) associated with zero forcing: for a finite simple graph \(G\), a nonempty set \(F\subseteq V(G)\) is a **fort** if no vertex outside \(F\) has exactly one neighbor in \(F\), and \(\ft(G)\) is the maximum number of pairwise disjoint forts in \(G\). This parameter packages the obstruction structure behind zero forcing, because a set is zero forcing if and only if it intersects every fort; consequently, \(\ft(G)\) is a lower bound on both the fractional and integral zero forcing numbers [2310.17904].

## 1. Definition and obstruction-theoretic meaning

A fort is a nonempty vertex set \(F\subseteq V(G)\) satisfying
\[
\forall v\in V(G)\setminus F,\qquad |N_G(v)\cap F|\neq 1.
\]
Equivalently, every vertex outside \(F\) has either \(0\) or at least \(2\) neighbors in \(F\). In zero forcing language, this is exactly the configuration that prevents progress: if all vertices in \(V(G)\setminus F\) are already filled or blue, then no outside vertex has a unique white neighbor in \(F\), so no force can enter \(F\) [2402.08866].

The fort number is the maximum size of a family of pairwise disjoint forts:
\[
\ft(G)=\max\left\{|\mathcal F|:\mathcal F\text{ is a collection of disjoint forts of }G\right\}.
\]
It is therefore a packing invariant: it measures how many mutually independent obstructions to forcing can coexist in the same graph. The basic zero-forcing characterization
\[
S\text{ is a zero forcing set}\iff S\text{ intersects every fort}
\]
immediately yields
\[
\ft(G)\le Z(G),
\]
since any zero forcing set must hit each fort in any disjoint family [2310.17904].

This obstruction viewpoint also explains why forts are central rather than auxiliary. A fort is not a dynamic object arising during a forcing process; it is a static certificate that a prescribed complement cannot force the graph. The fort number aggregates these certificates at the level of disjoint packing.

## 2. Hypergraph, LP, and fractional formulations

A systematic formulation uses the **fort hypergraph** \(F_G\), whose vertices are the vertices of \(G\) lying in at least one minimal fort and whose hyperedges are the minimal forts of \(G\). Within this framework, zero forcing and fort packing become standard covering and matching parameters:
\[
Z(G)=\tau(F_G),\qquad \ft(G)=\mu(F_G),
\]
where \(\tau\) is the transversal number and \(\mu\) is the matching number of the hypergraph [2310.17904].

The same formalism yields the fractional theory. The **fractional zero forcing number** is
\[
Z^*(G)=\tau^*(F_G)=\min \left\{ \sum_{v\in V(G)} x_v : \sum_{v\in F}x_v\ge 1\ \forall F\in F_G,\ x_v\ge 0 \right\},
\]
and the dual **fractional fort number** is
\[
\ft^*(G)=\mu^*(F_G)=\max \left\{ \sum_{F\in F_G} x_F : \sum_{F\ni v} x_F \le 1\ \forall v\in V(G),\ x_F\ge 0 \right\}.
\]
By linear programming duality,
\[
\ft^*(G)=Z^*(G).
\]
Accordingly, the standard chain is
\[
\ft(G)\le \ft^*(G)=Z^*(G)\le Z(G).
\]

This formulation has two important consequences. First, it places the fort number inside a classical packing-versus-covering paradigm rather than treating it as an ad hoc graph invariant. Second, it clarifies that \(\ft(G)\) is the integral packing shadow of the same fort system whose transversal number gives \(Z(G)\). In the literature this also connects \(\ft(G)\) with the failed zero forcing partition number via
\[
z_G=\ft(G),
\]
so the parameter has an equivalent interpretation in failed-forcing theory [2310.17904].

## 3. Pathwidth-controlled approximation and the first general gap bound

A major recent development is the pathwidth-sensitive upper bound relating the fort number to the zero forcing number. Given a nice path decomposition of width \(w\), an approximation algorithm constructs simultaneously a zero forcing set \(S\), a forcing arc set \(A\), and a fort packing \(\mathcal F\). The algorithm processes the graph along the path decomposition and repeatedly uses a vertex-cut gluing proposition for forcing arc sets; because each bag has size at most \(w+1\), each iteration adds at most \(w+1\) vertices to \(S\) while also adding one fort to the packing. From this, the paper proves that the output satisfies \(|S|\le (w+1)|\mathcal F|\), and with an optimal path decomposition obtains
\[
\boxed{\ft(G)\le Z(G)\le (pw(G)+1)\,\ft(G).}
\]
The algorithm runs in \(O(nm)\) time starting from a path decomposition, where \(n\) and \(m\) are the order and size of the graph [2402.08866].

This is significant because it gives the first general upper bound on the multiplicative gap between the fort number and the zero forcing number. Earlier work had established equality only at the fractional level, but no bound of the form \(Z(G)\le c\cdot \ft(G)\) had been known. The new result shows that pathwidth controls that gap:
\[
Z(G)\le (pw(G)+1)\ft(G).
\]

The proof is phrased through **forcing arc sets** rather than directly through forcing sequences. The technical reason is compositionality under vertex cuts: if two subgraphs share a cut \(C\) and each has a forcing arc set with all vertices of \(C\) as sources, then the arc sets combine into a forcing arc set for the whole graph. This vertex-cut mechanism is the engine behind the approximation ratio [2402.08866].

The result also leaves two explicit open directions. One is whether the bound
\[
Z(G)\le (pw(G)+1)\ft(G)
\]
is sharp. The other is whether an analogous statement can be proved with tree decompositions, replacing pathwidth by treewidth.

## 4. Cartesian products and multiplicative behavior

The fort number interacts particularly well with Cartesian products. If \(F_G\) is a fort of \(G\) and \(F_{G'}\) is a fort of \(G'\), then
\[
F_G\times F_{G'}
\]
is a fort of \(G\Box G'\). This product construction transfers directly to packings and implies
\[
\ft(G)\,\ft(G')\le \ft(G\Box G').
\]
It is sharp for the family \(K_{2m}\Box K_{2m}\), where
\[
\ft(K_{2m}\Box K_{2m})=\ft(K_{2m})^2
\]
was proved [2310.17904].

The same machinery feeds back into zero forcing. Using fort hypergraphs and hypergraph product inequalities, one obtains
\[
Z^*(G)\,Z(G')\le Z(G\Box G').
\]
In particular, if \(Z^*(G)=Z(G)\), then
\[
Z(G)\,Z(G')\le Z(G\Box G').
\]
A stronger lemma yields
\[
Z(G\Box G')\ge \tau(F_G\times F_{G'})+1
\]
whenever both graphs contain an edge, and from this comes the Vizing-like lower bound
\[
Z(G\Box G')\ge Z(G)Z(G')+1
\]
for several graph families, together with the conjecture that the same inequality holds for all graphs with edges [2310.17904].

These product results reinforce the interpretation of the fort number as a structural packing invariant. Unlike many lower bounds that are local or degree-based, \(\ft(G)\) has a clean tensor-like behavior under \(G\Box G'\), which is precisely why it is useful in zero-forcing product problems.

## 5. Hypercubes as a model case

The hypercube \(Q_d\) provides the most detailed current case study. In this setting, minimum forts are completely characterized. For \(d\ge 2\) with \(d\neq 4\), a set \(F\subseteq V(Q_d)\) is a minimum fort if and only if
\[
F=N(v)
\]
for some vertex \(v\in V(Q_d)\); hence every minimum fort has size \(d\). The exceptional case \(Q_4\) has two automorphism classes of minimum forts: the neighborhood forts \(N(v)\) and one additional non-neighborhood class represented by a specific \(4\)-vertex fort. Even there, the minimum fort size remains \(4=d\) [2507.10826].

From this description one gets the exact fractional zero forcing number:
\[
\boxed{Z^*(Q_d)=\frac{2^d}{d}\qquad(d\ge 2).}
\]
For the fort number itself, the bounds are
\[
\boxed{\frac{2^d}{2^{\log_2(d-1)}+1}\le \ft(Q_d)\le \frac{2^d}{d}.}
\]
The upper bound comes from \(\ft(Q_d)\le Z^*(Q_d)\), while the lower bound is obtained from the open packing number because open neighborhoods are forts in \(Q_d\) [2507.10826].

A particularly rigid situation occurs when \(d=2^k\). In that case the lower and upper bounds coincide, and
\[
\ft(Q_{2^k})=Z^*(Q_{2^k})=2^{2^k-k}.
\]
Moreover, the paper combines this with known hypercube domination results to obtain
\[
\boxed{ \ft(Q_{2^k}) = Z^*(Q_{2^k}) = \rho^o(Q_{2^k}) = \gamma(Q_{2^k}) = \gamma_t(Q_{2^k}) = 2^{2^k-k}. }
\]

The hypercube results are notable for two reasons. First, they show that forts can be much more rigid than zero forcing sets: the paper explicitly contrasts the complete classification of minimum forts with the existence of non-automorphic minimum zero forcing sets having distinct propagation times. Second, they provide one of the clearest examples where the fort number can be bounded sharply and, in the power-of-two case, computed exactly [2507.10826].

## 6. Minimal forts, computation, and adjacent counting problems

The fort number counts **disjoint forts**; it does **not** count all forts or all minimal forts. This distinction matters because minimal forts are the irredundant obstructions used in fort-cover formulations, whereas \(\ft(G)\) is a packing number. A graph may have exponentially many minimal forts, so the combinatorics of minimal-fort enumeration and the value of the fort number are related but distinct problems [2508.07293].

On the optimization side, a dedicated integer program \(FN(G)\) computes \(\ft(G)\) directly without enumerating all minimal forts first. The model uses binary variables \(x_{iv}\) indicating whether vertex \(v\) belongs to the \(i\)-th candidate fort and \(z_i\) indicating whether that candidate set is nonempty, with objective
\[
\max \sum_{i=1}^{n} z_i.
\]
Its constraints enforce nonemptiness, the fort condition, and pairwise disjointness, and the paper proves that if \((x,z)\) is optimal, then
\[
\ft(G)=\sum_{i=1}^{n} z_i.
\]
The same paper records the standard hierarchy
\[
\ft(G)\le Z^*(G)\le Z(G)
\]
and discusses the conjectured strengthening
\[
\ft(G)\le Z^*(G)\le M(G)
\]
in terms of maximum nullity [2508.07293].

Adjacent work on **minimal forts** has revealed a rich counting theory. For graphs of order at least six, the number of minimal forts is strictly less than Sperner’s bound, although minimal forts form a clutter. Exact formulas are known for several graph families: in particular, the number of minimal forts of a path graph follows the Padovan sequence, the number for a cycle follows the Perrin sequence, and windmill graphs \(Wd(4,k)\) exhibit exponential growth with asymptotic base \(3^{1/3}\) [2404.05963]. For trees, every tree of order \(n\) has at least \(n/3\) minimal forts, with equality characterized by graphs of the form \(H\circ E_2\); more recently, the conjectured upper bound
\[
\mathcal{F}_{T_n}\le \binom{n}{2}\mathcal{F}_{P_n}
\]
for the maximum number of minimal forts on an \(n\)-vertex tree was proved [2512.12874], [2605.07298].

These results sharpen a common distinction. The **number of minimal forts** is an enumeration problem about inclusion-minimal obstructions. The **fort number** is a packing problem about pairwise disjoint obstructions. The two interact, but they are not interchangeable invariants.

## 7. Terminological distinctions and scope

In the zero-forcing literature, **fort number** refers to \(\ft(G)\), the maximum size of a pairwise disjoint fort packing. However, the phrase **Fort numbers** has another established meaning in a different combinatorial context: in work on domination in Johnson graphs \(J(n,3)\), it refers to the **Fort–Hedlund covering numbers**
\[
|C_m|=\rho_{\Delta}(K_m),
\]
the minimum number of triangles needed to cover all edges of the complete graph \(K_m\). Those numbers enter the closed form
\[
\phi_n=\min\{|C_{m_1}|+|C_{m_2}|:m_1+m_2=n,\ m_1,m_2\ge 3\}
\]
used to determine \(\gamma(J(n,3))\), but they are distinct from the zero-forcing fort number \(\ft(G)\) [2606.10326].

This terminological divergence is historically understandable but mathematically substantial. In one setting, the parameter is a graph-packing invariant tied to zero forcing and fort hypergraphs. In the other, it is a triangle-covering number of complete graphs used as an ingredient in domination formulas. For work in zero forcing, spectral graph theory, or propagation processes, the default meaning is the former.

As the subject stands, the fort number occupies a precise niche: it is the integral packing counterpart to the fort-cover description of zero forcing, it admits a fractional LP relaxation identical to fractional zero forcing, it behaves well under Cartesian products, and its gap from \(Z(G)\) is now known to be controlled by pathwidth through
\[
\ft(G)\le Z(G)\le (pw(G)+1)\ft(G).
\]
The current frontier concerns sharpness, treewidth analogues, and broader structural descriptions of graphs where the fort number, fractional zero forcing number, and zero forcing number coincide.

Source: https://www.emergentmind.com/topics/fort-number