arXiv++ Combinatorics

The Maker-Breaker domination game is played on a graph $G$ by two players, called Dominator and Staller, who alternately choose a vertex that has not been played so far. Dominator wins the game if his moves form a dominating set. Staller wins if she plays all vertices from a closed neighborhood of a vertex $v \in V(G)$. Dominator's fast winning strategies were studied earlier. In this work, we concentrate on the cases when Staller has a winning strategy in the game. We introduce the invariant $γ'_{\rm SMB}(G)$ (resp., $γ_{\rm SMB}(G)$) which is the smallest integer $k$ such that, under any strategy of Dominator, Staller can win the game by playing at most $k$ vertices, if Staller (resp., Dominator) plays first on the graph $G$. We prove some basic properties of $γ_{\rm SMB}(G)$ and $γ'_{\rm SMB}(G)$ and study the parameters' changes under some operators as taking the disjoint union of graphs or deleting a cut vertex. We show that the inequality $δ(G)+1 \le γ'_{\rm SMB}(G) \le γ_{\rm SMB}(G)$ always holds and that for every three integers $r,s,t$ with $2\le r\le s\le t$, there exists a graph $G$ such that $δ(G)+1 = r$, $γ'_{\rm SMB}(G) = s$, and $γ_{\rm SMB}(G) = t$. We prove exact formulas for $γ'_{\rm SMB}(G)$ where $G$ is a path, or it is a tadpole graph which is obtained from the disjoint union of a cycle and a path by adding one edge between them.

In a hypergraph with vertex set $V$ and edge set $E$, a real-valued function $f: V \to [0, 1]$ is a fractional transversal if $\sum_{v\in e} f(v) \ge 1$ for every edge $e \in E$. Its size is $|f| := \sum_{v \in V} f(v)$, and the fractional transversal number is the smallest possible $|f|$. We consider a game scenario where two players with opposite goals construct a fractional transversal incrementally, trying to minimize and maximize $|f|$, respectively. We prove that both players have strategies to achieve their common optimum, and they can reach their goals using rational weights.

For an integer $k\ge 3$, a $k$-path vertex cover of a graph $G=(V,E)$ is a set $T\subseteq V$ that shares a vertex with every path subgraph of order $k$ in $G$. The minimum cardinality of a $k$-path vertex cover is denoted by $ψ_k(G)$. We give estimates -- mostly upper bounds -- on $ψ_k(G)$ in terms of various parameters, including vertex degrees and the number of vertices and edges. The problem is also considered on chordal graphs and planar graphs.

