Showing 1–50 of 60 results for author: Brešar, B

Independent mutual-visibility coloring and related concepts

Authors: Boštjan Brešar, Iztok Peterin, Babak Samadi, Ismael G. Yero

Abstract: 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 s… ▽ More 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. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Thresholds for the biased Maker-Breaker domination games

Authors: Boštjan Brešar, Csilla Bujtás, Pakanun Dokyeesun, Tanja Dravec

Abstract: 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 thr… ▽ More 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. △ Less

Submitted 14 March, 2025; originally announced March 2025.

MSC Class: 05C57

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

Authors: Boštjan Brešar, Sandi Klavžar, Babak Samadi

Abstract: 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… ▽ More 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. △ Less

Submitted 11 February, 2025; originally announced February 2025.

Spreading in claw-free cubic graphs

Authors: Boštjan Brešar, Jaka Hedžet, Michael A. Henning

Abstract: 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 cha… ▽ More 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. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Claw-free cubic graphs are $(1, 1, 2, 2)$-colorable

Authors: Boštjan Brešar, Kirsti Kuenzel, Douglas F. Rall

Abstract: A $(1,1,2,2)$-coloring of a graph is a partition of its vertex set into four sets two of which are independent and the other two are $2$-packings. In this paper, we prove that every claw-free cubic graph admits a $(1,1,2,2)$-coloring. This implies that the conjecture from [Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph, Aequationes Math.\ 91 (2017) 169--184]… ▽ More A $(1,1,2,2)$-coloring of a graph is a partition of its vertex set into four sets two of which are independent and the other two are $2$-packings. In this paper, we prove that every claw-free cubic graph admits a $(1,1,2,2)$-coloring. This implies that the conjecture from [Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph, Aequationes Math.\ 91 (2017) 169--184] that the packing chromatic number of subdivisions of subcubic graphs is at most $5$ is true in the case of claw-free cubic graphs. △ Less

Submitted 23 September, 2024; originally announced September 2024.

Comments: 12 pages, 2 figures, 17 references

MSC Class: 05C15; 05C12

Isolation game on graphs

Authors: Boštjan Brešar, Tanja Dravec, Daniel P. Johnston, Kirsti Kuenzel, Douglas F. Rall

Abstract: Given a graph $G$ and a family of graphs $\cal F$, an $\cal F$-isolating set, as introduced by Caro and Hansberg, is any set $S\subset V(G)$ such that $G - N[S]$ contains no member of $\cal F$ as a subgraph. In this paper, we introduce a game in which two players with opposite goals are together building an $\cal F$-isolating set in $G$. Following the domination games, Dominator (Staller) wants th… ▽ More Given a graph $G$ and a family of graphs $\cal F$, an $\cal F$-isolating set, as introduced by Caro and Hansberg, is any set $S\subset V(G)$ such that $G - N[S]$ contains no member of $\cal F$ as a subgraph. In this paper, we introduce a game in which two players with opposite goals are together building an $\cal F$-isolating set in $G$. Following the domination games, Dominator (Staller) wants that the resulting $\cal F$-isolating set obtained at the end of the game, is as small (as big) as possible, which leads to the graph invariant called the game $\cal F$-isolation number, denoted $ι_{\rm g}(G,\cal F)$. We prove that the Continuation Principle holds in the $\cal F$-isolation game, and that the difference between the game $\cal F$-isolation numbers when either Dominator or Staller starts the game is at most $1$. Considering two arbitrary families of graphs $\cal F$ and $\cal F'$, we find relations between them that ensure $ι_{\rm g}(G,{\cal{F}}') \leq ι_{\rm g}(G,{\cal{F}})$ for any graph $G$. A special focus is given on the isolation game, which takes place when ${\cal F}=\{K_2\}$. We prove that $ι_{\rm g}(G,\{K_2\})\le |V(G)|/2$ for any graph $G$, and conjecture that $\lceil 3|V(G)|/7\rceil$ is the actual (sharp) upper bound. We prove that the isolation game on a forest when Dominator has the first move never lasts longer than the one in which Staller starts the game. Finally, we prove good lower and upper bounds on the game isolation numbers of paths $P_n$, which lead to the exact values $ι_{\rm g}(P_n,\{K_2\})=\left\lfloor\frac{2n+2}{5}\right\rfloor$ when $n \equiv i \pmod 5$ and $i \in \{1,2,3\}$. △ Less

Submitted 21 September, 2024; originally announced September 2024.

Comments: 15 pages, 1 figure, 18 references

MSC Class: 05C57; 05C05

Injective colorings of Sierpiński-like graphs and Kneser graphs

Authors: Boštjan Brešar, Sandi Klavžar, Babak Samadi, Ismael G. Yero

Abstract: Two relationships between the injective chromatic number and, respectively, chromatic number and chromatic index, are proved. They are applied to determine the injective chromatic number of Sierpiński graphs and to give a short proof that Sierpiński graphs are Class $1$. Sierpiński-like graphs are also considered, including generalized Sierpiński graphs over cycles and rooted products. It is prove… ▽ More Two relationships between the injective chromatic number and, respectively, chromatic number and chromatic index, are proved. They are applied to determine the injective chromatic number of Sierpiński graphs and to give a short proof that Sierpiński graphs are Class $1$. Sierpiński-like graphs are also considered, including generalized Sierpiński graphs over cycles and rooted products. It is proved that the injective chromatic number of a rooted product of two graphs lies in a set of six possible values. Sierpiński graphs and Kneser graphs $K(n,r)$ are considered with respect of being perfect injectively colorable, where a graph is perfect injectively colorable if it has an injective coloring in which every color class forms an open packing of largest cardinality. In particular, all Sierpiński graphs and Kneser graphs $K(n, r)$ with $n \ge 3r-1$ are perfect injectively colorable graph, while $K(7,3)$ is not. △ Less

Submitted 16 September, 2024; v1 submitted 13 September, 2024; originally announced September 2024.

MSC Class: 05C15; 05C69; 05C76

Induced matching vs edge open packing: trees and product graphs

Authors: Bostjan Bresar, Tanja Dravec, Jaka Hedzet, Babak Samadi

Abstract: Given a graph $G$, the maximum size of an induced subgraph of $G$ each component of which is a star is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. Similarly, the maximum size of an induced subgraph of $G$ each component of which is the star $K_{1,1}$ is the induced matching number, $ν_I(G)$, of $G$. While the inequality $ρ_e^o(G)\geq ν_{I}(G)$ clearly holds for all graphs $G$, we… ▽ More Given a graph $G$, the maximum size of an induced subgraph of $G$ each component of which is a star is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. Similarly, the maximum size of an induced subgraph of $G$ each component of which is the star $K_{1,1}$ is the induced matching number, $ν_I(G)$, of $G$. While the inequality $ρ_e^o(G)\geq ν_{I}(G)$ clearly holds for all graphs $G$, we provide a structural characterization of those trees that attain the equality. We prove that the induced matching number of the lexicographic product $G\circ H$ of arbitrary two graphs $G$ and $H$ equals $α(G)ν_I(H)$. By similar techniques, we prove sharp lower and upper bounds on the edge open packing number of the lexicographic product of graphs, which in particular lead to NP-hardness results in triangular graphs for both invariants studied in this paper. For the direct product $G\times H$ of two graphs we provide lower bounds on $ν_I(G\times H)$ and $ρ_{e}^{o}(G\times H)$, both of which are widely sharp. We also present sharp lower bounds for both invariants in the Cartesian and the strong product of two graphs. Finally, we consider the edge open packing number in hypercubes establishing the exact values of $ρ_e^o(Q_n)$ when $n$ is a power of $2$, and present a closed formula for the induced matching number of the rooted product of arbitrary two graphs over an arbitrary root vertex. △ Less

Submitted 7 June, 2024; v1 submitted 6 June, 2024; originally announced June 2024.

MSC Class: 05C05; 05C69; 05C70; 05C76

Journal ref: Discrete Mathematics, 2025

$S$-packing colorings of distance graphs with distance sets of cardinality $2$

Authors: Boštjan Brešar, Jasmina Ferme, Přemysl Holub, Marko Jakovac, Petra Melicharová

