---
title: Minimum Forcing Set in Graph Theory
url: https://www.emergentmind.com/topics/minimum-forcing-set
type: topic
---

# Minimum Forcing Set in Graph Theory

In graph theory, a minimum forcing set usually denotes a zero forcing set of minimum cardinality: an initial set of black vertices from which the entire graph is forced black by repeated applications of the color-change rule. For a graph $G$, this minimum size is the zero forcing number $Z(G)$, and a zero forcing set of size $Z(G)$ is often called a $Z(G)$-set or minimum zero forcing set [1105.1492]. Later work emphasized that “minimum” is distinct from “minimal”: every minimum zero forcing set is inclusion-minimal, but a minimal zero forcing set can be strictly larger than $Z(G)$ [2204.01810].

## 1. Classical zero forcing framework

Let $G=(V(G),E(G))$ be a graph whose vertices are colored black or white. In the standard color-change rule, a black vertex $u$ forces a white vertex $w$ if $w$ is the only white neighbor of $u$; this is written $u \to w$ [1105.1492]. A subset $Z \subseteq V(G)$ is a zero forcing set if, starting with $Z$ black and all other vertices white, repeated global applications of this rule eventually turn every vertex black. The zero forcing number is
\[
Z(G)=\min\{|Z|: Z \subseteq V(G),\ Z \text{ is a zero forcing set}\},
\]
and a zero forcing set of cardinality $Z(G)$ is a minimum forcing set in the standard zero forcing sense [1105.1492].

The process admits a discrete dynamical formulation. For $S \subseteq V(G)$, the functions $\chi_S^i:V(G)\to\{0,1\}$ are defined recursively by
\[
\chi_S^0(v)=
\begin{cases}
0 & \text{if } v\in S,\\
1 & \text{if } v\notin S,
\end{cases}
\]
and
\[
\chi_S^{i+1}(v)=
\begin{cases}
0 & \text{if } \chi_S^i(v)=0,\\
0 & \text{if } \chi_S^i(v)=1 \text{ and } \exists u\in N(v)\text{ such that }\forall w\in N[u]\setminus\{v\},\ \chi_S^i(w)=0,\\
1 & \text{otherwise.}
\end{cases}
\]
Here $N(v)$ is the open neighborhood and $N[u]$ the closed neighborhood [1105.1492].

Associated notions include the $i$-th derived set
\[
D_Z^i=\{v\in V(G): \chi_Z^i(v)=0 \text{ and } \chi_Z^{i-1}(v)=1\},
\]
the nested black-vertex sets $Z_0 \subseteq Z_1 \subseteq \cdots$, chronological lists of forces, forcing chains, maximal forcing chains, and reversals. If a chronological list of forces is fixed, the reversal of $Z$ is the set of last vertices of maximal forcing chains; the reversal of a zero forcing set is also a zero forcing set [1105.1492].

Minimality and minimum size are different conditions. A minimal zero forcing set is inclusion-minimal, whereas a minimum zero forcing set has size exactly $Z(G)$ [2204.01810]. A graph is called well-forced if every minimal zero forcing set has cardinality $Z(G)$ [2312.14298].

## 2. Structural properties and matrix-theoretic context

Several basic inequalities organize the theory. For any graph $G$, the minimum degree satisfies $\delta(G)\le Z(G)$, and the path cover number satisfies $P(G)\le Z(G)$ [1105.1492]. For trees, these parameters coincide: if $T$ is a tree, then $P(T)=Z(T)$ [1105.1492]. Equivalently, for trees one also has $Z(T)=pc(T)$, where $pc(T)$ is the minimum number of vertex-disjoint induced paths covering the vertex set [2312.14298].

Zero forcing sets are generally non-unique. The reversal property shows that different chronological lists can generate different zero forcing sets, and if a graph has a unique zero forcing set, then it must be edgeless [1105.1492]. The parameter is also stable under small deletions: for a vertex $v$, 
\[
Z(G)-1 \le Z(G-\{v\}) \le Z(G)+1,
\]
and for an edge $e$,
\[
Z(G)-1 \le Z(G-e) \le Z(G)+1
\]
[1105.1492].

The principal algebraic motivation comes from minimum rank and maximum nullity. If $A$ is a symmetric matrix with graph $G$ and $x\in\ker(A)$ vanishes on a zero forcing set $Z$, then $x$ must vanish everywhere; consequently zero forcing gives an upper bound on maximum nullity and hence relates directly to minimum rank [1105.1492]. In the formulation of the random-graph study, if $M(G)$ denotes maximum nullity over symmetric real matrices described by $G$, then $Z(G)\ge M(G)$ for all graphs [1705.10391].

