Showing 1–50 of 83 results for author: Henning, M A

On polluted bootstrap percolation in Cartesian grids

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

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 ru… ▽ 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 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. △ Less

Submitted 23 June, 2025; originally announced June 2025.

Comments: 11 pages, 3 figures

MSC Class: 05C35; 05C76

Paired domination in trees: A linear algorithm and asymptotic normality

Authors: Michael A. Henning, Dimbinaina Ralaivaosaona

Abstract: A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching (not necessarily as an induced subgraph). The paired domination number, $γ_{\mathrm{pr}}(G)$, of $G$ is the minimum cardinality of a paired dominating set of $G$. We present a linear algorithm for computing the paired domi… ▽ More A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching (not necessarily as an induced subgraph). The paired domination number, $γ_{\mathrm{pr}}(G)$, of $G$ is the minimum cardinality of a paired dominating set of $G$. We present a linear algorithm for computing the paired domination number of a tree. As an application of our algorithm, we prove that the paired domination number is asymptotically normal in a random rooted tree of order $n$ generated by a conditioned Galton-Watson process as $n\to\infty$. In particular, we have found that the paired domination number of a random Cayley tree of order $n$, where each tree is equally likely, is asymptotically normal with expectation approaching $(0.5177\ldots)n$. △ Less

Submitted 23 May, 2025; originally announced May 2025.

Comments: 22 pages, 5 figures

MSC Class: 05C69; 60C05

Paired domination in graphs with minimum degree four

Authors: Csilla Bujtás, Michael A. Henning

Abstract: A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ admits a perfect matching. The minimum cardinality of a paired dominating set of $G$ is the paired domination number $\gpr(G)$ of $G$. We show that if $G$ is a graph of order~$n$ and $δ(G) \ge 4$, then $\gpr(G) \le \frac{10}{17}n < 0.5883 n$. A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ admits a perfect matching. The minimum cardinality of a paired dominating set of $G$ is the paired domination number $\gpr(G)$ of $G$. We show that if $G$ is a graph of order~$n$ and $δ(G) \ge 4$, then $\gpr(G) \le \frac{10}{17}n < 0.5883 n$. △ Less

Submitted 3 May, 2025; originally announced May 2025.

Comments: 15 pages

MSC Class: 05C69

Disjunctive domination in maximal outerplanar graphs

Authors: Michael A. Henning, Paras Vinubhai Maniya, Dinabandhu Pradhan

Abstract: A disjunctive dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G)\setminus D$ has a neighbor in $D$ or has at least two vertices in $D$ at distance $2$ from it. The disjunctive domination number of $G$, denoted by $γ_2^d(G)$, is the minimum cardinality of a disjunctive dominating set of $G$. In this paper, we show that if $G$ is a maximal outerplanar graph of… ▽ More A disjunctive dominating set of a graph $G$ is a set $D \subseteq V(G)$ such that every vertex in $V(G)\setminus D$ has a neighbor in $D$ or has at least two vertices in $D$ at distance $2$ from it. The disjunctive domination number of $G$, denoted by $γ_2^d(G)$, is the minimum cardinality of a disjunctive dominating set of $G$. In this paper, we show that if $G$ is a maximal outerplanar graph of order $n \ge 7$ with $k$ vertices of degree $2$, then $γ_2^d(G)\le \lfloor\frac{2}{9}(n+k)\rfloor$, and this bound is sharp. △ Less

Submitted 9 April, 2025; originally announced April 2025.

MSC Class: 05C69

Secure domination in $P_5$-free graphs

Authors: Paras Vinubhai Maniya, Uttam K. Gupta, Michael A. Henning, Dinabandhu Pradhan

Abstract: A dominating set of a graph $G$ is a set $S \subseteq V(G)$ such that every vertex in $V(G) \setminus S$ has a neighbor in $S$, where two vertices are neighbors if they are adjacent. A secure dominating set of $G$ is a dominating set $S$ of $G$ with the additional property that for every vertex $v \in V(G) \setminus S$, there exists a neighbor $u$ of $v$ in $S$ such that… ▽ More A dominating set of a graph $G$ is a set $S \subseteq V(G)$ such that every vertex in $V(G) \setminus S$ has a neighbor in $S$, where two vertices are neighbors if they are adjacent. A secure dominating set of $G$ is a dominating set $S$ of $G$ with the additional property that for every vertex $v \in V(G) \setminus S$, there exists a neighbor $u$ of $v$ in $S$ such that $(S \setminus \{u\}) \cup \{v\}$ is a dominating set of $G$. The secure domination number of $G$, denoted by $γ_s(G)$, is the minimum cardinality of a secure dominating set of $G$. We prove that if $G$ is a $P_5$-free graph, then $γ_s(G) \le \frac{3}{2}α(G)$, where $α(G)$ denotes the independence number of $G$. We further show that if $G$ is a connected $(P_5, H)$-free graph for some $H \in \{ P_3 \cup P_1, K_2 \cup 2K_1, ~\text{paw},~ C_4\}$, then $γ_s(G)\le \max\{3,α(G)\}$. We also show that if $G$ is a $(P_3 \cup P_2)$-free graph, then $γ_s(G)\le α(G)+1$. △ Less

Submitted 11 March, 2025; originally announced March 2025.

Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs

Authors: Yair Caro, Randy Davila, Michael A. Henning, Ryan Pepper

Abstract: Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $α_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $α_{\mathcal{F}}(G) \le (r-1)kγ(G)$, where $γ(G)$ is the \emph{domination number}. When… ▽ More Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $α_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $α_{\mathcal{F}}(G) \le (r-1)kγ(G)$, where $γ(G)$ is the \emph{domination number}. When $\mathcal{F}$ is the family of empty graphs, this bound simplifies to $α(G) \le 2γ(G)$ for $K_{1,3}$-free (claw-free) graphs, where $α(G)$ is the \emph{independence number} of $G$. For $d$-regular graphs, this is further refined to the bound $α(G) \le 2\left(\frac{d+1}{d+2}\right)γ(G)$, which is tight for $d \in \{2, 3, 4\}$. Using Ramsey theory, we extend this framework to edge-hereditary graph families, showing that for $K_{1,r}$-free graphs, we have $α_{\mathcal{F}}(G) \le r(K_r, \mathcal{F^*})γ(G)$, where $\mathcal{F^*}$ is the set of graphs not in $\mathcal{F}$. Specializing to $K_q$-free graphs, we show $α_{\mathcal{F}}(G) \le (r(K_q, K_r) - 1)γ(G)$. Finally, for the \emph{$k$-independence number} $α_k(G)$, we prove that if $G$ is $K_{1,r}$-free with order $n$ and minimum degree $δ\ge k+1$, \[ α_k(G) \le \left( \frac{(r-1)(k+1)}{δ- k + (r-1)(k+1)} \right) n, \] and this bound is sharp for all parameters. △ Less

Submitted 9 January, 2025; originally announced January 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.

An exploration of the balance game

Authors: Paul Dorbec, Michael A. Henning, Zsolt Tuza, Leo Versteegen

Abstract: The balance game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting unlabeled vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. Let $e_0$ and $e_1$ denote the number of edges labeled by $0$ and $1$ after all the… ▽ More The balance game is played on a graph $G$ by two players, Admirable (A) and Impish (I), who take turns selecting unlabeled vertices of $G$. Admirable labels the selected vertices by $0$ and Impish by $1$, and the resulting label on any edge is the sum modulo $2$ of the labels of the vertices incident to that edge. Let $e_0$ and $e_1$ denote the number of edges labeled by $0$ and $1$ after all the vertices are labeled. The discrepancy in the balance game is defined as $d = e_1 - e_0$. The two players have opposite goals: Admirable attempts to minimize the discrepancy $d$ while Impish attempts to maximize $d$. When (A) makes the first move in the game, the (A)-start game balance number, $b^A_g(G)$, is the value of $d$ when both players play optimally, and when (I) makes the first move in the game, the (I)-start game balance number, $b^I_g(G)$, is the value of $d$ when both players play optimally. Among other results, we show that if $G$ has order $n$, then $-\log_2(n) \le b^A_g(G) \le \frac{n}{2}$ if $n$ is even and $0 \le b^A_g(G) \le \frac{n}{2} + \log_2(n)$ if $n$ is odd. Moreover we show that $b^A_g(G) + b^I_g(\overline{G}) = \lfloor n/2 \rfloor$. △ Less