Abstract: For a non-decreasing sequence $S=(s_1,s_2,\ldots)$ of positive integers, a partition of the vertex set of a graph $G$ into subsets $X_1,\ldots, X_\ell$, such that vertices in $X_i$ are pairwise at distance greater than $s_i$ for every $i\in\{1,\ldots,\ell\}$, is called an $S$-packing $\ell$-coloring of $G$. The minimum $\ell$ for which $G$ admits an $S$-packing $\ell$-coloring is called the $S$-pa… ▽ More For a non-decreasing sequence $S=(s_1,s_2,\ldots)$ of positive integers, a partition of the vertex set of a graph $G$ into subsets $X_1,\ldots, X_\ell$, such that vertices in $X_i$ are pairwise at distance greater than $s_i$ for every $i\in\{1,\ldots,\ell\}$, is called an $S$-packing $\ell$-coloring of $G$. The minimum $\ell$ for which $G$ admits an $S$-packing $\ell$-coloring is called the $S$-packing chromatic number of $G$, denoted by $χ_S(G)$. In this paper, we consider $S$-packing colorings of distance graphs $G(\mathbb{Z},\{k,t\})$, where $k$ and $t$ are positive integers, which are the graphs whose vertex set is $\mathbb{Z}$, and two vertices $x,y\in \mathbb{Z}$ are adjacent whenever $|x-y|\in\{k,t\}$. We complement partial results from two earlier papers, thus determining all values of $χ_S(G(\mathbb{Z},\{k,t\}))$ when $S$ is any sequence with $s_i\le 2$ for all $i$. In particular, if $S=(1,1,2,2,\ldots)$, then the $S$-packing chromatic number is $2$ if $k+t$ is even, and $4$ otherwise, while if $S=(1,2,2,\ldots)$, then the $S$-packing chromatic number is $5$, unless $\{k,t\}=\{2,3\}$ when it is $6$; when $S=(2,2,2,\ldots)$, the corresponding formula is more complex. △ Less

Submitted 29 May, 2024; originally announced May 2024.

MSC Class: 05C15; 05C12

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

Authors: Boštjan Brešar, Michael A. Henning

Abstract: 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 car… ▽ More 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$. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 39 pages, 16 figures

MSC Class: 05C69

Bootstrap percolation and $P_3$-hull number in direct products of graphs

Authors: Boštjan Brešar, Jaka Hedžet, Rebekah Herrman

Abstract: The $r$-neighbor bootstrap percolation is a graph infection process based on the update rule by which a vertex with $r$ infected neighbors becomes infected. We say that an initial set of infected vertices propagates if all vertices of a graph $G$ are eventually infected, and the minimum cardinality of such a set in $G$ is called the $r$-bootstrap percolation number, $m(G,r)$, of $G$. In this paper… ▽ More The $r$-neighbor bootstrap percolation is a graph infection process based on the update rule by which a vertex with $r$ infected neighbors becomes infected. We say that an initial set of infected vertices propagates if all vertices of a graph $G$ are eventually infected, and the minimum cardinality of such a set in $G$ is called the $r$-bootstrap percolation number, $m(G,r)$, of $G$. In this paper, we study percolating sets in direct products of graphs. While in general graphs there is no non-trivial upper bound on $m(G\times H,r)$, we prove several upper bounds under the assumption $δ(G)\ge r$. We also characterize the connected graphs $G$ and $H$ with minimum degree $2$ that satisfy $m(G \times H, 2) = \frac{|V(G \times H)|}{2}$. In addition, we determine the exact values of $m(P_n \times P_m, 2)$, which are $m+n-1$ if $m$ and $n$ are of different parities, and $m+n$ otherwise. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Comments: 21 pages, 6 figures

MSC Class: 05C35; 05C76; 60K35

Edge open packing: complexity, algorithmic aspects, and bounds

Authors: Boštjan Brešar, Babak Samadi

Abstract: Given a graph $G$, two edges $e_{1},e_{2}\in E(G)$ are said to have a common edge $e$ if $e$ joins an endvertex of $e_{1}$ to an endvertex of $e_{2}$. A subset $B\subseteq E(G)$ is an edge open packing set in $G$ if no two edges of $B$ have a common edge in $G$, and the maximum cardinality of such a set in $G$ is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. In this paper, we prove… ▽ More Given a graph $G$, two edges $e_{1},e_{2}\in E(G)$ are said to have a common edge $e$ if $e$ joins an endvertex of $e_{1}$ to an endvertex of $e_{2}$. A subset $B\subseteq E(G)$ is an edge open packing set in $G$ if no two edges of $B$ have a common edge in $G$, and the maximum cardinality of such a set in $G$ is called the edge open packing number, $ρ_{e}^{o}(G)$, of $G$. In this paper, we prove that the decision version of the edge open packing number is NP-complete even when restricted to graphs with universal vertices, Eulerian bipartite graphs, and planar graphs with maximum degree $4$, respectively. In contrast, we present a linear-time algorithm that computes the edge open packing number of a tree. We also resolve two problems posed in the seminal paper [Edge open packing sets in graphs, RAIRO-Oper.\ Res.\ 56 (2022) 3765--3776]. Notably, we characterize the graphs $G$ that attain the upper bound $ρ_e^o(G)\le |E(G)|/δ(G)$, and provide lower and upper bounds for the edge-deleted subgraph of a graph and establish the corresponding realization result. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Comments: 12 pages, 1 figure

MSC Class: 05C70; 05C85; 68Q17

$k$-Domination invariants on Kneser graphs

Authors: Boštjan Brešar, María Gracia Cornet, Tanja Dravec, Michael A. Henning

Abstract: In this follow-up to [M.G.~Cornet, P.~Torres, arXiv:2308.15603], where the $k$-tuple domination number and the 2-packing number in Kneser graphs $K(n,r)$ were studied, we are concerned with two variations, the $k$-domination number, ${γ_{k}}(K(n,r))$, and the $k$-tuple total domination number, ${γ_{t\times k}}(K(n,r))$, of $K(n,r)$. For both invariants we prove monotonicity results by showing that… ▽ More In this follow-up to [M.G.~Cornet, P.~Torres, arXiv:2308.15603], where the $k$-tuple domination number and the 2-packing number in Kneser graphs $K(n,r)$ were studied, we are concerned with two variations, the $k$-domination number, ${γ_{k}}(K(n,r))$, and the $k$-tuple total domination number, ${γ_{t\times k}}(K(n,r))$, of $K(n,r)$. For both invariants we prove monotonicity results by showing that ${γ_{k}}(K(n,r))\ge {γ_{k}}(K(n+1,r))$ holds for any $n\ge 2(k+r)$, and ${γ_{t\times k}}(K(n,r))\ge {γ_{t\times k}}(K(n+1,r))$ holds for any $n\ge 2r+1$. We prove that ${γ_{k}}(K(n,r))={γ_{t\times k}}(K(n,r))=k+r$ when $n\geq r(k+r)$, and that in this case every ${γ_{k}}$-set and ${γ_{t\times k}}$-set is a clique, while ${γ_{k}}(r(k+r)-1,r)={γ_{t\times k}}(r(k+r)-1,r)=k+r+1$, for any $k\ge 2$. Concerning the 2-packing number, $ρ_2(K(n,r))$, of $K(n,r)$, we prove the exact values of $ρ_2(K(3r-3,r))$ when $r\ge 10$, and give sufficient conditions for $ρ_2(K(n,r))$ to be equal to some small values by imposing bounds on $r$ with respect to $n$. We also prove a version of monotonicity for the $2$-packing number of Kneser graphs. △ Less

Submitted 24 December, 2023; originally announced December 2023.

Comments: 15 pages, 3 tables

MSC Class: 05C69; 05D05

Indicated domination game

Authors: Boštjan Brešar, Csilla Bujtás, Vesna Iršič, Douglas F. Rall, Zsolt Tuza

Abstract: Motivated by the success of domination games and by a variation of the coloring game called the indicated coloring game, we introduce a version of domination games called the indicated domination game. It is played on an arbitrary graph $G$ by two players, Dominator and Staller, where Dominator wants to finish the game in as few rounds as possible while Staller wants just the opposite. In each rou… ▽ More Motivated by the success of domination games and by a variation of the coloring game called the indicated coloring game, we introduce a version of domination games called the indicated domination game. It is played on an arbitrary graph $G$ by two players, Dominator and Staller, where Dominator wants to finish the game in as few rounds as possible while Staller wants just the opposite. In each round, Dominator indicates a vertex $u$ of $G$ that has not been dominated by previous selections of Staller, which, by the rules of the game, forces Staller to select a vertex in the closed neighborhood of $u$. The game is finished when all vertices of $G$ become dominated by the vertices selected by Staller. Assuming that both players are playing optimally according to their goals, the number of selected vertices during the game is the indicated domination number, $γ_i(G)$, of $G$. We prove several bounds on the indicated domination number expressed in terms of other graph invariants. In particular, we find a place of the new graph invariant in the well-known domination chain, by showing that $γ_i(G)\ge Γ(G)$ for all graphs $G$, and by showing that the indicated domination number is incomparable with the game domination number and also with the upper irredundance number. In connection with the trivial upper bound $γ_i(G)\le n(G)-δ(G)$, we characterize the class of graphs $G$ attaining the bound provided that $n(G)\ge 2δ(G)+2$. We prove that in trees, split graphs and grids the indicated domination number equals the independence number. We also find a formula for the indicated domination number of powers of paths, from which we derive that there exist graphs in which the indicated domination number is arbitrarily larger than the upper irredundance number. △ Less

