Abstract
Domination game (Brešar et al. in SIAM J Discrete Math 24:979–991, 2010) and total domination game (Henning et al. in Graphs Comb 31:1453–1462 (2015) 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Domination game [7] and total domination game [16] have been investigated in depth by now; see the recent papers [2, 3, 8, 9, 13, 22, 26, 28, 30, 31] on the domination game, [15, 17, 18, 21] on the total domination game, as well as references therein.
In [4] the Grundy domination number of a graph G was introduced as the length of a longest sequence of vertices such that each vertex of the sequence dominates at least one new vertex. From our point of view, a vertex by vertex determination of such a sequence can be considered as the domination game for a single player (Staller). The Grundy total domination number was later studied in [5] which can again be considered as a one player total dominaton game. Moreover, motivated by zero forcing sets, Z-Grundy domination number and L-Grundy domination number was investigated in [1]. In this paper we in turn introduce the corresponding Z-domination game, L-domination game, and for reasons to be clarified later, LL-domination game.
Each of the games, the domination game, the total domination game, and the Z-, L-, and LL-domination game, is played on an isolate-free graph G. (Actually, the domination game and the Z-domination game do not require the graph to be isolate-free, but here we will consider only this more restricted case. Nevertheless, to be on the safe side we will state this fact in statements of the results.) All these games can be uniformly described as follows. As usual, for a vertex v of a graph G, its open and closed neighborhoods are denoted by N(v) and N[v], respectively. Two players, traditionally named Dominator and Staller, alternately select a vertex from G. If Dominator is the first player to select a vertex in a domination game, we speak of a D-game. Otherwise (that is, if Staller begins the game), we have an S-game. In the ith move, the choice of a vertex \(v_i\) is legal if for the vertices \(v_1,\ldots ,v_{i-1}\) chosen so far, the following hold:
- (i)
\(N[v_i] {\setminus } \bigcup _{j=1}^{i-1}N[v_j]\not =\emptyset \), in the domination game;
- (ii)
\(N(v_i) {\setminus } \bigcup _{j=1}^{i-1}N(v_j)\not =\emptyset \), in the total domination game;
- (iii)
\(N(v_i) {\setminus } \bigcup _{j=1}^{i-1}N[v_j]\not =\emptyset \), in the Z-domination game;
- (iv)
\(N[v_i] {\setminus } \bigcup _{j=1}^{i-1}N(v_j)\not =\emptyset \) and \(v_i\ne v_j\) for all \(j <i\), in the L-domination game; and
- (v)
\(N[v_i] {\setminus } \bigcup _{j=1}^{i-1}N(v_j)\not =\emptyset \), in the LL-domination game.
Each of the games ends if there are no more legal moves available. Dominator wishes to finish the game as soon as possible, while Staller wishes to delay the end. If a D-game is played and both players play optimally, the length of the game, i.e., the total number of moves played during the game, is, respectively,
- (i)
the game domination number \(\gamma _{g}(G)\);
- (ii)
the game total domination number \(\gamma _{tg}(G)\);
- (iii)
the game Z-domination number \(\gamma _{Zg}(G)\);
- (iv)
the game L-domination number \(\gamma _{Lg}(G)\); and
- (v)
the game LL-domination number \(\gamma _{LLg}(G)\) of G.
For the S-game the lengths of the above games give analogous graph invariants \(\gamma _{g}'(G)\), \(\gamma _{tg}'(G)\), \(\gamma _{Zg}'(G)\), \(\gamma _{Lg}'(G)\), and \(\gamma _{LLg}'(G)\), respectively.
We proceed as follows. In the next section we prove that the Continuation Principle holds also for the Z-, L-, and LL-domination game. In addition we show that for any of these games the corresponding values of the invariants for the D-game and the S-game differ by at most one. While the proofs of these results for the Z- and LL-domination game are standard (in particular, the difference by at most one follows easily from the corresponding Continuation Principle), the proofs for the L-domination game are more subtle because of the extra condition that the vertices played in the game must be pairwise different. In Sect. 3 we investigate the hierarchy of the five domination games and prove that \(\gamma _{g}(G)\) and \(\gamma _{tg}(G)\) are upper bounds for \(\gamma _{Zg}(G)\) and lower bounds for \(\gamma _{Lg}(G)\), which is on the other hand a lower bound for \(\gamma _{LLg}(G)\). In Sect. 4 we bound \(\gamma _{Zg}(G)\), \(\gamma _{Lg}(G)\) and \(\gamma _{LLg}(G)\) and show that \(\gamma _{LLg}(G) \le n(G)+1\), where n(G) stands for the order of the graph G. We also characterize graphs with \(\gamma _{LLg}(G)=n(G)+1.\) Then, in Sect. 5, we consider the path \(P_n\) on n vertices and determine the values of \(\gamma _{Zg}(P_n)\), \(\gamma _{Lg}(P_n)\) and \(\gamma _{LLg}(P_n)\) up to an additive constant error term. We conclude the paper with several open problems. In particular, we pose a conjecture that \(\gamma _{Lg}(G) \le \frac{6}{7}n(G)\) holds for any isolate-free graph G.
1 Continuation principles and applications
One of the key tools for the domination game is the Continuation Principle proved in [25]. The corresponding result for the total domination game was established in [16]. Here we prove that the analogous statements, which express the monotonicity of the invariants, are true for the other three domination games.
For the formulation of the theorem, consider a graph G and a subset A of vertices which are considered to be pre-dominated or pre-totally-dominated. With G|A we denote such a pre-dominated graph, meaning that when a game is played on G|A, the vertices from A need not be dominated but they are allowed to be played (provided they are legal moves). More formally, in a Z- or LL-domination game on G|A the choice of a vertex \(v_i\) is legal if for the vertices \(v_1,\ldots ,v_{i-1}\) chosen so far \(N(v_i) {\setminus } (A\cup \bigcup _{j=1}^{i-1}N[v_j])\not =\emptyset \) or \(N[v_i] {\setminus } (A \cup \bigcup _{j=1}^{i-1}N(v_j))\not =\emptyset \) holds, respectively. The condition for the L-domination game on G|A is the same as for the LL-domination game with the additional requirement that no vertex can be selected twice. We use \(\gamma _{Zg}(G|A)\), \(\gamma _{Lg}(G|A)\), and \(\gamma _{LLg}(G|A)\) to denote the number of moves in the Z-, L-, and LL-domination game respectively, under optimal play in a D-game on G|A. For an S-game the analogous invariants are denoted \(\gamma _{Zg}'(G|A)\), \(\gamma _{Lg}'(G|A)\), and \(\gamma _{LLg}'(G|A)\), respectively.
In the following proofs we will use a standard tool called the imagination strategy that was introduced in the context of the domination game in [7].
Theorem 2.1
(Continuation Principle) If G is a graph without isolated vertices and \(B\subseteq A \subseteq V(G)\), then
- (i)
\(\gamma _{Zg}(G|A) \le \gamma _{Zg}(G|B)\) and \(\gamma _{Zg}'(G|A) \le \gamma _{Zg}'(G|B)\);
- (ii)
\(\gamma _{LLg}(G|A) \le \gamma _{LLg}(G|B)\) and \(\gamma _{LLg}'(G|A) \le \gamma _{LLg}'(G|B)\); and
- (iii)
\(\gamma _{Lg}(G|A) \le \gamma _{Lg}(G|B)\) and \(\gamma _{Lg}'(G|A) \le \gamma _{Lg}'(G|B)\).
Proof
In each proof we consider two games: Game A is the real game played on G|A, while Game B is a game on G|B imagined by Dominator. Staller plays optimally in Game A, and Dominator playes optimally in Game B. We denote by \(a_i\) and \(b_i\) the vertex played in the ith move of Game A and Game B respectively. If Staller plays \(a_i\) in Game A, Dominator copies it into Game B, that is, \(b_i=a_i\) (we will prove that it is always legal). Then, Dominator responds optimally in Game B by playing \(b_{i+1}\). If \(b_{i+1}\) is a legal move in Game A, Dominator plays the same vertex there i.e., \(a_{i+1}=b_{i+1}\). In the other case, \(a_{i+1}\) will be defined to be a legal move in Game A (if there exists such a move). We will prove that the length \(\ell _A\) of Game A is not greater than the length \(\ell _B\) of Game B.
(i) Consider a real and an imagined Z-domination game as described above. We prove that
holds for every k. Since \(B \subseteq A\) is assumed, the analogous relation is valid before the first move (\(k=0\)). For the inductive step, suppose that (1) is true for \(k=i-1\). If Staller plays \(a_i\) in Game A, it is a legal move and hence \(N(a_i) {\setminus } (A\cup \bigcup _{j=1}^{i-1}N[a_j])\not =\emptyset \). Since (1) holds for \(k=i-1\), we obtain \(N(a_i) {\setminus } (B\cup \bigcup _{j=1}^{i-1}N[b_j])\not =\emptyset \), that is, \(a_i\) is a legal move in Game B. We define \(b_i=a_i\) and infer that (1) remains valid with \(k=i\). In the other case, the ith move is taken by Dominator. He picks a vertex \(b_i\) in Game B. If \(b_i\) is a legal move in Game A, he sets \(a_i=b_i\) and (1) remains valid for \(k=i\). Otherwise, if \(b_i\) is not legal in Game A, we have \(N(b_i) \subseteq (A\cup \bigcup _{j=1}^{i-1}N[a_j])\) and distinguish two subcases. If \(b_i \notin (A\cup \bigcup _{j=1}^{i-1}N[a_j])\), then \(a_i\) can be any vertex from \(N(b_i)\), and (1) remains valid. If \(b_i \in (A\cup \bigcup _{j=1}^{i-1}N[a_j])\), we have \(B\cup \bigcup _{j=1}^{i}N[b_j] \subseteq A\cup \bigcup _{j=1}^{i-1}N[a_j]\). Consequently, \(a_i\) can be any legal move in Game A, (1) remains valid for \(k=i\).
This proves that (1) holds after each move. Then, Game A cannot be longer than Game B, that is, \(\ell _A \le \ell _B\). Since Staller played optimally on G|A and Dominator played optimally on G|B, we may conclude that \(\gamma _{Zg}(G|A)\le \ell _A \le \ell _B \le \gamma _{Zg}(G|B)\). Our proof equally holds for the D-game and the S-game. Thus \(\gamma _{Zg}'(G|A)\le \ell _A \le \ell _B \le \gamma _{Zg}'(G|B)\) also follows.
(ii) Now, consider a real and an imagined LL-domination game on G|A and G|B respectively. Here, we prove
for every k. The argumentation is very similar to that of part (i). The assumption \(B\subseteq A\) gives the base for the inductive proof. If Staller playes \(a_i\) in Game A and (2) holds with \(k=i-1\), then \(N[a_i] {\setminus } (B\cup \bigcup _{j=1}^{i-1}N(b_j))\supseteq N[a_i] {\setminus } (A\cup \bigcup _{j=1}^{i-1}N(a_j)) \not = \emptyset \). Therefore \(b_i=a_i\) is a legal move in Game B and, after this choice, (2) is valid for \(k=i\). Now, suppose that Dominator plays the ith move \(b_i\) in Game B. If \(b_i\) is a legal move in Game A, we set \(a_i=b_i\) and (2) clearly holds with \(k=i\). If \(b_i\) is not a legal move in the real game, \(N[b_i] \subseteq A\cup \bigcup _{j=1}^{i-1}N(a_j)\). Then, already the set \(A\cup \bigcup _{j=1}^{i-1}N(a_j)\) is a superset of \(B\cup \bigcup _{j=1}^{i}N(b_j)\) and for any legal move \(a_i\), the relation (2) will be valid for \(k=i\). Since Game A finishes when \(A\cup \bigcup _{j=1}^{k}N(a_j) =V(G)\), the conclusion is \(\ell _A\le \ell _B\) and the required inequalities follow as in the proof of (i).
(iii) In an L-domination game, no vertex can be played more than once. Hence, we define the following sets \(F_k^A\) and \(F_k^B\) containing those vertices which cannot be played after the kth move in the real and in the imagined L-domination game, respectively:
Observe that for any two sets S, \(S'\) of vertices, \(S' \subseteq S \) implies \(\{v \in V(G): N[v] \subseteq S'\} \subseteq \{v \in V(G): N[v] \subseteq S\}\). We will prove that both (2) and
hold for every \(k \ge 0\). Our condition \(B \subseteq A\) implies that (2) and (5) are valid for \(k=0\). For the inductive proof, assume that both (2) and (5) hold for \(k=i-1\). If Staller plays \(a_i\) in Game A, then \(N[a_i] {\setminus } (A\cup \bigcup _{j=1}^{i-1}N(a_j))\ne \emptyset \) and, by (2), \(N[a_i] {\setminus } (B\cup \bigcup _{j=1}^{i-1}N(b_j))\ne \emptyset \) also holds. Moreover, by (5), \(a_i\notin F_{i-1}^A\) implies \(a_i \notin F_{i-1}^B\). Then, \(b_i=a_i\) is a legal move in Game B. This definition ensures that (2) and (5) hold for \(k=i\). In the other case Dominator plays \(b_i\) as the ith move in Game B. If \(b_i\) is also a legal move in Game A, we set \(a_i=b_i\). Then both (2) and (5) hold with \(k=i\). Now, assume that \(b_i\) is not a legal move in the real game, that is, \(b_i \in F_{i-1}^A\). Then, at least one of the following statements is true:
- (a):
\(b_i=a_s\) for some \(s<i\);
- (b):
\(N[b_i] \subseteq A \cup \bigcup _{j=1}^{i-1}N(a_j)\).
In either case, we have \(N(b_i) \subseteq (A \cup \bigcup _{j=1}^{i-1}N(a_j))\) and hence,
The latter relation and \(b_i \in F_{i-1}^A\) also imply \(F_i^B \subseteq F_{i-1}^A\). Then, \(a_i\) can be chosen as any legal move in Game A, (2) and (5) will be valid with \(k=i\).
We have just proved that (2) can be maintained for the real and imagined games. This implies, as in the previous parts of the proof, that \(\ell _A \le \ell _B\) and the two inequalities stated in (iii) follow. \(\square \)
Next we prove that for the Z-, L- and LL-domination games, the lengths of the D-game and S-game cannot differ by more than 1, if the players play optimally. The analogous statements for domination and total domination game were proved in [7, 16, 25].
Theorem 2.2
If G is a graph without isolated vertices, then
- (i)
\(|\gamma _{Zg}(G)-\gamma _{Zg}'(G)| \le 1\);
- (ii)
\(|\gamma _{LLg}(G)-\gamma _{LLg}'(G)| \le 1\); and
- (iii)
\(|\gamma _{Lg}(G)-\gamma _{Lg}'(G)| \le 1\).
Proof
For the Z- and LL-domination games, the statements easily follow from Theorem 2.1 (i) and (ii). First, consider a Z-domination game on G where Staller starts by playing one of her optimal first moves, say \(a_1\). If the game is not finished yet, from the second move we may interpret it as a D-game on \(G|N[a_1]\) and therefore, by Theorem 2.1 (i), we have
Similarly, if Dominator starts the game on G and \(b_1\) is one of his optimal first moves,
follows. These establish part (i).
The proof is very similar for the LL-domination game, so we omit it. The main difference is that here \(G|N(a_1)\) and \(G|N(b_1)\) are considered instead of \(G|N[a_1]\) and \(G|N[b_1]\).
To prove (iii), we cannot use Theorem 2.1 (iii) directly, but we can use the imagination strategy. First, assume that Staller starts the L-domination game on G by playing \(a_1\) which is an optimal first move. This will be the real game, Game A, where Staller plays optimally. The imagined game (i.e., Game B) will be an L-domination game on G where Dominator starts by playing \(b_1\) and he plays optimally throughout. Hence, the move \(a_1\) is not copied into Game B. On the other hand, for every odd i with \(i\ge 3\), the move \(a_i\) will be copied into Game B by setting \(b_{i-1}=a_i\). Dominator chooses his moves to be optimal in Game B, and for every positive odd i, his move \(b_i\) is copied into Game A as \(a_{i+1}=b_i\), if it is legal in the real game; otherwise we show that \(a_{i+1}\) can be any legal move in Game A. Our main goal is to prove that
holds for all \(k\ge 1\). We also define the set of forbidden vertices \(F_k^A\) and \(F_k^B\) after the kth move, similarly as they were given in (3) and (4), respectively, that is,
We are going to prove that
holds for every \(k\ge 1\).
Relations (6) and (7) clearly hold for \(k=1\), since in this case the left-hand side sets are empty sets. For the inductive step, we suppose and (6) and (7) are true for \(k=i-1\ge 0\). If i is odd, \(a_i\) is chosen optimally by Staller in Game A. Since it is a legal move, \(a_i \notin F_{i-1}^A\), and the inductive hypothesis on (7) implies \(a_i \notin F_{i-2}^B\). Hence, \(b_{i-1}=a_i\) is a legal move in Game B and we may conclude that both (6) and (7) remain valid with \(k=i\). If i is even, \(b_{i-1}\) is chosen optimally by Dominator in Game B. If it is legal in Game A, we set \(a_i=b_{i-1}\) and then, (6) and (7) hold with \(k=i\). If \(b_{i-1}\) is not legal in Game A, that is, \(b_{i-1} \in F_{i-1}^A\), we have the following possibilities:
- (a):
\(b_{i-1}=a_s\) for some \(s<i\); or
- (b):
\(N[b_{i-1}] \subseteq \bigcup _{j=1}^{i-1}N(a_j)\).
In either case, we have \(N(b_{i-1}) \subseteq \bigcup _{j=1}^{i-1}N(a_j)\) that, together with (6), implies
By this relation, by the inductive hypothesis on (7), and since \(b_{i-1} \in F_{i-1}^A\), we conclude than \(F_{i-1}^B \subseteq F_{i-1}^A\). Consequently, choosing an arbitrary legal move \(a_{i}\) in Game A, (6) and (7) remain valid with \(k=i\). Therefore, we can maintain (6) and (7) during the games while letting Staller and Dominator play optimally in Game A and B respectively. For the lengths \(\ell _A\) and \(\ell _B\) of Game A and B, (6) implies \(\ell _A-1 \le \ell _B\). Finally, we get
To prove \(\gamma _{Lg}(G) \le \gamma _{Lg}'(G)+1\), we can use an analogous argumentation. Here the real game, namely Game A, is an L-domination game where Dominator starts with an optimal first move \(a_1\) and then, from the second turn, Staller plays optimally. Game B is the imagined L-domination game in which Dominator plays optimally. Moreover, this is an S-game which begins with copying here the move \(a_2\) from Game A as \(b_1\). The moves are defined by the rules used in the previous proof. More precisely, if i is even, Staller picks an optimal move \(a_i\) in Game A, and it can be proved that \(b_{i-1}=a_i\) is a legal move in Game B. If i is an odd number with \(i \ge 3\), Dominator plays an optimal vertex \(b_{i-1}\) in Game B and we define \(a_i=b_{i-1}\) in Game A, if it is legal; otherwise, we may define \(a_i\) to be an arbitrary but legal move in Game A. As it can be proved, again, (6) and (7) hold for every \(k\ge 1\). These imply \(\ell _A \le \ell _B+1\). Since Staller plays optimally in Game A and Dominator in Game B, we have
which completes the proof of the theorem. \(\square \)
2 Hierarchy of the games
In this section we show that the five domination games fulfill the following hierarchy.
Theorem 3.1
If G is a graph without isolated vertices, then
Proof
To prove \(\gamma _{Zg}(G)\le \gamma _{g}(G)\), consider a domination game on G and assume that Dominator plays optimally. Suppose further that in the ith move he selects a vertex \(v_i\) such that \(N[v_i] {\setminus } \bigcup _{j=1}^{i-1}N[v_j]=\{v_i\}\). If he chooses a neighbor \(u \in N(v_i)\) instead of \(v_i\), \(\bigcup _{j=1}^{i-1}N[v_j] \cup N[u] \supseteq \bigcup _{j=1}^{i}N[v_j]\) holds, and by the Continuation Principle for the domination game [25] this change does not lengthen the game. Hence, Dominator can choose a strategy in the domination game which is optimal and also obeys the rule \(N(v_i) {\setminus } \bigcup _{j=1}^{i-1}N[v_j]\ne \emptyset \) of the Z-domination game in each of his turns. Therefore, it means real restriction only for Staller when Z-domination game is played instead of domination game on G. Thus, \(\gamma _{Zg}(G)\le \gamma _{g}(G)\).
The remaining inequalities will be proved by using the imagination strategy. Given an isolate-free graph G, we assume that Dominator and Staller play a real game on G, while Staller also imagines another game is played on it. Dominator plays optimally in the real game and Staller plays optimally in the imagined one. We denote by \(v_i\) and \(u_i\) the vertex played in the ith move of the real and the imagined game respectively, and prove that Staller can guarantee that the length \(\ell '\) of the imagined game is not greater than the length \(\ell \) of the real game.
We next prove that \(\gamma _{Zg}(G)\le \gamma _{tg}(G)\). Here the real game is a total domination game on G and the imagined one played by Staller is a Z-domination game on G. We will prove that
holds for every i. Since the Z-domination game ends when \(\bigcup _{j=1}^{i}N[u_j]=V(G)\) and the total domination game ends when \(\bigcup _{j=1}^{i}N(v_j)=V(G)\), the condition (8) will imply \(\ell ' \le \ell \).
In the first turn, Dominator plays \(v_1\) in the real game and Staller copies it into the imagined game (\(u_1=v_1\)). Clearly, (8) is valid for \(i=1\). Now, assume that (8) is true for \(i=k-1\). If k is even, Staller selects a vertex \(u_k\) in the Z-domination game. This move is also legal in the real game, because \(N(u_k) {\setminus } \bigcup _{j=1}^{k-1}N[u_j]\ne \emptyset \) and (8) together imply that \(N(u_k) {\setminus } \bigcup _{j=1}^{k-1}N(v_j)\ne \emptyset \). Then, Staller copies her move into the real game (\(v_k=u_k\)) and (8) will be valid for \(i=k\). In the other case k is odd and Dominator plays a vertex \(v_k\) in the total domination game. If \(u_k=v_k\) is a legal move in the imagined game, Staller just copies the move into the Z-domination game and (8) remains valid for \(i=k\). If \(v_k\) is not a legal choice in the Z-domination game, \(N(v_k) \subseteq \bigcup _{j=1}^{k-1}N[u_j]\) and hence, after any legal choice of \(u_k\), the relation (8) remains valid. Hence, \(\ell ' \le \ell \). Moreover, since Staller played optimally in the imagined Z-domination game and Dominator played optimally in the total domination game, we have \(\gamma _{Zg}(G) \le \ell ' \le \ell \le \gamma _{tg}\).
We proceed with the proof of \( \gamma _{g}(G) \le \gamma _{Lg}(G)\). Now, the real game is an L-domination game and the imagined one is a domination game on G. We prove that (8) holds for all i. In the first turn, Dominator’s move \(v_1\) is copied into the imagined game and (8) clearly holds for \(i=1\). Suppose that (8) is valid for \(i=k-1 \ge 1\). Under this assumption, if k is even, every legal (and optimal) move \(u_k\) of Staller in the imagined game is legal in the real game as well. Setting \(v_k=u_k\), (8) will be valid with \(i=k\). If k is odd, any optimal move \(v_k\) of Dominator in the real game is either valid in the imagined game and \(u_k=v_k\) maintains the relation (8), or \(N[v_k] \subseteq \bigcup _{j=1}^{k-1}N[u_j]\) holds. In the latter case, from our assumption \(\bigcup _{j=1}^{k-1}N[u_j] \supseteq \bigcup _{j=1}^{k}N(v_j)\) follows, that any legal move \(u_k\) in the imagined game ensures that (8) is valid for \(i=k\). Thus, the imagined game finishes no later than the real one and we have \(\gamma _{g}(G) \le \ell ' \le \ell \le \gamma _{Lg}(G)\).
Next we prove \(\gamma _{tg}(G) \le \gamma _{Lg}(G)\). To prove this inequality, the real game is an L-domination game and the imagined one is a total domination game on G. As we will see, Staller may ensure that
holds for every i. Setting \(u_1=v_1\), (9) will be valid for \(i=1\). Then, assume that (9) is valid for \(i=k-1\). If k is even, any legal move \(u_k\) taken in the total domination game is also legal in the L-domination game, and (9) remains valid for \(i=k\), if \(u_k\) is copied into the real game. The situation is similar if k is odd and \(v_k\) is a legal move in the imagined game. The only remaining case is when Dominator chooses a vertex \(v_k\) in the L-domination game such that \(N(v_k)\subseteq \bigcup _{j=1}^{k-1}N(u_j)\). Then, again, any legal move \(u_k\) in the total domination game ensures that (9) is valid for \(i=k\). These prove \(\gamma _{tg}(G) \le \ell ' \le \ell \le \gamma _{Lg}(G)\).
It remains to prove that \(\gamma _{Lg}(G)\le \gamma _{LLg}(G)\). Let the real game be the LL-domination game and let the imagined one be the L-domination game. Staller plays by applying an optimal strategy in the L-domination game and meantime, she ensures that (9) is valid after each turn. Assuming that (9) holds with \(i=k-1\), any move \(u_k\) of Staller may be copied into the real game and (9) remains valid. If k is odd and the move \(v_k\) of Dominator is not legal in the L-domination game, we have either \( \bigcup _{j=1}^{k-1}N(u_j)\supseteq N[v_k]\) or \(v_k=u_j\) for a \(j<k\). In both cases, our assumption implies \( \bigcup _{j=1}^{k-1}N(u_j)\supseteq \bigcup _{j=1}^{k}N(v_j)\). Therefore, any legal choice of \(u_k\) maintains relation (9). At the end, we obtain \(\gamma _{Lg}(G) \le \ell ' \le \ell \le \gamma _{LLg}(G)\). \(\square \)
Theorem 3.1 together with fact (established in [16]) that \(\gamma _{g}\) and \(\gamma _{tg}\) are incomparable, can be briefly presented with the Hasse diagram representing the partial ordering between \(\gamma _{Zg}\), \(\gamma _{g}\), \(\gamma _{tg}\), \(\gamma _{Lg}\), and \(\gamma _{LLg}\) as shown in Fig. 1.
The five game domination invariants from Theorem 3.1 can be pairwise different as we have demonstrated with a computer search over the class of trees. The smallest such trees are presented in Fig. 2.
The top-left tree on 11 vertices in Fig. 2 has the following values:
The remaining trees are the smallest trees (each of them having 14 vertices) with the same separability property, except that \(\gamma _{g}\) and \(\gamma _{tg}\) are reversed. More precisely, for these seven trees we have
Note that all five inequalities in Theorem 3.1 are sharp. For example, for the five-cycle, \(\gamma _{Zg}(C_5)= \gamma _{g}(C_5)= \gamma _{tg}(C_5) = \gamma _{Lg}(C_5) =3\) (but \(\gamma _{LLg}(C_5)=5\)). Another example, say \(F_n\), can be obtained from the complete graph \(K_n\) by attaching n leaves to each vertex of \(K_n\). Assume that \(n \ge 2\). Clearly, \(\gamma _t(F_n)=n\). First consider the Z-domination game and the total domination game on \(F_n\) and assume that Dominator plays a vertex \(v_1\in V(K_n)\) in the first turn. Then, in the Z-domination game, we have \(N(u){\setminus } N[v_1]=\emptyset \) for every leaf u. Hence, all the played vertices are from \(V(K_n)\) and \(\gamma _{Zg}(F_n)=n\). In the total domination game, if Dominator plays \(v_1\) as his first move, Staller may respond by playing a leaf adjacent to \(v_1\). But once at least two non-leaf vertices have been played in the total domination game, no leaves can be chosen in the later turns. Hence, Staller can ensure that at least one leaf is played, and Dominator has a strategy to ensure that at most one leaf is played. This implies \(\gamma _{tg}(F_n)=n+1\). In the domination game, L- and LL-domination games, Staller always may play a leaf while there is at least one non-selected vertex of higher degree. Hence, \(\gamma _{g}(F_n) \ge 2n-1\). On the other hand, \(2\gamma _t(F_n)-1=2n-1 \ge \gamma _{LLg}(F_n)\) (see Proposition 4.1 below) implies \(\gamma _{g}(F_n)= \gamma _{Lg}(F_n)= \gamma _{LLg}(F_n)=2n-1\).
3 Bounds on \(\gamma _{Zg}\), \(\gamma _{Lg}\), and \(\gamma _{LLg}\)
In this section we bound \(\gamma _{Zg}(G)\), \(\gamma _{Lg}(G)\), and \(\gamma _{LLg}(G)\). In the main result we prove that \(\gamma _{LLg}(G)\le n(G)+1\) and characterize the equality case. In this way we round off Theorem 3.1.
To state the results we need to recall some standard terminology. We say that a vertex of a graph totally dominates its neighbors and dominates itself and its neighbors. If S is a subset of vertices of a graph G, then S(totally) dominatesG if each vertex of G is (totally) dominated by some vertex from S. The size of a smallest set that (totally) dominates G is called (total) domination number of G. These invariants are denoted by \(\gamma (G)\) (resp. \(\gamma _t(G)\)).
The bounds \(\gamma (G)\le \gamma _{g}(G)\le 2\gamma (G)-1\) and \(\gamma _t(G)\le \gamma _{tg}(G)\le 2\gamma _t(G)-1\) were proved in [7, 16], respectively. For the three domination games introduced in this paper the following related bounds hold.
Proposition 4.1
If G is a graph without isolated vertices, then
- (i)
\(\gamma (G)\le \gamma _{Zg}(G)\le 2\gamma (G)-1\);
- (ii)
\(\gamma _t(G)\le \gamma _{Lg}(G)\le 2\gamma _t(G)-1\); and
- (iii)
\(\gamma _t(G)+1\le \gamma _{LLg}(G)\le 2\gamma _t(G)-1\).
Proof
A Z-domination game ends when the set \(\{v_1,\ldots , v_i\}\) of the chosen vertices becomes a dominating set of G. Indeed, otherwise we have a vertex u outside of \(\bigcup _{j=1}^{i}N[v_j]\) and the choice of a neighbor of u is a legal move. Hence, \(\gamma (G)\le \gamma _{Zg}(G)\). The upper bound follows from Theorem 3.1 and the above mentioned inequality \(\gamma _{g}(G)\le 2\gamma (G)-1\). This proves (i).
The L-domination game and the LL-domination game on G ends when \(\bigcup _{j=1}^{i}N(v_j)=V(G)\), moreover Dominator may fix a total dominating set \(D'\) and in each move he plays a vertex \(w\in D'\) for which \(N(w){\setminus } \bigcup _{j=1}^{i}N(v_j)\ne \emptyset \) (while such a vertex exists). This implies the upper bounds in (ii) and (iii). The lower bound in (ii) is a direct consequence of Theorem 3.1 and the inequality \(\gamma _t(G) \le \gamma _{tg}(G)\). Concerning the lower bound in (iii), we note that \(2 \le \gamma _t (G) \le \gamma _{LLg}(G)\) holds for every graph G. Moreover, in the second move of an LL-domination game Staller may repeat the first move of Dominator. In this way she can ensure that \(\gamma _{LLg}(G) \ge \gamma _t(G) + 1\). \(\square \)
In the rest of this section we prove an upper bound on \(\gamma _{LLg}(G)\), for which we need the following two results.
Proposition 4.2
If G is a graph without isolated vertices and Staller plays an LL-domination game according to an optimal strategy, then Dominator makes the last move of the game. In particular, \(\gamma _{LLg}(G)\) is odd and \(\gamma _{LLg}'(G)\) is even. In particular, \(\gamma _{LLg}(G)\ne \gamma _{LLg}'(G)\).
Proof
Suppose \(u\in V(G)\) is the last move in an LL-domination game on G with Staller playing optimally. Then there exists \(v\in N[u]{\setminus } \cup _{i=1}^m N(u_i)\) with \(u_1, \ldots , u_m\) being the vertices picked earlier in the game. We infer that \(v\ne u\) because otherwise u could be selected again, so the game would not be over yet. Hence Staller was not the player who has selected u, because she could play v instead of u and prolong the game for at least one more move. \(\square \)
One can strengthen Proposition 4.2 using the Continuation Principle.
Proposition 4.3
If G is a graph without isolated vertices and an LL-domination game is played on G, then there exists an optimal strategy of Staller such that the last move in every component is made by Dominator.
Proof
Suppose Staller, according to an optimal strategy \(\mathcal {S}\), plays the last move u of a component C during an LL-domination game on a graph G with previous moves \(u_1,\ldots , u_m\). Then there exists \(v\in N[u]{\setminus } \cup _{i=1}^mN(u_i)\). If \(v=u\), then u is still a legal move, so Staller does not finish the game on C. If \(v\ne u\), then Staller could have played v instead of u. After her move, v would still be a legal move, while if u is played, no vertex in C is legal. So by Theorem 2.1(ii), the latter strategy is at least as good as \(\mathcal {S}\). \(\square \)
All is now ready for the main result of this section.
Theorem 4.4
If G is a graph without isolated vertices, then \(\gamma _{LLg}(G)\le n(G)+1\). Moreover, equality holds if and only if all components of G are \(K_2\)s.
Proof
First we prove the theorem for connected graphs. We start with a simple claim.
Claim 1
If the minimum degree in G is at least 2, then in any LL-domination game on G at least one vertex will not be picked at all.
Proof of Claim 1
Suppose on the contrary that all the vertices were picked during the game. Let v be the last vertex to be picked. Since the minimum degree in G is at least 2, at the time when v is picked, all the vertices are totally dominated by the previously selected vertices. Thus v is not a legal move, which is a contradiction. \(\square \)
Suppose the vertices picked by the players are \(u_1,\ldots , u_m\). Let \(d_m\) denote the number of repetitions, i.e., \(|\{j\le m: \exists i<j, u_i=u_j\}|\). Furthermore, let \(b_m\) denote the number of isolated vertices in \(G[u_1,\ldots ,u_m]\).
Claim 2
If Dominator starts the game, then he has a strategy that for any m we have \(d_{2m+1}+b_{2m+1}\le 1\) and if Staller starts the game, then he can manage to maintain \(d_{2m}+b_{2m}=0\).
Proof of Claim 2
We proceed by induction on m. If Staller starts by picking \(u_1\), then Dominator picks a neighbor \(u_2\) of \(u_1\) and thus \(d_2=0, b_2=0\). If Dominator starts, then he can pick \(u_1\) arbitrarily. If Staller picks \(u_2=u_1\), then Dominator picks \(u_3\in N(u_1)\) and obtains \(d_3=1,b_3=0\). If Staller picks \(u_2\ne u_1\), then Dominator picks \(u_3\in N(u_1)\cup N(u_2){\setminus } \{u_1,u_2\}\) (as G is connected, if no such vertex exists, then there is no legal move for Dominator) and obtains \(d_3=0,b_3\le 1\).
For the inductive step in the S-game: first of all, as \(b_{2m}=0\), Staller cannot pick a previously played vertex. If Staller picks a vertex \(u_{2m+1}\notin \cup _{j=1}^{2m}N(u_j)\), then Dominator picks any neighbor \(u_{2m+2}\) of \(u_{2m+1}\). If \(u_{2m+1}\in \cup _{j=1}^{2m}N(u_j)\), then Dominator picks any legal vertex \(u_{2m} \in \cup _{j=1}^{2m+1}N(u_j)\). Note that as G is connected, if no legal vertex exists, then the game is over. In both cases, Dominator maintained \(d_{2m+2}=b_{2m+2}=0\).
For the inductive step in the D-game: first of all, Staller can pick a previously played vertex only if \(b_{2m+1}=1\) and thus \(d_{2m+1}=0\) and Staller can only repeat the isolated vertex of \(G[u_1,\ldots ,u_{2m+1}]\). So if \(u_{2m+2}\) is a repeated vertex, then Dominator can pick any neighbor \(u_{2m+3}\) of \(u_{2m+2}\) obtaining \(d_{2m+3}=1,b_{2m+3}=0\). If \(b_{2m+1}=0\), then Dominator proceeds as in the Staller-start-game. \(\square \)
Clearly, Claim 2 proves \(\gamma _{LLg}(G)\le n+1\) and \(\gamma _{LLg}'(G)\le n\) for any connected graph G on n vertices. Also, Claim 1 yields \(\gamma _{LLg}(G)\le n\) for any connected graph G with minimum degree at least two. Suppose G contains a vertex v of degree one. Then Dominator modifies his strategy as follows: he first picks a neighbor \(u_1\) of v. Then depending on Staller’s move \(u_2\), he responds as follows:
If \(u_2=u_1\), then he picks \(u_3\in N(u_1){\setminus } \{v\}\) (note that \(u_3\) exists if G is not \(K_2\)). This ensures that v cannot be picked during the game. At this point, we have \(d_3=1,b_3=0\) and Dominator is able to follow his strategy above to guarantee \(\gamma _{LLg}(G)\le n\).
If \(u_2\in N(u_1)\), then \(d_2=b_2=0\) and the above strategy of Dominator guarantees \(\gamma _{LLg}(G)\le n\).
Finally, if \(u_2\notin N(u_1)\), then Dominator picks \(u_3\in N(u_1){\setminus } \{v\}\) to ensure that v cannot be picked during the game. At this point, we have \(d_3=0,b_3=1\) and Dominator is able to follow his strategy above to guarantee \(\gamma _{LLg}(G)\le n\).
This concludes the proof if G is connected.
For the general case let G be an isolate-free graph on n vertices with at least one component \(C_1\) consisting of at least 3 edges. We can assume that Staller follows a strategy as in Proposition 4.3, so in each component, Dominator makes the last move. Then Dominator starts by picking a vertex \(u_1\in C_1\) according his strategy above for \(C_1\). By the assumption on Staller’s strategy, Dominator can always play a vertex from the component of Staller’s last move and therefore partition the game into games on the components in such a way that all components’ games are Staller-start-games apart from the one on \(C_1\). So \(\gamma _{LLg}(G)\le \gamma _{LLg}(C_1)+\sum _{i=2}^k\gamma _{LLg}'(C_i)\le n\), where \(C_2,\ldots , C_k\) are the other components of G. \(\square \)
Combining Theorem 4.4 and Proposition 4.1(iii) with Theorem 3.1 we have:
Corollary 4.5
If G is a graph without isolated vertices, then
4 The games played on paths
In this section we examine the values of the five games on one of the simplest graphs, the path graphs. The result for the domination game was first proved in the unpublished manuscript [24], an alternative proof appeared several years later in [27]. It reads as follows:
Theorem 5.1
Dorbec and Henning [12] obtained the corresponding result for the total domination game.
Theorem 5.2
[12] If \(n\ge 2\), then
Hence \(\gamma _{g}(P_n)\) roughly equals n / 2, while \(\gamma _{tg}(P_n)\) is roughly 2n / 3. In the following we will prove similar results for the other three games, where we will consider only approximate values since obtaining the exact ones could double the length of proofs with tedious case analysis. The asymptotics of the parameters for all of the five games is presented in Fig. 3.
For the rest of the section we assume that \(V(P_n) = \{0, 1,\ldots , n-1\}\), where the vertices appear in the natural order, that is, i and j are connected by an edge if and only if \(|i-j|=1\).
Theorem 5.3
For every positive integer n there exists a constant \(c_n\) such that \(\gamma _{Zg}(P_n) = \frac{n}{2} + c_n\) holds with \(|c_n|\le 2\).
Proof
The upper bound is obtained by Theorems 3.1 and 5.1, i.e., \(\gamma _{Zg}(P_n)\le \gamma _{g}(P_n) \le \frac{n}{2} + \frac{1}{2}\).
To obtain a lower bound we will consider a strategy for Staller. Suppose the ith move is Staller’s move and let vertex k be the smallest vertex not in \(\bigcup _{j=1}^{i-1}N[v_j]\). Then the vertex \(k-1\) is a legal move with \(|\bigcup _{j=1}^{i}N[v_j]| - |\bigcup _{j=1}^{i-1}N[v_j]| = 1\), unless \(k=0\). In the latter case, vertex 1 is a legal move only needed at most once at Staller’s first move. On the other hand, at each move Dominator can dominate at most three new vertices. Hence, besides possibly the first move, Staller has a strategy to achieve that in every two moves at most four new vertices are dominated. This implies a lower bound \(\gamma _{Zg}(P_n)\ge 2+\frac{n-6}{2}-1=\frac{n}{2}-2\). \(\square \)
Theorem 5.4
For every positive integer n there exists a constant \(c_n\) such that \(\gamma _{Lg}(P_n) = \frac{2n}{3} + c_n\) holds with \(|c_n|\le 1\).
Proof
The lower bound is obtained by Theorems 3.1 and 5.2, i.e., \(\gamma _{Lg}(P_n)\ge \gamma _{tg}(P_n) \ge \frac{2n}{3} -1\).
To obtain an upper bound we will provide a strategy for Dominator. For every i we define three values:
Let \(p_i= | \bigcup _{j=1}^{i}N(v_j)|\).
Consider graphs \(G^1\) and \(G^2\) whose vertices are \(\{0, 2,\ldots , 2 \lfloor \frac{n}{2}\rfloor \}\) and \(\{1, 3,\ldots , 2 \lceil \frac{n}{2}\rceil - 1\}\) and are both isomorphic to paths with the increasing order of vertices. Let \(G_i^1\) and \(G_i^2\) denote the induced subgraphs of \(G^1\) and \(G^2\) on the vertices in \(\bigcup _{j=1}^{i}N(v_j)\). Then let \(d_i\) be the total number of connected components in \(G_i^1\) and \(G_i^2\). The empty graph has one connected component.
Let \(f_i\) denote the number of vertices v after the ith move such that v was not chosen before and is not in \(\bigcup _{j=1}^{i}N(v_j)\) but N(v) is a subset of \(\bigcup _{j=1}^{i}N(v_j)\).
The strategy of Dominator is the following: say that after the ith move vertex k is the smallest vertex not in \(\bigcup _{j=1}^{i}N(v_j)\). Then Dominator chooses \(v_{i+1}\) to be \(k+1\) and thus totally dominates k and maybe also \(k+2\). We claim that with such a move it holds \(\Delta := (p_{i+1} - d_{i+1} -f_{i+1})-(p_i - d_i -f_i) \ge 2\). Notice that \(d_{i+1} - d_i\le 0\) by the choice of the move, unless \(i+1=3\), \(v_3=1\) and \(v_2\) is an odd ineger picked by Staller. First assume that \(p_{i+1} - p_{i} = 2\). Observe that \(f_{i+1}-f_{i}\) could be positive only because of the vertices \(k-1\) or \(k+3\), if they were not chosen before, but after this move their open neighborhoods are totally dominated. But k is the smallest vertex not totally dominated, thus \(k-1\) cannot increase \(f_i\). But if the open neighborhood of \(k+3\) is totally dominated after the \((i+1)\)st move, then \(k+4\) was totally dominated after the ith move, implying that \(d_{i+1}-d_{i}= -1\). Thus in this case \(\Delta = 2\). If \(f_{i+1}-f_{i}\) is not positive, then clearly \(\Delta \ge 2\). Now assume that \(p_{i+1} - p_{i} = 1\). This implies that \(k+3\) was chosen before and that \(d_{i+1}-d_{i}= -1\). Hence \(k+3\) cannot increase \(f_i\), while \(k-1\) cannot do it by the same reasoning as before. Thus in this case \(\Delta \ge 2\).
In the final part of the proof we show that on the Staller’s move \(\Delta \ge 1\). First case is if Staller plays a move when it does not increase \(p_i\). Then \(d_i\) remains the same, while \(f_i\) decreases by one giving \(\Delta = 1\). If Staller plays a move when \(p_{i+1} - p_{i} = 1\), it is easy to see that then either \(d_{i+1}-d_{i}=f_{i+1}-f_{i}=0\) or \(d_{i+1}-d_{i} = -1\) and \(f_{i+1}-f_{i} \le 1\) giving \(\Delta \ge 1\). Finally if \(p_{i+1} - p_{i} = 2\), then only one connected component can be created, but in this case \(f_{i+1}-f_{i}=0\). On the other hand, \(f_{i+1}-f_{i}=2\) implies \(d_{i+1}-d_{i}=-1\), thus also in this case \(\Delta \ge 1\).
We have proved that with this strategy of Dominator for every i we have \((p_{i+2} - d_{i+2} -f_{i+2})-(p_i - d_i -f_i) \ge 3\) unless \(i+2\) is 3 or 4 and even then \((p_{i+2} - d_{i+2} -f_{i+2})-(p_i - d_i -f_i) \ge 2\). Hence \(p_{m} - d_{m} -f_{m} +2 \ge \frac{3m}{2}-1\), where m is the final length of the game. But \(p_m = n\), \(d_m = 2\), and \(f_m =0\), thus \(m \le \frac{2n}{3}+1\). \(\square \)
In the proof of the following theorem we will consider also predominated graphs. If G is a graph and v a vertex of G, then we say that v is predominated for the LL-domination game if the move \(v_i\), for which \(N[v_i] {\setminus } \bigcup _{j=1}^{i-1}N(v_j) = \{v\}\), is forbidden.
Theorem 5.5
It holds \(\gamma _{LLg}(P_n) = \frac{4n}{5} + c_n\) for some small bounded constants \(c_n\).
Proof
As above let \(p_i= | \bigcup _{j=1}^{i}N(v_j)|\). First we present a strategy for Staller showing a lower bound for \(\gamma _{LLg}(P_n)\). The strategy is the following: if Staller can play a move for which \(p_i\) does not increase, then this move is played. Otherwise, if vertex k is the smallest vertex not totally dominated, then Staller chooses \(k-1\) (or \(k+1\) if \(k=0\) and thus \(i=2\)). We prove that if \(i\ge 4\) and the ith move is played by Staller, the \(p_{i+3}-p_{i-1}\le 5\), i.e., the value of \(p_i\) increases by at most 5 within four consecutive moves. Notice that by the choice of the Staller’s moves, each Staller’s move can increase \(p_i\) by at most 1. Also, by the definition of the game, \(p_i\) can increase by at most 2 on Dominator’s turn. Hence we must prove that in four moves it cannot happen that Dominator increases \(p_i\) twice by 2 and Staller twice by 1.
Assume that Staller played \(v_i\) with \(p_i-p_{i-1}=1\) and Dominator picked \(v_{i+1}=k\) with \(p_{i+1}-p_i=2\). Note that this implies \(k-v_i\ge 3\) and \(v_j\ne k,k-2,k+2\) for all \(j<i\). We claim that Staller can at the \((i+2)\)nd move repeat the vertex k. Assume that this is not the case, i.e., vertex k is already totally dominated, i.e., for some \(j<i\) we have \(v_j=k-1\) or \(k+1\). But then could have selected \(k-1\) or \(k+1\) for the ith move without increasing \(p_i\), contrary to the assumption. Thus vertex k is not totally dominated at the \((i+2)\)nd move. Thus if m is the total number of moves during the play, then \(n\le p_m\le 7+\frac{5}{4}(m-4)\) showing \(\gamma _{LLg}(P_n)\ge \frac{4n}{5} -2\).
To prove the upper bound we will consider a Staller start LL-domination game on two predominated graphs. Let \(P_n^1\) be the predominated graph \(P_n\) with vertices 0 and \(n-1\) predominated. Similarly let \(P_n^2\) be the predominated graph \(P_n\) with vertices 0, 2, 4, and \(n-1\) predominated. We will prove that:
and that
We prove the above statements by induction on n for \(n\ge 3\) in the case of \(P_n^1\), and for \(n\ge 5\) in the case of \(P_n^2\). We have calculated the exact numbers of \(\gamma _{LLg}'(P_n^1)\) and \(\gamma _{LLg}'(P_n^2)\) up to \(n=24\) and the above values are exact.
Consider \(P_n^1\) with n reasonably big (say \(n>24\)), and assume that the inductive assumption holds for \(P_m^1,P_m^2\), with \(m<n\). We consider various first moves of Staller.
Staller chooses \(v_1=1\) or \(v_1=2\): then Dominator can choose \(v_2=2\) in the first case and \(v_1=1\) in the second. The game on the obtained predominated graph with predominated vertices 0, 1, 2, 3, and \(n-1\) is equivalent to the game on \(P_{n-3}^1\). It holds \(\gamma _{LLg}'(P_n^1) \le \gamma _{LLg}'(P_{n-3}^1) + 2\) which is at most \(\theta (P_n^1)\) in all the cases of \(n \text { (mod 5)}\).
Staller chooses \(v_1=n-2\) or \(v_1=n-3\): symmetric as above.
Staller chooses \(v_1=0\): then Dominator can choose \(v_2=4\). The game on the obtained predominated graph with predominated vertices 0, 1, 3, 5, and \(n-1\) is equivalent to the game on \(P_{n-1}^2\). It holds \(\gamma _{LLg}'(P_n^1) \le \gamma _{LLg}'(P_{n-1}^2) + 2\) which is exactly \(\theta (P_n^1)\) in all the cases of \(n \text { (mod 5)}\).
Staller chooses \(v_1=n-1\): symmetric as above.
Staller chooses \(2<v_1<n-3\): If Dominator chooses either \(v_2=v_1-1\) or \(v_2=v_1+1\), then the obtained predominated graph has predominated vertices either \(0,v_1-2, v_1-1, v_1, v_1+1, n-1\) or \(0,v_1-1, v_1, v_1+1, v_1+2, n-1\). In particular, Dominator can consider the same strategy as playing on two disjoint graphs: \(P_{v_1}^1\) and \(P_{n-(v_1+2)}^1\) in the first case, or \(P_{v_1-1}^1\) or \(P_{n-(v_1+1)}^1\) in the second. We have:
$$\begin{aligned} \gamma _{LLg}'(P_n^1)\le & {} \min \left\{ \theta (P_{v_1}^1) + \theta (P_{n-(v_1+2)}^1) + 2, \theta (P_{v_1-1}^1) + \theta (P_{n-(v_1+1)}^1) + 2\right\} \\\le & {} \theta (P_n^1). \end{aligned}$$In fact the last inequality holds since \(\theta (P_n^1) < \theta (P_{v_1}^1) + \theta (P_{n-(v_1+2)}^1) + 2\) only if \(v_1 = 0 \text { (mod 5)}\) and \(n-(v_1+2) = 0 \text { (mod 5)}\) as it can be checked by an easy examination. In that case the second entry of the minimum is smaller.
Now consider \(P_n^2\) with n reasonably big (say \(n>24\)) and again assume that the inductive assumption holds for \(P_m^1,P_m^2\), with \(m<n\). Similarly as above we consider various first moves of Staller:
Staller chooses \(v_1=1\) or \(v_1=3\): then Dominator can select \(v_2=2\). The game on the obtained predominated graph with predominated vertices 0, 1, 2, 3, 4 and \(n-1\) is equivalent to the game on \(P_{n-4}^1\). It holds \(\gamma _{LLg}'(P_n^2) \le \gamma _{LLg}'(P_{n-4}^1) + 2\) which is exactly \(\theta (P_n^1)\) in all the cases of \(n \text { (mod 5)}\).
Staller chooses \(v_1=0\), \(v_1=2\), or \(v_1=4\): then Dominator can choose \(v_2=4\) in the first two cases, and \(v_1=2\) in the third. The game on the obtained predominated graph with predominated vertices 0, 1, 2, 3, 4, 5 and \(n-1\) is equivalent to the game on \(P_{n-5}^1\). It holds \(\gamma _{LLg}'(P_n^2) \le \gamma _{LLg}'(P_{n-5}^1) + 2\) which is at most \(\theta (P_n^1)\) in all the cases of \(n \text { (mod 5)}\).
Staller chooses \(v_1=n-2\) or \(v_1=n-3\): then Dominator can choose \(v_2=n-3\) in the first case, and \(v_2=n-2\) in the second. The game on the obtained predominated graph with predominated vertices \(0, 2, 4, n-4, n-3, n-2\) and \(n-1\) is equivalent to the game on \(P_{n-3}^2\). It holds \(\gamma _{LLg}'(P_n^2) \le \gamma _{LLg}'(P_{n-3}^2) + 2\), which is at most \(\theta (P_n^2)\) in all the cases of \(n \text { (mod 5)}\).
Staller chooses \(v_1=n-1\): then Dominator can choose \(v_2=2\). The game on the obtained predominated graph with predominated vertices \(0, 1, 2,3,4, n-2\) and \(n-1\) is equivalent to the game on \(P_{n-5}^1\). It holds \(\gamma _{LLg}'(P_n^2) \le \gamma _{LLg}'(P_{n-5}^1) + 2\), which is at most \(\theta (P_n^2)\) in all the cases of \(n \text { (mod 5)}\).
Staller chooses \(4< v_1 < n-3\): Then if Dominator chooses either \(v_2=v_1+1\) or \(v_2=v_1-1\), the obtained predominated graph has predominated vertices either \(0, 2, 4, v_1-1, v_1, v_1+1, v_1+2, n-1\), or \(0, 2, 4, v_1-2, v_1-1, v_1, v_1+1, n-1\) (if \(v_1\) is 5 then consider only the first case, and notice that in cases \(v_1\) is 5, 6 or 7 some vertices are written twice). Dominator can consider the same strategy as playing on two disjoint graphs: \(P_{v_1}^2\) and \(P_{n-(v_1+2)}^1\) in the first case or \(P_{v_1-1}^2\) or \(P_{n-(v_1+1)^1}\) in the second. We have:
$$\begin{aligned} \gamma _{LLg}'(P_n^2)\le & {} \min \{\theta (P_{v_1}^2) + \theta (P_{n-(v_1+2)}^1) + 2, \theta (P_{v_1-1}^2) + \theta (P_{n-(v_1+1)}^1) + 2\} \\\le & {} \theta (P_n^2). \end{aligned}$$In fact, the last inequality holds since \(\theta (P_n^2) < \theta (P_{v_1}^2) + \theta (P_{n-(v_1+2)}^1) + 2\) only if \(v_1 = 4 \text { (mod 5)}\) and \(n-(v_1+2) = 0 \text { (mod 5)}\) as it can be checked by an easy examination. In that case the second entry of the minimum is smaller.
This proves the assertion for \(P_n^1\) and \(P_n^2\).
Now we prove that \(\gamma _{LLg}(P_n)\le \frac{4n}{5} + c_n^2\) by defining a strategy for Dominator. Let \(v_1,\ldots ,v_i\) be a sequence of moves. If \(v_1,\ldots ,v_i\) is also a legal sequence on \(P_n^1\), then Dominator selects the same vertex as he would if the game was played on \(P_n^1\). If the game is finished after i moves on \(P_n^1\), then Dominator can play an arbitrary move. If \(v_{i}\) is an illegal move on \(P_n^1\), then Dominator can play an arbitrary move. If \(v_1,\ldots ,v_i\) has some illegal moves (besides the last one) for the game on \(P_n^1\), say \(v_j\), then Dominator proceeds as if the sequence \(v_1,\ldots ,v_i\) is in fact \(v_1,\ldots , v_{j-1}, v_{j+2},\ldots ,v_i\). Since only two vertices in \(P_n^1\) are predominated, the above procedure ensures that there are at most four moves more needed than on \(P_n^1\). \(\square \)
5 Problems, conjectures, and related extremal examples
We first demonstrate that the hierarchy of Theorem 3.1 collapses for some graphs. For this sake recall that the Cartesian product \(G\,\square \,H\) of graphs G and H has the vertex set \(V(G)\times V(H)\), vertices (g, h) and \((g',h')\) being adjacent if either \(gg'\in E(G)\) and \(h=h'\), or \(g=g'\) and \(hh'\in E(H)\).
Proposition 6.1
If G is a connected graph with \(n(G)\ge 2\) and \(k\ge 2n(G)\), then
Proof
Set \(H = G\,\square \,K_{1,k}\). Note that \(\gamma (H) = \gamma _t(H) = n(G)\). Combining Theorem 3.1 and Proposition 4.1(iii) we get
Hence it remains to prove that \(\gamma _{Zg}(H) \ge 2n(G) - 1\). The strategy of Staller is the following. Note that after the ith move of Dominator, \(i < n(G)\), he dominates at most i subgraphs of H induced by the set \(V_u = \{(u,h):\ h\in V(K_{1,k})\}\), where \(u\in V(G)\). These subgraphs are isomorphic to \(K_{1,k}\) and are called fibers. Staller in each move follows Dominator in one of the fibers induced by \(V_u\) in which Dominator has already played and for which there exists a neighbor v of u in G such that Dominator did not yet play vertices from \(V_v\). Clearly, Staller can select a vertex from \(V_u\) which has a neighbor in \(V_v\) that has not been dominated in the previous moves. (Here we use the fact that \(k\ge 2n(G)\).) Therefore the move of Staller is legal in the Z-domination game and hence the Z-domination game will last at least \(2n(G) - 1\) moves. \(\square \)
In view of Proposition 6.1 we pose:
Problem 6.2
Characterize graphs G without isolated vertices for which \(\gamma _{Zg}(G) = \gamma _{LLg}(G)\) holds.
Moreover we also pose:
Conjecture 6.3
If T is a tree with \(n(T)\ge 2\), then \(\gamma _{Zg}(G) < \gamma _{LLg}(G)\) holds.
We have verified by computer that Conjecture 6.3 holds true for all trees on up to and including 18 vertices.
Recall from the end of Sect. 3 that \(\gamma _{Zg}(C_5) = \gamma _{Lg}(C_5)\) which implies that the other two sandwiched game domination parameters are also equal to \(\gamma _{Zg}(C_5)\). This leads to:
Problem 6.4
Characterize graphs G without isolated vertices for which \(\gamma _{Zg}(G) = \gamma _{Lg}(G)\) holds.
Related to the examples presented in Sect. 3 we also pose:
Problem 6.5
Is it true that \(\gamma _{LLg}(G) \le 2\gamma _{Zg}(G) +1\) holds for an arbitrary graph G without isolated vertices?
Note that from Proposition 4.1 we easily get that \(\gamma _{LLg}(G) \le 4\gamma _{Zg}(G) - 1\). Note also that if the answer to Problem 6.5 is affirmative, then the bound is best possible as demonstrated by any graph that contains a universal vertex.
With respect to Sect. 4 it would be interesting to systematically consider sharpness of the proved bounds and to characterize the graphs attaining the bounds.
If G is an isolate-free graph such that not all of its components are \(K_2\), then by Theorem 4.4 we have \(\gamma _{LLg}(G)\le n(G)\). So it would be interesting to characterize the graphs that attain the equality. Instead, we propose the following special case which still seems very demanding.
Problem 6.6
Characterize the trees T with \(\gamma _{LLg}(T) = n(T)\).
The 3 / 5-conjecture for the domination game [25] and the 3 / 4-conjecture for the total domination game [17] are among the main sources of interest for the games, cf. [6, 8,9,10,11, 14, 19, 20, 23, 29], respectively. An analogous question can be posed for the L-domination game hence we pose:
Conjecture 6.7
If G is a graph without isolated vertices, then \(\gamma _{Lg}(G) \le \frac{6}{7}n(G)\).
The conjecture has been verified by computer for all trees up to 18 vertices. It turned out that among them there are only two trees that attain the equality. These two trees belong to an infinite family of graphs G for which \(\gamma _{Lg}(G) = \frac{6}{7}n(G)\) holds which is defined as follows. Let \(Y = S(K_{1,3})\), that is, Y is the graph obtained from \(K_{1,3}\) by subdividing each of its edges exactly once. If G is an arbitrary graph, then let \(G^Y\) be the graph obtained from G by identifying each vertex of G with the central vertex of a private copy of Y. In particular, the two trees that were found by computer among the trees up to 18 vertices are \(K_1^Y\) and \(K_2^Y\).
Proposition 6.8
If G is a graph, then \(\gamma _{Lg}(G^Y) = \frac{6}{7}n(G^Y)\).
Proof
Let G be an arbitrary graph with the vertex set \(V(G)=\{u_1, \ldots , u_k\}\). To obtain \(G^Y\), we attach a copy \(Y^i\) of Y to every \(u_i\). The vertices of \(Y^i\) are denoted by \(v_1^i, \dots , v_7^i\) such that \(v_1^i=u_i\) is the central vertex, \(v_2^i\), \(v_3^i\), \(v_4^i\) are the support vertices, and \(v_5^i\), \(v_6^i\), \(v_7^i\) are the leaves in \(Y^i\). Clearly, \(|V(G^Y)|=7k\).
First, we prove that \(\gamma _{Lg}(G^Y) \le 6k\) and \(\gamma _{Lg}'(G^Y) \le 6k\). Consider the following strategy of Dominator.
If it is a D-game, Dominator plays his first move in an arbitrary \(Y^i\).
Whenever Staller plays a vertex in a \(Y^i\), Dominator replies with a move in the same \(Y^i\), if there is such a legal move. Otherwise, Dominator may play in any \(Y^j\) where a legal move can be made.
Inside any \(Y^i\), Dominator first plays the central vertex \(v_1^i\) (if it has not been played by Staller earlier). Dominator’s second move is a support vertex whose leaf neighbor has not been played yet. The third move may be any vertex.
By the first two rules, Dominator plays at least two of the first four moves in each \(Y^i\). Hence, he can achieve that the central vertex and a support vertex are played before the adjacent leaf would be selected. These ensure that at least one leaf of \(Y^i\) will not be played in the game. As a consequence, \(\gamma _{Lg}(G^Y) \le 6k\) and \(\gamma _{Lg}'(G^Y) \le 6k\).
To prove the other direction, we first note that every support vertex of \(G^Y\) must be played in the L-domination game. Hence, if Staller ensures that either all the three leaves or two leaves and the central vertex are played from every \(Y^i\), then at most one vertex remains unplayed from each copy and therefore, the length of the game is at least 6n. Consider the following strategy of Staller:
If it is an S-game, Staller plays her first move in an arbitrary \(Y^i\).
Whenever Dominator plays a vertex in a \(Y^i\), Staller replies in the same \(Y^i\), if it is possible. Otherwise, she may choose any \(Y^j\) where the game is not finished yet.
Inside any \(Y^i\), Staller plays leaves while it is possible. Otherwise, she can choose any legal move from \(Y^i\).
The first two rules ensure that Staller plays at least two of the first four moves in each \(Y^i\). Since playing an (unplayed) leaf is not legal only if its support vertex and also the central vertex have been played earlier, the third rule ensures that at least three of the four vertices from \(v_1^i\), \(v_5^i\), \(v_6^i\) and \(v_7^i\) are played in the L-domination game. Since, as already noted, each of the \(v_2^i\), \(v_3^i\), and \(v_4^i\) must be played, this proves that \(\gamma _{Lg}(G^Y) \ge 6k\) and \(\gamma _{Lg}'(G^Y) \ge 6k\) and finishes the proof of the proposition. \(\square \)
References
Brešar, B., Bujtás, C., Gologranc, T., Klavžar, S., Košmrlj, G., Patkós, B., Tuza, Zs., Vizer, M.: Grundy dominating sequences and zero forcing sets. Discrete Optim. 26, 66–77 (2017)
Brešar, B., Dorbec, P., Klavžar, S., Košmrlj, G.: How long can one bluff in the domination game? Discuss. Math. Graph Theory 37, 337–352 (2017)
Brešar, B., Dorbec, P., Klavžar, S., Košmrlj, G., Renault, G.: Complexity of the game domination problem. Theor. Comput. Sci. 648, 1–7 (2016)
Brešar, B., Gologranc, T., Milanič, M., Rall, D.F., Rizzi, R.: Dominating sequences in graphs. Discrete Math. 336, 22–36 (2014)
Brešar, B., Henning, M.A., Rall, D.F.: Total dominating sequences in graphs. Discrete Math. 339, 1665–1676 (2016)
Brešar, B., Klavžar, S., Košmrlj, G., Rall, D.F.: Domination game: extremal families of graphs for the \(3/5\)-conjectures. Discrete Appl. Math. 161, 1308–1316 (2013)
Brešar, B., Klavžar, S., Rall, D.F.: Domination game and an imagination strategy. SIAM J. Discrete Math. 24, 979–991 (2010)
Bujtás, Cs: Domination game on forests. Discrete Math. 338, 2220–2228 (2015)
Bujtás, C.: On the game domination number of graphs with given minimum degree. Electron. J. Comb. 22, 3.29 (2015)
Bujtás, C.: On the game total domination number. Graphs Comb. 34, 415–425 (2018)
Bujtás, C., Henning, M.A., Tuza, Zs.: Transversal game on hypergraphs and the \(\frac{3}{4}\)-conjecture on the total domination game. SIAM J. Discrete Math. 30, 1830–1847 (2016)
Dorbec, P., Henning, M.A.: Game total domination for cycles and paths. Discrete Appl. Math. 208, 7–18 (2016)
Dorbec, P., Košmrlj, G., Renault, G.: The domination game played on unions of graphs. Discrete Math. 338, 71–79 (2015)
Henning, M.A., Kinnersley, W.B.: Domination game: a proof of the \(3/5\)-conjecture for graphs with minimum degree at least two. SIAM J. Discrete Math. 30, 20–35 (2016)
Henning, M.A., Klavžar, S.: Infinite families of circular and Möbius ladders that are total domination game critical. Bull. Malays. Math. Sci. Soc. 41, 2141–2149 (2018)
Henning, M.A., Klavžar, S., Rall, D.F.: Total version of the domination game. Graphs Comb. 31, 1453–1462 (2015)
Henning, M.A., Klavžar, S., Rall, D.F.: The \(4/5\) upper bound on the game total domination number. Combinatorica 37, 223–251 (2017)
Henning, M.A., Klavžar, S., Rall, D.F.: Game total domination critical graphs. Discrete Appl. Math. 250, 28–37 (2018)
Henning, M.A., Löwenstein, C.: Domination game: extremal families for the \(3/5\)-conjecture for forests. Discuss. Math. Graph Theory 37, 369–381 (2017)
Henning, M.A., Rall, D.F.: Progress towards the total domination game \(\frac{3}{4}\)-conjecture. Discrete Math. 339, 2620–2627 (2016)
Henning, M.A., Rall, D.F.: Trees with equal total domination and game total domination numbers. Discrete Appl. Math. 226, 58–70 (2017)
James, T., Dorbec, P., Vijayakumar, A.: Further progress on the heredity of the game domination number. Lecture Notes in Comput. Sci. 10398, 435–444 (2017)
James, T., Klavžar, S., Vijayakumar, A.: The domination game on split graphs. Bull. Aust. Math. Soc. 99, 327–337 (2019)
Kinnersley, W.B., West, D.B., Zamani, R.: Game domination for grid-like graphs, manuscript (2012)
Kinnersley, W.B., West, D.B., Zamani, R.: Extremal problems for game domination number. SIAM J. Discrete Math. 27, 2090–2107 (2013)
Klavžar, S., Košmrlj, G., Schmidt, S.: On graphs with small game domination number. Appl. Anal. Discrete Math. 10, 30–45 (2016)
Košmrlj, G.: Domination game on paths and cycles. ARS Math. Contemp. 13, 125–136 (2017)
Nadjafi-Arani, M.J., Siggers, M., Soltani, H.: Characterisation of forests with trivial game domination numbers. J. Comb. Optim. 32, 800–811 (2016)
Schmidt, S.: The 3/5-conjecture for weakly \(S(K_{1,3})\)-free forests. Discrete Math. 339, 2767–2774 (2016)
Xu, K., Li, X.: On domination game stable graphs and domination game edge-critical graphs. Discrete Appl. Math. 250, 47–56 (2018)
Xu, K., Li, X., Klavžar, S.: On graphs with largest possible game domination number. Discrete Math. 341, 1768–1777 (2018)
Acknowledgements
Work supported by the Slovenian Research Agency (research core funding P1-0297, Projects J1-9109, N1-0095, N1-0108, J1-1693), by the National Research, Development and Innovation Office—NKFIH under the Grants SNN 129364, K 116769 and KH130371, by the János Bolyai Research Fellowship of the Hungarian Academy of Sciences and by the New National Excellence Program under the Grant Number ÚNKP-19-4-BME-287.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Brešar, B., Bujtás, C., Gologranc, T. et al. The variety of domination games. Aequat. Math. 93, 1085–1109 (2019). https://doi.org/10.1007/s00010-019-00661-w
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-019-00661-w