Submitted 3 September, 2024; originally announced September 2024.

Comments: 18 pages, 1 Figure, 2 Tables

Identifying open codes in trees and 4-cycle-free graphs of given maximum degree

Authors: Dipayan Chakraborty, Florent Foucaud, Michael A. Henning

Abstract: An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S \ne \emptyset$ for all vertices~$v$ in $G$). Such a set exists if and only if the graph $G$ is open twin-free and isolate-free; and the minimum cardinality of… ▽ More An identifying open code of a graph $G$ is a set $S$ of vertices that is both a separating open code (that is, $N_G(u) \cap S \ne N_G(v) \cap S$ for all distinct vertices $u$ and $v$ in $G$) and a total dominating set (that is, $N(v) \cap S \ne \emptyset$ for all vertices~$v$ in $G$). Such a set exists if and only if the graph $G$ is open twin-free and isolate-free; and the minimum cardinality of an identifying open code in an open twin-free and isolate-free graph $G$ is denoted by $γ^{\rm {\small IOC}}(G)$. We study the smallest size of an identifying open code of a graph, in relation with its order and its maximum degree. For $Δ$ a fixed integer at least $3$, if $G$ is a connected graph of order $n \ge 5$ that contains no $4$-cycle and is open twin-free with maximum degree bounded above by $Δ$, then we show that $γ^{\rm {\small IOC}}(G) \le \left( \frac{2Δ- 1}Δ \right) n$, unless $G$ is obtained from a star $K_{1,Δ}$ by subdividing every edge exactly once. Moreover, we show that the bound is best possible by constructing graphs that reach the bound. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Power Domination and Resolving Power Domination of Fractal Cubic Network

Authors: S. Prabhu, A. K. Arulmozhi, Michael A. Henning, M. Arulperumjothi

Abstract: In network theory, the domination parameter is vital in investigating several structural features of the networks, including connectedness, their tendency to form clusters, compactness, and symmetry. In this context, various domination parameters have been created using several properties to determine where machines should be placed to ensure that all the places are monitored. To ensure efficient… ▽ More In network theory, the domination parameter is vital in investigating several structural features of the networks, including connectedness, their tendency to form clusters, compactness, and symmetry. In this context, various domination parameters have been created using several properties to determine where machines should be placed to ensure that all the places are monitored. To ensure efficient and effective operation, a piece of equipment must monitor their network (power networks) to answer whenever there is a change in the demand and availability conditions. Consequently, phasor measurement units (PMUs) are utilised by numerous electrical companies to monitor their networks perpetually. Overseeing an electrical system which consists of minimum PMUs is the same as the vertex covering the problem of graph theory, in which a subset D of a vertex set V is a power dominating set (PDS) if it monitors generators, cables, and all other components, in the electrical system using a few guidelines. Hypercube is one of the versatile, most popular, adaptable, and convertible interconnection networks. Its appealing qualities led to the development of other hypercube variants. A fractal cubic network is a new variant of the hypercube that can be used as a best substitute in case faults occur in the hypercube, which was wrongly defined in [Eng. Sci. Technol. 18(1) (2015) 32-41]. Arulperumjothi et al. have recently corrected this definition and redefined this variant with the exact definition in [Appl. Math. Comput. 452 (2023) 128037]. This article determines the PDS of the fractal cubic network. Further, we investigate the resolving power dominating set (RPDS), which contrasts starkly with hypercubes, where resolving power domination is inherently challenging. △ Less

Submitted 2 July, 2024; originally announced July 2024.

MSC Class: 05C69; 05C12

On total domination subdivision numbers of trees

Authors: Michael A. Henning, Jerzy Topp