Submitted 27 March, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 19 pages

MSC Class: 05C57

Computation of Grundy dominating sequences in (co-)bipartite graphs

Authors: Boštjan Brešar, Arti Pandey, Gopika Sharma

Abstract: A sequence $S$ of vertices of a graph $G$ is called a dominating sequence of $G$ if $(i)$ each vertex $v$ of $S$ dominates a vertex of $G$ that was not dominated by any of the vertices preceding vertex $v$ in $S$, and $(ii)$ every vertex of $G$ is dominated by at least one vertex of $S$. The Grundy Domination problem is to find a longest dominating sequence for a given graph $G$. It has been known… ▽ More A sequence $S$ of vertices of a graph $G$ is called a dominating sequence of $G$ if $(i)$ each vertex $v$ of $S$ dominates a vertex of $G$ that was not dominated by any of the vertices preceding vertex $v$ in $S$, and $(ii)$ every vertex of $G$ is dominated by at least one vertex of $S$. The Grundy Domination problem is to find a longest dominating sequence for a given graph $G$. It has been known that the decision version of the Grundy Domination problem is NP-complete even when restricted to chordal graphs. In this paper, we prove that the decision version of the Grundy Domination problem is NP-complete for bipartite graphs and co-bipartite graphs. On the positive side, we present a linear-time algorithm that solves the Grundy Domination problem for chain graphs, which form a subclass of bipartite graphs. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 18 pages, 3 figures

MSC Class: 05C69; 05C65; 05C85

Bounds on zero forcing using (upper) total domination and minimum degree

Authors: Boštjan Brešar, María Gracia Cornet, Tanja Dravec, Michael Henning

Abstract: While a number of bounds are known on the zero forcing number $Z(G)$ of a graph $G$ expressed in terms of the order of a graph and maximum or minimum degree, we present two bounds that are related to the (upper) total domination number $γ_t(G)$ (resp. $Γ_t(G)$) of $G$. We prove that $Z(G)+γ_t(G)\le n(G)$ and $Z(G)+\frac{Γ_t(G)}{2}\le n(G)$ holds for any graph $G$ with no isolated vertices of order… ▽ More While a number of bounds are known on the zero forcing number $Z(G)$ of a graph $G$ expressed in terms of the order of a graph and maximum or minimum degree, we present two bounds that are related to the (upper) total domination number $γ_t(G)$ (resp. $Γ_t(G)$) of $G$. We prove that $Z(G)+γ_t(G)\le n(G)$ and $Z(G)+\frac{Γ_t(G)}{2}\le n(G)$ holds for any graph $G$ with no isolated vertices of order $n(G)$. Both bounds are sharp as demonstrated by several infinite families of graphs. In particular, we show that every graph $H$ is an induced subgraph of a graph $G$ with $Z(G)+\frac{Γ_t(G)}{2}=n(G)$. Furthermore, we prove a characterization of graphs with power domination equal to $1$, from which we derive a characterization of the extremal graphs attaining the trivial lower bound $Z(G)\ge δ(G)$. The class of graphs that appears in the corresponding characterizations is obtained by extending an idea from [D.D.~Row, A technique for computing the zero forcing number of a graph with a cut-vertex, Linear Alg.\ Appl.\ 436 (2012) 4423--4432], where the graphs with zero forcing number equal to $2$ were characterized. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 18 pages, 1 figure

Spreading in graphs

Authors: Boštjan Brešar, Tanja Dravec, Aysel Erey, Jaka Hedžet

Abstract: Several concepts that model processes of spreading (of information, disease, objects, etc.) in graphs or networks have been studied. In many contexts, we assume that some vertices of a graph $G$ are contaminated initially, before the process starts. By the $q$-forcing rule, a contaminated vertex having at most $q$ uncontaminated neighbors enforces all the neighbors to become contaminated, while by… ▽ More Several concepts that model processes of spreading (of information, disease, objects, etc.) in graphs or networks have been studied. In many contexts, we assume that some vertices of a graph $G$ are contaminated initially, before the process starts. By the $q$-forcing rule, a contaminated vertex having at most $q$ uncontaminated neighbors enforces all the neighbors to become contaminated, while by the $p$-percolation rule, an uncontaminated vertex becomes contaminated if at least $p$ of its neighbors are contaminated. In this paper, we consider sets $S$ that are at the same time $q$-forcing sets and $p$-percolating sets, and call them $(p,q)$-spreading sets. Given positive integers $p$ and $q$, the minimum cardinality of a $(p,q)$-spreading set in $G$ is a $(p,q)$-spreading number, $σ_{(p,q)}(G)$, of $G$. While $q$-forcing sets have been studied in a dozen of papers, the decision version of the corresponding graph invariant has not been considered earlier, and we fill the gap by proving its NP-completeness. This, in turn, enables us to prove the NP-completeness of the decision version of the $(p,q)$-spreading number in graphs for an arbitrary choice of $p$ and $q$. Again, for every $p\in \mathbb{N}$ and $q\in\mathbb{N}\cup\{\infty\}$, we find a linear-time algorithm for determining the $(p,q)$-spreading number of a tree. In addition, we present a lower and an upper bound on the $(p,q)$-spreading number of a tree and characterize extremal families of trees. In the case of square grids, we combine some known results and new results on $(2,1)$-spreading and $(4,q)$-spreading to obtain $σ_{(p,q)}(P_m\Box P_n)$ for all $(p,q)\in (\mathbb{N}\setminus\{3\})\times (\mathbb{N}\cup\{\infty\})$ and all $m,n\in\mathbb{N}$. △ Less

Submitted 2 October, 2023; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: 20 pages, 5 figures

Packings in bipartite prisms and hypercubes

Authors: Boštjan Brešar, Sandi Klavžar, Douglas F. Rall

Abstract: The $2$-packing number $ρ_2(G)$ of a graph $G$ is the cardinality of a largest $2$-packing of $G$ and the open packing number $ρ^{\rm o}(G)$ is the cardinality of a largest open packing of $G$, where an open packing (resp. $2$-packing) is a set of vertices in $G$ no two (closed) neighborhoods of which intersect. It is proved that if $G$ is bipartite, then $ρ^{\rm o}(G\Box K_2) = 2ρ_2(G)$. For hype… ▽ More The $2$-packing number $ρ_2(G)$ of a graph $G$ is the cardinality of a largest $2$-packing of $G$ and the open packing number $ρ^{\rm o}(G)$ is the cardinality of a largest open packing of $G$, where an open packing (resp. $2$-packing) is a set of vertices in $G$ no two (closed) neighborhoods of which intersect. It is proved that if $G$ is bipartite, then $ρ^{\rm o}(G\Box K_2) = 2ρ_2(G)$. For hypercubes, the lower bounds $ρ_2(Q_n) \ge 2^{n - \lfloor \log n\rfloor -1}$ and $ρ^{\rm o}(Q_n) \ge 2^{n - \lfloor \log (n-1)\rfloor -1}$ are established. These findings are applied to injective colorings of hypercubes. In particular, it is demonstrated that $Q_9$ is the smallest hypercube which is not perfect injectively colorable. It is also proved that $γ_t(Q_{2^k}\times H) = 2^{2^k-k}γ_t(H)$, where $H$ is an arbitrary graph with no isolated vertices. △ Less

Submitted 10 September, 2023; originally announced September 2023.

Comments: 11 pages, 2 figures, 1 table

MSC Class: 05C69; 05C76

Bootstrap percolation in strong products of graphs

Authors: Boštjan Brešar, Jaka Hedžet