The connected domination game is played just as the domination game, with an additional requirement that at each stage of the game the vertices played induce a connected subgraph. The number of moves in a D-game (an S-game, resp.) on a graph $G$ when both players play optimally is denoted by $γ_{\rm cg}(G)$ ($γ_{\rm cg}'(G)$, resp.). Connected Game Continuation Principle is established as a substitute for the classical Continuation Principle which does not hold for the connected domination game. Let $G|x$ denote the graph $G$ together with a declaration that the vertex $x$ is already dominated. The first main result asserts that if $G$ is a graph with $γ_{\rm cg}(G) \geq 3$ and $x \in V(G)$, then $γ_{\rm cg}(G|x) \leq 2 γ_{\rm cg}(G) - 3$ and the bound is sharp. The second main theorem states that if $G$ is a graph with $n(G) \geq 2$ and $x \in V(G)$, then $γ_{\rm cg}(G|x) \geq \left \lceil \frac12 γ_{\rm cg}(G) \right \rceil$ and the bound is sharp. Graphs $G$ and their vertices $x$ for which $γ_{\rm cg}'(G|x) = \infty$ holds are also characterized.

Let $γ_g(G)$ be the game domination number of a graph $G$. Rall conjectured that if $G$ is a traceable graph, then $γ_g(G) \le \left\lceil \frac{1}{2}n(G)\right\rceil$. Our main result verifies the conjecture over the class of line graphs. Moreover, in this paper we put forward the conjecture that if $δ(G) \geq 2$, then $γ_g(G) \leq \left\lceil \frac{1}{2}n(G) \right\rceil$. We show that both conjectures hold true for claw-free cubic graphs. We further prove the upper bound $γ_g(G) \le \left\lceil \frac{11}{20} \, n(G) \right\rceil$ over the class of claw-free graphs of minimum degree at least $2$. Computer experiments supporting the new conjecture and sharpness examples are also presented.

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.

Let $γ_g(G)$ be the game domination number of a graph $G$. It is proved that if ${\rm diam}(G) = 2$, then $γ_g(G) \le \left\lceil \frac{n(G)}{2} \right\rceil- \left\lfloor \frac{n(G)}{11}\right\rfloor$. The bound is attained: if ${\rm diam}(G) = 2$ and $n(G) \le 10$, then $γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil$ if and only if $G$ is one of seven sporadic graphs with $n(G)\le 6$ or the Petersen graph, and there are exactly ten graphs of diameter $2$ and order $11$ that attain the bound.

The $1/2$-conjecture on the domination game asserts that if $G$ is a traceable graph, then the game domination number $γ_g(G)$ of $G$ is at most $\left\lceil \frac{n(G)}{2} \right\rceil$. A traceable graph is a $1/2$-graph if $γ_g(G) = \left\lceil \frac{n(G)}{2} \right\rceil$ holds. It is proved that the so-called hatted cycles are $1/2$-graphs and that unicyclic graphs fulfill the $1/2$-conjecture. Several additional families of graphs that support the conjecture are determined and computer experiments related to the conjecture described.

Let $k$ be a positive integer and let $G$ be a graph with vertex set $V(G)$. A subset $D \subseteq V(G)$ is a $k$-dominating set if every vertex outside $D$ is adjacent to at least $k$ vertices in $D$. The $k$-domination number $γ_k(G)$ is the minimum cardinality of a $k$-dominating set in $G$. For any graph $G$, we know that $γ_k(G) \geq γ(G)+k-2$ where $ Δ(G)\geq k\geq 2$ and this bound is sharp for every $k\geq 2$. In this paper, we characterize bipartite graphs satisfying the equality for $k\geq 3$ and present a necessary and sufficient condition for a bipartite graph to satisfy the equality hereditarily when $k=3$. We also prove that the problem of deciding whether a graph satisfies the given equality is NP-hard in general.

In this paper we consider the complex uniformly resolvable decompositions of the complete graph $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph from a given set $\mathcal H$. We completely determine the spectrum for the cases $\mathcal{H} = \{K_2, P_3, K_3\}$, $\mathcal{H} = \{P_4, C_4\}$, and $\mathcal{H} = \{K_2, P_4, C_4\}$.

It is conjectured that the game domination number is at most $3n/5$ for every $n$-vertex graph which does not contain isolated vertices. It was proved in the recent years that the conjecture holds for several graph classes, including the class of forests and that of graphs with minimum degree at least two. Here we prove that the slightly bigger upper bound $5n/8$ is valid for every isolate-free graph.

We prove that for every graph $G$ on $n$ vertices and with minimum degree five, the domination number $γ(G)$ cannot exceed $n/3$. The proof combines an algorithmic approach and the discharging method. Using the same technique, we provide a shorter proof for the known upper bound $4n/11$ on the domination number of graphs of minimum degree four.

The Z-domination game is a variant of the domination game in which each newly selected vertex $u$ in the game must have a not yet dominated neighbor, but after the move all vertices from the closed neighborhood of $u$ are declared to be dominated. The Z-domination game is the fastest among the five natural domination games. The corresponding game Z-domination number of a graph $G$ is denoted by $γ_{Zg}(G)$. It is proved that the game domination number and the game total domination number of a graph can be expressed as the game Z-domination number of appropriate lexicographic products. Graphs with a Z-insensitive property are introduced and it is proved that if $G$ is Z-insensitive, then $γ_{Zg}(G)$ is equal to the game domination number of $G$. Weakly claw-free graphs are defined and proved to be Z-insensitive. As a consequence, $γ_{Zg}(P_n)$ is determined, thus sharpening an earlier related approximate result. It is proved that if $γ_{Zg}(G)$ is an even number, then $γ_{Zg}(G)$ is strictly smaller than the game L-domination number. On the other hand, families of graphs are constructed for which all five game domination numbers coincide. Graphs $G$ with $γ_{Zg}(G) = γ(G)$ are also considered and computational results which compare the studied invariants in the class of trees on at most $16$ vertices reported.

Let $γ_g(G)$ and $γ_{tg}(G)$ be the game domination number and the total game domination number of a graph $G$, respectively. Then $G$ is $γ_g$-perfect (resp. $γ_{tg}$-perfect), if every induced subgraph $F$ of $G$ satisfies $γ_g(F)=γ(F)$ (resp. $γ_{tg}(F)=γ_t(F)$). A recursive characterization of $γ_g$-perfect graphs is derived. The characterization yields a polynomial recognition algorithm for $γ_g$-perfect graphs. It is proved that every minimally $γ_g$-imperfect graph has domination number $2$. All minimally $γ_g$-imperfect triangle-free graphs are determined. It is also proved that $γ_{tg}$-perfect graphs are precisely $\overline{2P_3}$-free cographs.

The 2-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $ D \subseteq V(G) $ for which every vertex outside $ D $ is adjacent to at least two vertices in $ D $. Clearly, $ γ_2(G) $ cannot be smaller than the domination number $ γ(G) $. We consider a large class of graphs and characterize those members which satisfy $γ_2=γ$. For the general case, we prove that it is NP-hard to decide whether $γ_2=γ$ holds. We also give a necessary and sufficient condition for a graph to satisfy the equality hereditarily.

It is well known that if $G = (V, E)$} is a multigraph and $X\subset V$ is a subset of even order, then $G$ contains a spanning forest $H$ such that each vertex from $X$ has an odd degree in $H$ and all the other vertices have an even degree in $H$. This spanning forest may have isolated vertices. If this is not allowed in $H$, then the situation is much more complicated. In this paper, we study this problem and generalize the concepts of even-factors and odd-factors in a unified form.

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

