Searcharxiv⌕ Search

arXiv subjects

Boštjan Brešar

Publications and source records attributed to Boštjan Brešar.

At least 19 recordsLinked to original sources

Best possible upper bounds on the restrained domination number of cubic graphs

A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex in $V(G) \setminus S$ is adjacent to a vertex in $S$. A restrained dominating set of $G$ is a dominating set $S$ with the additional restraint that the graph $G - S$ obtained by removing all vertices in $S$ is isolate-free. The domination number $γ(G)$ and the restrained domination number $γ_{r}(G)$ are the minimum cardinalities of a dominating set and restrained dominating set, respectively, of $G$. Let $G$ be a cubic graph of order~$n$. A classical result of Reed [Combin. Probab. Comput. 5 (1996), 277--295] states that $γ(G) \le \frac{3}{8}n$, and this bound is best possible. To determine a best possible upper bound on the restrained domination number of $G$ is more challenging, and we prove that $γ_{r}(G) \le \frac{2}{5}n$.

math.CO↗

Frugal coloring in planar graphs with maximum degree 4 and 5

A proper coloring of vertices of a graph $G$ is called $t$-frugal if no color appears more than $t$ times in the neighborhood of any vertex of $G$. While $1$-frugal coloring coincides with $2$-distance coloring, we study $2$-frugal colorings of planar graphs with maximum degree $4$ and $5$, respectively. We prove that every planar graph with maximum degree $4$ admits a $2$-frugal coloring with $7$ colors, while a planar graph with maximum degree $5$ admits a $2$-frugal coloring with $10$ colors. The results present variations of parts of the famous Wegner's conjecture, which for planar graphs with maximum degree $Δ\in\{4,\ldots,7\}$ states that their $2$-distance chromatic number is at most $Δ+5$.

math.CO↗

Partitioning an $S$-packing coloring into broadcast dominating sets

Given a graph $G$ and a positive integer $k$, a packing $k$-domatic coloring of $G$ is a function $f: V(G) \to \{1,\ldots,t\}$ such that (1) for any color $j \in \{1,\ldots, t\}$ and any two distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=j$ we have $d_G(u,v)>j$, and (2) $V(G)$ admits a partition into $k$ sets $A_1,\ldots,A_k$ such that for any $v\in V(G)$ and any $i\in\{1,\ldots,k\}$ there exists a vertex $w\in A_i$ such that $d_G(v,w)\le f(w)$. The minimum integer $t$ such that $G$ admits a packing $k$-domatic coloring of $G$ using colors in $\{1,\ldots,t\}$ is denoted by $χ_{ρ,k}(G)$. The condition (1) in the definition of a packing $k$-domatic coloring implies that $G$ is a packing coloring, hence $χ_{ρ,k}(G)\ge χ_ρ(G)$ holds for any graph $G$, where $χ_ρ(G)$ is the packing chromatic number of $G$. On the other hand, the new concept also leads to a generalization of the domatic number of a graph due to which one can easily see that $χ_{ρ,2}(G)=χ_ρ(G)$ holds for any graph with no isolated vertices. One of the main result in this paper is that $χ_{ρ,3}(G)=χ_ρ(G)$ holds in any connected graph $G$ with minimum degree at least $2$, and the bound is best possible in two different senses. In addition, we provide several exact values and bounds on the new invariant in paths and cycles. We prove that $χ_{ρ,k}(P_n)=k$ for any $k\in\{3,4,5\}$ as soon as $n\ge 8$, and, in contrast, $χ_{ρ,k}(P_n)>k$ for any $n\ge k\ge 12$. We also prove the exact values of $χ_{ρ,k}(P_\infty)$ when $k\in \{3,4,5\}$ for the two-way infinite path $P_\infty$, and exact values of $χ_{ρ,k}(C_n)$ when $k\in\{3,4\}$ for all cycles $C_n$. We also consider a general framework of $S$-packing $k$-domatic colorings, where $S$ is an arbitrary sequence of non-negative integers, and present some basic results in this context.

math.CO↗

On the isolation numbers in graph products

