Proof of a conjecture on the zero forcing number of a graph

Amos et al. (2015) introduced the notion of the k-forcing number of graph for a positive integer k as the generalization of the zero forcing number of a graph. The k-forcing number of a simple graph G, denoted by Fk(G), is the minimum number of vertices that need to be initially colored so that all vertices eventually become colored during the discrete dynamical process defined by the following rule. Starting from an initial set of colored vertices and stopping when all vertices are colored: if a colored vertex has at most k non-colored neighbors, then each of its non-colored neighbors become colored. Particularly, with a close connection to the maximum nullity of a graph, F1(G) is widely studied under the name of the zero forcing number, denoted by Z(G). Among other things, Amos et al. proved that for a connected graph G of order n with Δ=Δ(G)≥2, Z(G)≤(Δ−2)n+2Δ−1, and this inequality is sharp. Moreover, they conjectured that Z(G)=(Δ−2)n+2Δ−1 if and only if G=Cn, G=KΔ+1 or G=KΔ,Δ. In this note, we show the above conjecture is true.