arXiv++ Combinatorics

The total domination game is a two-person competitive optimization game, where the players, Dominator and Staller, alternately select vertices of an isolate-free graph $G$. Each vertex chosen must strictly increase the number of vertices totally dominated. This process eventually produces a total dominating set of $G$. Dominator wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The game total domination number of $G$, $γ_{\rm tg}(G)$, is the number of vertices chosen when Dominator starts the game and both players play optimally. Recently, Henning, Klavžar, and Rall proved that $γ_{\rm tg}(G) \le \frac{4}{5}n$ holds for every graph $G$ which is given on $n$ vertices such that every component of it is of order at least $3$; they also conjectured that the sharp upper bound would be $\frac{3}{4}n$. Here, we prove that $γ_{\rm tg}(G)\le \frac{11}{14}n$ holds for every $G$ which contains no isolated vertices or isolated edges.

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.

In a graph $G$, a set $D\subseteq V(G)$ is called 2-dominating set if each vertex not in $D$ has at least two neighbors in $D$. The 2-domination number $γ_2(G)$ is the minimum cardinality of such a set $D$. We give a method for the construction of 2-dominating sets, which also yields upper bounds on the 2-domination number in terms of the number of vertices, if the minimum degree $δ(G)$ is fixed. These improve the best earlier bounds for any $6 \le δ(G) \le 21$. In particular, we prove that $γ_2(G)$ is strictly smaller than $n/2$, if $δ(G) \ge 6$. Our proof technique uses a weight-assignment to the vertices where the weights are changed during the procedure.

Let $\cal C$ be a clique covering for $E(G)$ and let $v$ be a vertex of $G$. The valency of vertex $v$ (with respect to $\cal C$), denoted by $val_{\cal C}(v)$, is the number of cliques in $\cal C$ containing $v$. The local clique cover number of $G$, denoted by $lcc(G)$, is defined as the smallest integer $k$, for which there exists a clique covering for $E(G)$ such that $val_{\cal C}(v)$ is at most $k$, for every vertex $v\in V(G)$. In this paper, among other results, we prove that if $G$ is a claw-free graph, then $lcc(G)+χ(G)\leq n+1$.

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.

The \textit{domination number} $γ(\mathcal{H})$ of a hypergraph $\mathcal{H}=(V(\mathcal{H}),E(\mathcal{H})$ is the minimum size of a subset $D\subset V(\mathcal{H}$ of the vertices such that for every $v\in V(\mathcal{H})\setminus D$ there exist a vertex $d \in D$ and an edge $H\in E(\mathcal{H})$ with $v,d\in H$. We address the problem of finding the minimum number $n(k,γ)$ of vertices that a $k$-uniform hypergraph $\mathcal{H}$ can have if $γ(\mathcal{H})\ge γ$ and $\mathcal{H}$ does not contain isolated vertices. We prove that $$n(k,γ)=k+Θ(k^{1-1/γ})$$ and also consider the $s$-wise dominating and the distance-$l$ dominating version of the problem. In particular, we show that the minimum number $n_{dc}(k,γ, l)$ of vertices that a connected $k$-uniform hypergraph with distance-$l$ domination number $γ$ can have is roughly $\frac{kγl}{2}$

Let $H = (V,E)$ be a hypergraph with vertex set $V$ and edge set $E$ of order $\nH = |V|$ and size $\mH = |E|$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. A vertex hits an edge if it belongs to that edge. The transversal game played on $H$ involves of two players, \emph{Edge-hitter} and \emph{Staller}, who take turns choosing a vertex from $H$. Each vertex chosen must hit at least one edge not hit by the vertices previously chosen. The game ends when the set of vertices chosen becomes a transversal in $H$. Edge-hitter wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The \emph{game transversal number}, $τ_g(H)$, of $H$ is the number of vertices chosen when Edge-hitter starts the game and both players play optimally. We compare the game transversal number of a hypergraph with its transversal number, and also present an important fact concerning the monotonicity of $τ_g$, that we call the Transversal Continuation Principle. It is known that if $H$ is a hypergraph with all edges of size at least~$2$, and $H$ is not a $4$-cycle, then $τ_g(H) \le \frac{4}{11}(\nH+\mH)$; and if $H$ is a (loopless) graph, then $τ_g(H) \le \frac{1}{3}(\nH + \mH + 1)$. We prove that if $H$ is a $3$-uniform hypergraph, then $τ_g(H) \le \frac{5}{16}(\nH + \mH)$, and if $H$ is $4$-uniform, then $τ_g(H) \le \frac{71}{252}(\nH + \mH)$.

Given two graphs $F$ and $G$, an $F$-WORM coloring of $G$ is an assignment of colors to its vertices in such a way that no $F$-subgraph of $G$ is monochromatic or rainbow. If $G$ has at least one such coloring, then it is called $F$-WORM colorable and $W^-(G,F)$ denotes the minimum possible number of colors. Here, we consider $F$-WORM colorings with a fixed 2-connected graph $F$ and prove the following three main results: (1) For every natural number $k$, there exists a graph $G$ which is $F$-WORM colorable and $W^-(G,F)=k$; (2) It is NP-complete to decide whether a graph is $F$-WORM colorable; (3) For each $k \ge |V(F)|-1$, it is NP-complete to decide whether a graph $G$ satisfies $W^-(G,F) \le k$. This remains valid on the class of $F$-WORM colorable graphs of bounded maximum degree. For complete graphs $F=K_n$ with $n \ge 3$ we also prove: (4) For each $n \ge 3$ there exists a graph $G$ and integers $r$ and $s$ such that $s \ge r+2$, $G$ has $K_n$-WORM colorings with exactly $r$ and also with $s$ colors, but it admits no $K_n$-WORM colorings with exactly $r+1, \dots, s-1$ colors. Moreover, the difference $s-r$ can be arbitrarily large.

A $K_3$-WORM coloring of a graph $G$ is an assignment of colors to the vertices in such a way that the vertices of each $K_3$-subgraph of $G$ get precisely two colors. We study graphs $G$ which admit at least one such coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014) 161--173] who asked whether every such graph has a $K_3$-WORM coloring with two colors. In fact for every integer $k\ge 3$ there exists a $K_3$-WORM colorable graph in which the minimum number of colors is exactly $k$. There also exist $K_3$-WORM colorable graphs which have a $K_3$-WORM coloring with two colors and also with $k$ colors but no coloring with any of $3,\dots,k-1$ colors. We also prove that it is NP-hard to determine the minimum number of colors and NP-complete to decide $k$-colorability for every $k \ge 2$ (and remains intractable even for graphs of maximum degree 9 if $k=3$). On the other hand, we prove positive results for $d$-degenerate graphs with small $d$, also including planar graphs. Moreover we point out a fundamental connection with the theory of the colorings of mixed hypergraphs. We list many open problems at the end.