Abstract: A set $S$ of vertices in a graph $G$ is a total dominating set of $G$ if every vertex is adjacent to a vertex in $S$. The total domination number $γ_t(G)$ is the minimum cardinality of a total dominating set of $G$. The total domination subdivision number $\mbox{sd}_{γ_t}(G)$ of a graph $G$ is the minimum number of edges that must be subdivided (where each edge in $G$ can be subdivided at most onc… ▽ More A set $S$ of vertices in a graph $G$ is a total dominating set of $G$ if every vertex is adjacent to a vertex in $S$. The total domination number $γ_t(G)$ is the minimum cardinality of a total dominating set of $G$. The total domination subdivision number $\mbox{sd}_{γ_t}(G)$ of a graph $G$ is the minimum number of edges that must be subdivided (where each edge in $G$ can be subdivided at most once) in order to increase the total domination number. Haynes et al. (Discrete Math. 286 (2004) 195--202) have given a constructive characterization of trees whose total domination subdivision number is~$3$. In this paper, we give new characterizations of trees whose total domination subdivision number is 3. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 15 pages, 7 figures

MSC Class: 05C69

Identifying codes in triangle-free graphs of bounded maximum degree

Authors: Dipayan Chakraborty, Florent Foucaud, Michael A. Henning, Tuomo Lehtilä

Abstract: An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhood and $S$. It was conjectured that there exists a constant $c$ such that for every connected closed-twin-free graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at m… ▽ More An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhood and $S$. It was conjectured that there exists a constant $c$ such that for every connected closed-twin-free graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $\left( \frac{Δ-1}Δ \right) n+c$. In [D. Chakraborty, F. Foucaud, M. A. Henning, and T. Lehtilä. Identifying codes in graphs of given maximum degree: Characterizing trees. arXiv preprint arXiv:2403.13172, 2024], we proved the conjecture for all trees. In this article, we show that the conjecture holds for all triangle-free graphs, with the same list of exceptional graphs needing $c>0$ as for trees: for $Δ\ge 3$, $c=1/3$ suffices and there is only a set of 12 trees requiring $c>0$ for $Δ=3$, and when $Δ\ge 4$ this set is reduced to the $Δ$-star only. Our proof is by induction, whose starting point is the above result for trees. Along the way, we prove a generalized version of Bondy's theorem on induced subsets [J. A. Bondy. Induced subsets. Journal of Combinatorial Theory, Series B, 1972] that we use as a tool in our proofs. We also use our main result for triangle-free graphs, to prove the upper bound $\left( \frac{Δ-1}Δ \right) n+1/Δ+4t$ for graphs that can be made triangle-free by the removal of $t$ edges. △ Less

Submitted 23 July, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

MSC Class: 05C69; 05C07

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

Identifying codes in graphs of given maximum degree: Characterizing trees

Authors: Dipayan Chakraborty, Florent Foucaud, Michael A. Henning, Tuomo Lehtilä

Abstract: An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a dominating set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhoods and $S$. It was conjectured that there exists an absolute constant $c$ such that for every connected graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size… ▽ More An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a dominating set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhoods and $S$. It was conjectured that there exists an absolute constant $c$ such that for every connected graph $G$ of order $n$ and maximum degree $Δ$, the graph $G$ admits an identifying code of size at most $( \frac{Δ-1}Δ )n +c$. We provide significant support for this conjecture by exactly characterizing every tree requiring a positive constant $c$ together with the exact value of the constant. Hence, proving the conjecture for trees. For $Δ=2$ (the graph is a path or a cycle), it is long known that $c=3/2$ suffices. For trees, for each $Δ\ge 3$, we show that $c=1/Δ\le 1/3$ suffices and that $c$ is required to have a positive value only for a finite number of trees. In particular, for $Δ= 3$, there are 12 trees with a positive constant $c$ and, for each $Δ\ge 4$, the only tree with positive constant $c$ is the $Δ$-star. Our proof is based on induction and utilizes recent results from [F. Foucaud, T. Lehtilä. Revisiting and improving upper bounds for identifying codes. SIAM Journal on Discrete Mathematics, 2022]. We remark that there are infinitely many trees for which the bound is tight when $Δ=3$; for every $Δ\ge 4$, we construct an infinite family of trees of order $n$ with identification number very close to the bound, namely $\left( \frac{Δ-1+\frac{1}{Δ-2}}{Δ+\frac{2}{Δ-2}} \right) n > (\frac{Δ-1}Δ ) n -\frac{n}{Δ^2}$. Furthermore, we also give a new tight upper bound for identification number on trees by showing that the sum of the domination and identification numbers of any tree $T$ is at most its number of vertices. △ Less

Submitted 22 July, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

MSC Class: 05C69; 05C05; 05C07

The 1/3-conjectures for domination in cubic graphs

Authors: Paul Dorbec, Michael Antony Henning

Abstract: 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 . The domination number of G, denoted by $γ$(G), is the minimum cardinality of a dominating set in G. In a breakthrough paper in 2008, L{ö}wenstein and Rautenbach proved that if G is a cubic graph of order n and girth at least 83, then $γ$(G) $\le$ n/3. A natural question is if this girt… ▽ More 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 . The domination number of G, denoted by $γ$(G), is the minimum cardinality of a dominating set in G. In a breakthrough paper in 2008, L{ö}wenstein and Rautenbach proved that if G is a cubic graph of order n and girth at least 83, then $γ$(G) $\le$ n/3. A natural question is if this girth condition can be lowered. The question gave birth to two 1/3-conjectures for domination in cubic graphs. The first conjecture, posed by Verstraete in 2010, states that if G is a cubic graph on n vertices with girth at least 6, then $γ$(G) $\le$ n/3. The second conjecture, first posed as a question by Kostochka in 2009, states that if G is a cubic, bipartite graph of order n, then $γ$(G) $\le$n/3. In this paper, we prove Verstraete's conjecture when there is no 7-cycle and no 8-cycle, and we prove the Kostochka's related conjecture for bipartite graphs when there is no 4-cycle and no 8-cycle. △ Less

Submitted 4 October, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

$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 total domination game

Authors: Michael A. Henning, Douglas F. Rall

Abstract: A vertex $u$ in a graph $G$ totally dominates a vertex $v$ if $u$ is adjacent to $v$ in $G$. A total dominating set of $G$ is a set $S$ of vertices of $G$ such that every vertex of $G$ is totally dominated by a vertex in $S$. The indicated total domination game is played on a graph $G$ by two players, Dominator and Staller, who take turns making a move. In each of his moves, Dominator indicates a… ▽ More A vertex $u$ in a graph $G$ totally dominates a vertex $v$ if $u$ is adjacent to $v$ in $G$. A total dominating set of $G$ is a set $S$ of vertices of $G$ such that every vertex of $G$ is totally dominated by a vertex in $S$. The indicated total domination game is played on a graph $G$ by two players, Dominator and Staller, who take turns making a move. In each of his moves, Dominator indicates a vertex $v$ of the graph that has not been totally dominated in the previous moves, and Staller chooses (or selects) any vertex adjacent to $v$ that has not yet been played, and adds it to a set $D$ that is being built during the game. The game ends when every vertex is totally dominated, that is, when $D$ is a total dominating set of $G$. The goal of Dominator is to minimize the size of $D$, while Staller wants just the opposite. Providing that both players are playing optimally with respect to their goals, the size of the resulting set $D$ is the indicated total domination number of $G$, denoted by $γ_t^{\rm i}(G)$. In this paper we present several results on indicated total domination game. Among other results we prove that the indicated total domination number of a graph is bounded below by the well studied upper total domination number. △ Less

Submitted 1 February, 2024; v1 submitted 5 October, 2023; originally announced October 2023.

Comments: 20 pages, 6 figures, 18 references, correction is Section 2

MSC Class: 05C65; 05C69

The Sierpiński Domination Number

Authors: Michael A. Henning, Sandi Klavžar, Elżbieta Kleszcz, Monika Pilśniak

Abstract: Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$,… ▽ More Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. In this paper, we define the Sierpiński domination number as the minimum of $γ(G\otimes _f H)$ over all functions $f \colon V(G)\rightarrow V(H)$. The upper Sierpiński domination number is defined analogously as the corresponding maximum. After establishing general upper and lower bounds, we determine the upper Sierpiński domination number of the Sierpiński product of two cycles, and determine the lower Sierpiński domination number of the Sierpiński product of two cycles in half of the cases and in the other half cases restrict it to two values. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Resolvability and convexity properties in the Sierpiński product of graphs

Authors: Michael A. Henning, Sandi Klavžar, Ismael G. Yero

Abstract: Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$,… ▽ More Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. The Sierpiński metric dimension and the upper Sierpiński metric dimension of two graphs are determined. Closed formulas are determined for Sierpiński products of trees, and for Sierpiński products of two cycles where the second factor is a triangle. We also prove that the layers with respect to the second factor in a Sierpiński product graph are convex. △ Less

Submitted 26 September, 2023; originally announced September 2023.

$3$-Neighbor bootstrap percolation on grids

Authors: Jaka Hedžet, Michael A. Henning

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 ru… ▽ 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 the $3$-bootstrap percolation number of grids with fixed widths. If $G$ is the cartesian product $P_3 \square P_m$ of two paths of orders~$3$ and $m$, we prove that $m(G,3)=\frac{3}{2}(m+1)-1$, when $m$ is odd, and $m(G,3)=\frac{3}{2}m +1$, when $m$ is even. Moreover if $G$ is the cartesian product $P_5 \square P_m$, we prove that $m(G,3)=2m+2$, when $m$ is odd, and $m(G,3)=2m+3$, when $m$ is even. If $G$ is the cartesian product $P_4 \square P_m$, we prove that $m(G,3)$ takes on one of two possible values, namely $m(G,3) = \lfloor \frac{5(m+1)}{3} \rfloor + 1$ or $m(G,3) = \lfloor \frac{5(m+1)}{3} \rfloor + 2$. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 27 pages, 13 figures

MSC Class: 05C38; 05C69

The minmin coalition number in graphs

Authors: Davood Bakhshesh, Michael A. Henning

Abstract: A set $S$ of vertices in a graph $G$ is a dominating set if every vertex of $V(G) \setminus S$ is adjacent to a vertex in $S$. A coalition in $G$ consists of two disjoint sets of vertices $X$ and $Y$ of $G$, neither of which is a dominating set but whose union $X \cup Y$ is a dominating set of $G$. Such sets $X$ and $Y$ form a coalition in $G$. A coalition partition, abbreviated $c$-partition, in… ▽ More A set $S$ of vertices in a graph $G$ is a dominating set if every vertex of $V(G) \setminus S$ is adjacent to a vertex in $S$. A coalition in $G$ consists of two disjoint sets of vertices $X$ and $Y$ of $G$, neither of which is a dominating set but whose union $X \cup Y$ is a dominating set of $G$. Such sets $X$ and $Y$ form a coalition in $G$. A coalition partition, abbreviated $c$-partition, in $G$ is a partition $\mathcal{X} = \{X_1,\ldots,X_k\}$ of the vertex set $V(G)$ of $G$ such that for all $i \in [k]$, each set $X_i \in \mathcal{X}$ satisfies one of the following two conditions: (1) $X_i$ is a dominating set of $G$ with a single vertex, or (2) $X_i$ forms a coalition with some other set $X_j \in \mathcal{X}$. %The coalition number ${C}(G)$ is the maximum cardinality of a $c$-partition of $G$. Let ${\cal A} = \{A_1,\ldots,A_r\}$ and ${\cal B}= \{B_1,\ldots, B_s\}$ be two partitions of $V(G)$. Partition ${\cal B}$ is a refinement of partition ${\cal A}$ if every set $B_i \in {\cal B} $ is either equal to, or a proper subset of, some set $A_j \in {\cal A}$. Further if ${\cal A} \ne {\cal B}$, then ${\cal B}$ is a proper refinement of ${\cal A}$. Partition ${\cal A}$ is a minimal $c$-partition if it is not a proper refinement of another $c$-partition. Haynes et al. [AKCE Int. J. Graphs Combin. 17 (2020), no. 2, 653--659] defined the minmin coalition number $c_{\min}(G)$ of $G$ to equal the minimum order of a minimal $c$-partition of $G$. We show that $2 \le c_{\min}(G) \le n$, and we characterize graphs $G$ of order $n$ satisfying $c_{\min}(G) = n$. A polynomial-time algorithm is given to determine if $c_{\min}(G)=2$ for a given graph $G$. A necessary and sufficient condition for a graph $G$ to satisfy $c_{\min}(G) \ge 3$ is given, and a characterization of graphs $G$ with minimum degree~$2$ and $c_{\min}(G)= 4$ is provided. △ Less

Submitted 2 July, 2023; originally announced July 2023.

Mostar index and bounded maximum degree

Authors: Michael A. Henning, Johannes Pardey, Dieter Rautenbach, Florian Werner

Abstract: Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. For a graph $G$ of order $n$ and maximum degree at most $Δ$, we show $Mo(G)\leq \fracΔ{2}n^2-(1-o(1))c_Δn\log(\log(n)),$ where $c_Δ>0$ only depe… ▽ More Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. For a graph $G$ of order $n$ and maximum degree at most $Δ$, we show $Mo(G)\leq \fracΔ{2}n^2-(1-o(1))c_Δn\log(\log(n)),$ where $c_Δ>0$ only depends on $Δ$ and the $o(1)$ term only depends on $n$. Furthermore, for integers $n_0$ and $Δ$ at least $3$, we show the existence of a $Δ$-regular graph of order $n$ at least $n_0$ with $Mo(G)\geq \fracΔ{2}n^2-c'_Δn\log(n),$ where $c'_Δ>0$ only depends on $Δ$. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Strong domination number of graphs from primary subgraphs

Authors: Saeid Alikhani, Nima Ghanbari, Michael A. Henning

Abstract: A set $D$ of vertices is a strong dominating set in a graph $G$, if for every vertex $x\in V(G) \setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x) \leq deg(y)$. The strong domination number $γ_{st}(G)$ of $G$ is the minimum cardinality of a strong dominating set in $G$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selectin… ▽ More A set $D$ of vertices is a strong dominating set in a graph $G$, if for every vertex $x\in V(G) \setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x) \leq deg(y)$. The strong domination number $γ_{st}(G)$ of $G$ is the minimum cardinality of a strong dominating set in $G$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identifying these two vertices, and thereafter continuing in this manner inductively. The graphs $G_1,\ldots ,G_k$ are the primary subgraphs of $G$. In this paper, we study the strong domination number of $K_r$-gluing of two graphs and investigate the strong domination number for some particular cases of graphs from their primary subgraphs. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Comments: 20 pages, 13 figures

