1. Introduction
A dominating set of a graph G is a set S of vertices of G such that every vertex in G is an element in S or is adjacent to an element in S. The domination number of G, denoted by , is the cardinality of a minimum dominating set of G. A set S is independent if no two vertices in S are adjacent. The independence number of a graph G, denoted by , is the cardinality of a maximum independent set of G. An independent dominating set of a graph G is a dominating set of G which is independent. The independent domination number of G, denoted by , is the cardinality of a minimum independent dominating set of G.
In 2010, Brešar, Klavžar, and Rall [
1] first introduced the domination game. The
domination game is played on a graph
G by two players, Dominator and Staller, who alternately choose a vertex of
G in such a way that at least one new vertex is dominated. The game ends when all vertices are dominated. Dominator aims to finish the game in as few turns as possible while Staller aims to finish the game in as many turns as possible. The
game domination number, denoted by
(respectively
), is the total number of turns when both players play optimally and when Dominator (respectively Staller) starts the game.
Also, they investigated the relationship between domination number and game domination numbers of a graph. They proved that
for any graph
G. In References [
1,
2], the authors showed that the two game domination numbers of a graph can differ by at most one. The domination game is being studied extensively since it was introduced. Kinnersley, West, and Zamani [
2] posted the
conjecture: for any isolate-free graph
G,
, and it has attracted several researches (See References [
3,
4,
5,
6,
7]). In addition, there are researchers studying the domination game numbers on several classes of graphs such as paths, cycles, forests, disjoint union of graphs, split graphs, etc. (See References [
4,
8,
9,
10,
11] for examples).
In 2015, a variation of the domination game called
total domination game was introduced by Henning, Klavžar, and Rall [
12]. In this version of the game, domination is replaced by total domination where a chosen vertex dominates its neighbors but not itself (See References [
13,
14,
15]). The concept of total domination naturally gives rise to a variety of domination games such as Z-domination game, L-domination game, and LL-domination game (See Reference [
16]). Many results in the domination game also hold for any of the above variations. For example, the difference between the number of moves in Dominator-start game and in Staller-start game is at most 1 for any of the above games.
In this paper, we are interested in studying the domination game such that the set of played vertices must be independent. In other words, a player can only play on an undominated vertex. Since an independent dominating set is a maximal independent set and vice versa, this independent version is the same as the competition-independence game which was introduced by Philips and Slater [
17] in 2001.
The competition-independence game is played on a graph by two players, Diminisher and Sweller. They take turns in constructing maximal independent set M, where Diminisher tries to minimize and Sweller tries to maximize . The competition-independence number, denoted by (respectively ), is the optimal size of the final independent set in the competition-independence game if Diminisher (respectively Sweller) starts the game. For the rest of the paper, we will use Dominator instead of Diminisher and Staller instead of Sweller.
Philips and Slater [
18] provided the competition-independence numbers of a path. Consequently, the competition-independence numbers of a cycle of
n vertices established since the first move in
produces
. In 2018, the competition-independence game in trees was studied by Goddard and Henning [
19]. They provided the maximum and minimum values of the competition-independence game for trees of maximum degree 3.
In this paper, we check whether some well-known results in the domination game hold for the competition-independence game. We compare the competition-independence numbers to the game domination numbers. Also, we give some classes of graphs in which many parameters are equal. Finally, we establish a realization result of the competition-independence numbers.
2. Relationship between the Competition-Independence Numbers and Other Parameters
A fundamental tool for analyzing the original domination game is the Continuation Principle, which is proved in Reference [
2]. We start this section by showing that the Continuation Principle for the domination game does not hold for the competition-independence game. Next, we compare the competition-independence numbers to the game domination numbers. Also, we provide a family of graphs such that many parameters are equal.
Theorem 1 ([
2] (Continuation Principle)).
Let G be a (partially dominated) graph and let A and B be subsets of . Let and be partially dominated graphs in which the sets A and B have already been dominated, respectively. If , then and . This result is very intuitive and natural. The more coverage the chosen vertices have, the fewer vertices are needed to be chosen to dominate the remaining undominated vertices. This result also holds for total domination game, Z-domination game, L-domination game, and LL-domination game [
16]. However, it does not hold for the competition-independence game as the restriction of independence sometimes prevents players from making good moves. We present two simple counterexamples here.
Example 2. Consider the complete bipartite graph with vertex set and edge set . If and , then and .
Example 3. Let G be the graph obtained from the complete bipartite graph with partite sets and by deleting a perfect matching. If and , then and .
Now, we compute the competition-independence numbers of complete multipartite graphs and complete bipartite graphs minus perfect matchings. These families of graphs will appear as examples throughout this paper.
Lemma 4. Let be positive integers. Then, and .
Proof. Let be the partite sets of with for . If a player starts the game by playing a vertex in for some , then both players must alternately choose vertices in the set so the game will end in moves. Hence, and . □
Lemma 5. Let G be the graph obtained from by deleting a perfect matching where . Then, and .
Proof. Let and be the partite sets of the , where and are not adjacent in G for .
We first show that . Without loss of generality, assume that Dominator starts the game by playing vertex . Then, each vertex in is dominated. Staller plays another vertex in A. Now all vertices in B are dominated. Then, Dominator and Staller must alternately play all vertices in A. Consequently, .
We next show that . Without loss of generality, Staller starts the game by playing vertex . Then, Dominator finishes the game by playing . Hence, . □
The following four theorems show that the difference between the competition-independence numbers and the game domination numbers of a graph can be arbitrarily large.
Theorem 6. For a nonnegative integer n, there is a graph G such that .
Proof. Consider , where . By Lemma 4, . Note that . Thus, . □
Theorem 7. For a positive integer n, there is a graph G such that .
Proof. Let
u be a vertex and
be a path. Define a graph
G by
and
. See
Figure 1 for example.
We first show that . To show that , we present a strategy for Dominator. Dominator starts the game by playing the vertex u first. Since for all , Staller and Dominator cannot play any vertex for all . Thus, after the game ends, for each j, exactly one of or is played. Therefore, vertices are played and so .
To show that , we present a strategy for Staller.
Case 1: Dominator starts the game by playing the vertex u.
Then, Staller plays , and thus by similar arguments as above, after the game ends, vertices are played. Therefore, the number of moves in this case is at least .
Case 2: Dominator starts the game by playing the vertex or for some .
Then, Staller plays the vertex u, and thus by similar arguments as above, after the game ends, vertices are played. Therefore, the number of moves in this case is at least .
Case 3: Dominator starts the game by playing the vertex for some .
Without loss of generality, we may assume that . Then, Staller plays his first move on vertex . Consider the set . Notice that each is not dominated. In order to dominate X, an additional vertices are played. Thus, after the game ends, at least vertices are played.
From the above cases, . Hence, .
We next show that . To show that , we present a strategy for Staller.
Case 1: Dominator starts the game by playing the vertex u.
In each turn of Staller, he plays a vertex which dominates only one more undominated vertex. Since the vertex is dominated for all , it follows that in each turn of Dominator, he can dominate at most two more undominted vertices. Consequently, in each round of the game played by Staller and then Dominator, there are at most three new dominated vertices. Since after the first move of Dominator at u there are undominated vertices, it follows that the number of moves in this case is at least .
Case 2: Dominator starts the game by playing a vertex v where .
Then, v dominates at most four vertices including v itself. Staller plays his first move on the vertex u, and after that, he plays to dominate one new undominated vertex at a time. Thus, for each , is dominated. After that, for each round of the game, Dominator can dominate at most two more undominated vertices. Consequently, in each round of the game played by Dominator and then Staller, there are at most three new dominated vertices. After u and v are played, there are at least undominated vertices. Note that Therefore, the number of moves in this case is at least .
From the above cases, .
To show that , we present a strategy for Dominator. Dominator starts the game by playing the vertex u. For each turn of Dominator, he plays a vertex to dominate two new leftmost vertices if possible. Note that if Dominator cannot dominate two new vertices in his turn, that is he can dominate only one new vertex, then it means that Staller played a vertex to dominate two new vertices earlier. Therefore, on average, a move by Staller and a move by Dominator dominates at least three new vertices. Thus, . Consequently, .
Therefore, , as required. □
Theorem 8. For a nonnegative integer n, there is a graph G such that .
Proof. Consider . By Lemma 4, . Note that . Thus, . □
Theorem 9. For a positive integer n, there is a graph G such that .
Proof. Let be a path and be a complete graph with .
Define a graph
G by
and
. See
Figure 2 for example.
We first show that . To show that , we present a strategy for Dominator.
Case 1: Staller starts the game by playing the vertex for some .
Without loss of generality, we may assume that . Dominator responds by playing the vertex . At this point, and all ’s () are dominated. After that, in each move of Dominator, he plays the leftmost vertex that can dominate two new vertices if possible. Note that, if Dominator cannot dominate two new vertices in his turn, that is he can dominate only one new vertex, then it means that Staller played a vertex to dominate two new vertices earlier. Therefore, excluding the first two moves, on average, a move by Staller and a move by Dominator dominate at least three new vertices. After Dominator plays , there are undominated vertices. Notice that . Hence, the number of moves in this case is at most .
Case 2: Staller starts the game by playing the vertex or for some .
Without loss of generality, we may assume that Staller starts the game by playing the vertex for some . Dominator responds by playing the vertex and so each vertex is dominated for and that each vertex is dominated for . By similar arguments as in case 1, after Dominator plays , there are undominated vertices and so the number of moves in this case is at most .
Case 3: Staller starts the game by playing the vertex for some .
Without loss of generality, we may assume that . Dominator responds by playing the vertex and so each vertex is dominated for . By similar arguments as in case 1, after Dominator plays , there are at most undominated vertices. Note that . Hence, the number of moves in this case is at most .
From the above cases, .
To show that , we present a strategy for Staller. Staller starts the game by playing the vertex . Then, each vertex is dominated for and is also dominated.
Case 1: Dominator responds by playing the vertex .
In each round of Staller’s turn, he plays the leftmost vertex that can dominate one new vertex. Note that, in each Dominator’s turn, he can dominate at most two new vertices. Therefore, excluding the first two moves, on average, a move by Staller and a move by Dominator dominate at most three new vertices. After Dominator plays , there are undominated vertices. Notice that . Therefore, the number of moves in this case is at least .
Case 2: Dominator responds by playing the vertex w where .
Then, Staller plays the vertex in his next turn, and after that, he will play the leftmost vertex that can dominate one new vertex. Note that, in each Dominator’s turn, he can dominate at most two new vertices. Therefore, excluding the first three moves, on average, a move by Dominator and a move by Staller dominate at most three new vertices. After Staller plays , there are at least undominated vertices. Notice that . Hence, the number of moves in this case is at least .
From the above cases, . Consequently, .
We next show that . To show that , we present a strategy for Dominator.
Case 1: Staller starts the game by playing a vertex for some .
Dominator responds by playing the vertex . After that, Staller and Dominator cannot play any vertex or for all . For the remainder of the game, Staller and Dominator can only play either or for some . After the game ends, for each j, exactly one of or is played for . Therefore, vertices are played and so the number of moves in this case is at most .
Case 2: Staller starts the game by playing a vertex for some .
Dominator responses by playing the vertex . By similar arguments as in case 1, we have that vertices are played and so the number of moves in this case is at most .
Case 3: Staller starts the game by playing either or for some .
Dominator responds by playing the vertex if Staller played ; otherwise, he plays . By similar arguments as in case 1, we have that vertices are played. Therefore, the number of moves in this case is at most .
From the above cases, .
To show that , we present a strategy for Staller. Staller starts the game by playing the vertex .
Case 1: Dominator responds by playing the vertex .
Then, the vertices and are dominated for . Thus, after the game ends, for each , exactly one of or is played. Therefore, vertices are played. Consequently, the number of moves in this case is at least .
Case 2: Dominator responds by playing the vertex or for some .
Without loss of generality, we may assume that Dominator responds by playing the vertex for some . Then, Staller plays his next turn at the vertex . At this point, the vertices and are dominated for , and and are also dominated. Thus, after the game ends, for each , exactly one of or is played. Hence, vertices are played. Consequently, the number of moves in this case is at least .
Case 3: Dominator responds by playing the vertex for some .
Then, each vertex is dominated for . Note that, after Dominator plays , there are at least undominated vertices. In each of Staller’s turns, he plays to dominate at most two new undominated vertices. Notice that, in each turn of Dominator, he can dominate at most three new undominated vertices. Therefore, the number of moves is at least . If , then the number of moves is at least . For , it can be checked that the number of moves is at least 5.
From the above cases, . Consequently, .
Therefore, . □
By the definitions, and . We show that the difference between the competition-independence numbers and independent domination numbers can be arbitrarily large.
Theorem 10. For a nonnegative integer n, there is a graph G such that .
Proof. Let G be the graph obtained from by deleting a perfect matching. By Lemma 5, we have . Note that . Thus . □
Theorem 11. For a nonnegative integer n, there is a graph G such that .
Proof. Consider . Note that and . Thus . □
Theorem 12. For a nonnegative integer n, there is a graph G such that .
Proof. Consider . Note that and . Thus . □
Theorem 13. For a nonnegative integer n, there is a graph G such that .
Proof. Let G be the graph obtained from by deleting a perfect matching. Note that and . Thus, . □
Next, we show a family of graphs such that many parameters are equal.
The corona product of graphs G and H, denoted by , is a graph obtained by taking one copy of G and copies of H and by joining each vertex of the ith copy of H to the ith vertices of G, where .
Theorem 14. There exists a graph G such that .
Proof. Let G be a graph . Note that . □