On trees, the correspondence with path covers is especially rigid. Given a minimum path cover, choosing one end-vertex from each path yields a minimum zero forcing set, and given a minimum zero forcing set, its maximal forcing chains form a minimum path cover [2312.14298]. This is one reason trees serve as the main testing ground for finer questions such as irrelevance of vertices, well-forcedness, and the gap between minimal and minimum zero forcing sets.

## 3. Iteration index and exact values for standard families

The 2011 introduction of the iteration index refined the size-only viewpoint by measuring the number of global forcing rounds used by a minimum forcing set. For a zero forcing set $Z$,
\[
I_Z(G)=\min\{n\ge 0:\chi_Z^n(v)=0 \text{ for all } v\in V(G)\},
\]
and the iteration index of the graph is
\[
I(G)=\min\{I_Z(G): Z \subseteq V(G),\ |Z|=Z(G)\}.
\]
Thus $I_Z(G)$ counts the number of global steps needed to blacken all vertices from $Z$, and $I(G)$ chooses the smallest such value among minimum forcing sets [1105.1492].

For graphs without isolated vertices, the iteration index satisfies the fundamental bounds
\[
\max\left\{\frac{|V(G)|}{Z(G)}-1,\,1\right\}\le I(G)\le |V(G)|-Z(G).
\]
Both bounds are sharp. The lower bound is attained by $K_n$, where $I(K_n)=1$, and by grid graphs $P_s \square P_t$ with $s\ge t\ge 2$, where $I(G)=s-1=|V|/Z-1$. The upper bound is attained by the graph obtained by joining the center of a star $K_{1,m}$ to an end-vertex of a path $P_n$, for which $I(G)=n+1=|V|-Z$ [1105.1492].

The value of $I_Z(G)$ can depend on which minimum forcing set is chosen. In $C_3 \square K_2$, one minimum forcing set has iteration index $1$, while another has iteration index $2$; this is precisely why $I(G)$ is defined by minimizing over all $Z(G)$-sets [1105.1492].

The standard exact values are as follows.

| Graph family | $Z(G)$ | $I(G)$ |
|---|---:|---:|
| $P_n$ $(n\ge 2)$ | $1$ | $n-1$ |
| $C_n$ $(n\ge 3)$ | $2$ | $\left\lceil\frac{n-2}{2}\right\rceil$ |
| $K_n$ $(n\ge 2)$ | $n-1$ | $1$ |
| $K_{1,q}$ $(q\ge 2)$ | $q-1$ | $2$ |
| $K_{p,q}$ $(p,q\ge 2)$ | $p+q-2$ | $1$ |

These values come with explicit constructions. For $P_n$, only an end-vertex is a minimum forcing set, and forcing proceeds as a single chain of length $n-1$. For $C_n$, a minimum forcing set is an adjacent pair, and forcing propagates in both directions around the cycle. For $K_n$, all but one vertex black forces the remaining vertex in one round. For $K_{1,q}$, taking all leaves except one gives a two-round process: a leaf forces the center, and then the center forces the last leaf [1105.1492].

For Cartesian products, the paper gives several exact formulas. If $t\ge s\ge 2$, then
\[
Z(P_s \square P_t)=\min\{s,t\}, \qquad I(P_s \square P_t)=t-1.
\]
If $s,t\ge 2$, then
\[
Z(K_s \square P_t)=s, \qquad I(K_s \square P_t)=t-1.
\]
For $C_s \square P_t$ with $s\ge 3$ and $t\ge 2$,
\[
Z(C_s \square P_t)=\min\{s,2t\},
\]
and
\[
I(C_s \square P_t)=
\begin{cases}
\left\lceil\frac{s-2}{2}\right\rceil & \text{if } s\ge 2t,\\
t-1 & \text{if } s<2t.
\end{cases}
\]
For $C_s \square K_t$ with $s\ge 4$ and $t\ge 2$,
\[
Z(C_s \square K_t)=2t,\qquad I(C_s \square K_t)=\left\lceil\frac{s-2}{2}\right\rceil.
\]
For $K_s \square K_t$ with $s,t\ge 3$,
\[
Z(K_s \square K_t)=st-s-t+2,\qquad I(K_s \square K_t)=2
\]
[1105.1492].