MSC Class: 05C15; 05C25; 05C69

Singleton Coalition Graph Chains

Authors: Davood Bakhshesh, Michael A. Henning, Dinabandhu Pradhan

Abstract: Let $G$ be graph with vertex set $V$ and order $n=|V|$. A coalition in $G$ is a combination of two distinct sets, $A\subseteq V$ and $B\subseteq V$, which are disjoint and are not dominating sets of $G$, but $A\cup B$ is a dominating set of $G$. A coalition partition of $G$ is a partition $\mathcal{P}=\{S_1,\ldots,S_k\}$ of its vertex set $V$, where each set $S_i\in \mathcal{P}$ is either a domina… ▽ More Let $G$ be graph with vertex set $V$ and order $n=|V|$. A coalition in $G$ is a combination of two distinct sets, $A\subseteq V$ and $B\subseteq V$, which are disjoint and are not dominating sets of $G$, but $A\cup B$ is a dominating set of $G$. A coalition partition of $G$ is a partition $\mathcal{P}=\{S_1,\ldots,S_k\}$ of its vertex set $V$, where each set $S_i\in \mathcal{P}$ is either a dominating set of $G$ with only one vertex, or it is not a dominating set but forms a coalition with some other set $S_j \in \mathcal{P}$. The coalition number $C(G)$ is the maximum cardinality of a coalition partition of $G$. To represent a coalition partition $\mathcal{P}$ of $G$, a coalition graph $\CG(G, \mathcal{P})$ is created, where each vertex of the graph corresponds to a member of $\mathcal{P}$ and two vertices are adjacent if and only if their corresponding sets form a coalition in $G$. A coalition partition $\mathcal{P}$ of $G$ is a singleton coalition partition if every set in $\mathcal{P}$ consists of a single vertex. If a graph $G$ has a singleton coalition partition, then $G$ is referred to as a singleton-partition graph. A graph $H$ is called a singleton coalition graph of a graph $G$ if there exists a singleton coalition partition $\mathcal{P}$ of $G$ such that the coalition graph $\CG(G,\mathcal{P})$ is isomorphic to $H$. A singleton coalition graph chain with an initial graph $G_1$ is defined as the sequence $G_1\rightarrow G_2\rightarrow G_3\rightarrow\cdots$ where all graphs $G_i$ are singleton-partition graphs, and $\CG(G_i,Γ_1)=G_{i+1}$, where $Γ_1$ represents a singleton coalition partition of $G_i$. In this paper, we address two open problems posed by Haynes et al. We characterize all graphs $G$ of order $n$ and minimum degree $δ(G)=2$ such that $C(G)=n$ and investigate the singleton coalition graph chain starting with graphs $G$ where $δ(G)\le 2$. △ Less

Submitted 15 April, 2023; originally announced April 2023.

Complexity of total dominator coloring in graphs

Authors: Michael A. Henning, Kusum, Arti Pandey, Kaustav Paul

Abstract: Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator col… ▽ More Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator coloring of graph $G$ is a proper coloring of vertices of $G$, so that each vertex totally dominates some color class. The total dominator chromatic number $χ_{td}(G)$ of $G$ is the least number of colors required for a total dominator coloring of $G$. The Total Dominator Coloring problem is to find a total dominator coloring of $G$ using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the Total Dominator Coloring problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having $χ_{td}(T)=γ_t(T)+1$, which completes the characterization of trees achieving all possible values of $χ_{td}(T)$. Also, we show that for a cograph $G$, $χ_{td}(G)$ can be computed in linear-time. Moreover, we show that $2 \le χ_{td}(G) \le 4$ for a chain graph $G$ and give characterization of chain graphs for every possible value of $χ_{td}(G)$ in linear-time. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: V1, 18 pages, 1 figure

Progress towards the two-thirds conjecture on locating-total dominating sets

Authors: Dipayan Chakraborty, Florent Foucaud, Anni Hakanen, Michael A. Henning, Annegret K. Wagler

Abstract: We study upper bounds on the size of optimum locating-total dominating sets in graphs. A set $S$ of vertices of a graph $G$ is a locating-total dominating set if every vertex of $G$ has a neighbor in $S$, and if any two vertices outside $S$ have distinct neighborhoods within $S$. The smallest size of such a set is denoted by $γ^L_t(G)$. It has been conjectured that $γ^L_t(G)\leq\frac{2n}{3}$ holds… ▽ More We study upper bounds on the size of optimum locating-total dominating sets in graphs. A set $S$ of vertices of a graph $G$ is a locating-total dominating set if every vertex of $G$ has a neighbor in $S$, and if any two vertices outside $S$ have distinct neighborhoods within $S$. The smallest size of such a set is denoted by $γ^L_t(G)$. It has been conjectured that $γ^L_t(G)\leq\frac{2n}{3}$ holds for every twin-free graph $G$ of order $n$ without isolated vertices. We prove that the conjecture holds for cobipartite graphs, split graphs, block graphs and subcubic graphs. △ Less