For a finite set $X$, we say that a set $H\subseteq X$ crosses a partition ${\cal P}=(X_1,\dots,X_k)$ of $X$ if $H$ intersects $\min (|H|,k)$ partition classes. If $|H|\geq k$, this means that $H$ meets all classes $X_i$, whilst for $|H|\leq k$ the elements of the crossing set $H$ belong to mutually distinct classes. A set system ${\cal H}$ crosses ${\cal P}$, if so does some $H\in {\cal H}$. The minimum number of $r$-element subsets, such that every $k$-partition of an $n$-element set $X$ is crossed by at least one of them, is denoted by $f(n,k,r)$. The problem of determining these minimum values for $k=r$ was raised and studied by several authors, first by Sterboul in 1973 [Proc. Colloq. Math. Soc. J. Bolyai, Vol. 10, Keszthely 1973, North-Holland/American Elsevier, 1975, pp. 1387--1404]. The present authors determined asymptotically tight estimates on $f(n,k,k)$ for every fixed $k$ as $n\to \infty$ [Graphs Combin., 25 (2009), 807--816]. Here we consider the more general problem for two parameters $k$ and $r$, and establish lower and upper bounds for $f(n,k,r)$. For various combinations of the three values $n,k,r$ we obtain asymptotically tight estimates, and also point out close connections of the function $f(n,k,r)$ to Turán-type extremal problems on graphs and hypergraphs, or to balanced incomplete block designs.

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

In this paper we introduce and study the domination game on hypergraphs. This is played on a hypergraph $\mathcal{H}$ by two players, namely Dominator and Staller, who alternately select vertices such that each selected vertex enlarges the set of vertices dominated so far. The game is over if all vertices of $\mathcal{H}$ are dominated. Dominator aims to finish the game as soon as possible, while Staller aims to delay the end of the game. If each player plays optimally and Dominator starts, the length of the game is the invariant `game domination number' denoted by $γ_g(\mathcal{H})$. This definition is the generalization of the domination game played on graphs and it is a special case of the transversal game on hypergraphs. After some basic general results, we establish an asymptotically tight upper bound on the game domination number of $k$-uniform hypergraphs. In the remaining part of the paper we prove that $γ_g(\mathcal{H}) \le 5n/9$ if $\mathcal{H}$ is a 3-uniform hypergraph of order $n$ and does not contain isolated vertices. This also implies the following new result for graphs: If $G$ is an isolate-free graph on $n$ vertices and each of its edges is contained in a triangle, then $γ_g(G) \le 5n/9$.