Computer assisted discovery: Zero forcing vs vertex cover
Abstract
In this paper, we showcase the process of using an automated conjecturing program called TxGraffiti written and maintained by the second author. We begin by proving a conjecture formulated by 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 TxGraffiti to construct several infinite families of claw-free graphs for which Z(G)=β(G). Additionally, inspired by the aforementioned conjecture of 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 3, namely that Z(G)≤ (-2)β(G)+1.