Submitted 7 August, 2024; v1 submitted 25 November, 2022; originally announced November 2022.

Journal ref: Discrete Mathematics 347 (2024), 114176

Characterization of $α$-excellent $2$-trees

Authors: Magda Dettlaff, Michael A. Henning, Jerzy Topp

Abstract: A graph is $α$-excellent if every vertex of the graph is contained in some maximum independent set of the graph. In this paper, we present two characterizations of the $α$-excellent $2$-trees. A graph is $α$-excellent if every vertex of the graph is contained in some maximum independent set of the graph. In this paper, we present two characterizations of the $α$-excellent $2$-trees. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: 10 pages, 3 figures

MSC Class: 05C69; 05C85

End Super Dominating Sets in Graphs

Authors: Saieed Akbari, Nima Ghanbari, Michael A. Henning

Abstract: Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. Two vertices are neighbors if they are adjacent. A super dominating set is a dominating set $S$ with the additional property that ever… ▽ More Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. Two vertices are neighbors if they are adjacent. A super dominating set is a dominating set $S$ with the additional property that every vertex in $V \setminus S$ has a neighbor in $S$ that is adjacent to no other vertex in $V \setminus S$. Moreover if every vertex in $V \setminus S$ has degree at least~$2$, then $S$ is an end super dominating set. The end super domination number is the minimum cardinality of an end super dominating set. We give applications of end super dominating sets as main servers and temporary servers of networks. We determine the exact value of the end super domination number for specific classes of graphs, and we count the number of end super dominating sets in these graphs. Tight upper bounds on the end super domination number are established, where the graph is modified by vertex (edge) removal and contraction. △ Less

Submitted 14 November, 2022; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: 25 pages, 11 figures

MSC Class: 05C38; 05C69; 05C90

On $α$-excellent graphs

Authors: M. Dettlaff, M. A. Henning, J. Topp

Abstract: A graph $G$ is $α$-excellent if every vertex of $G$ is contained in some maximum independent set of $G$. In this paper, we characterize $α$-excellent bipartite graphs, $α$-excellent unicyclic graphs, $α$-excellent simplicial graphs, $α$-excellent chordal graphs, $α$-excellent block graphs, and we show that every generalized Petersen graph is $α$-excellent. A graph $G$ is $α$-excellent if every vertex of $G$ is contained in some maximum independent set of $G$. In this paper, we characterize $α$-excellent bipartite graphs, $α$-excellent unicyclic graphs, $α$-excellent simplicial graphs, $α$-excellent chordal graphs, $α$-excellent block graphs, and we show that every generalized Petersen graph is $α$-excellent. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 15 pages, 4 figures

ACM Class: F.2.2

Common domination perfect graphs

Authors: Magda Dettlaff, Michael A. Henning, Jerzy Topp

Abstract: A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex that does not belong to $S$ is adjacent to a vertex in $S$. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. The common independence number $α_c(G)$ of $G$ is the greatest integer $r$ such that every vertex of $G$ belongs to some independent set of cardinality at least~$r$. The… ▽ More A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex that does not belong to $S$ is adjacent to a vertex in $S$. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. The common independence number $α_c(G)$ of $G$ is the greatest integer $r$ such that every vertex of $G$ belongs to some independent set of cardinality at least~$r$. The common independence number is squeezed between the independent domination number $i(G)$ and the independence number $α(G)$ of $G$, that is, $γ(G) \le i(G) \le α_c(G) \le α(G)$. A graph $G$ is domination perfect if $γ(H) = i(H)$ for every induced subgraph $H$ of $G$. We define a graph $G$ as common domination perfect if $γ(H) = α_c(H)$ for every induced subgraph $H$ of $G$. We provide a characterization of common domination perfect graphs in terms of ten forbidden induced subgraphs. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 11 pages, 2 figures

ACM Class: F.2.2

On the coalition number of trees

Authors: Davood Bakhshesh, Michael A. Henning, Dinabandhu Pradhan

Abstract: Let $G$ be a graph with vertex set $V$ and of order $n = |V|$, and let $δ(G)$ and $Δ(G)$ be the minimum and maximum degree of $G$, respectively. Two disjoint sets $V_1, V_2 \subseteq V$ form a coalition in $G$ if none of them is a dominating set of $G$ but their union $V_1\cup V_2$ is. A vertex partition $Ψ=\{V_1,\ldots, V_k\}$ of $V$ is a coalition partition of $G$ if every set $V_i\in Ψ$ is eith… ▽ More Let $G$ be a graph with vertex set $V$ and of order $n = |V|$, and let $δ(G)$ and $Δ(G)$ be the minimum and maximum degree of $G$, respectively. Two disjoint sets $V_1, V_2 \subseteq V$ form a coalition in $G$ if none of them is a dominating set of $G$ but their union $V_1\cup V_2$ is. A vertex partition $Ψ=\{V_1,\ldots, V_k\}$ of $V$ is a coalition partition of $G$ if every set $V_i\in Ψ$ is either a dominating set of $G$ with the cardinality $|V_i|=1$, or is not a dominating set but for some $V_j\in Ψ$, $V_i$ and $V_j$ form a coalition. The maximum cardinality of a coalition partition of $G$ is the coalition number $\mathcal{C}(G)$ of $G$. Given a coalition partition $Ψ= \{V_1, \ldots, V_k\}$ of $G$, a coalition graph $\CG(G, Ψ)$ is associated on $Ψ$ such that there is a one-to-one correspondence between its vertices and the members of $Ψ$, where two vertices of $\CG(G, Ψ)$ are adjacent if and only if the corresponding sets form a coalition in $G$. In this paper, we partially solve one of the open problems posed in Haynes et al. \cite{coal0} and we solve two open problems posed by Haynes et al. \cite{coal1}. We characterize all graphs $G$ with $δ(G) \le 1$ and $\mathcal{C}(G)=n$, and we characterize all trees $T$ with $\mathcal{C}(T)=n-1$. We determine the number of coalition graphs that can be defined by all coalition partitions of a given path. Furthermore, we show that there is no universal coalition path, a path whose coalition partitions defines all possible coalition graphs. △ Less

Submitted 1 November, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Compelling Colorings: A generalization of the dominator chromatic number

Authors: Anna Bachstein, Wayne Goddard, Michael A. Henning, John Xue

Abstract: We define a $P$-compelling coloring as a proper coloring of the vertices of a graph such that every subset consisting of one vertex of each color has property $P$. The $P$-compelling chromatic number is the minimum number of colors in such a coloring. We show that this notion generalizes the dominator and total dominator chromatic numbers, and provide some general bounds and algorithmic results. W… ▽ More We define a $P$-compelling coloring as a proper coloring of the vertices of a graph such that every subset consisting of one vertex of each color has property $P$. The $P$-compelling chromatic number is the minimum number of colors in such a coloring. We show that this notion generalizes the dominator and total dominator chromatic numbers, and provide some general bounds and algorithmic results. We also investigate the specific cases where $P$ is that the subset contains at least one edge or that the subset is connected. △ Less

Submitted 8 May, 2021; originally announced May 2021.

MSC Class: 05C15

Graphs with disjoint 2-dominating sets

Authors: Michael A. Henning, Jerzy Topp

Abstract: A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G\setminus D$ has a neighbor in $D$, while $D$ is a 2-dominating set of $G$ if every vertex belonging to $V_G\setminus D$ is joined by at least two edges with a vertex or vertices in $D$. A graph $G$ is a $(2,2)$-dominated graph if it has a pair $(D,D')$ of disjoint $2$-dominating sets of vertices of $G$. In this paper we p… ▽ More A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G\setminus D$ has a neighbor in $D$, while $D$ is a 2-dominating set of $G$ if every vertex belonging to $V_G\setminus D$ is joined by at least two edges with a vertex or vertices in $D$. A graph $G$ is a $(2,2)$-dominated graph if it has a pair $(D,D')$ of disjoint $2$-dominating sets of vertices of $G$. In this paper we present two characterizations of minimal $(2,2)$-dominated graphs. △ Less