The same work also gives upper bounds for triangular grids and king grids and an exact formula for bouquets of circles. If $B_n=(k_1,\dots,k_n)$ is a bouquet of $n\ge 2$ cycles with $k_1\le \cdots \le k_n$ and $k_i\ge 2$, then
\[
Z(B_n)=n+1,\qquad I(B_n)=\left\lceil\frac{k_n+k_{n-1}}{2}\right\rceil-1
\]
[1105.1492].

## 4. Extremal, probabilistic, and spectral estimates

Beyond exact families, the zero forcing number has been studied on large structural classes. One line of work treats graphs of large girth, $H$-free graphs for a fixed bipartite graph $H$, random graphs, and pseudorandom graphs [1705.10391].

For binomial random graphs $G(n,p)$ with
\[
\frac{\log^2 n}{\sqrt{n}} \le p \le \frac{2}{3},
\]
one has with high probability
\[
Z\big(G(n,p)\big)=n-\left(2+\sqrt{2}+o(1)\right)\cdot \frac{\log(np)}{-\log(1-p)}.
\]
In particular, for $p=\frac12$,
\[
Z\big(G(n,1/2)\big)=n-\left(2+\sqrt{2}+o(1)\right)\log_2 n,
\]
and for $p=o(1)$,
\[
Z\big(G(n,p)\big)=n-\left(2+\sqrt{2}+o(1)\right)p^{-1}\log(np)
\]
[1705.10391].

For $(n,d,\lambda)$-graphs, the spectral estimates are of the form
\[
Z(G)\ge n\left(1+\frac{2\lambda_{\min}}{d-\lambda_{\min}}\right)
\]
and
\[
Z(G)\le n\left(1-\frac{1}{2(d-\lambda)}\log\left(\frac{d-\lambda}{2\lambda+1}\right)\right),
\]
where $\lambda_{\min}$ is the smallest eigenvalue [1705.10391]. These bounds show that in good expanders the zero forcing number remains close to the order of the graph.

The random-graph results also sharpen the distinction between zero forcing and matrix-theoretic nullity in typical graphs. In contrast to the asymptotic formula above for $Z(G(n,p))$, the same study notes that $M(G(n,p))$ lies in $[0.49n,0.86n]$ with high probability, so for most graphs $Z(G)$ and $M(G)$ are far apart [1705.10391]. This suggests that minimum forcing sets are often much larger than nullity-based obstructions alone would indicate.

## 5. Variants of minimum forcing sets in graphs

A substantial part of the literature replaces the standard color-change rule or adds constraints on the initial set. The most developed variants are total forcing, connected forcing, skew forcing, positive semidefinite forcing, edge forcing, and dom-forcing.

A total forcing set is a zero forcing set whose induced subgraph has no isolated vertices; its minimum size is $F_t(G)$ [1702.06035]. For connected graphs of order $n\ge 3$ and maximum degree $\Delta$,
\[
F_t(G)\le \frac{\Delta}{\Delta+1}\,n,
\]
with equality if and only if $G=K_{\Delta+1}$ or $G=K_{1,4}$ [1702.06035]. On trees, the parameter is closely tied to path covers and matchings: for every nontrivial tree $T$,
\[
pc(T)+1 \le F_t(T)\le 2pc(T),
\qquad
F_t(T)\le \alpha'(T)+pc(T),
\]
and the extremal trees for both bounds are characterized [1801.05318]. A complementary tree result states that if $T$ is a non-trivial tree with $n_1$ leaves, then $F_t(T)\ge n_1$, and consequently $F_t(T)\ge F(T)+1$ [1702.06496]. In connected claw-free cubic graphs of order $n\ge 6$, one has
\[
F_t(G)\le \frac{n}{2},
\]
with equality exactly for the prism $C_3 \square K_2$ and the diamond-necklace family [1708.05041].

A connected forcing set is a zero forcing set inducing a connected subgraph; its minimum size is $Z_c(G)$ [1605.02124]. For connected graphs,
\[
Z(G)\le Z_c(G),
\]
and exact values include $Z_c(P_n)=1$, $Z_c(C_n)=2$, and $Z_c(K_n)=n-1$ [1605.02124]. The connected variant is computationally harder than it may first appear: the decision problem for connected zero forcing is NP-complete [1607.00658]. It also satisfies sharper lower bounds in terms of girth and minimum degree, such as
\[
Z_c(G)\ge \delta(G)+g(G)-3
\]
when $g(G)\ge 3$ and $\delta(G)\ge 3$ [1605.02124].