We prove that for every complete multipartite graph $F$ there exist very dense graphs $G_n$ on $n$ vertices, namely with as many as ${n\choose 2}-cn$ edges for all $n$, for some constant $c=c(F)$, such that $G_n$ can be decomposed into edge-disjoint induced subgraphs isomorphic to~$F$. This result identifies and structurally explains a gap between the growth rates $O(n)$ and $Ω(n^{3/2})$ on the minimum number of non-edges in graphs admitting an induced $F$-decomposition.

We introduce and study a Maker-Breaker type game in which the issue is to create or avoid two disjoint dominating sets in graphs without isolated vertices. We prove that the maker has a winning strategy on all connected graphs if the game is started by the breaker. This implies the same in the $(2:1)$ biased game also in the maker-start game. It remains open to characterize the maker-win graphs in the maker-start non-biased game, and to analyze the $(a:b)$ biased game for $(a:b)\neq (2:1)$. For a more restricted variant of the non-biased game we prove that the maker can win on every graph without isolated vertices.

The triangle graph of a graph $G$, denoted by ${\cal T}(G)$, is the graph whose vertices represent the triangles ($K_3$ subgraphs) of $G$, and two vertices of ${\cal T}(G)$ are adjacent if and only if the corresponding triangles share an edge. In this paper, we characterize graphs whose triangle graph is a cycle and then extend the result to obtain a characterization of $C_n$-free triangle graphs. As a consequence, we give a forbidden subgraph characterization of graphs $G$ for which ${\cal T}(G)$ is a tree, a chordal graph, or a perfect graph. For the class of graphs whose triangle graph is perfect, we verify a conjecture of the third author concerning packing and covering of triangles.

An algorithmic upper bound on the domination number $γ$ of graphs in terms of the order $n$ and the minimum degree $δ$ is proved. It is demonstrated that the bound improves best previous bounds for any $5\le δ\le 50$. In particular, for $δ=5$, Xing et al.\ proved in 2006 that $γ\le 5n/14 < 0.3572 n$. This bound is improved to $0.3440 n$. For $δ=6$, Clark et al.\ in 1998 established $γ<0.3377 n$, while Biró et al. recently improved it to $γ<0.3340 n$. Here the bound is further improved to $γ< 0.3159 n$. For $δ=7$, the best earlier bound $0.3 088 n$ is improved to $γ< 0.2927 n$.

