Let $G$ be a simple, finite, and undirected graph with vertices each given an initial coloring of either blue or white. Zero forcing on graph $G$ is an iterative process of forcing its white vertices to become blue after a finite application of a specified color-change rule. We say that an initial set $S$ of blue vertices of $G$ is a zero forcing set for $G$ under the specified color-change rule if a finite number of iterations of zero forcing results to an updated coloring where all vertices of $G$ are blue. Otherwise, we say that $S$ is a failed zero forcing set for $G$ under the specified color-change rule. It is not difficult to see that any subset of a failed zero forcing set is also failed. Hence, our interest lies on the maximum possible cardinality of a failed zero forcing set, which we refer to as the failed zero forcing number of $G$. In this paper, we consider two color-change rules $-$ standard and positive semidefinite. We compute for the failed zero forcing numbers of several graph families. Furthermore, under each graph family, we characterize the graphs $G$ for which the failed zero forcing number is equal to the minimum rank of $G$.
Let $G$ be a simple, finite graph with vertex set $V(G)$ and edge set $E(G)$, where each vertex is either colored blue or white. Define the standard zero forcing process on $G$ with the following color-change rule: let $S$ be the set of all initially blue vertices of $G$ and let $u \in S$. If $v$ is the unique white vertex adjacent to $u$ in $G$, color $v$ blue and update $S$ by adding $v$ to $S$. If $S = V(G)$ after a finite number of iterations of the color-change rule, we say that $S$ is a zero forcing set for $G$. Otherwise, we say that $S$ is a failed zero forcing set. In this paper, we c…
Given a graph $G$, the zero forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Hence the failed zero forcing number of a graph was defined to be the size of the largest set of vertices which fails to force all vertices in the graph. A similar property called skew zero forcing was defined so that if there is exactly one neighbor…
Given a graph $G$, the zero-forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Zero-forcing numbers have attracted great interest over the past 15 years and have been well studied. In this paper we investigate the largest size of a set $S$ that does not force all of the vertices in a graph to be in $S$. This quantity is known a…
Let $D$ be a simple digraph (directed graph) with vertex set $V(D)$ and arc set $A(D)$ where $n=|V(D)|$, and each arc is an ordered pair of distinct vertices. If $(v,u) \in A(D)$, then $u$ is considered an \emph{out-neighbor} of $v$ in $D$. Initially, we designate each vertex to be either filled or empty. Then, the following color change rule (CCR) is applied: if a filled vertex $v$ has exactly one empty out-neighbor $u$, then $u$ will be filled. The process continues until the CCR does not allow any empty vertex to become filled. If all vertices in $V(D)$ are eventually filled, then the initi…
The minimum forcing number of a graph $G$ is the smallest number of edges simultaneously contained in a unique perfect matching of $G$. Zhang, Ye and Shiu \cite{HDW} showed that the minimum forcing number of any fullerene graph was bounded below by $3$. However, we find that there exists exactly one excepted fullerene $F_{24}$ with the minimum forcing number $2$. In this paper, we characterize all fullerenes with the minimum forcing number $3$ by a construction approach. This also solves an open problem proposed by Zhang et al. We also find that except for $F_{24}$, all fullerenes with anti-fo…
Leaky-forcing is a recently introduced variant of zero-forcing that has been studied for families of graphs including paths, cycles, wheels, grids, and trees. In this paper, we extend previous results on the leaky forcing number of the d-dimensional hypercube, $Q_d$, to show that the $(d-2)$-leaky forcing number of $Q_d$ is at most $2^{d-1}$. We also examine a question about the relationship between the size of a minimum $\ell$-leaky-forcing set and a minimum zero-forcing set for a graph $G$.
Zero forcing is a propagation process on a graph, or digraph, defined in linear algebra to provide a bound for the minimum rank problem. Independently, zero forcing was introduced in physics, computer science and network science, areas where line digraphs are frequently used as models. Zero forcing is also related to power domination, a propagation process that models the monitoring of electrical power networks. In this paper we study zero forcing in iterated line digraphs and provide a relationship between zero forcing and power domination in line digraphs. In particular, for regular iterated…
Let $G$ be a simple graph with $2n$ vertices and a perfect matching. The forcing number $f(G,M)$ of a perfect matching $M$ of $G$ is the smallest cardinality of a subset of $M$ that is contained in no other perfect matching of $G$. Among all perfect matchings $M$ of $G$, the minimum and maximum values of $f(G,M)$ are called the minimum and maximum forcing numbers of $G$, denoted by $f(G)$ and $F(G)$, respectively. Then $f(G)\leq F(G)\leq n-1$. Che and Chen (2011) proposed an open problem: how to characterize the graphs $G$ with $f(G)=n-1$. Later they showed that for a bipartite graph $G$, $f(G…
It is well-known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite circulants, cubic circulants, and circulants which are torus products, to obtain bounds on the minimum rank and the maximum nullity. We also evaluate when the zero forcing number will give equality.
Let $G$ be a simple graph with $2n$ vertices and a perfect matching. We denote by $f(G)$ and $F(G)$ the minimum and maximum forcing number of $G$, respectively. Hetyei obtained that the maximum number of edges of graphs $G$ with a unique perfect matching is $n^2$. We know that $G$ has a unique perfect matching if and only if $f(G)=0$. Along this line, we generalize the classical result to all graphs $G$ with $f(G)=k$ for $0\leq k\leq n-1$, and characterize corresponding extremal graphs as well. Hence we get a non-trivial lower bound of $f(G)$ in terms of the order and size. For bipartite graph…
Zero forcing is a one-player game played on a graph. The player chooses some set of vertices to color, then iteratively applies a color change rule: If all but one of a colored vertex's neighbors are colored, color (i.e. "force") the remaining uncolored neighbor. Generally, the goal is to find the minimum number of vertices to initially color such that all vertices eventually become colored. Recently, equivalent formations of zero forcing have been developed in different settings including sensor allocation to solve linear systems (K.-Lin 2018), controllability in follower-leader dynamics (Mon…
A global forcing set for maximal matchings of a graph $G=(V(G), E(G))$ is a set $S \subseteq E(G)$ such that $M_1\cap S \neq M_2 \cap S$ for each pair of maximal matchings $M_1$ and $M_2$ of $G$. The smallest such set is called a minimum global forcing set, its size being the global forcing number for maximal matchings $ϕ_{gm}(G)$ of $G$. In this paper, we establish lower and upper bounds on the forcing number for maximal matchings of the corona product of graphs. We also introduce an integer linear programming model for computing the forcing number for maximal matchings of graphs.
Let $S$ be a set of vertices of a graph $G$. Let $cl(S)$ be the set of vertices built from $S$, by iteratively applying the following propagation rule: if a vertex and all but exactly one of its neighbors are in $cl(S)$, then the remaining neighbor is also in $cl(S)$. A set $S$ is called a zero forcing set of $G$ if $cl(S)=V(G)$. The zero forcing number $Z(G)$ of $G$ is the minimum cardinality of a zero forcing set. Let $cl(N[S])$ be the set of vertices built from the closed neighborhood $N[S]$ of $S$, by iteratively applying the previous propagation rule. A set $S$ is called a power dominatin…
Let G be a graph with a perfect matching. A complete forcing set of G is a subset of edges of G to which the restriction of every perfect matching is a forcing set of it. The complete forcing number of G is the minimum cardinality of complete forcing sets of G. Xu et al. gave a characterization for a complete forcing set and derived some explicit formulas for the complete forcing numbers of cata-condensed hexagonal systems. In this paper, we consider general hexagonal systems. We present an upper bound on the complete forcing numbers of hexagonal systems in terms of elementary edge-cut cover a…
Harary et al. and Klein and Randic proposed the forcing number of a perfect matching in mathematics and chemistry, respectively. In detail, the forcing number of a perfect matching M of a graph G is the smallest cardinality of subsets of M that are contained in no other perfect matchings of G. The author and cooperators defined the forcing polynomial of G as the count polynomial for perfect matchings with the same forcing number of G, from which the average forcing number, forcing spectrum, and the maximum and minimum forcing numbers of G can be obtained. Up to now, a few papers have been cons…
