Four machine-generated open conjectures relating independence, zero forcing, domination, and matching invariants in graphs are presented, each with empirical support but no proof.
Zero Forcing and Vertex Independence Number on Cubic and Subcubic Graphs
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Motivated by a conjecture from the automated conjecturing program TxGraffiti, in this paper the relationship between the zero forcing number, $Z(G)$, and the vertex independence number, $\alpha(G)$, of cubic and subcubic graphs is explored. TxGraffiti conjectures that for all connected cubic graphs $G$, that are not $K_4$, $Z(G) \leq \alpha(G) + 1$. This work uses decycling partitions of upper-embeddable graphs to show that almost all cubic graphs satisfy $Z(G) \leq \alpha(G) + 2$, provides an infinite family of cubic graphs where $Z(G) = \alpha(G) + 1$, and extends known bounds to subcubic graphs.
fields
cs.DM 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator
Four machine-generated open conjectures relating independence, zero forcing, domination, and matching invariants in graphs are presented, each with empirical support but no proof.