---
title: Grundy Domination in Graph Theory
url: https://www.emergentmind.com/topics/grundy-domination
type: topic
---

# Grundy Domination in Graph Theory

Searching arXiv for recent and foundational papers on Grundy domination and closely related variants.
Searching arXiv for work on regular graphs, forests, graph classes, and variant parameters linked to Grundy domination.
Grundy domination is the study of longest legal, stepwise domination processes in graphs. For a finite simple graph \(G\), a sequence of distinct vertices \(S=(v_1,\dots,v_k)\) is legal when each \(v_i\) contributes at least one vertex in \(N[v_i]\) that was not contained in any earlier closed neighborhood, and the maximum possible length of such a sequence is the Grundy domination number \(\gamma_{\rm gr}(G)\) [2010.00637]. The parameter is dynamic rather than static: unlike the domination number \(\gamma(G)\), which minimizes the size of a dominating set, \(\gamma_{\rm gr}(G)\) maximizes the length of a legal construction. It is distinct from the Grundy chromatic number, which belongs to greedy coloring rather than domination theory [2212.04154].

## 1. Definitions and sequence formalism

Let \(G\) be a finite simple graph with vertex set \(V(G)\). For \(v\in V(G)\), the open neighborhood is \(N(v)\) and the closed neighborhood is \(N[v]=N(v)\cup\{v\}\). A sequence of distinct vertices
\[
S=(v_1,\dots,v_k)
\]
is a closed neighborhood sequence, or legal sequence, if
\[
N[v_i]\setminus \bigcup_{j=1}^{i-1}N[v_j]\neq\emptyset
\quad\text{for every } i\in[k].
\]
A legal sequence is a dominating sequence when its vertex set dominates \(G\), and the Grundy domination number is
\[
\gamma_{\rm gr}(G)=\max\{|S|: S \text{ is a closed neighborhood sequence in }G\}.
\]
Equivalently, \(\gamma_{\rm gr}(G)\) is the maximum length of a dominating sequence [2010.00637].

The legality condition is commonly described through footprinting. At step \(i\), the set
\[
N[v_i]\setminus \bigcup_{j=1}^{i-1}N[v_j]
\]
consists of the vertices footprinted by \(v_i\); for each such vertex \(u\), \(v_i\) is the footprinter of \(u\). In a dominating legal sequence every vertex has a unique footprinter. This language is central in counting arguments, in decomposition results, and in the comparison with zero forcing [2212.09861].

Grundy domination sits naturally above several classical domination parameters. The inequalities
\[
\gamma(G)\le \gamma_{\rm gr}(G),\qquad
\alpha(G)\le \Gamma(G)\le \gamma_{\rm gr}(G)
\]
appear repeatedly in the literature, where \(\alpha(G)\) is the independence number and \(\Gamma(G)\) the upper domination number. More generally,
\[
\operatorname{ir}(G)\le \gamma(G)\le i(G)\le \alpha(G)\le \Gamma(G)\le \operatorname{IR}(G)\le \gamma_{\rm gr}(G)
\]
links Grundy domination to irredundance and upper domination [2212.01335].

## 2. Variants, forcing dualities, and linear-algebraic bounds

Several closely related sequence parameters refine which neighborhoods are used at each step. The most important variants are the Z-, total-, and L-Grundy parameters, together with their zero-forcing duals [1706.00798].

| Parameter | Legality condition for \(v_i\) | Dual identity |
|---|---|---|
| \(\gamma_Z(G)\) | \(N(v_i)\setminus \bigcup_{j<i}N[v_j]\neq\emptyset\) | \(Z(G)=n-\gamma_Z(G)\) |
| \(\gamma_{\rm gr}(G)\) | \(N[v_i]\setminus \bigcup_{j<i}N[v_j]\neq\emptyset\) | \(Z_i(G)=n-\gamma_{\rm gr}(G)\) |
| \(\gamma_{\rm gr}^t(G)\) | \(N(v_i)\setminus \bigcup_{j<i}N(v_j)\neq\emptyset\) | \(Z_-(G)=n-\gamma_{\rm gr}^t(G)\) |
| \(\gamma_{\rm gr}^L(G)\) | \(N[v_i]\setminus \bigcup_{j<i}N(v_j)\neq\emptyset\) | \(Z_L(G)=n-\gamma_{\rm gr}^L(G)\) |