Abstract: 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 rul… ▽ More 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 consider percolation numbers of strong products of graphs. If $G$ is the strong product $G_1\boxtimes \cdots \boxtimes G_k$ of $k$ connected graphs, we prove that $m(G,r)=r$ as soon as $r\le 2^{k-1}$ and $|V(G)|\ge r$. As a dichotomy, we present a family of strong products of $k$ connected graphs with the $(2^{k-1}+1)$-percolation number arbitrarily large. We refine these results for strong products of graphs in which at least two factors have at least three vertices. In addition, when all factors $G_i$ have at least three vertices we prove that $m(G_1 \boxtimes \dots \boxtimes G_k,r)\leq 3^{k-1} -k$ for all $r\leq 2^k-1$, and we again get a dichotomy, since there exist families of strong products of $k$ graphs such that their $2^{k}$-percolation numbers are arbitrarily large. While $m(G\boxtimes H,3)=3$ if both $G$ and $H$ have at least three vertices, we also characterize the strong prisms $G\boxtimes K_2$ for which this equality holds. Some of the results naturally extend to infinite graphs, and we briefly consider percolation numbers of strong products of two-way infinite paths. △ Less

Submitted 12 September, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 23 pages

MSC Class: 05C35; 05C76; 60K35

Lower (total) mutual visibility in graphs

Authors: Boštjan Brešar, Ismael G. Yero

Abstract: Given a graph $G$, a set $X$ of vertices in $G$ satisfying that between every two vertices in $X$ (respectively, in $G$) there is a shortest path whose internal vertices are not in $X$ is a mutual-visibility (respectively, total mutual-visibility) set in $G$. The cardinality of a largest (total) mutual-visibility set in $G$ is known under the name (total) mutual-visibility number, and has been stu… ▽ More Given a graph $G$, a set $X$ of vertices in $G$ satisfying that between every two vertices in $X$ (respectively, in $G$) there is a shortest path whose internal vertices are not in $X$ is a mutual-visibility (respectively, total mutual-visibility) set in $G$. The cardinality of a largest (total) mutual-visibility set in $G$ is known under the name (total) mutual-visibility number, and has been studied in several recent works. In this paper, we propose two lower variants of the mentioned concepts, defined as the smallest possible cardinality among all maximal (total) mutual-visibility sets in $G$, and denote them by $μ^{-}(G)$ and $μ_t^{-}(G)$, respectively. While the total mutual-visibility number is never larger than the mutual-visibility number in a graph $G$, we prove that both differences $μ^{-}(G)-μ_t^{-}(G)$ and $μ_t^{-}(G)-μ^{-}(G)$ can be arbitrarily large. We characterize graphs $G$ with some small values of $μ^{-}(G)$ and $μ_t^{-}(G)$, and prove a useful tool called Neighborhood Lemma, which enables us to find upper bounds on the lower mutual-visibility number in several classes of graphs. We compare the lower mutual-visibility number with the lower general position number, and find a close relationship with Bollobás-Wessel theorem when this number is considered in Cartesian products of complete graphs. Finally, we also prove the NP-completeness of the decision problem related to $μ_t^{-}(G)$. △ Less

Submitted 13 October, 2023; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: 21 pages, 3 figures

MSC Class: 05C12; 05C85

Graphs with equal Grundy domination and independence number

Authors: Gábor Bacsó, Boštjan Brešar, Kirsti Kuenzel, Douglas F. Rall

Abstract: The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equa… ▽ More The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equal to the upper domination number $Γ(G)$, which is in turn greater than or equal to the independence number $α(G)$. In this paper, we initiate the study of the class of graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and its subclass consisting of graphs $G$ with $α(G)={γ_{\rm gr}}(G)$. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and present large families of such graphs. △ Less

Submitted 9 March, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 20 pages, 1 figure

MSC Class: 05C69; 05C75

Orientable domination in product-like graphs

Authors: Sarah Anderson, Boštjan Brešar, Sandi Klavžar, Kirsti Kuenzel, Douglas F. Rall

Abstract: The orientable domination number, ${\rm DOM}(G)$, of a graph $G$ is the largest domination number over all orientations of $G$. In this paper, ${\rm DOM}$ is studied on different product graphs and related graph operations. The orientable domination number of arbitrary corona products is determined, while sharp lower and upper bounds are proved for Cartesian and lexicographic products. A result of… ▽ More The orientable domination number, ${\rm DOM}(G)$, of a graph $G$ is the largest domination number over all orientations of $G$. In this paper, ${\rm DOM}$ is studied on different product graphs and related graph operations. The orientable domination number of arbitrary corona products is determined, while sharp lower and upper bounds are proved for Cartesian and lexicographic products. A result of Chartrand et al. from 1996 is extended by establishing the values of ${\rm DOM}(K_{n_1,n_2,n_3})$ for arbitrary positive integers $n_1,n_2$ and $n_3$. While considering the orientable domination number of lexicographic product graphs, we answer in the negative a question concerning domination and packing numbers in acyclic digraphs posed in [Domination in digraphs and their direct and Cartesian products, J. Graph Theory 99 (2022) 359-377]. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Geodesic packing in graphs

Authors: Paul Manuel, Bostjan Bresar, Sandi Klavzar

Abstract: Given a graph $G$, a geodesic packing in $G$ is a set of vertex-disjoint maximal geodesics, and the geodesic packing number of $G$, ${\gpack}(G)$, is the maximum cardinality of a geodesic packing in $G$. It is proved that the decision version of the geodesic packing number is NP-complete. We also consider the geodesic transversal number, ${\gt}(G)$, which is the minimum cardinality of a set of ver… ▽ More Given a graph $G$, a geodesic packing in $G$ is a set of vertex-disjoint maximal geodesics, and the geodesic packing number of $G$, ${\gpack}(G)$, is the maximum cardinality of a geodesic packing in $G$. It is proved that the decision version of the geodesic packing number is NP-complete. We also consider the geodesic transversal number, ${\gt}(G)$, which is the minimum cardinality of a set of vertices that hit all maximal geodesics in $G$. While $\gt(G)\ge \gpack(G)$ in every graph $G$, the quotient ${\rm gt}(G)/{\rm gpack}(G)$ is investigated. By using the rook's graph, it is proved that there does not exist a constant $C < 3$ such that $\frac{{\rm gt}(G)}{{\rm gpack}(G)}\le C$ would hold for all graphs $G$. If $T$ is a tree, then it is proved that ${\rm gpack}(T) = {\rm gt}(T)$, and a linear algorithm for determining ${\rm gpack}(T)$ is derived. The geodesic packing number is also determined for the strong product of paths. △ Less

Submitted 5 July, 2023; v1 submitted 27 October, 2022; originally announced October 2022.

The geodesic transversal problem on some networks

Authors: Paul Manuel, Bostjan Bresar, Sandi Klavzar

Abstract: A set S of vertices of a graph G is a geodesic transversal of G if every maximal geodesic of G contains at least one vertex of S. We determine a smallest geodesic transversal in certain interconnection networks such as mesh of trees, and some well-known chemical structures such as silicate networks and carbon nanosheets. Some useful general bounds for the corresponding graph invariant are obtained… ▽ More A set S of vertices of a graph G is a geodesic transversal of G if every maximal geodesic of G contains at least one vertex of S. We determine a smallest geodesic transversal in certain interconnection networks such as mesh of trees, and some well-known chemical structures such as silicate networks and carbon nanosheets. Some useful general bounds for the corresponding graph invariant are obtained along the way. △ Less

Submitted 4 December, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: 12 Pages and 9 Figures

MSC Class: 05C12; 05C82

On the dissociation number of Kneser graphs

Authors: Boštjan Brešar, Tanja Dravec

Abstract: A set $D$ of vertices of a graph $G$ is a dissociation set if each vertex of $D$ has at most one neighbor in $D$. The dissociation number of $G$, $diss(G)$, is the cardinality of a maximum dissociation set in a graph $G$. In this paper we study dissociation in the well-known class of Kneser graphs $K_{n,k}$. In particular, we establish that the dissociation number of Kneser graphs $K_{n,2}$ equals… ▽ More A set $D$ of vertices of a graph $G$ is a dissociation set if each vertex of $D$ has at most one neighbor in $D$. The dissociation number of $G$, $diss(G)$, is the cardinality of a maximum dissociation set in a graph $G$. In this paper we study dissociation in the well-known class of Kneser graphs $K_{n,k}$. In particular, we establish that the dissociation number of Kneser graphs $K_{n,2}$ equals $\max{\{n-1,6\}}$. We show that for any $k \geq 2$, there exists $n_0 \in \mathbb{N}$ such that $diss(K_{n,k})=α(K_{n,k})$ for any $n \geq n_0$. We consider the case $k=3$ in more details and prove that $n_0=8$ in this case. Then we improve a trivial upper bound $2α(K_{n,k})$ for the dissociation number of Kneser graphs $K_{n,k}$ by using Katona's cyclic arrangement of integers from $\{1,\ldots , n\}$. Finally we investigate the odd graphs, that is, the Kneser graphs with $n=2k+1$. We prove that $diss(K_{2k+1,k})={2k \choose k}$. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 9 pages, 1 figure

