arXiv++ Combinatorics

A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.

For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing edge-weights as the sum modulo $k$ of the labels on incident vertices to a given edge, which furthermore satisfies the following conditions: (i) Each label appears on at most one more vertex than any other label. (ii) Each edge-weight appears on at most one more edge than any other edge-weight. Mark Hovey (1991) conjectured that all trees are $k$-cordial for any integer $k$. Cahit (1987) had shown earlier that all trees are $2$-cordial and Hovey proved that all trees are $3,4,$ and $5$-cordial. Driscoll, et. al. (2017), used an adjustment to Hovey's test to show that all trees are $6$-cordial. It is shown here that all trees are $7$-cordial by that same adjustment.

For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing a labeling on the edges with edge-weights found by summing the labels on vertices incident to a given edge modulo $k$ so that each label appears on at most one more vertex than any other and each edge-weight appears on at most one more edge than any other. We prove that all trees are six-cordial by an adjustment of the test proposed by Hovey (1991) to show all trees are $k$-cordial.