Submitted 21 August, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 8 pages, 4 figures

MSC Class: 05C69; 05C85

Minimal graphs with disjoint dominating and total dominating sets

Authors: Michael A. Henning, Jerzy Topp

Abstract: A graph $G$ is a DTDP-graph if it has a pair $(D,T)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $T$ is a total dominating set of $G$. Such graphs were studied in a number of research papers. In this paper we study further properties of DTDP-graphs and, in particular, we characterize minimal DTDP-gaphs without loops. A graph $G$ is a DTDP-graph if it has a pair $(D,T)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $T$ is a total dominating set of $G$. Such graphs were studied in a number of research papers. In this paper we study further properties of DTDP-graphs and, in particular, we characterize minimal DTDP-gaphs without loops. △ Less

Submitted 4 March, 2021; v1 submitted 15 January, 2021; originally announced January 2021.

Comments: 23 pages, 12 figures

MSC Class: 05C69; 05C85

Total connected domination game

Authors: Csilla Bujtás, Michael A. Henning, Vesna Iršič, Sandi Klavžar

Abstract: The (total) connected domination game on a graph $G$ is played by two players, Dominator and Staller, according to the standard (total) domination game with the additional requirement that at each stage of the game the selected vertices induce a connected subgraph of $G$. If Dominator starts the game and both players play optimally, then the number of vertices selected during the game is the (tota… ▽ More The (total) connected domination game on a graph $G$ is played by two players, Dominator and Staller, according to the standard (total) domination game with the additional requirement that at each stage of the game the selected vertices induce a connected subgraph of $G$. If Dominator starts the game and both players play optimally, then the number of vertices selected during the game is the (total) connected game domination number ($γ_{\rm tcg}(G)$) $γ_{\rm cg}(G)$ of $G$. We show that $γ_{\rm tcg}(G)\in \{γ_{\rm cg}(G), γ_{\rm cg}(G) + 1, γ_{\rm cg}(G) + 2\}$, and consequently define $G$ as Class $i$ if $γ_{\rm tcg}(G) = γ_{\rm cg} + i$ for $i \in \{0,1,2\}$. A large family of Class $0$ graphs is constructed which contains all connected Cartesian product graphs and connected direct product graphs with minumum degree at least $2$. We show that no tree is Class $2$ and characterize Class $1$ trees. We provide an infinite family of Class $2$ bipartite graphs. △ Less

Submitted 10 October, 2020; originally announced October 2020.

Comments: 12 pages, 2 figures

MSC Class: 05C57; 05C69; 91A43

The Enclaveless Competition Game

Authors: Michael A. Henning, Douglas F. Rall

Abstract: For a subset $S$ of vertices in a graph $G$, a vertex $v \in S$ is an enclave of $S$ if $v$ and all of its neighbors are in $S$, where a neighbor of $v$ is a vertex adjacent to $v$. A set $S$ is enclaveless if it does not contain any enclaves. The enclaveless number $Ψ(G)$ of $G$ is the maximum cardinality of an enclaveless set in $G$. As first observed in 1997 by Slater [J. Res. Nat. Bur. Standar… ▽ More For a subset $S$ of vertices in a graph $G$, a vertex $v \in S$ is an enclave of $S$ if $v$ and all of its neighbors are in $S$, where a neighbor of $v$ is a vertex adjacent to $v$. A set $S$ is enclaveless if it does not contain any enclaves. The enclaveless number $Ψ(G)$ of $G$ is the maximum cardinality of an enclaveless set in $G$. As first observed in 1997 by Slater [J. Res. Nat. Bur. Standards 82 (1977), 197--202], if $G$ is a graph with $n$ vertices, then $γ(G) + Ψ(G) = n$ where $γ(G)$ is the well-studied domination number of $G$. In this paper, we continue the study of the competition-enclaveless game introduced in 2001 by Phillips and Slater [Graph Theory Notes N. Y. 41 (2001), 37--41] and defined as follows. Two players take turns in constructing a maximal enclaveless set $S$, where one player, Maximizer, tries to maximize $|S|$ and one player, Minimizer, tries to minimize~$|S|$. The competition-enclaveless game number $Ψ_g^+(G)$ of $G$ is the number of vertices played when Maximizer starts the game and both players play optimally. We study among other problems the conjecture that if $G$ is an isolate-free graph of order $n$, then $Ψ_g^+(G) \ge \frac{1}{2}n$. We prove this conjecture for regular graphs and for claw-free graphs. △ Less

Submitted 4 June, 2020; originally announced June 2020.

Comments: 15 pages, 1 figure, 23 references

MSC Class: 05C65; 05C69

Independent Domination in Subcubic Graphs

Authors: A. Akbari, S. Akbari, A. Doosthosseini, Z. Hadizadeh, Michael A. Henning, A. Naraghi

Abstract: A set $S$ of vertices in a graph $G$ is a dominating set if every vertex not in $S$ is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. In 2013 Goddard and Henning [Discrete Math 313 (2013), 839--854] conjectured that… ▽ More A set $S$ of vertices in a graph $G$ is a dominating set if every vertex not in $S$ is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. In 2013 Goddard and Henning [Discrete Math 313 (2013), 839--854] conjectured that if $G$ is a connected cubic graph of order $n$, then $i(G) \le \frac{3}{8}n$, except if $G$ is the complete bipartite graph $K_{3,3}$ or the $5$-prism $C_5 \, \Box \, K_2$. Further they construct two infinite families of connected cubic graphs with independent domination three-eighths their order. They remark that perhaps it is even true that for $n > 10$ these two families are only families for which equality holds. In this paper, we provide a new family of connected cubic graphs $G$ of order $n$ such that $i(G) = \frac{3}{8}n$. We also show that if $G$ is a subcubic graph of order $n$ with no isolated vertex, then $i(G) \le \frac{1}{2}n$, and we characterize the graphs achieving equality in this bound. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: Submitted to Discrete Applied Mathematics Journal, 08 Jan 2020

Minimal graphs with disjoint dominating and paired-dominating sets

Authors: Michael A. Henning, Jerzy Topp

Abstract: A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G-D$ has a~neighbor in $D$, while $D$ is a paired-dominating set of $G$ if $D$ is a~dominating set and the subgraph induced by $D$ contains a perfect matching. A graph $G$ is a $D\!P\!D\!P$-graph if it has a pair $(D,P)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $P$ is a paired-dominating set… ▽ More A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G-D$ has a~neighbor in $D$, while $D$ is a paired-dominating set of $G$ if $D$ is a~dominating set and the subgraph induced by $D$ contains a perfect matching. A graph $G$ is a $D\!P\!D\!P$-graph if it has a pair $(D,P)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $P$ is a paired-dominating set of $G$. The study of the $D\!P\!D\!P$-graphs was initiated by Southey and Henning (Cent. Eur. J. Math. 8 (2010) 459--467; J. Comb. Optim. 22 (2011) 217--234). In this paper, we provide conditions which ensure that a graph is a $D\!P\!D\!P$-graph. In particular, we characterize the minimal $D\!P\!D\!P$-graphs. △ Less

Submitted 12 August, 2019; originally announced August 2019.

Comments: 4 figures

MSC Class: 05C69; 05C85

Journal ref: Discussiones Mathematicae Graph Theory 41 (2021) 827-847

Domination versus edge domination

Authors: Julien Baste, Maximilian Fürst, Michael A. Henning, Elena Mohr, Dieter Rautenbach

Abstract: We propose the conjecture that the domination number $γ(G)$ of a $Δ$-regular graph $G$ with $Δ\geq 1$ is always at most its edge domination number $γ_e(G)$, which coincides with the domination number of its line graph. We prove that $γ(G)\leq \left(1+\frac{2(Δ-1)}{Δ2^Δ}\right)γ_e(G)$ for general $Δ\geq 1$, and $γ(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)γ_e(G)$ for $Δ=3$. Furthermore, we verif… ▽ More We propose the conjecture that the domination number $γ(G)$ of a $Δ$-regular graph $G$ with $Δ\geq 1$ is always at most its edge domination number $γ_e(G)$, which coincides with the domination number of its line graph. We prove that $γ(G)\leq \left(1+\frac{2(Δ-1)}{Δ2^Δ}\right)γ_e(G)$ for general $Δ\geq 1$, and $γ(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)γ_e(G)$ for $Δ=3$. Furthermore, we verify our conjecture for cubic claw-free graphs. △ Less

Submitted 7 July, 2019; v1 submitted 25 June, 2019; originally announced June 2019.

Traceability of Connected Domination Critical Graphs

Authors: Michael A. Henning, Nawarat Ananchuen, Pawaton Kaemawichanurat

Abstract: A dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex outside $S$ is adjacent to a vertex in $S$. A connected dominating set in $G$ is a dominating set $S$ such that the subgraph $G[S]$ induced by $S$ is connected. The connected domination number of $G$, $γ_c(G)$, is the minimum cardinality of a connected dominating set of $G$. A graph $G$ is said to be $k$-… ▽ More A dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex outside $S$ is adjacent to a vertex in $S$. A connected dominating set in $G$ is a dominating set $S$ such that the subgraph $G[S]$ induced by $S$ is connected. The connected domination number of $G$, $γ_c(G)$, is the minimum cardinality of a connected dominating set of $G$. A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for every pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut-vertices of $G$. It is known that if $G$ is a $k$-$γ_{c}$-critical graph, then $G$ has at most $k - 2$ cut-vertices, that is $ζ\le k - 2$. In this paper, for $k \ge 4$ and $0 \le ζ\le k - 2$, we show that every $k$-$γ_{c}$-critical graph with $ζ$ cut-vertices has a hamiltonian path if and only if $k - 3 \le ζ\le k - 2$. △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 26 pages

MSC Class: 05C69; 05C45

Bounding and approximating minimum maximal matchings in regular graphs

Authors: Julien Baste, Maximilian Fürst, Michael A. Henning, Elena Mohr, Dieter Rautenbach

Abstract: The edge domination number $γ_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been studied. In the present paper, we provide best possible upper bounds on $γ_e(G)$ for regular and non-regular graphs $G$ in terms of their order and maximum degree. Furthe… ▽ More The edge domination number $γ_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been studied. In the present paper, we provide best possible upper bounds on $γ_e(G)$ for regular and non-regular graphs $G$ in terms of their order and maximum degree. Furthermore, we discuss algorithmic consequences of our results and their constructive proofs. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Maker-Breaker total domination game

Authors: Valentin Gledel, Michael A. Henning, Vesna Iršič, Sandi Klavžar

Abstract: Maker-Breaker total domination game in graphs is introduced as a natural counterpart to the Maker-Breaker domination game recently studied by Duchêne, Gledel, Parreau, and Renault. Both games are instances of the combinatorial Maker-Breaker games. The Maker-Breaker total domination game is played on a graph $G$ by two players who alternately take turns choosing vertices of $G$. The first player, D… ▽ More Maker-Breaker total domination game in graphs is introduced as a natural counterpart to the Maker-Breaker domination game recently studied by Duchêne, Gledel, Parreau, and Renault. Both games are instances of the combinatorial Maker-Breaker games. The Maker-Breaker total domination game is played on a graph $G$ by two players who alternately take turns choosing vertices of $G$. The first player, Dominator, selects a vertex in order to totally dominate $G$ while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. It is shown that there are infinitely many connected cubic graphs in which Staller wins and that no minimum degree condition is sufficient to guarantee that Dominator wins when Staller starts the game. An amalgamation lemma is established and used to determine the outcome of the game played on grids. Cacti are also classified with respect to the outcome of the game. A connection between the game and hypergraphs is established. It is proved that the game is PSPACE-complete on split and bipartite graphs. Several problems and questions are also posed. △ Less

Submitted 1 February, 2019; originally announced February 2019.

Comments: 21 pages, 5 figures

MSC Class: 05C57; 05C69; 68Q25; 91A43

Uniquely restricted matchings in subcubic graphs

Authors: Maximilian Fürst, Michael A. Henning, Dieter Rautenbach

Abstract: A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We conjecture that every connected subcubic graph with $m$ edges and $b$ bridges that is distinct from $K_{3,3}$ has a uniquely restricted matching of size at least $\frac{m+b}{6}$, and we establish this bound with $b$ replaced by the number of bridges that lie on a path between two ve… ▽ More A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We conjecture that every connected subcubic graph with $m$ edges and $b$ bridges that is distinct from $K_{3,3}$ has a uniquely restricted matching of size at least $\frac{m+b}{6}$, and we establish this bound with $b$ replaced by the number of bridges that lie on a path between two vertices of degree at most $2$. Moreover, we prove that every connected subcubic graph of order $n$ and girth at least $7$ has a uniquely restricted matching of size at least $\frac{n-1}{3}$, which partially confirms a Conjecture of Fürst and Rautenbach (Some bounds on the uniquely restricted matching number, arXiv:1803.11032). △ Less

Submitted 2 May, 2018; originally announced May 2018.

On the maximum number of minimum total dominating sets in forests

Authors: Michael A. Henning, Elena Mohr, Dieter Rautenbach

Abstract: We propose the conjecture that every tree with order $n$ at least $2$ and total domination number $γ_t$ has at most $\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}$ minimum total dominating sets. As a relaxation of this conjecture, we show that every forest $F$ with order $n$, no isolated vertex, and total domination number $γ_t$ has at most… ▽ More We propose the conjecture that every tree with order $n$ at least $2$ and total domination number $γ_t$ has at most $\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}$ minimum total dominating sets. As a relaxation of this conjecture, we show that every forest $F$ with order $n$, no isolated vertex, and total domination number $γ_t$ has at most $\min\left\{\left(8\sqrt{e}\, \right)^{γ_t}\left(\frac{n-\frac{γ_t}{2}}{\frac{γ_t}{2}}\right)^{\frac{γ_t}{2}}, (1+\sqrt{2})^{n-γ_t},1.4865^n\right\}$ minimum total dominating sets. △ Less