MSC Class: 05C69

On the chromatic edge stability index of graphs

Authors: Saieed Akbari, Arash Beikmohammadi, Boštjan Brešar, Tanja Dravec, Mohammad Mahdi Habibollahi, Nazanin Movarraei

Abstract: Given a non-trivial graph $G$, the minimum cardinality of a set of edges $F$ in $G$ such that $χ'(G \setminus F)<χ'(G)$ is called the chromatic edge stability index of $G$, denoted by $es_{χ'}(G)$, and such a (smallest) set $F$ is called a (minimum) mitigating set. While $1\le es_{χ'}(G)\le \lfloor n/2\rfloor$ holds for any graph $G$, we investigate the graphs with extremal and near-extremal value… ▽ More Given a non-trivial graph $G$, the minimum cardinality of a set of edges $F$ in $G$ such that $χ'(G \setminus F)<χ'(G)$ is called the chromatic edge stability index of $G$, denoted by $es_{χ'}(G)$, and such a (smallest) set $F$ is called a (minimum) mitigating set. While $1\le es_{χ'}(G)\le \lfloor n/2\rfloor$ holds for any graph $G$, we investigate the graphs with extremal and near-extremal values of $es_{χ'}(G)$. The graphs $G$ with $es_{χ'}(G)=\lfloor n/2\rfloor$ are classified, and the graphs $G$ with $es_{χ'}(G)=\lfloor n/2\rfloor-1$ and $χ'(G)=Δ(G)+1$ are characterized. We establish that the odd cycles and $K_2$ are exactly the regular connected graphs with the chromatic edge stability index $1$; on the other hand, we prove that it is NP-hard to verify whether a graph $G$ has $es_{χ'}(G)=1$. We also prove that every minimum mitigating set of an $r$-regular graph $G$, where $r\ne 4$, with $es_{χ'}(G)=2$ is a matching. Furthermore, we propose a conjecture that for every graph $G$ there exists a minimum mitigating set, which is a matching, and prove that the conjecture holds for graphs $G$ with $es_{χ'}(G)\in\{1,2,\lfloor n/2\rfloor-1,\lfloor n/2\rfloor\}$, and for bipartite graphs. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 17 pages

MSC Class: 05C15; 05C70

Injective coloring of graphs revisited

Authors: Boštjan Brešar, Babak Samadi, Ismael G. Yero

Abstract: An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is th… ▽ More An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property. △ Less

Submitted 28 July, 2022; v1 submitted 17 June, 2021; originally announced June 2021.

MSC Class: 05C15; 05C69; 05C76

Journal ref: Discrete Mathematics, 2023

The independence coloring game on graphs

Authors: Boštjan Brešar, Daša Štesl

Abstract: We propose a new coloring game on a graph, called the independence coloring game, which is played by two players with opposite goals. The result of the game is a proper coloring of vertices of a graph $G$, and Alice's goal is that as few colors as possible are used during the game, while Bob wants to maximize the number of colors. The game consists of rounds, and in round $i$, where… ▽ More We propose a new coloring game on a graph, called the independence coloring game, which is played by two players with opposite goals. The result of the game is a proper coloring of vertices of a graph $G$, and Alice's goal is that as few colors as possible are used during the game, while Bob wants to maximize the number of colors. The game consists of rounds, and in round $i$, where $i=1,2,,\ldots$, the players are taking turns in selecting a previously unselected vertex of $G$ and giving it color $i$ (hence, in each round the selected vertices form an independent set). The game ends when all vertices of $G$ are selected (and thus colored), and the total number of rounds during the game when both players are playing optimally with respect to their goals, is called the independence game chromatic number, $χ_{ig}(G)$, of $G$. In fact, four different versions of the independence game chromatic number are considered, which depend on who starts a game and who starts next rounds. We prove that the new invariants lie between the chromatic number of a graph and the maximum degree plus $1$, and characterize the graphs in which each of the four versions of the game invariant equals $2$. We compare the versions of the independence game chromatic number among themselves and with the classical game chromatic number. In addition, we prove that the independence game chromatic number of a tree can be arbitrarily large. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Graphs with unique Grundy dominating sets

Authors: Boštjan Brešar, Tanja Dravec

Abstract: 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 domin… ▽ More 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. △ Less

Submitted 3 April, 2025; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: 20 pages, 3 figures

MSC Class: 05C69; 05C05; 05C35; 05C60

The geodesic-transversal problem

Authors: Paul Manuel, Boštjan Brešar, Sandi Klavžar

Abstract: A maximal geodesic in a graph is a geodesic (alias shortest path) which is not a subpath of a longer geodesic. The geodesic-transversal problem in a graph $G$ is introduced as the task to find a smallest set $S$ of vertices of $G$ such that each maximal geodesic has at least one vertex in $S$. The minimum cardinality of such a set is the geodesic-transversal number ${\rm gt}(G)$ of $G$. It is prov… ▽ More A maximal geodesic in a graph is a geodesic (alias shortest path) which is not a subpath of a longer geodesic. The geodesic-transversal problem in a graph $G$ is introduced as the task to find a smallest set $S$ of vertices of $G$ such that each maximal geodesic has at least one vertex in $S$. The minimum cardinality of such a set is the geodesic-transversal number ${\rm gt}(G)$ of $G$. It is proved that ${\rm gt}(G) = 1$ if and only if $G$ is a subdivided star and that the geodesic-transversal problem is NP-complete. Fast algorithms to determine the geodesic-transversal number of trees and of spread cactus graphs are designed, respectively. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Grundy domination and zero forcing in regular graphs

Authors: Boštjan Brešar, Simon Brezovnik

Abstract: Given a finite graph $G$, the maximum length of a sequence $(v_1,\ldots,v_k)$ of vertices in $G$ such that each $v_i$ dominates a vertex that is not dominated by any vertex in $\{v_1,\ldots,v_{i-1}\}$ is called the Grundy domination number, $γ_{\rm gr}(G)$, of $G$. A small modification of the definition yields the Z-Grundy domination number, which is the dual invariant of the well-known zero forci… ▽ More Given a finite graph $G$, the maximum length of a sequence $(v_1,\ldots,v_k)$ of vertices in $G$ such that each $v_i$ dominates a vertex that is not dominated by any vertex in $\{v_1,\ldots,v_{i-1}\}$ is called the Grundy domination number, $γ_{\rm gr}(G)$, of $G$. A small modification of the definition yields the Z-Grundy domination number, which is the dual invariant of the well-known zero forcing number. In this paper, we prove that $γ_{\rm gr}(G) \geq \frac{n + \lceil \frac{k}{2} \rceil - 2}{k-1}$ holds for every connected $k$-regular graph of order $n$ different from $K_{k+1}$ and $\bar{2C_4}$. The bound in the case $k=3$ reduces to $γ_{\rm gr}(G) \geq \frac{n}{2}$, and we characterize the connected cubic graphs with $γ_{\rm gr}(G)=\frac{n}{2}$. If $G$ is different from $K_4$ and $K_{3,3}$, then $\frac{n}{2}$ is also an upper bound for the zero forcing number of a connected cubic graph, and we characterize the connected cubic graphs attaining this bound. △ Less

Submitted 1 October, 2020; originally announced October 2020.

Domination in digraphs and their products

Authors: Boštjan Brešar, Kirsti Kuenzel, Douglas F. Rall

Abstract: A dominating (respectively, total dominating) set $S$ of a digraph $D$ is a set of vertices in $D$ such that the union of the closed (respectively, open) out-neighborhoods of vertices in $S$ equals the vertex set of $D$. The minimum size of a dominating (respectively, total dominating) set of $D$ is the domination (respectively, total domination) number of $D$, denoted $γ(D)$ (respectively,… ▽ More A dominating (respectively, total dominating) set $S$ of a digraph $D$ is a set of vertices in $D$ such that the union of the closed (respectively, open) out-neighborhoods of vertices in $S$ equals the vertex set of $D$. The minimum size of a dominating (respectively, total dominating) set of $D$ is the domination (respectively, total domination) number of $D$, denoted $γ(D)$ (respectively,$γ_t(D)$). The maximum number of pairwise disjoint closed (respectively,open) in-neighborhoods of $D$ is denoted by $ρ(D)$ (respectively,$ρ^{\rm o}(D)$). We prove that in digraphs whose underlying graphs have girth at least $7$, the closed (respectively,open) in-neighborhoods enjoy the Helly property, and use these two results to prove that in any ditree $T$ (that is, a digraph whose underlying graph is a tree), $γ_t(T)=ρ^{\rm o}(T)$ and $γ(T)=ρ(T)$. By using the former equality we then prove that $γ_t(G\times T)=γ_t(G)γ_t(T)$, where $G$ is any digraph and $T$ is any ditree, each without a source vertex, and $G\times T$ is their direct product. From the equality $γ(T)=ρ(T)$ we derive the bound $γ(G\mathbin{\Box} T)\geγ(G)γ(T)$, where $G$ is an arbitrary digraph, $T$ an arbitrary ditree and $G\mathbin{\Box} T$ is their Cartesian product. In general digraphs this Vizing-type bound fails, yet we prove that for any digraphs $G$ and $H$, where $γ(G)\geγ(H)$, we have $γ(G \mathbin{\Box} H) \ge \frac{1}{2}γ(G)(γ(H) + 1)$. This inequality is sharp as demonstrated by an infinite family of examples. Ditrees $T$ and digraphs $H$ enjoying $γ(T\mathbin{\Box} H)=γ(T)γ(H)$ are also investigated. △ Less

Submitted 30 July, 2020; originally announced July 2020.

Comments: 22 pages and 5 figures

MSC Class: 05C20; 05C69; 05C76

$S$-packing colorings of distance graphs $G(\mathbb{Z},\{2,t\})$

Authors: Boštjan Brešar, Jasmina Ferme, Karolína Kamenická

Abstract: Given a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, the mapping $f:V(G) \rightarrow \{1,\ldots,k\}$ is an $S$-packing $k$-coloring of $G$ if for any distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=i$ the distance between $u$ and $v$ in $G$ is greater than $a_i$. The smallest $k$ such that $G$ has an $S$-packing $k$-coloring is the $S$-packing chromatic number… ▽ More Given a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, the mapping $f:V(G) \rightarrow \{1,\ldots,k\}$ is an $S$-packing $k$-coloring of $G$ if for any distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=i$ the distance between $u$ and $v$ in $G$ is greater than $a_i$. The smallest $k$ such that $G$ has an $S$-packing $k$-coloring is the $S$-packing chromatic number, $χ_S(G)$, of $G$. In this paper, we consider the distance graphs $G(\mathbb{Z},\{2,t\})$, where $t>1$ is an odd integer, which has $\mathbb{Z}$ as its vertex set, and $i,j\in\mathbb{Z}$ are adjacent if $|i-j|\in\{2,t\}$. We determine the $S$-packing chromatic numbers of the graphs $G(\mathbb{Z},\{2,t\})$, where $S$ is any sequence with $a_i\in\{1,2\}$ for all $i$. In addition, we give lower and upper bounds for the $d$-distance chromatic numbers of the distance graphs $G(\mathbb{Z},\{2,t\})$, which in the cases $d\ge t-3$ give the exact values. Implications for the corresponding $S$-packing chromatic numbers of the circulant graphs are also discussed. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 21 pages, 3 figures

MSC Class: 05C15; 05C12

Critical graphs for the chromatic edge-stability number

Authors: Boštjan Brešar, Sandi Klavžar, Nazanin Movarraei

Abstract: The chromatic edge-stability number ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph $G'$ with $χ(G')=χ(G)-1$. Edge-stability critical graphs are introduced as the graphs $G$ with the property that ${\rm es}_χ(G-e) < {\rm es}_χ(G)$ holds for every edge $e\in E(G)$. If $G$ is an edge-stability critical graph with $χ(G)=k$ and… ▽ More The chromatic edge-stability number ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph $G'$ with $χ(G')=χ(G)-1$. Edge-stability critical graphs are introduced as the graphs $G$ with the property that ${\rm es}_χ(G-e) < {\rm es}_χ(G)$ holds for every edge $e\in E(G)$. If $G$ is an edge-stability critical graph with $χ(G)=k$ and ${\rm es}_χ(G)=\ell$, then $G$ is $(k,\ell)$-critical. Graphs which are $(3,2)$-critical and contain at most four odd cycles are classified. It is also proved that the problem of deciding whether a graph $G$ has $χ(G)=k$ and is critical for the chromatic number can be reduced in polynomial time to the problem of deciding whether a graph is $(k,2)$-critical. △ Less

Submitted 17 July, 2019; v1 submitted 29 May, 2019; originally announced May 2019.

Graphs that are critical for the packing chromatic number

Authors: Boštjan Brešar, Jasmina Ferme

Abstract: Given a graph $G$, a coloring $c:V(G)\longrightarrow \{1,\ldots,k\}$ such that $c(u)=c(v)=i$ implies that vertices $u$ and $v$ are at distance greater than $i$, is called a packing coloring of $G$. The minimum number of colors in a packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ(G)$. In this paper, we propose the study of $χ_ρ$-critical graphs, which a… ▽ More Given a graph $G$, a coloring $c:V(G)\longrightarrow \{1,\ldots,k\}$ such that $c(u)=c(v)=i$ implies that vertices $u$ and $v$ are at distance greater than $i$, is called a packing coloring of $G$. The minimum number of colors in a packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ(G)$. In this paper, we propose the study of $χ_ρ$-critical graphs, which are the graphs $G$ such that for any proper subgraph $H$ of $G$, $χ_ρ(H)<χ_ρ(G)$. We characterize $χ_ρ$-critical graphs with diameter 2, and $χ_ρ$-critical block graphs with diameter 3. Furthermore, we characterize $χ_ρ$-critical graphs with small packing chromatic numbers, and we also consider $χ_ρ$-critical trees. In addition, we prove that for any graph $G$ with $e\in E(G)$, we have $(χ_ρ(G)+1)/2\le χ_ρ(G-e)\le χ_ρ(G)$, and provide a corresponding realization result, which shows that $χ_ρ(G-e)$ can achieve any of the integers between the bounds. △ Less

Submitted 23 April, 2019; originally announced April 2019.

Comments: 19 pages, 1 figure

MSC Class: 05C15; 05C70; 05C12

Graphs with a unique maximum open packing

Authors: Boštjan Brešar, Kirsti Kuenzel, Douglas F. Rall

Abstract: A set $S$ of vertices in a graph is an open packing if (open) neighborhoods of any two distinct vertices in $S$ are disjoint. In this paper, we consider the graphs that have a unique maximum open packing. We characterize the trees with this property by using four local operations such that any nontrivial tree with a unique maximum open packing can be obtained by a sequence of these operations star… ▽ More A set $S$ of vertices in a graph is an open packing if (open) neighborhoods of any two distinct vertices in $S$ are disjoint. In this paper, we consider the graphs that have a unique maximum open packing. We characterize the trees with this property by using four local operations such that any nontrivial tree with a unique maximum open packing can be obtained by a sequence of these operations starting from $P_2$. We also prove that the decision version of the open packing number is NP-complete even when restricted to graphs of girth at least $6$. Finally, we show that the recognition of the graphs with a unique maximum open packing is polynomially equivalent to the recognition of the graphs with a unique maximum independent set, and we prove that the complexity of both problems is not polynomial, unless P=NP. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Comments: 16 pages, 4 figures

MSC Class: 05C70; 05C69; 05C05

Exact distance graphs of product graphs

Authors: Boštjan Brešar, Nicolas Gastineau, Sandi Klavžar, Olivier Togni

Abstract: Given a graph $G$, the exact distance-$p$ graph $G^{[\natural p]}$ has $V(G)$ as its vertex set, and two vertices are adjacent whenever the distance between them in $G$ equals $p$. We present formulas describing the structure of exact distance-$p$ graphs of the Cartesian, the strong, and the lexicographic product. We prove such formulas for the exact distance-$2$ graphs of direct products of graph… ▽ More Given a graph $G$, the exact distance-$p$ graph $G^{[\natural p]}$ has $V(G)$ as its vertex set, and two vertices are adjacent whenever the distance between them in $G$ equals $p$. We present formulas describing the structure of exact distance-$p$ graphs of the Cartesian, the strong, and the lexicographic product. We prove such formulas for the exact distance-$2$ graphs of direct products of graphs. We also consider infinite grids and some other product structures. We characterize the products of graphs of which exact distance graphs are connected. The exact distance-$p$ graphs of hypercubes $Q_n$ are also studied. As these graphs contain generalized Johnson graphs as induced subgraphs, we use some known and find some new constructions of their colorings. These constructions are applied for colorings of the exact distance-$p$ graphs of hypercubes with the focus on the chromatic number of $Q_{n}^{[\natural p]}$ for $p\in \{n-2,n-3,n-4\}$. △ Less

Submitted 24 October, 2018; originally announced October 2018.

Packing colorings of subcubic outerplanar graphs

Authors: Boštjan Brešar, Nicolas Gastineau, Olivier Togni

Abstract: Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is… ▽ More Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $χ_ρ(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $Δ$ times ($Δ$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$. △ Less

Submitted 11 April, 2020; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 24 pages

MSC Class: 05C15; 05C12; 05C70

The variety of domination games

Authors: Boštjan Brešar, Csilla Bujtás, Tanja Gologranc, Sandi Klavžar, Gašper Košmrlj, Tilen Marc, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games. Versions of the Continuation… ▽ More Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games. Versions of the Continuation Principle are proved for the new games. It is proved that in each of these games the outcome of the game, which is a corresponding graph invariant, differs by at most one depending whether Dominator or Staller starts the game. The hierarchy of the five domination games is established. The invariants are also bounded with respect to the (total) domination number and to the order of a graph. Values of the three new invariants are determined for paths up to a small constant independent from the length of a path. Several open problems and a conjecture are listed. The latter asserts that the L-domination game number is not greater than $6/7$ of the order of a graph. △ Less

Submitted 7 July, 2018; originally announced July 2018.

Comments: 21 pages

An infinite family of subcubic graphs with unbounded packing chromatic number

Authors: Boštjan Brešar, Jasmina Ferme

Abstract: Recently, Balogh, Kostochka and Liu in [Packing chromatic number of cubic graphs, Discrete Math.~341 (2018) 474--483] answered in negative the question that was posed in several earlier papers whether the packing chromatic number is bounded in the class of graphs with maximum degree $3$. In this note, we present an explicit infinite family of subcubic graphs with unbounded packing chromatic number… ▽ More Recently, Balogh, Kostochka and Liu in [Packing chromatic number of cubic graphs, Discrete Math.~341 (2018) 474--483] answered in negative the question that was posed in several earlier papers whether the packing chromatic number is bounded in the class of graphs with maximum degree $3$. In this note, we present an explicit infinite family of subcubic graphs with unbounded packing chromatic number. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Comments: 9 pages

MSC Class: 05C70; 05C15; 05C12

On Grundy total domination number in product graphs

Authors: Boštjan Brešar, Csilla Bujtás, Tanja Gologranc, Sandi Klavžar, Gašper Košmrlj, Tilen Marc, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: A longest sequence $(v_1,\ldots,v_k)$ of vertices of a graph $G$ is a Grundy total dominating sequence of $G$ if for all $i$, $N(v_i) \setminus \bigcup_{j=1}^{i-1}N(v_j)\not=\emptyset$. The length $k$ of the sequence is called the Grundy total domination number of $G$ and denoted $γ_{gr}^{t}(G)$. In this paper, the Grundy total domination number is studied on four standard graph products. For the… ▽ More A longest sequence $(v_1,\ldots,v_k)$ of vertices of a graph $G$ is a Grundy total dominating sequence of $G$ if for all $i$, $N(v_i) \setminus \bigcup_{j=1}^{i-1}N(v_j)\not=\emptyset$. The length $k$ of the sequence is called the Grundy total domination number of $G$ and denoted $γ_{gr}^{t}(G)$. In this paper, the Grundy total domination number is studied on four standard graph products. For the direct product we show that $γ_{gr}^t(G\times H) \geq γ_{gr}^t(G)γ_{gr}^t(H)$, conjecture that the equality always holds, and prove the conjecture in several special cases. For the lexicographic product we express $γ_{gr}^t(G\circ H)$ in terms of related invariant of the factors and find some explicit formulas for it. For the strong product, lower bounds on $γ_{gr}^t(G \boxtimes H)$ are proved as well as upper bounds for products of paths and cycles. For the Cartesian product we prove lower and upper bounds on the Grundy total domination number when factors are paths or cycles. △ Less

Submitted 23 December, 2017; originally announced December 2017.

Comments: 20 pages

Packing coloring of Sierpiński-type graphs

Authors: Boštjan Brešar, Jasmina Ferme

Abstract: The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by $8$ in the family of Sierpińs… ▽ More The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by $8$ in the family of Sierpiński graphs with base $3$, we prove that it is unbounded in the families of Sierpiński graphs with bases greater than $3$. On the other hand, we prove that the packing chromatic number in the family of Sierpiński triangle graphs $ST^n_3$ is bounded from above by $31$. Furthermore, we establish or provide bounds for the packing chromatic numbers of generalized Sierpiński graphs $S^n_G$ with respect to all connected graphs $G$ of order 4. △ Less

Submitted 10 November, 2017; originally announced November 2017.

Comments: 26 pages, 16 figures

MSC Class: 05C15; 05C70; 05C12

Packing chromatic number versus chromatic and clique number

Authors: Boštjan Brešar, Sandi Klavžar, Douglas F. Rall, Kirsti Wash

Abstract: The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where each $V_i$ is an $i$-packing. In this paper, we investigate for a given triple $(a,b,c)$ of positive integers whether there exists a graph $G$ such that $ω(G) = a$, $χ(G) = b$, and $χ_ρ(G) = c$. If so, we say that $(a, b, c)$ is real… ▽ More The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where each $V_i$ is an $i$-packing. In this paper, we investigate for a given triple $(a,b,c)$ of positive integers whether there exists a graph $G$ such that $ω(G) = a$, $χ(G) = b$, and $χ_ρ(G) = c$. If so, we say that $(a, b, c)$ is realizable. It is proved that $b=c\ge 3$ implies $a=b$, and that triples $(2,k,k+1)$ and $(2,k,k+2)$ are not realizable as soon as $k\ge 4$. Some of the obtained results are deduced from the bounds proved on the packing chromatic number of the Mycielskian. Moreover, a formula for the independence number of the Mycielskian is given. A lower bound on $χ_ρ(G)$ in terms of $Δ(G)$ and $α(G)$ is also proved. △ Less

Submitted 16 July, 2017; originally announced July 2017.

Comments: 17 pages, 1 table

MSC Class: 05C70; 05C15; 05C12

Convex and isometric domination of (weak) dominating pair graphs

Authors: Boštjan Brešar, Tanja Gologranc, Tim Kos

Abstract: A set $D$ of vertices in a graph $G$ is a dominating set if every vertex of $G$, which is not in $D$, has a neighbor in $D$. A set of vertices $D$ in $G$ is convex (respectively, isometric), if all vertices in all shortest paths (respectively, all vertices in one of the shortest paths) between any two vertices in $D$ lie in $D$. The problem of finding a minimum convex dominating (respectively, iso… ▽ More A set $D$ of vertices in a graph $G$ is a dominating set if every vertex of $G$, which is not in $D$, has a neighbor in $D$. A set of vertices $D$ in $G$ is convex (respectively, isometric), if all vertices in all shortest paths (respectively, all vertices in one of the shortest paths) between any two vertices in $D$ lie in $D$. The problem of finding a minimum convex dominating (respectively, isometric dominating) set is considered in this paper from algorithmic point of view. For the class of weak dominating pair graphs (i.e.,~the graphs that contain a dominating pair, which is a pair of vertices $x,y\in V(G)$ such that vertices of any path between $x$ and $y$ form a dominating set), we present an efficient algorithm that finds a minimum isometric dominating set of such a graph. On the other hand, we prove that even if one restricts to weak dominating pair graphs that are also chordal graphs, the problem of deciding whether there exists a convex dominating set bounded by a given arbitrary positive integer is NP-complete. By further restricting the class of graphs to chordal dominating pair graphs (i.e.,~the chordal graphs in which every connected induced subgraph has a dominating pair) we are able to find a polynomial time algorithm that determines the minimum size of a convex dominating set of such a graph. △ Less

Submitted 27 April, 2017; originally announced April 2017.

MSC Class: 05C85; 05C69; 05C12; 68E10

Grundy dominating sequences and zero forcing sets

Authors: Boštjan Brešar, Csilla Bujtás, Tanja Gologranc, Sandi Klavžar, Gašper Košmrlj, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: In a graph $G$ a sequence $v_1,v_2,\dots,v_m$ of vertices is Grundy dominating if for all $2\le i \le m$ we have $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ and is Grundy total dominating if for all $2\le i \le m$ we have $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. The length of the longest Grundy (total) dominating sequence has been studied by several authors. In this paper we introduce two si… ▽ More In a graph $G$ a sequence $v_1,v_2,\dots,v_m$ of vertices is Grundy dominating if for all $2\le i \le m$ we have $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ and is Grundy total dominating if for all $2\le i \le m$ we have $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. The length of the longest Grundy (total) dominating sequence has been studied by several authors. In this paper we introduce two similar concepts when the requirement on the neighborhoods is changed to $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ or $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. In the former case we establish a strong connection to the zero forcing number of a graph, while we determine the complexity of the decision problem in the latter case. We also study the relationships among the four concepts, and discuss their computational complexities. △ Less

Submitted 2 February, 2017; originally announced February 2017.

Comments: 14 pages

MSC Class: 05C69; 68Q25; 05C65

Total dominating sequences in trees, split graphs, and under modular decomposition

Authors: Boštjan Brešar, Tim Kos, Graciela Nasini, Pablo Torres

Abstract: A sequence of vertices in a graph $G$ with no isolated vertices is called a total dominating sequence if every vertex in the sequence totally dominates at least one vertex that was not totally dominated by preceding vertices in the sequence, and, at the end all vertices of $G$ are totally dominated (by definition a vertex totally dominates its neighbors). The maximum length of a total dominating s… ▽ More A sequence of vertices in a graph $G$ with no isolated vertices is called a total dominating sequence if every vertex in the sequence totally dominates at least one vertex that was not totally dominated by preceding vertices in the sequence, and, at the end all vertices of $G$ are totally dominated (by definition a vertex totally dominates its neighbors). The maximum length of a total dominating sequence is called the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$, as introduced in [B. Brešar, M.A. Henning, and D. F. Rall, Total dominating sequences in graphs, Discrete Math. 339 (2016), 1165--1676]. In this paper we continue the investigation of this concept, mainly from the algorithmic point of view. While it was known that the decision version of the problem is NP-complete in bipartite graphs, we show that this is also true if we restrict to split graphs. A linear time algorithm for determining the Grundy total domination number of an arbitrary tree $T$ is presented, based on the formula $γ_{\rm gr}^t(T)=2τ(T)$, where $τ(T)$ is the vertex cover number of $T$. A similar efficient algorithm is presented for bipartite distance-hereditary graphs. Using the modular decomposition of a graph, we present a frame for obtaining polynomial algorithms for this problem in classes of graphs having relatively simple modular subgraphs. In particular, a linear algorithm for determining the Grundy total domination number of $P_4$-tidy graphs is presented. In addition, we prove a realization result by exhibiting a family of graphs $G_k$ such that $γ_{\rm gr}^t(G_k)=k$, for any $k\in{\mathbb{Z}^+}\setminus\{1,3\}$, and showing that there are no graphs $G$ with $γ_{\rm gr}^t(G)\in \{1,3\}$. We also present such a family, which has minimum possible order and size among all graphs with Grundy total domination number equal to $k$. △ Less

Submitted 24 August, 2016; originally announced August 2016.

Comments: 15 pages, 1 figure

MSC Class: 05C69; 05C85

Packing chromatic number under local changes in a graph

Authors: Boštjan Brešar, Sandi Klavžar, Douglas F. Rall, Kirsti Wash

Abstract: The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that there exists a $k$-vertex coloring of $G$ in which any two vertices receiving color $i$ are at distance at least $i+1$. It is proved that in the class of subcubic graphs the packing chromatic number is bigger than $13$, thus answering an open problem from [Gastineau, Togni, $S$-packing colorings of cubic gra… ▽ More The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that there exists a $k$-vertex coloring of $G$ in which any two vertices receiving color $i$ are at distance at least $i+1$. It is proved that in the class of subcubic graphs the packing chromatic number is bigger than $13$, thus answering an open problem from [Gastineau, Togni, $S$-packing colorings of cubic graphs, Discrete Math.\ 339 (2016) 2461--2470]. In addition, the packing chromatic number is investigated with respect to several local operations. In particular, if $S_e(G)$ is the graph obtained from a graph $G$ by subdividing its edge $e$, then $\left\lfloor χ_ρ(G)/2 \right\rfloor +1 \le χ_ρ(S_e(G)) \le χ_ρ(G)+1$. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 11 pages, 4 figures

MSC Class: 05C70; 05C15; 05C12

Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph

Authors: Boštjan Brešar, Sandi Klavžar, Douglas F. Rall, Kirsti Wash

Abstract: The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $Π_1,\ldots,Π_k$, where $Π_i$, $i\in [k]$, is an $i$-packing. The following conjecture is posed and studied: if $G$ is a subcubic graph, then $χ_ρ(S(G))\le 5$, where $S(G)$ is the subdivision of $G$. The conjecture is proved for all generalized prisms of cyc… ▽ More The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $Π_1,\ldots,Π_k$, where $Π_i$, $i\in [k]$, is an $i$-packing. The following conjecture is posed and studied: if $G$ is a subcubic graph, then $χ_ρ(S(G))\le 5$, where $S(G)$ is the subdivision of $G$. The conjecture is proved for all generalized prisms of cycles. To get this result it is proved that if $G$ is a generalized prism of a cycle, then $G$ is $(1,1,2,2)$-colorable if and only if $G$ is not the Petersen graph. The validity of the conjecture is further proved for graphs that can be obtained from generalized prisms in such a way that one of the two $n$-cycles in the edge set of a generalized prism is replaced by a union of cycles among which at most one is a 5-cycle. The packing chromatic number of graphs obtained by subdividing each of its edges a fixed number of times is also considered. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 16 pages, 4 figures

MSC Class: 05C70; 05C15; 05C12

On total domination in the Cartesian product of graphs

Authors: Boštjan Brešar, Tatiana Romina Hartinger, Tim Kos, Martin Milanič

Abstract: Ho proved in [A note on the total domination number, Util.Math. 77 (2008) 97--100] that the total domination number of the Cartesian product of any two graphs with no isolated vertices is at least one half of the product of their total domination numbers. We extend a result of Lu and Hou from [Total domination in the Cartesian product of a graph and $K_2$ or $C_n$, Util. Math. 83 (2010) 313--322]… ▽ More Ho proved in [A note on the total domination number, Util.Math. 77 (2008) 97--100] that the total domination number of the Cartesian product of any two graphs with no isolated vertices is at least one half of the product of their total domination numbers. We extend a result of Lu and Hou from [Total domination in the Cartesian product of a graph and $K_2$ or $C_n$, Util. Math. 83 (2010) 313--322] by characterizing the pairs of graphs $G$ and $H$ for which $γ_t(G\Box H)=\frac{1}{2}γ_t(G) γ_t(H)\,$, whenever $γ_t(H)=2$. In addition, we present an infinite family of graphs $G_n$ with $γ_t(G_n)=2n$, which asymptotically approximate the equality in $γ_t(G_n\Box G_n)\ge \frac{1}{2}γ_t(G_n)^2$. △ Less

Submitted 28 December, 2016; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: 11 pages, 3 figures

MSC Class: 05C69

Dominating sequences in grid-like and toroidal graphs

Authors: Boštjan Brešar, Csilla Bujtás, Tanja Gologranc, Sandi Klavžar, Gašper Košmrlj, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: A longest sequence $S$ of distinct vertices of a graph $G$ such that each vertex of $S$ dominates some vertex that is not dominated by its preceding vertices, is called a Grundy dominating sequence; the length of $S$ is the Grundy domination number of $G$. In this paper we study the Grundy domination number in the four standard graph products: the Cartesian, the lexicographic, the direct, and the… ▽ More A longest sequence $S$ of distinct vertices of a graph $G$ such that each vertex of $S$ dominates some vertex that is not dominated by its preceding vertices, is called a Grundy dominating sequence; the length of $S$ is the Grundy domination number of $G$. In this paper we study the Grundy domination number in the four standard graph products: the Cartesian, the lexicographic, the direct, and the strong product. For each of the products we present a lower bound for the Grundy domination number which turns out to be exact for the lexicographic product and is conjectured to be exact for the strong product. In most of the cases exact Grundy domination numbers are determined for products of paths and/or cycles. △ Less

Submitted 1 July, 2016; originally announced July 2016.

Comments: 17 pages 3 figures

MSC Class: 05C69; 05C76