In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph $G$, the vertex cover number $β(G)$ is greater than or equal to the zero forcing number $Z(G)$. Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality $β(G)$. We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which $Z(G)=β(G)$. Additionally, inspired by the aforementioned conjecture of \emph{TxGraffiti}, we also prove a more general relation between the zero forcing number and the vertex cover number for any connected graph with maximum degree $Δ\ge 3$, namely that $Z(G)\leq (Δ-2)β(G)$+1.
Vertex leaky forcing was recently introduced as a new variation of zero forcing in order to show how vertex leaks can disrupt the zero forcing process in a graph. An edge leak is an edge that is not allowed to be forced across during the zero forcing process. The $\ell$-edge-leaky forcing number of a graph is the size of a smallest zero forcing set that can force the graph blue despite $\ell$ edge leaks. This paper contains an analysis of the effect of edge leaks on the zero forcing process instead of vertex leaks. Furthermore, specified $\ell$-leaky forcing is introduced. The main result is t…
The zero forcing number $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ with colored (black) vertices which forces the set $V(G)$ to be colored (black) after some times. "color change rule": a white vertex is changed to a black vertex when it is the only white neighbor of a black vertex. In this case, we say that the black vertex forces the white vertex. We investigate here the concept of connected zero forcing set and connected zero forcing number. We discusses this subject for special graphs and some products of graphs. Also we introduce the connected propagation time. Graphs w…
Let each vertex of a graph G = (V(G), E(G)) be given one of two colors, say, "black" and "white". Let Z denote the (initial) set of black vertices of G. The color-change rule converts the color of a vertex from white to black if the white vertex is the only white neighbor of a black vertex. The set Z is said to be a zero forcing set of G if all vertices of G will be turned black after finitely many applications of the color-change rule. The zero forcing number of G is the minimum of |Z| over all zero forcing sets Z \subseteq V (G). Zero forcing parameters have been studied and applied to the m…
In this paper, we study minimal (with respect to inclusion) zero forcing sets. We first investigate when a graph can have polynomially or exponentially many distinct minimal zero forcing sets. We also study the maximum size of a minimal zero forcing set $\overline{\operatorname{Z}}(G)$, and relate it to the zero forcing number $\operatorname{Z}(G)$. Surprisingly, we show that the equality $\overline{\operatorname{Z}}(G)=\operatorname{Z}(G)$ is preserved by deleting a universal vertex, but not by adding a universal vertex. We also characterize graphs with extreme values of $\overline{\operatorn…
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinalit…
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…
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…
Let $G$ be a simple graph whose vertices are partitioned into two subsets, called filled vertices and empty vertices. A vertex $v$ is said to be forced by a filled vertex $u$ if $v$ is a unique empty neighbor of $u$. If we can fill all the vertices of $G$ by repeatedly filling the forced ones, then we call an initial set of filled vertices a forcing set. We discuss the so-called failed forcing number of a graph, which is the largest cardinality of a set which is not forcing. Answering the recent question of Ansill, Jacob, Penzellna, Saavedra, we prove that this quantity is NP-hard to compute. …
Given a simple, finite graph with vertex set $V(G)$, we define a zero forcing set of $G$ as follows. Choose $S\subseteq V(G)$ and color all vertices of $S$ blue and all vertices in $V(G) - S$ white. The color change rule is if $w$ is the only white neighbor of blue vertex $v$, then we change the color of $w$ from white to blue. If after applying the color change rule as many times as possible eventually every vertex of $G$ is blue, we call $S$ a zero forcing set of $G$. $Z(G)$ denotes the minimum cardinality of a zero forcing set. Davila and Henning proved in \cite{zerocubic} that for any claw…
Zero forcing is a coloring game played on a graph where each vertex is initially colored blue or white and the goal is to color all the vertices blue by repeated use of a (deterministic) color change rule starting with as few blue vertices as possible. Probabilistic zero forcing yields a discrete dynamical system governed by a Markov chain. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this studied. Given a Markov transition matrix for a probabilistic zero forcing process, we establish an exact for…
The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\setminusS$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the (classical) color change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank - Special Graphs Work Group". We introduce here a probabilistic color change rule (pccr) which is a natural generalization …
Zero forcing (also called graph infection) on a simple, undirected graph $G$ is based on the color-change rule: If each vertex of $G$ is colored either white or black, and vertex $v$ is a black vertex with only one white neighbor $w$, then change the color of $w$ to black. A minimum zero forcing set is a set of black vertices of minimum cardinality that can color the entire graph black using the color change rule. The propagation time of a zero forcing set $B$ of graph $G$ is the minimum number of steps that it takes to force all the vertices of $G$ black, starting with the vertices in $B$ bla…
Zero forcing is a combinatorial game played on a graph where the goal is to start with all vertices unfilled and to change them to filled at minimal cost. In the original variation of the game there were two options. Namely, to fill any one single vertex at the cost of a single token; or if any currently filled vertex has a unique non-filled neighbor, then the neighbor is filled for free. This paper investigates a $q$-analogue of zero forcing which introduces a third option involving an oracle. Basic properties of this game are established including determining all graphs which have minimal co…
Zero forcing is a combinatorial game played on graphs that can be used to model the spread of information with repeated applications of a color change rule. In general, a zero forcing parameter is the minimum number of initial blue vertices that are needed to eventually color every vertex blue with a given color change rule. Furthermore, the throttling number minimizes the sum of the number of initial blue vertices and the time taken for all vertices to become blue. In 2013, Barioli et al. added a new rule, called hopping, to existing color change rules in order to demonstrate that the minor m…
The \emph{zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G) \setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank -- Special Graphs Work Group". It's known that $Z(G)\geq δ(G)$, where $δ(G)$ is the minimum degree of $G$. We show that $Z(G)\leq n…
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set (zero forcing set) of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The…
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $F$ of colored vertices, with all remaining vertices being non-colored. At each time step, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $F$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. The forcing number of a graph $G$, denoted by $F(G)$, is the cardinality of a minimum forcing set of $G$. The maximum nullity of $G$, denoted by $M(G)$, is defined to be the largest possibl…
A subset $S$ of initially infected vertices of a graph $G$ is called forcing if we can infect the entire graph by iteratively applying the following process. At each step, any infected vertex which has a unique uninfected neighbour, infects this neighbour. The forcing number of $G$ is the minimum cardinality of a forcing set in $G$. In the present paper, we study the forcing number of various classes of graphs, including graphs of large girth, $H$-free graphs for a fixed bipartite graph $H$, random and pseudorandom graphs.
St. Olaf College（圣奥拉夫学院）；Mount Holyoke College（曼荷莲学院）；Wesleyan University（韦斯利安大学）；University of St. Thomas（圣托马斯大学）；Fort Lewis College（福尔特路易斯学院）；Winston-Salem State University（温斯顿-塞勒姆州立大学）
The \emph{metric dimension} $\dim(G)$ of a graph $G$ is the minimum number of vertices such that every vertex of $G$ is uniquely determined by its vector of distances to the chosen vertices. The \emph{zero forcing number} $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G)\!\setminus\!S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted black if it is the only white neighbor of a black vertex. We show that $\dim(T) \leq Z(T)$ for a tree $T$, and that…
The zero forcing process is an iterative graph colouring process in which at each time step a coloured vertex with a single uncoloured neighbour can force this neighbour to become coloured. A zero forcing set of a graph is an initial set of coloured vertices that can eventually force the entire graph to be coloured. The zero forcing number is the size of the smallest zero forcing set. We explore the zero forcing number for random regular graphs, improving on bounds given by Kalinowski, Kamucev and Sudakov. We also propose and analyze a degree-greedy algorithm for finding small zero forcing set…
\emph{Zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G) \setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted black if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank -- Special Graphs Work Group". Let $G_1$ and $G_2$ be disjoint copies of a graph $G$ and let $f: V(G_1) \rightarrow V(G_2)$ be a function. Then a \…
Zero forcing parameters, associated with graphs, have been studied for over a decade, and have gained popularity as the number of related applications grows. In particular, it is well-known that such parameters are related to certain vertex coverings. Continuing along these lines, we investigate positive zero forcing within the context of certain clique coverings. A key object considered here is the compressed cliques graph. We study a number of properties associated with the compressed cliques graph, including: uniqueness, forbidden subgraphs, connections to Johnson graphs, and positive zero …
Given a finite graph $G$, the maximum length of a sequence $(v_1,\ldots,v_k)$ of vertices in $G$ such that each $v_i$ dominates a vertex that is not dominated by any vertex in $\{v_1,\ldots,v_{i-1}\}$ is called the Grundy domination number, $γ_{\rm gr}(G)$, of $G$. A small modification of the definition yields the Z-Grundy domination number, which is the dual invariant of the well-known zero forcing number. In this paper, we prove that $γ_{\rm gr}(G) \geq \frac{n + \lceil \frac{k}{2} \rceil - 2}{k-1}$ holds for every connected $k$-regular graph of order $n$ different from $K_{k+1}$ and $\bar{2…
Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which f…
In this paper, we study a dynamic coloring of the vertices of a graph $G$ that starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. The forcing number, originally known as the \emph{zero forcing number}, and denoted $F(G)$, of $G$ is the cardinality of a smallest forcing set of …
Zero forcing is a process on a graph in which the goal is to force all vertices to become blue by applying a color change rule. Throttling minimizes the sum of the number of vertices that are initially blue and the number of time steps needed to color every vertex. We introduce a new universal definition of throttling for variants of zero forcing and the study of throttling for the minor monotone floor of zero forcing. We introduce the technique of using a zero forcing process to extend a given graph. For standard zero forcing and its floor, we use these extensions to characterize graphs with …
A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some vertex $u$ from $0$ to $1$ if $u$ is the only neighbor with label $0$ of some vertex with label $1$, results in the entire vertex set of $G$. The zero forcing number $Z(G)$, defined as the minimum order of a zero forcing set of $G$, was proposed as an upper bound of the corank of matrices associated with $G$, and was also considered in connection with quantum phy…
Given a graph $G$ and a real number $0\le p\le 1$, we define the random set $B_p(G)\subset V(G)$ by including each vertex independently and with probability $p$. We investigate the probability that the random set $B_p(G)$ is a zero forcing set of $G$. In particular, we prove that for large $n$, this probability for trees is upper bounded by the corresponding probability for a path graph. Given a minimum degree condition, we also prove a conjecture of Boyer et.\ al.\ regarding the number of zero forcing sets of a given size that a graph can have.
A leak is a vertex that is not allowed to perform a force during the zero forcing process. Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$-leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$-resilient if its zero forcing number is the same as its $\ell$-leaky forcing number. In this paper, we analyze $\ell$-leaky forcing and show that if an $(\ell-1)$-leaky forcing set $B$ is robust enough, t…
Zero forcing is a deterministic iterative graph coloring process in which vertices are colored either blue or white, and in every round, any blue vertices that have a single white neighbor force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbor to become blue. We explore the propagation time for probabilistic zero forcing on the Erdős-Réyni random graph $\Gnp$ when we start with a single vertex colored blue. We show that when $p=\log^{-o(1)}n$, then with high probability it takes $(1+o(1…
The zero forcing numbers and propagation times of gear graphs and helm graphs
University of North Texas（北德克萨斯大学）；Rice University（莱斯大学）；Trinity College（三一学院）；University of Denver（丹佛大学）；Southeast Missouri State University（密苏里东南州立大学）
Zero forcing is a process on a graph that colors vertices blue by starting with some of the vertices blue and applying a color change rule. Throttling minimizes the sum of the size of the initial blue vertex set and the number of the time steps needed to color the graph. We study throttling for positive semidefinite zero forcing. We establish a tight lower bound on the positive semidefinite throttling number as a function of the order, maximum degree, and positive semidefinite zero forcing number of the graph, and determine the positive semidefinite throttling numbers of paths, cycles, and ful…
Zero forcing is an iterative graph coloring process, where given a set of initially colored vertices, a colored vertex with a single uncolored neighbor causes that neighbor to become colored. A zero forcing set is a set of initially colored vertices which causes the entire graph to eventually become colored. In this paper, we study the counting problem associated with zero forcing. We introduce the zero forcing polynomial of a graph $G$ of order $n$ as the polynomial $\mathcal{Z}(G;x)=\sum_{i=1}^n z(G;i) x^i$, where $z(G;i)$ is the number of zero forcing sets of $G$ of size $i$. We characteriz…
Let $G=(V,E)$ be a simple connected graph. A perfect matching (or Kekulé structure in chemical literature) of $G$ is a set of disjoint edges which covers all vertices of $G$. The anti-forcing number of $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by $af(G)$. For every $m\in\mathbb{N}$, the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. In this paper, we study the ant…
Consider a discrete-time process on a graph $G$ where a set $B$ of initial vertices are chosen to be colored blue (the remainder being white) and then a time step consists of every currently blue vertex forcing all of its neighbors to become blue; this process stops when every vertex of the graph is blue, and the process is called full forcing. The full throttling number of $G$ is then defined to be the minimum sum of the cardinality of $B$ and the number of time steps needed to complete the forcing process. On trees, the full throttling number is equivalent to the throttling numbers of severa…
The zero forcing number of a graph $G$, denoted by $Z(G)$, is the minimum cardinality of a set $S$ of black vertices (where vertices in $V(G)\setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of $"$the color change rule$"$: a white vertex is turned black if it is the only white neighbor of a black vertex. In this paper, we study the zero forcing number of corona product, $G\odot H$ and lexicographic product, $G\circ H$ of two graphs $G$ and $H$. It is shown that if $G$ and $H$ are connected graphs of order $n_{1}\geq2$ and $n_{2}\geq2$ respectivel…
Any $n$-vertex $3$-graph with minimum codegree at least $\lfloor n/3\rfloor$ must have a spanning tight component, but immediately below this threshold it is possible for no tight component to span more than $\lceil 2n/3\rceil$ vertices. Motivated by this observation, we ask which codegree forces a tight component of at least any given size. The corresponding function seems to have infinitely many discontinuities, but we provide upper and lower bounds, which asymptotically converge as the function nears the origin.
Let $G$ be a graph, and $Z$ a subset of its vertices, which we color black, while the remaining are colored white. We define the skew color change rule as follows: if $u$ is a vertex of $G$, and exactly one of its neighbors $v$, is white, then change the color of $v$ to black. A set $Z$ is a skew zero forcing set for $G$ if the application of the skew color change rule (as many times as necessary) will result in all the vertices in $G$ colored black. A set $Z$ is a minimum skew zero forcing set for $G$ if it is a skew zero forcing set for $G$ of least cardinality. The skew zero forcing number …
In this note, we study a dynamic vertex coloring for a graph $G$. In particular, one starts with a certain set of vertices black, and all other vertices white. Then, at each time step, a black vertex with exactly one white neighbor forces its white neighbor to become black. The initial set of black vertices is called a \emph{zero forcing set} if by iterating this process, all of the vertices in $G$ become black. The \emph{zero forcing number} of $G$ is the minimum cardinality of a zero forcing set in $G$, and is denoted by $Z(G)$. Davila and Kenter have conjectured in 2015 that $Z(G)\geq (g-3)…
The zero forcing number Z(G), which is the minimum number of vertices in a zero forcing set of a graph G, is used to study the maximum nullity / minimum rank of the family of symmetric matrices described by G. It is shown that for a connected graph of order at least two, no vertex is in every zero forcing set. The positive semidefinite zero forcing number Z_+(G) is introduced, and shown to be equal to |G|-OS(G), where OS(G) is the recently defined ordered set number that is a lower bound for minimum positive semidefinite rank. The positive semidefinite zero forcing number is applied to the com…
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…
We study forcing pairs for quasirandom graphs. Chung, Graham, and Wilson initiated the study of families $\\mathcal F$ of graphs with the property that if a large graph $G$ has approximately homomorphism density $p^{e(F)}$ for some fixed $p\in(0,1]$ for every $F\in \mathcal F$, then $G$ is quasirandom with density $p$. Such families $\mathcal F$ are said to be forcing. Several forcing families were found over the last three decades and characterising all bipartite graphs $F$ such that $(K_2,F)$ is a forcing pair is a well-known open problem in the area of quasirandom graphs, which is closely r…
It is known that the zero forcing number of a graph is an upper bound for the maximum nullity of the graph. In this paper, we search for characteristics of a graph that guarantee the maximum nullity of the graph and the zero forcing number of the graph are the same by studying a variety of graph parameters which bound the maximum nullity of a graph below. In particular, we introduce a new graph parameter which acts as a lower bound for the maximum nullity of the graph. As a result, we show that the Aztec Diamond graph's maximum nullity and zero forcing number are the same. Other graph paramete…