In the domination game, introduced by Brešar, Klavžar and Rall in 2010, Dominator and Staller alternately select a vertex of a graph $G$. A move is legal if the selected vertex $v$ dominates at least one new vertex -- that is, if we have a $u\in N[v]$ for which no vertex from $N[u]$ was chosen up to this point of the game. The game ends when no more legal moves can be made, and its length equals the number of vertices selected. The goal of Dominator is to minimize whilst that of Staller is to maximize the length of the game. The game domination number $γ_g(G)$ of $G$ is the length of the domination game in which Dominator starts and both players play optimally. In this paper we establish an upper bound on $γ_g(G)$ in terms of the minimum degree $δ$ and the order $n$ of $G$. Our main result states that for every $δ\ge 4$, $$γ_g(G)\le \frac{30δ^4-56δ^3-258δ^2+708δ-432}{90δ^4-390δ^3+348δ^2+348δ-432}\; n.$$ Particularly, $γ_g(G) < 0.5139\; n$ holds for every graph of minimum degree 4, and $γ_g(G)< 0.4803\; n$ if the minimum degree is greater than 4. Additionally, we prove that $γ_g(G) < 0.5574\; n$ if $δ=3$.

In the domination game studied here, Dominator and Staller alternately choose a vertex of a graph $G$ and take it into a set $D$. The number of vertices dominated by the set $D$ must increase in each single turn and the game ends when $D$ becomes a dominating set of $G$. Dominator aims to minimize whilst Staller aims to maximize the number of turns (or equivalently, the size of the dominating set $D$ obtained at the end). Assuming that Dominator starts and both players play optimally, the number of turns is called the game domination number $γ_g(G)$ of $G$. Kinnersley, West and Zamani verified that $γ_g(G) \le 7n/11$ holds for every isolate-free $n$-vertex forest $G$ and they conjectured that the sharp upper bound is only $3n/5$. Here, we prove the 3/5-conjecture for forests in which no two leaves are at distance 4 apart. Further, we establish an upper bound $γ_g(G) \le 5n/8$, which is valid for every isolate-free forest $G$.

A C-coloring of a hypergraph ${\cal H}=(X,{\cal E})$ is a vertex coloring $\varphi: X\to {\mathbb{N}}$ such that each edge $E\in{\cal E}$ has at least two vertices with a common color. The related parameter $\overlineχ({\cal H})$, called the upper chromatic number of ${\cal H}$, is the maximum number of colors can be used in a C-coloring of ${\cal H}$. A hypertree is a hypergraph which has a host tree $T$ such that each edge $E\in {\cal E}$ induces a connected subgraph in $T$. Notations $n$ and $m$ stand for the number of vertices and edges, respectively, in a generic input hypergraph. We establish guaranteed polynomial-time approximation ratios for the difference $n-\overlineχ({\cal H})$, which is $2+2 \ln (2m)$ on hypergraphs in general, and $1+ \ln m$ on hypertrees. The latter ratio is essentially tight as we show that $n-\overlineχ({\cal H})$ cannot be approximated within $(1-ε) \ln m$ on hypertrees (unless ${\sf NP} \subseteq {\sf DTIME} (n^{{\cal O}(log\;log\; n)})$). Furthermore, $\overlineχ({\cal H})$ does not have ${\cal O}(n^{1-ε})$-approximation and cannot be approximated within additive error $o(n)$ on the class of hypertrees (unless ${\sf P}={\sf NP}$).

The first three authors [European J. Combin. 33 (2012), 62--71] established a relationship between the transversal number and the domination number of uniform hypergraphs. In this paper, we establish a relationship between the total transversal number and the total domination number of uniform hypergraphs. We prove tight asymptotic upper bounds on the total transversal number in terms of the number of vertices, the number of edges, and the edge size.

Combinatorial batch codes provide a tool for distributed data storage, with the feature of keeping privacy during information retrieval. Recently, Balachandran and Bhattacharya observed that the problem of constructing such uniform codes in an economic way can be formulated as a Turán-type question on hypergraphs. Here we establish general lower and upper bounds for this extremal problem, and also for its generalization where the forbidden family consists of those $r$-uniform hypergraphs $H$ which satisfy the condition $k\ge |E(H)|> |V(H)|+q$ (for $k>q+r$ and $q> -r$ fixed). We also prove that, in the given range of parameters, the considered Turán function is asymptotically equal to the one restricted to $|E(H)|=k$, studied by Brown, Erdős and T. Sós. Both families contain some $r$-partite members --- often called the `degenerate case', characterized by the equality $\lim_{n\to\infty} \ex(n,\cF)/n^r=0$ --- and therefore their exact order of growth is not known.