Skew zero forcing relaxes the rule so that any vertex, black or white, can force when it has exactly one white neighbor. The minimum size is the skew zero forcing number $sZ(G)$ [1404.1618]. A connected graph $G$ is complete multipartite if and only if
\[
sZ(G)=|G|-2,
\]
and in many bipartite families minimum skew zero forcing sets are realized as the unsaturated sets of maximum matchings [1404.1618]. In bipartite graphs in which all maximum matchings are uniquely restricted, the minimum skew zero forcing sets are precisely the bases of the dual of the matching matroid [1404.1618].

The positive semidefinite and skew variants also have a reconfiguration theory. For a tree $T$ on $n$ vertices, the reconfiguration graph of minimum PSD forcing sets under token exchange is $K_n$, and under token sliding it is $T$ itself [2501.03642]. For skew forcing on trees, the token-exchange reconfiguration graph is connected, whereas the token-sliding reconfiguration graph has no edges [2501.03642]. These results make explicit how “minimum forcing set” can be studied as a configuration space, not only as a static optimum.

Edge forcing begins from a matching of initially active edges rather than a set of vertices. If $K$ is a set of independent edges and the endpoint set $T(K)$ zero forces all of $G$, then $K$ is an edge-forcing set; its minimum cardinality is $\zeta_e(G)$ [2108.04764]. The decision problem is NP-complete. For butterfly networks, $BF(2)$ has no edge-forcing set, while
\[
\zeta_e(BF(3))=8,\qquad \zeta_e(BF(4))=25,\qquad \zeta_e(BF(5))=47
\]
[2108.04764].

A more recent hybrid notion is the connected dom-forcing set, which must be simultaneously a connected dominating set and a connected zero forcing set; its minimum size is $F_{cd}(G)$ [2505.11038]. The exact values include
\[
F_{cd}(P_n)=n-2,\qquad F_{cd}(C_n)=n-2,\qquad F_{cd}(W_n)=3,\qquad F_{cd}(Q_k)=2k-1
\]
for the graph classes treated in that paper [2505.11038].

## 6. Extensions beyond vertex zero forcing

The expression “minimum forcing set” also appears in several non-zero-forcing settings, where the common theme is uniqueness enforced by prescribing a smallest subset.

In mathematical origami, a forcing set is a subset of creases whose mountain-valley assignments determine the entire locally flat-foldable pattern. For an $m\times n$ Miura-ori, locally flat-foldable assignments correspond bijectively to $3$-colorings of a grid graph, and minimum forcing sets correspond to minimum feedback arc sets in an associated planar digraph [1410.2231]. The size satisfies
\[
m+n-2 \le |F|_{\min}\le \left\lceil \frac{mn}{2}\right\rceil,
\]
and for the standard Miura-ori assignment the upper bound is attained:
\[
|F|_{\min}=\left\lceil \frac{mn}{2}\right\rceil
\]
[1410.2231]. For one-dimensional origami, there is a linear-time algorithm, and the minimum forcing set size is exactly $m+e$, where $m$ is the number of monocrimps in an exhaustive crimp sequence and $e$ is the number of end creases [1703.06373].

For perfect matchings, a forcing set of a perfect matching $M$ is a subset $S\subseteq M$ such that $M$ is the only perfect matching containing $S$; the minimum size is the forcing number $f(M)$ [1712.03535]. In the hypercube $Q_n$, every perfect matching satisfies
\[
f(M)\ge 2^{n-2},
\]
which resolved a conjecture of Pachter and Kim for all $n\ge 2$ [1712.03535].

For maximal matchings, the relevant notion is global forcing: a set $S\subseteq E(G)$ is a global forcing set if distinct maximal matchings have distinct intersections with $S$ [2107.13786]. In corona products, the paper establishes lower and upper bounds and gives an integer linear programming formulation for computing the minimum global forcing set [2107.13786].

For optimization problems such as minimum spanning trees and shortest paths, a forcing set is a set of elements that lies in exactly one optimum solution [2509.24309]. In that setting, the minimum forcing set and minimum anti-forcing set for minimum spanning trees are both solvable in polynomial time; the minimum forcing set for shortest $s$-$t$ paths is also polynomial-time solvable, whereas the minimum anti-forcing set for shortest $s$-$t$ paths is NP-hard [2509.24309]. This suggests that the forcing-set paradigm extends beyond graph coloring dynamics to broader uniqueness problems in combinatorial optimization.

Across these domains, the phrase “minimum forcing set” retains a consistent core meaning: the smallest prescribed subset that eliminates all but one admissible completion. In zero forcing, that completion is a global propagation process; in origami, it is a flat-foldable mountain-valley assignment; in matching and optimization settings, it is a unique optimum or unique feasible structure.

Source: https://www.emergentmind.com/topics/minimum-forcing-set