Submitted 17 January, 2019; v1 submitted 27 April, 2018; originally announced April 2018.

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (January 23, 2019) dmtcs:4787

Cutting Lemma and Union Lemma for the Domination Game

Authors: Paul Dorbec, Michael A. Henning, Sandi Klavžar, Gašper Košmrlj

Abstract: Two new techniques are introduced into the theory of the domination game. The cutting lemma bounds the game domination number of a partially dominated graph with the game domination number of suitably modified partially dominated graph. The union lemma bounds the S-game domination number of a disjoint union of paths using appropriate weighting functions. Using these tools a conjecture asserting th… ▽ More Two new techniques are introduced into the theory of the domination game. The cutting lemma bounds the game domination number of a partially dominated graph with the game domination number of suitably modified partially dominated graph. The union lemma bounds the S-game domination number of a disjoint union of paths using appropriate weighting functions. Using these tools a conjecture asserting that the so-called three legged spiders are game domination critical graphs is proved. An extended cutting lemma is also derived and all game domination critical trees on 18, 19, and 20 vertices are listed. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Transversals in Uniform Linear Hypergraphs

Authors: Michael A. Henning, Anders Yeo

Abstract: The transversal number $τ(H)$ of a hypergraph $H$ is the minimum number of vertices that intersect every edge of $H$. A linear hypergraph is one in which every two distinct edges intersect in at most one vertex. A $k$-uniform hypergraph has all edges of size $k$. It is known that $τ(H) \le (n + m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$ when $k \in \{2,3\}$ or when $k \ge 4$ and t… ▽ More The transversal number $τ(H)$ of a hypergraph $H$ is the minimum number of vertices that intersect every edge of $H$. A linear hypergraph is one in which every two distinct edges intersect in at most one vertex. A $k$-uniform hypergraph has all edges of size $k$. It is known that $τ(H) \le (n + m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$ when $k \in \{2,3\}$ or when $k \ge 4$ and the maximum degree of $H$ is at most two. It has been conjectured that $τ(H) \le (n+m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$. We disprove the conjecture for large $k$, and show that the best possible constant $c_k$ in the bound $τ(H) \le c_k (n+m)$ has order $\ln(k)/k$ for both linear (which we show in this paper) and non-linear hypergraphs. We show that for those $k$ where the conjecture holds, it is tight for a large number of densities if there exists an affine plane $AG(2,k)$ of order $k \ge 2$. We raise the problem to find the smallest value, $k_{\min}$, of $k$ for which the conjecture fails. We prove a general result, which when applied to a projective plane of order $331$ shows that $k_{\min} \le 166$. Even though the conjecture fails for large $k$, our main result is that it still holds for $k=4$, implying that $k_{\min} \ge 5$. The case $k=4$ is much more difficult than the cases $k \in \{2,3\}$, as the conjecture does not hold for general (non-linear) hypergraphs when $k=4$. Key to our proof is the completely new technique of the deficiency of a hypergraph introduced in this paper. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Comments: 105 pages

MSC Class: 05C65; 51E15

On accurate domination in graphs

Authors: Joanna Cyman, Michael A. Henning, Jerzy Topp

Abstract: A dominating set of a graph $G$ is a subset $D \subseteq V_G$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. The accurate domination number of $G$, denoted by $γ_{\rm a}(G)$, is the cardinality of a smallest set $D$ that is a dominating set of $G$ and no $|D|$-elem… ▽ More A dominating set of a graph $G$ is a subset $D \subseteq V_G$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. The accurate domination number of $G$, denoted by $γ_{\rm a}(G)$, is the cardinality of a smallest set $D$ that is a dominating set of $G$ and no $|D|$-element subset of $V_G \setminus D$ is a dominating set of $G$. We study graphs for which the accurate domination number is equal to the domination number. In particular, all trees $G$ for which $γ_{\rm a}(G) = γ(G)$ are characterized. Furthermore, we compare the accurate domination number with the domination number of different coronas of a graph. △ Less

Submitted 9 October, 2017; originally announced October 2017.

Comments: 12 pages, 1 figure

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

Journal ref: Discussiones Mathematicae Graph Theory 39 (2019) 615-627

Game Total Domination Critical Graphs

Authors: Michael A. Henning, Sandi Klavžar, Douglas F. Rall

Abstract: In the total domination game played on a graph $G$, players Dominator and Staller alternately select vertices of $G$, as long as possible, such that each vertex chosen increases the number of vertices totally dominated. Dominator (Staller) wishes to minimize (maximize) the number of vertices selected. The game total domination number, $γ_{\rm tg}(G)$, of $G$ is the number of vertices chosen when D… ▽ More In the total domination game played on a graph $G$, players Dominator and Staller alternately select vertices of $G$, as long as possible, such that each vertex chosen increases the number of vertices totally dominated. Dominator (Staller) wishes to minimize (maximize) the number of vertices selected. The game total domination number, $γ_{\rm tg}(G)$, of $G$ is the number of vertices chosen when Dominator starts the game and both players play optimally. If a vertex $v$ of $G$ is declared to be already totally dominated, then we denote this graph by $G|v$. In this paper the total domination game critical graphs are introduced as the graphs $G$ for which $γ_{\rm tg}(G|v) < γ_{\rm tg}(G)$ holds for every vertex $v$ in $G$. If $γ_{\rm tg}(G) = k$, then $G$ is called $k$-$γ_{\rm tg}$-critical. It is proved that the cycle $C_n$ is $γ_{\rm tg}$-critical if and only if $n\pmod 6 \in \{0,1,3\}$ and that the path $P_n$ is $γ_{\rm tg}$-critical if and only if $n\pmod 6\in \{2,4\}$. $2$-$γ_{\rm tg}$-critical and $3$-$γ_{\rm tg}$-critical graphs are also characterized as well as $3$-$γ_{\rm tg}$-critical joins of graphs. △ Less

Submitted 18 September, 2017; originally announced September 2017.

Equating $k$ Maximum Degrees in Graphs without Short Cycles

Authors: M. Fürst, M. Gentner, M. A. Henning, S. Jäger, D. Rautenbach

Abstract: For an integer $k$ at least $2$, and a graph $G$, let $f_k(G)$ be the minimum cardinality of a set $X$ of vertices of $G$ such that $G-X$ has either $k$ vertices of maximum degree or order less than $k$. Caro and Yuster (Discrete Mathematics 310 (2010) 742-747) conjectured that, for every $k$, there is a constant $c_k$ such that $f_k(G)\leq c_k \sqrt{n(G)}$ for every graph $G$. Verifying a conject… ▽ More For an integer $k$ at least $2$, and a graph $G$, let $f_k(G)$ be the minimum cardinality of a set $X$ of vertices of $G$ such that $G-X$ has either $k$ vertices of maximum degree or order less than $k$. Caro and Yuster (Discrete Mathematics 310 (2010) 742-747) conjectured that, for every $k$, there is a constant $c_k$ such that $f_k(G)\leq c_k \sqrt{n(G)}$ for every graph $G$. Verifying a conjecture of Caro, Lauri, and Zarb (arXiv:1704.08472v1), we show the best possible result that, if $t$ is a positive integer, and $F$ is a forest of order at most $\frac{1}{6}\left(t^3+6t^2+17t+12\right)$, then $f_2(F)\leq t$. We study $f_3(F)$ for forests $F$ in more detail obtaining similar almost tight results, and we establish upper bounds on $f_k(G)$ for graphs $G$ of girth at least $5$. For graphs $G$ of girth more than $2p$, for $p$ at least $3$, our results imply $f_k(G)=O\left(n(G)^{\frac{p+1}{3p}}\right)$. Finally, we show that, for every fixed $k$, and every given forest $F$, the value of $f_k(F)$ can be determined in polynomial time. △ Less

Submitted 21 May, 2017; originally announced May 2017.

On the Total Forcing Number of a Graph

Authors: Randy Davila, Michael A. Henning

Abstract: Let $G$ be a simple and finite graph without isolated vertices. In this paper we study forcing sets (zero forcing sets) which induce a subgraph of $G$ without isolated vertices. Such a set is called a total forcing set, introduced and first studied by Davila \cite{Davila}. The minimum cardinality of a total forcing set in $G$ is the total forcing number of $G$, denoted $F_t(G)$. We study basic pro… ▽ More Let $G$ be a simple and finite graph without isolated vertices. In this paper we study forcing sets (zero forcing sets) which induce a subgraph of $G$ without isolated vertices. Such a set is called a total forcing set, introduced and first studied by Davila \cite{Davila}. The minimum cardinality of a total forcing set in $G$ is the total forcing number of $G$, denoted $F_t(G)$. We study basic properties of $F_t(G)$, relate $F_t(G)$ to various domination parameters, and establish $NP$-completeness of the associated decision problem for $F_t(G)$. We also prove that if $G$ is a connected graph of order $n \ge 3$ and maximum degree $Δ$, then $F_t(G) \le ( \fracΔ{Δ+1} ) n$, with equality if and only if $G$ is a complete graph $K_{Δ+ 1}$. △ Less

Submitted 27 February, 2017; v1 submitted 20 February, 2017; originally announced February 2017.