A particularly important variant is the Z-Grundy domination number. If \(G\) has no isolated vertices, a sequence \(S\) is a Z-sequence if each \(v_i\) footprints a new neighbor distinct from itself, equivalently
\[
N(v_i)\setminus \bigcup_{j=1}^{i-1}N[v_j]\neq\emptyset.
\]
Then
\[
Z(G)=n(G)-\gamma_Z(G),
\]
so maximizing \(\gamma_Z(G)\) is equivalent to minimizing the zero forcing number \(Z(G)\) [2010.00637].

For Grundy domination itself, loop zero forcing plays the analogous role. For connected simple graphs,
\[
n(G)=Z^\ell(G)+\gamma_{\rm gr}(G),
\]
where \(Z^\ell(G)\) is the loop zero forcing number. This duality is the basis of several exact results for planar families and claw-free cubic graphs [2212.00701].

These dualities connect Grundy domination to minimum-rank theory. The inequalities
\[
\gamma_Z(G)\le \operatorname{mr}(G),\qquad
\gamma_{\rm gr}(G)\le \operatorname{mr}_i(G),\qquad
\gamma_{\rm gr}^t(G)\le \operatorname{mr}_0(G)
\]
bound Grundy-type parameters by minimum-rank-type invariants. In particular, \(\gamma_{\rm gr}(G)\) is controlled by linear-algebraic data from \(S_i(G)\), the family of symmetric matrices whose off-diagonal pattern is described by \(G\) and whose diagonal entries are nonzero [1706.00798].

## 3. Regular, cubic, and planar graph bounds