As a continuation of a previous study of isolation numbers in Cartesian and lexicographic products, we investigate isolation numbers and, more generally, $\cal F$-isolation numbers in direct, strong, lexicographic, and Cartesian products of graphs. For direct products, we derive upper bounds for the $\{K_{n_1,\ldots,n_d}\}$-isolation number in terms of isolation and total domination parameters of the factors, and establish lower bounds based on open packings. We also determine exact values for several infinite families of direct products, including $ι(P_{4\ell}\times C_{2k+1})=\ell(k+1)$. For strong products, we prove a general lower bound on $ι(G\,\boxtimes\, H,{\cal F})$ involving the $2$-packing number and provide an upper bound on $ι(G\,\boxtimes\, H)$. For lexicographic products, we determine the $\cal F$-isolation number in several general settings, obtaining exact formulas in terms of domination and total domination numbers of the first factor. Finally, for Cartesian products, we extend results from our previous work to arbitrary graph families $\cal F$. We introduce $\cal F$-isolation graphs and use $\cal F$-transversals to derive general upper bounds, together with corresponding lower bounds.

math.CO↗

Injective (edge) colorings of generalized Sierpiński graphs

Generalized Sierpiński graphs constitute a distinctive class of fractal-like networks with recursive definition: given a graph $G$, $S_G^1=G$ while $S_G^n$ is obtained from $|V(G)|$ copies of $S_G^{n-1}$ by adding some edges in a prescribed way that reflects the structure of $G$. Many graph invariants have been studied in generalized Sierpiński graphs. In this paper, we focus on their injective colorings, both the vertex and the edge version. Given a graph $G$, a mapping $f$ that assigns an integer from $\{1,\ldots,k\}$ to each vertex (resp.\ edge) of $G$ is an injective (edge) coloring of $G$ if $f(x)=f(y)$ implies that $x$ and $y$ are not in a common triangle nor at distance $2$ for any two vertices (resp.\ edges) $x$ and $y$ in $G$. The minimum number of colors $k$ for which there exists an injective (edge) coloring of $G$ is called the injective chromatic number (resp.\ injective chromatic index) of $G$ and is denoted by $χ_i(G)$ (resp.\ $χ_i'(G)$). The vertex version of injective colorings in generalized Sierpiński graphs was studied in an earlier paper, where the authors determined the injective chromatic numbers of standard Sierpiński graphs, and asked about the values when $G$ is a cycle. We resolve this question by proving that $χ_i(S_{C_k}^n)=3$ for every $n\ge 2$ and every $k\ge 3$. Moreover, we prove an almost conclusive result that $χ_i(S_G^n)\in \{χ_i(G),χ_i(G)+1\}$ for any graph $G$ and any $n\ge 2$. For injective edge colorings we prove that $χ_i'(S_{K_3}^n)=5$ for all $n\ge 3$, while $χ_i'(S_{K_3}^2)=4$ and $χ_i'(S_{K_3}^1)=3$. Furthermore, if $G$ is a triangle-free graph, we prove that $χ_i'(S_G^n)\in \{χ_i'(S_G^3),χ_i'(S_G^3)+1\}$ for all $n\ge 4$, and provide some sufficient conditions on an injective edge coloring of the 3-dimensional Sierpiński graph over $G$, which ensure that $χ_i'(S_G^n)=χ_i'(S_G^3)$.

math.CO↗

Smooth Graphs

The notion of smoothness was introduced originally in the context of step systems on connected graphs. Smoothness turns out to be a very general property of metrics defined by a five-point condition. Restricted to graphs, it is closely related to the convexity of point-shadows. We show that smoothness is preserved by isometric subgraphs, both Cartesian and strong graph products, and gated amalgams. As a consequence, median graphs and many of their generalizations are smooth. We also show that l1-graphs are smooth. On the other hand, an induced K2,3 or K1,1,3 is incompatible with smoothness. Finally, we characterize smooth graphs among the Ptolemaic graphs as precisely the K1,1,3-free Ptolemaic graphs.

math.CO↗

Frugal coloring of graphs revisited

Given a graph $G$ and a positive integer $t$, an independent set $S\subseteq V(G)$ is $t$-frugal if every vertex has at most $t$ neighbors in $S$. A $t$-frugal coloring of $G$ is a partition of its vertex set into $t$-frugal independent sets. The maximum cardinality of a $t$-frugal independent set in $G$ is denoted by $α_t^f(G)$, while the minimum cardinality of a $t$-frugal coloring of $G$, $χ_t^f(G)$, is called the $t$-frugal chromatic number of $G$. Frugal colorings were introduced in 1998 and studied later in just a handful of papers. In this paper, we revisit this concept. While the NP-hardness of frugal coloring is known, we prove that the decision version of $α_t^f$ is NP-complete even for bipartite graphs, and present a linear-time algorithm to determine its value for trees. We prove a general sharp lower bound on $χ_{t}^{f}(G)$ expressed in terms of $α_{t}^{f}(G)$ and size of $G$. We also give a sharp upper bound on the $α_2^f$ of any graph $G$, which in the case of graphs with minimum degree $δ\geq2$ simplifies to $α_2^f(G)\le 2n/(δ+2)$. We prove that $3\leχ_2^f(G)\le 5$ holds for any graph $G$ with $Δ(G)=3$. For several classes of graphs such as block graphs, the Cartesian and strong products of multiple two-way infinite paths, we determine the exact values of $α_2^f$. We provide sharp bounds on the $α_2^f$ in all four standard graph products, which are expressed as different invariants of their factors. Finally, we obtain Nordhaus-Gaddum type inequalities for the sum of the $2$-frugal chromatic numbers of $G$ and its complement from below and from above by functions of the order of $G$. For the upper bound $χ_{2}^{f}(G)+χ_{2}^{f}(\overline{G})\leq 3n/2$, we characterize the family of extremal graphs $G$.

math.CO↗

Thresholds for the biased Maker-Breaker domination games

In the $(a,b)$-biased Maker-Breaker domination game, two players alternately select unplayed vertices in a graph $G$ such that Dominator selects $a$ and Staller selects $b$ vertices per move. Dominator wins if the vertices he selected during the game form a dominating set of $G$, while Staller wins if she can prevent Dominator from achieving this goal. Given a positive integer $b$, Dominator's threshold, $\textrm{a}_b$, is the minimum $a$ such that Dominator wins the $(a,b)$-biased game on $G$ when he starts the game. Similarly, $\textrm{a}'_b$ denotes the minimum $a$ such that Dominator wins when Staller starts the $(a,b)$-biased game. Staller's thresholds, $\textrm{b}_a$ and $\textrm{b}'_a$, are defined analogously. It is proved that Staller wins the $(k-1,k)$-biased games in a graph $G$ if its order is sufficiently large with respect to a function of $k$ and the maximum degree of $G$. Along the way, the $\ell$-local domination number of a graph is introduced. This new parameter is proved to bound Dominator's thresholds $\textrm{a}_\ell$ and $\textrm{a}_\ell'$ from above. As a consequence, $\textrm{a}_1'(G)\le 2$ holds for every claw-free graph $G$. More specific results are obtained for thresholds in line graphs and Cartesian grids. Based on the concept of $[1,k]$-factor of a graph $G$, we introduce the star partition width $σ(G)$ of $G$, and prove that $\textrm{a}_1'(G)\le σ(G)$ holds for any nontrivial graph $G$, while $\textrm{a}_1'(G)=σ(G)$ if $G$ is a tree.

math.CO↗

A proof of the $\frac{3}{8}$-conjecture for independent domination in cubic graphs

A set $S$ of vertices in a graph $G$ is a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in~$S$. An independent dominating set in $G$ is a dominating set of $G$ with the additional property that it is an independent set. The domination number, $γ(G)$, and the independent domination number, $i(G)$, are the minimum cardinalities among all dominating sets and independent dominating sets in $G$, respectively. By definition, $γ(G) \le i(G)$ for all graphs $G$. Let $G$ be a connected cubic graph of order~$n$. In 1996 Reed [Combin.\ Probab.\ Comput.\ 5 (1996), 277--295] proved a breakthrough result that $γ(G) \le \frac{3}{8}n$. We prove the stronger result that if $G$ is different from $K_{3,3}$ and the $5$-prism $C_5 \, \Box \, K_2$, then $i(G) \le \frac{3}{8}n$. This proves a known conjecture. The bound is tight in the sense that there are infinite families of connected cubic graphs that achieve equality in this bound.

math.CO↗

Distance mutual-visibility coloring: relations with (total) domination, exact distance graphs and graph products

The concept of mutual-visibility (MV) has been extended in several directions. A vertex subset $S$ of a graph $G$ is a $k$-distance mutual-visibility ($k$DMV) set if for any two vertices in $S$, there is a geodesic between them of length at most $k$ whose internal vertices are not in $S$. In this paper, we combine this with the MV coloring as follows. For any integer $k\geq1$, a $k$DMV coloring of $G$ is a partition of $V(G)$ into $k$DMV sets, and the $k$DMV chromatic number $χ_{μ_k}(G)$ is the minimum cardinality of such a partition. When $k=1$ or $k\ge {\rm diam}(G)$, it equals the clique cover number $θ(G)$ or the MV chromatic number $χ_μ(G)$, respectively. So, our attention is given to $1<k<{\rm diam}(G)$ with $k=2$ producing the most interesting results. We prove that $χ_{μ_2}(G)\le|V(G)|/2$ and present large families of graphs that attain the bound. In addition, $χ_{μ_2}(G)$ is bounded from above by the total domination number $γ_t(G)$ if $G$ is isolate-free, while in graphs $G$ with girth $g(G)\geq7$, $χ_{μ_2}(G)$ is bounded from below by the domination number $γ(G)$. A surprising relation with the exact distance-2 graphs is found, which results in $θ(G^{[\natural2]})=γ_{t}(G)$ for any isolate-free graph $G$ with $g(G)\geq7$. The relation is explored further in lexicographic product graphs, where we prove the sharp inequalities $χ_{μ_{2}}(G\circ H)\leq θ(G^{[\natural2]})\leq θ\big{(}(G\circ H)^{[\natural2]}\big{)}$. We also prove a sharp lower (resp. upper) bound on $χ_{μ_2}$ (resp. $χ_{μ_k}$) for the Cartesian (resp. strong) product of two connected graphs and show that they are widely sharp. Finally, we characterize the block graphs $G$ with $χ_{μ_k}(G)=χ_μ(G)$, where $k={\rm diam}(G)-1$.

math.CO↗

Monophonic number of Kneser graphs and strongly 2-monophonic graphs

Given a graph $G$ a set $S\subset V(G)$ is called monophonic if every vertex in $G$ lies on some induced path between two vertices in $S$. The monophonic number, $m(G)$, of $G$, which is the smallest cardinality of a monophonic set in $G$, has been studied from various perspectives. In this paper, we establish $m(K(n,r))$ for all Kneser graphs $K(n,r)$, where $n\ge 2r$. In addition, when $r\ge 3$, we prove an even stronger property, notably that every pair of non-adjacent vertices in $K(n,r)$ forms a monophonic set. We call the graphs satisfying this property strongly $2$-monophonic graphs. We present several (sufficient and necessary) conditions for a graph to be strongly $2$-monophonic, and prove that the Cartesian product of any two strongly $2$-monophonic graphs is also such. Besides non-complete Hamming graphs, we also prove that every Johnson graph is strongly $2$-monophonic, whereas chordal graphs, with the exception of the graphs $K_n-e$, do not enjoy this property.

math.CO↗

Spreading in claw-free cubic graphs

Let $p \in \mathbb{N}$ and $q \in \mathbb{N} \cup \lbrace \infty \rbrace$. We study a dynamic coloring of the vertices of a graph $G$ that starts with an initial subset $S$ of blue vertices, with all remaining vertices colored white. If a white vertex~$v$ has at least~$p$ blue neighbors and at least one of these blue neighbors of~$v$ has at most~$q$ white neighbors, then by the spreading color change rule the vertex~$v$ is recolored blue. The initial set $S$ of blue vertices is a $(p,q)$-spreading set for $G$ if by repeatedly applying the spreading color change rule all the vertices of $G$ are eventually colored blue. The $(p,q)$-spreading set is a generalization of the well-studied concepts of $k$-forcing and $r$-percolating sets in graphs. For $q \ge 2$, a $(1,q)$-spreading set is exactly a $q$-forcing set, and the $(1,1)$-spreading set is a $1$-forcing set (also called a zero forcing set), while for $q = \infty$, a $(p,\infty)$-spreading set is exactly a $p$-percolating set. The $(p,q)$-spreading number, $σ_{(p,q)}(G)$, of $G$ is the minimum cardinality of a $(p,q)$-spreading set. In this paper, we study $(p,q)$-spreading in claw-free cubic graphs. While the zero-forcing number of claw-free cubic graphs was studied earlier, for each pair of values $p$ and $q$ that are not both $1$ we either determine the $(p,q)$-spreading number of a claw-free cubic graph $G$ or show that $σ_{(p,q)}(G)$ attains one of two possible values.

math.CO↗

On $k$-coalition in graphs: bounds and exact values

Given a graph $G=\big{(}V(G),E(G)\big{)}$, a set $S\subseteq V(G)$ is called a $k$-dominating set if every vertex in $V(G)\setminus S$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a $k$-coalition in $G$ if neither set is a $k$-dominating set in $G$ but their union $A\cup B$ is a $k$-dominating set. A partition $Ω$ of $V(G)$ is a $k$-coalition partition if each set in $Ω$ is either a $k$-dominating set of cardinality $k$ or forms a $k$-coalition with another set in $Ω$. The $k$-coalition number $C_{k}(G)$ equals the maximum cardinality of a $k$-coalition partition of $G$. In this work, we give general upper and lower bounds on this parameter. In particular, we show that if $G$ has minimum degree $δ\ge 2$ and maximum degree $Δ\ge 4 \lfloor δ/2 \rfloor$, then $C_{2}(G) \leq (Δ-2\lfloor δ/2 \rfloor+1)(\lfloor δ/2 \rfloor+1) + \lceil δ/2 \rceil+1$, and this bound is sharp. If $T$ is a tree of order~$n \ge 2$, then we prove the upper bound $C_{2}(T) \leq \big\lfloor \frac{n}{2}\big\rfloor+1$ and we characterize the extremal trees achieving equality in this bound. We determine the exact value of $C_{k}(G)$ for any cubic graph $G$ and $k\geq2$. Finally, we give the exact value of $C_{k}$ for any complete bipartite graph, which completes a partial result and resolves an issue from an earlier paper.

math.CO↗

On Maker-Breaker domination game critical graphs

The Maker-Breaker domination game is played on a graph $G$ by Dominator and Staller who alternate turns selecting an unplayed vertex of $G$. The goal of Dominator is that the vertices he selected during the game form a dominating set while Staller's goal is to prevent this from happening. The graph invariant $γ_{\rm MB}'(G)$ is the number of Dominator's moves in the game played on $G$ in which he can achieve his goal when Staller makes the first move and both players play optimally. In this paper, we continue the investigation of $2$-$γ_{\rm MB}'$-critical graphs, initiated in [Divarakan et al., Maker--Breaker domination game critical graphs, Discrete Appl.\ Math. 368 (2025) 126--134], which are defined as the graphs $G$ with $γ_{\rm MB}'(G)=2$ and $γ_{\rm MB}'(G-e)>2$ for every edge $e$ in $G$. The authors characterized bipartite $2$-$γ_{\rm MB}'$-critical graphs, and found an example of a non-bipartite $2$-$γ_{\rm MB}'$-critical graph. In this paper, we characterize the $2$-$γ_{\rm MB}'$-critical graphs that have a cut-vertex, which are represented by two infinite families. In addition, we prove that $C_5$ is the only non-bipartite, triangle-free $2$-$γ_{\rm MB}'$-critical graph.

math.CO↗

Total $k$-coalition: bounds, exact values and an application to double coalition

Let $G=\big{(}V(G),E(G)\big{)}$ be a graph with minimum degree $k$. A subset $S\subseteq V(G)$ is called a total $k$-dominating set if every vertex in $G$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a total $k$-coalition in $G$ if none of them is a total $k$-dominating set in $G$ but their union $A\cup B$ is a total $k$-dominating set. A vertex partition $Ω=\{V_{1},\ldots,V_{|Ω|}\}$ of $G$ is a total $k$-coalition partition if each set $V_{i}$ forms a total $k$-coalition with another set $V_{j}$. The total $k$-coalition number ${\rm TC}_{k}(G)$ of $G$ equals the maximum cardinality of a total $k$-coalition partition of $G$. In this paper, the above-mentioned concept are investigated from combinatorial points of view. Several sharp lower and upper bounds on ${\rm TC}_{k}(G)$ are proved, where the main emphasis is given on the invariant when $k=2$. As a consequence, the exact values of ${\rm TC}_2(G)$ when $G$ is a cubic graph or a $4$-regular graph are obtained. By using similar methods, an open question posed by Henning and Mojdeh regarding double coalition is answered. Moreover, ${\rm TC}_3(G)$ is determined when $G$ is a cubic graph.

math.CO↗

On polluted bootstrap percolation in Cartesian grids

Given a graph $G$ and assuming that some vertices of $G$ are infected, the $r$-neighbor bootstrap percolation rule makes an uninfected vertex $v$ infected if $v$ has at least $r$ infected neighbors. The $r$-percolation number, $m(G, r)$, of $G$ is the minimum cardinality of a set of initially infected vertices in $G$ such that after continuously performing the $r$-neighbor bootstrap percolation rule each vertex of $G$ eventually becomes infected. In this paper, we continue the study of polluted bootstrap percolation introduced and studied by Gravner and McDonald [Bootstrap percolation in a polluted environment. J.\ Stat\ Physics 87 (1997) 915--927] where in this variant some vertices are permanently in the non-infected state. We study an extremal (combinatorial) version of the bootstrap percolation problem in a polluted environment, where our main focus is on the class of grid graphs, that is, the Cartesian product $P_m \square P_n$ of two paths $P_m$ and $P_n$ on $m$ and $n$ vertices, respectively. Given a number of polluted vertices in a Cartesian grid we establish a closed formula for the minimum $2$-neighbor bootstrap percolation number of the polluted grid, and obtain a lower bound for the other extreme.

math.CO↗

Independent mutual-visibility coloring and related concepts

Given a graph $G$, a subset $M\subseteq V(G)$ is a mutual-visibility (MV) set if for every $u,v\in M$, there exists a $u,v$-geodesic whose internal vertices are not in $M$. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number $μ_{i}$ and the IMV chromatic number $χ_{μ_{i}}$ are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number $χ_μ$ (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper. We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers $R(4^k;2)$. From the computational point of view, we prove that the problems of computing $χ_{μ_{i}}$ and $μ_{i}$ are NP-complete, and that it is NP-hard to decide whether a graph $G$ satisfies $\imv(G)=α(G)$ where $α(G)$ is the independence number of $G$. Several tight bounds on $χ_{μ_{i}}$, $χ_μ$ and $μ_{i}$ are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that $χ_{μ_{i}}(T)=χ_μ(T)$ holds for any tree $T$ of order at least $3$, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs.

math.CO↗

Graphs with unique Grundy dominating sets

Given a graph $G$ consider a procedure of building a dominating set $D$ in $G$ by adding vertices to $D$ one at a time in such a way that whenever vertex $x$ is added to $D$ there exists a vertex $y\in N_G[x]$ that becomes dominated only after $x$ is added to $D$. The maximum cardinality of a set $D$ obtained in the described way is called the Grundy domination number of $G$ and $D$ a Grundy dominating set. While a Grundy dominating set of a connected graph $G$ is not unique unless $G$ is the trivial graph, we consider a natural weaker uniqueness condition, notably that for every two Grundy dominating sets in a graph $G$ there is an automorphism that maps one to the other. We investigate both versions of uniqueness for several concepts of Grundy domination, which appeared in the context of domination games and are also closely related to zero forcing. For each of the four variations of Grundy domination we characterize the graphs that have only one Grundy dominating set of the given type, and characterize those forests that enjoy the weaker (isomorphism based) condition of uniqueness. The latter characterizations lead to efficient algorithms for recognizing the corresponding classes of forests.

math.CO↗