A central regular-graph result is the lower bound
\[
\gamma_{\rm gr}(G)\ge \frac{n+\left\lceil \frac{k}{2}\right\rceil-2}{k-1}
\]
for every connected \(k\)-regular graph \(G\) of order \(n\), with \(k\ge 3\), different from \(K_{k+1}\) and \(\overline{2C_4}\). For \(k=3\), this becomes
\[
\gamma_{\rm gr}(G)\ge \frac{n}{2},
\]
and the connected cubic graphs attaining equality are exactly
\[
K_{3,3},\ Y_2,\ Y_3,\ N_{YY},\ K_3\square K_2,\ Q_3,\ TQ_3,\ \text{Petersen graph}.
\]
The same work establishes a sharp cubic zero-forcing threshold: if \(G\) is a connected cubic graph of order \(n\) different from \(K_4\) and \(K_{3,3}\), then \(Z(G)\le n/2\), with equality characterized by a structured family \(\mathcal M'\) together with
\[
N_{XX},\ N_{XY},\ N_{YY},\ K_3\square K_2,\ TK,\ Q_3,\ TQ_3,\ \text{Petersen}.
\]
These results are obtained by constructing long legal sequences and controlling the number of new vertices footprinted at each step [2010.00637].

Loop-zero-forcing duality yields exact Grundy domination values in several planar classes. For serpentine maximal outerplanar graphs,
\[
Z^\ell(G)=2,
\]
hence
\[
\gamma_{\rm gr}(G)=n(G)-2.
\]
If \(G\) is a maximal outerplanar graph with \(t=1\), then \(Z^\ell(G)=3\) when \(h_p\ge 1\) and \(Z^\ell(G)=4\) when \(h_p=0\), so
\[
\gamma_{\rm gr}(G)=n(G)-3
\quad\text{or}\quad
\gamma_{\rm gr}(G)=n(G)-4,
\]
respectively. For a Halin graph \(G\),
\[
\gamma_{\rm gr}(G)\ge n(G)-3(|ES(G)|-1),
\]
and if \(G\) has no vertex \(v\) such that \(\deg'(v)\ge 3\), then
\[
Z(G)=Z^\ell(G)=3,\qquad \gamma_{\rm gr}(G)=n(G)-3.
\]
These formulas derive from the exact identity \(n(G)=Z^\ell(G)+\gamma_{\rm gr}(G)\) [2212.00701].

## 4. Forests, products, and graph operations

Forests admit a precise structural formula. If \(F\) is a forest and \(\mathcal P\) is a minimum caterpillar partition of the non-isolated vertices of \(F\), then
\[
\gamma_{\rm gr}(F)=|V(F)|-|\mathcal P|.
\]
Here each part of \(\mathcal P\) induces a caterpillar, and branch edges between parts must be incident to a non-leaf in at least one of the two caterpillars. In particular, for a path \(P_n\),
\[
\gamma_{\rm gr}(P_n)=n-1.
\]
The same work proves the strong product formula
\[
\gamma_{\rm gr}(G\boxtimes H)=\gamma_{\rm gr}(G)\gamma_{\rm gr}(H)
\]
for any forest \(G\) and any graph \(H\), verifies the strong product conjecture for all forests, and shows that every connected graph \(G\) has a spanning tree \(T\) with
\[
\gamma_{\rm gr}(G)\le \gamma_{\rm gr}(T).
\]
It also proves that every connected non-complete graph contains a Grundy dominating set \(S\) such that the induced subgraph \(G[S]\) has no isolated vertices [2104.05665].

Product-graph and substitution frameworks extend this picture. For the \(X\)-join product \(G\hookleftarrow \mathcal R\), if \(\gamma_{\rm gr}(G_v)\) is known for each fiber and the main factor \(G\) is a power of a cycle, a power of a path, or a split graph, then \(\gamma_{\rm gr}(G\hookleftarrow \mathcal R)\) can be computed in polynomial time. As a consequence, one obtains closed formulas for the lexicographic product \(G\circ H\) when \(G\) is a power of a cycle, a power of a path, or a split graph [1810.02737].

Exact formulas are also known for highly structured graph classes. For the Sierpiński graph \(S_p^n\),
\[
\gamma_{\rm gr}(S_p^n)=p^{n-1}+\frac{p(p^{n-1}-1)}{2}.
\]
For the cycle \(C_n\),
\[
\gamma_{\rm gr}(C_n)=n-2.
\]
These formulas come with explicit constructions of Grundy dominating sequences [1603.05116].

The parameter is stable under small graph modifications in a sharply quantified way. For every edge \(e\in E(G)\),
\[
\gamma_{\rm gr}(G)-1\le \gamma_{\rm gr}(G-e)\le \gamma_{\rm gr}(G)+1,
\]
and for every vertex \(u\in V(G)\),
\[
\gamma_{\rm gr}(G)-2\le \gamma_{\rm gr}(G-u)\le \gamma_{\rm gr}(G).
\]
If \(u\) is simplicial, then
\[
\gamma_{\rm gr}(G-u)\ge \gamma_{\rm gr}(G)-1,
\]
and if \(u\) is a twin vertex, then
\[
\gamma_{\rm gr}(G-u)=\gamma_{\rm gr}(G).
\]
These inequalities are sharp [1603.05116].

## 5. Complexity, exact computation, and equality classes

The decision version of Grundy domination is NP-complete in general, and this remains true for several restrictive graph classes. It is NP-complete even for chordal graphs, and later work proved NP-completeness for bipartite graphs and for co-bipartite graphs. On the positive side, there is a linear-time algorithm for chain graphs, a subclass of bipartite graphs; in this class,
\[
\gamma_{\rm gr}(G)\in\{\alpha(G),\alpha(G)+1\}.
\]
The same paper observes that co-chain graphs satisfy
\[
\gamma_{\rm gr}(G)=k,
\]
where \(k\) is the number of closed-twin layers in the co-chain decomposition [2310.10566].

Interval graphs admit a direct exact algorithm. Given an interval representation, one can compute a Grundy dominating sequence in linear time by scanning the interval-endpoint sequence; with preprocessing, the total running time is
\[
O(n\log n + m),
\]
and the scan itself is \(O(n)\). Moreover, \(\gamma_{\rm gr}(G)\) equals the number of consecutive subsequences of the form \((a_i,b_j)\) in the sorted interval-endpoint sequence [1603.05116].

A substantial body of work studies when Grundy domination coincides with more classical invariants. Let \(\mathcal F\) denote the class of twin-free connected graphs with
\[
\Gamma(G)=\gamma_{\rm gr}(G),
\]
and \(\mathcal F_\alpha\subseteq \mathcal F\) the subclass with
\[
\alpha(G)=\gamma_{\rm gr}(G).
\]
For every positive integer \(n\),
\[
\gamma_{\rm gr}(Q_n)=\alpha(Q_n)=2^{n-1},
\]
so hypercubes lie in \(\mathcal F_\alpha\). Complete multipartite graphs \(K_{n_1,\dots,n_k}\) with \(k\ge 2\) and \(n_{k-1}\ge 2\) satisfy
\[
\alpha(G)=\Gamma(G)=\gamma_{\rm gr}(G)=n_1,
\]
whereas prisms \(K_n\square K_2\) satisfy
\[
\Gamma(G)=\gamma_{\rm gr}(G)=n,\qquad \alpha(G)=2.
\]
For triangle-free connected graphs in \(\mathcal F_\alpha\), the graph is bipartite and either \(\alpha(G)=n(G)/2\) or the graph has a unique \(\alpha(G)\)-set. The paper culminates in Property U, a characterization of connected graphs \(G\) with \(\alpha(G)=\gamma_{\rm gr}(G)\) [2212.01335].

## 6. \(k\)-Grundy domination and open directions

A recent extension replaces the requirement of “never dominated before” by “dominated fewer than \(k\) times.” A sequence \(S=(v_1,\dots,v_n)\) is a \(k\)-sequence if, for each \(i\), there exists \(u_i\in N[v_i]\) such that \(u_i\) appears in the closed neighborhoods of fewer than \(k\) previous vertices. The maximum length is the \(k\)-Grundy domination number
\[
\gamma_{\rm gr}^{k}(G),
\]
and \(\gamma_{\rm gr}^{1}(G)=\gamma_{\rm gr}(G)\). Analogous \(k\)-\(Z\), \(k\)-\(L\), and \(k\)-\(t\) variants are defined in parallel, and all are monotone in \(k\):
\[
\gamma_{\rm gr}^{k}(G)\le \gamma_{\rm gr}^{j}(G)\quad\text{if }k<j.
\]
The general comparison inequalities
\[
\gamma_{\rm gr}^{Z,k}(G)\le \gamma_{\rm gr}^{k}(G)\le \gamma_{\rm gr}^{L,k}(G)-1,\qquad
\gamma_{\rm gr}^{Z,k}(G)\le \gamma_{\rm gr}^{t,k}(G)\le \gamma_{\rm gr}^{L,k}(G)
\]
extend the familiar \(k=1\) hierarchy [2212.09861].

Exact formulas are available for several families. For complete graphs \(K_n\) and \(k\le n-1\),
\[
\gamma_{\rm gr}^{k}(K_n)=k,\qquad
\gamma_{\rm gr}^{L,k}(K_n)=k+1,\qquad
\gamma_{\rm gr}^{Z,k}(K_n)=k,\qquad
\gamma_{\rm gr}^{t,k}(K_n)=k+1.
\]
For complete bipartite graphs \(K_{m,n}\) with \(m\ge n\ge k\),
\[
\gamma_{\rm gr}^{k}(K_{m,n})=m+k-1,\qquad
\gamma_{\rm gr}^{L,k}(K_{m,n})=m+k,
\]
\[
\gamma_{\rm gr}^{Z,k}(K_{m,n})=
\begin{cases}
2k,& \text{if } m>k,\ n\ge k,\\
2k-1,& \text{if } m=n=k,
\end{cases}
\qquad
\gamma_{\rm gr}^{t,k}(K_{m,n})=2k.
\]
For grids,
\[
\gamma_{\rm gr}^{2}(P_m\square P_n)=mn-1,\qquad
\gamma_{\rm gr}^{L,2}(P_m\square P_n)=mn.
\]
For hypercubes,
\[
\gamma_{\rm gr}^{L,k}(Q_d)\ge \Big\lceil 2^d-2^{\,d-(k+1)}\Big\rceil,
\]
with
\[
\gamma_{\rm gr}^{L,d}(Q_d)=2^d,\qquad
\gamma_{\rm gr}^{L,d-1}(Q_d)=2^d-1,\qquad
\gamma_{\rm gr}^{L,d-2}(Q_d)=2^d-2.
\]
The degree-based bound
\[
\gamma_{\rm gr}^{L,k}(G)\le n-\delta(G)+k
\]
implies
\[
\gamma_{\rm gr}^{k}(G)\le n-\delta(G)+k-1.
\]
The paper also proves
\[
\gamma_{\rm gr}^{Z,k}(G)\ge n-F_k(G),
\]
where \(F_k(G)\) is the \(k\)-forcing number, and conjectures equality [2212.09861].

Several open problems remain central. For regular graphs, the unresolved problem is to determine all \(k\)-regular graphs \(G\) of order \(n\) with
\[
\gamma_{\rm gr}(G)=\frac{n+\left\lceil \frac{k}{2}\right\rceil-2}{k-1}
\]
for \(k\ge 4\); the cubic case is known, but higher degrees are not [2010.00637]. For \(k\)-Grundy domination, open directions include characterizing graphs with \(\gamma_{\rm gr}^{L,k}(G)=n\), sharpening formulas for hypercubes, and establishing whether
\[
\gamma_{\rm gr}^{Z,k}(G)=n-F_k(G)
\]
holds for all graphs [2212.09861]. These problems indicate that Grundy domination has developed into a broad framework linking greedy domination processes, forcing dynamics, graph products, and minimum-rank methods.

Source: https://www.emergentmind.com/topics/grundy-domination