Next Article in Journal
Nonparametric Estimation of Dynamic Value-at-Risk: Multifunctional GARCH Model Case
Previous Article in Journal
Kernel Ridge-Type Shrinkage Estimators in Partially Linear Regression Models with Correlated Errors
Previous Article in Special Issue
Special Generation of Random Graphs and Statistical Study of Some of Their Invariants
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Proper 3-Dominating Sets in Graphs

College of Sciences, Shanghai Institute of Technology, Shanghai 201418, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(12), 1960; https://doi.org/10.3390/math13121960
Submission received: 18 May 2025 / Revised: 10 June 2025 / Accepted: 11 June 2025 / Published: 13 June 2025
(This article belongs to the Special Issue Graph Theory and Applications, 2nd Edition)

Abstract

A dominating set is a classic concept that is widely used in road safety, disaster rescue operations, and chemical graphs. In this paper, we introduce a variation of the dominating set: the proper 3-dominating set. For a proper 3-dominating set D of graph G , any vertex outside D is adjacent to at least three vertices inside D, and there exists one vertex outside D that is adjacent to three vertices inside D. For graph G , the proper 3-domination number is the minimum cardinality among all proper 3-dominating sets of G . We find that a graph with minimum degree at least 3 or one for which there exists a subgraph with some characteristic always contains a proper 3-dominating set. Further, we find that when certain conditions are met, some graph products, such as the joint product, strong product, lexicographic product, and corona product of two graphs, have a proper 3-dominating set. Moreover, we discover the bounds of the proper 3-domination number. For some special graphs, we get their proper 3-domination numbers.

1. Introduction

In general, we use the standard terminology and notation of graph theory (see [1]). In this paper, the graph is simple, connected, and undirected. Let G be a connected graph with vertex set V ( G ) and edge set E ( G ) . If there exists an edge x y E ( G ) in the graph G , then x is a neighbor of y . The notation N G ( x ) denotes the set of all neighbors of vertex x in G . Let N G [ x ] = N G ( x ) { x } . d G ( x ) is written as the degree of vertex x in G , abbreviated as d ( x ) . We have d ( x ) = | N G ( x ) | . The minimum degree of G is denoted by δ ( G ) . A star graph S n with n vertices is a tree where one vertex is called the central vertex, which has degree n 1 , and the other n 1 vertices have degree 1. The symbols P n , C n , and K n represent a path, a cycle, and a complete graph of n vertices, respectively. The notation K m , n represents a complete bipartite graph with m + n vertices.
If a graph G satisfies V ( G ) V ( G ) and E ( G ) E ( G ) , then the graph G is a subgraph of G . Suppose that Ø V V ( G ) . The induced subgraph G [ V ] of a graph G is formed by a subset V of the vertex set V ( G ) , and all the edges in G whose two end vertices are in V .
A subset D V ( G ) is said to be a dominating set of a graph G if every vertex outside D has at least one neighbor in D . For more details about the domination of graphs, see [2,3]. A subset S V ( G ) is called a p-dominating set if every vertex outside S has at least p neighbors in S , where p is any integer satisfying p 1 . If p = 1 , then the p-dominating set agrees with the classical dominating set. For p = 2 , the 2-dominating set was studied in [4,5,6,7,8]. The p-domination number γ p ( G ) is the minimum cardinality among all p-dominating sets of G . When p = 1 , γ 1 ( G ) is also written as γ ( G ) . For the graph G , a p-dominating set of minimum cardinality is denoted as a γ p ( G ) -set or a γ p -set of G . If vertex x V ( G ) D has at least p neighbors in the set D , then we say that vertex x is dominated by at least p vertices in D . If vertex x V ( G ) D has fewer than p neighbors in the set D , then we say that vertex x is not dominated by p vertices in D . By definition, for any positive integer h < p , we know that a p-dominating set is also an h-dominating set. Then, a 4-dominating set is also a 3-dominating set, and we have γ ( G ) γ 2 ( G ) γ 3 ( G ) γ 4 ( G ) . For some results on the p-domination number, see [9,10,11]. As a generalization of domination, Harary and Haynes [12] introduced the concept of k-tuple domination. For k-tuple domination, see [13,14]. When k = 2 , k-tuple domination is called double domination, which was studied in [15,16,17].
Dominating sets and their variants have extensive applications in the real world. The literature indicates that dominating sets and dominating parameters have applications in many fields, such as road safety, vehicular ad hoc communications, disaster rescue operations, and air/land/navy defense (see [18]). Moreover, dominating sets and their variants have been used in wireless networks [19] and chemical graphs [20]. From an algorithmic perspective, domination and its variants in graphs have been studied in [19,21,22].
We give an application problem for the p-domination number. A company needs to promote a new product. Suppose there are n potential customers for this new product. The company needs to select some salespeople from these n potential customers. None of these salespeople will buy the new product. We refer to the rest, excluding the salespeople, as target customers. If a salesperson knows a certain target customer, they will promote the product to the customer. We represent n potential customers as n vertices. If two potential customers know each other, then the vertices corresponding to the two potential customers are adjacent. This forms a graph G with n vertices. If each target customer is approached about the product by at least p salespeople, the company needs to know the minimum number of salespeople. That is, the company needs to know the p-domination number of the graph G .
Bednarz and Pirga [23] introduced the concept of proper 2-dominating sets. Similar to [23], a proper 3-dominating set is defined as follows:
Definition 1. 
A subset D V ( G ) is said to be a proper 3-dominating set if it is a 3-dominating set but not a 4-dominating set.
We use 3 ¯ -dset to denote a proper 3-dominating set. The proper 3-domination number γ 3 ¯ ( G ) is the minimum cardinality among all proper 3-dominating sets of G . For a graph G , a proper 3-dominating set of cardinality γ 3 ¯ ( G ) is called a γ 3 ¯ ( G ) -set or a γ 3 ¯ -set of G . D is a proper 3-dominating set if every vertex outside the set D has at least three neighbors in the set D and there exists a vertex outside the set D that has exactly three neighbors in the set D . In the 3-dominating set D , if there exists a vertex outside D that is dominated by three vertices in the set D , then this set D cannot be a 4-dominating set. Thus, the existence of such a vertex fundamentally distinguishes a 3-dominating set from a 4-dominating set. For the graph G, let U 1 = { u | d ( u ) = 1 and u V ( G ) } , U 2 = { u | d ( u ) = 2 and u V ( G ) } . For proper dominating sets related to secondary domination, see [24,25].
Referring to [23], we present an example of the application of 3 ¯ -dset. Suppose there are n places prone to natural disasters. In order to provide assistance to the residents in places affected by these disasters, rescue stations are to be established at m points (distinct from the n places). Suppose the residents in these n places can seek help from at least three rescue stations. In order to reduce costs by minimizing the number of rescue stations, where should the rescue stations be established? This problem is equivalent to finding a minimum 3-dominating set. Furthermore, if the minimum 3-dominating set is a minimum 3 ¯ -dset, then it determines the weakest places from which only three rescue stations can be reached.
Proposition 1 
(Lemma 1 [23]). Suppose k is an integer satisfying k 2 . In any connected graph, each vertex of degree h < k belongs to a ( h + i ) -dominating set, where i is any integer satisfying 1 i k .
According to Proposition 1, in any connected graph, each vertex of degree 1 and 2 belongs to a 3-dominating set. Next, this paper considers what properties of graphs have a proper 3-dominating set, as well as the proper 3-domination number of some special graphs.
For convenience, we give the list of symbols in Table 1.

2. Main Results

Lemma 1. 
Let G be a connected graph with n vertices, where n 4 . If there exists a vertex v in the graph G satisfying d ( v ) = 3 , then G has a 3 ¯ -dset.
Proof. 
Let D = V ( G ) { v } , then { v } = V ( G ) D . Since d ( v ) = 3 , then | N G ( v ) D | = 3 . So, D is a 3 ¯ -dset. □
Lemma 2. 
Let G be a connected graph with n vertices, where n 5 . If δ ( G ) 4 , then G has a 3 ¯ -dset.
Proof. 
Let δ ( G ) = δ . Let x be the vertex of minimum degree in the graph G, and d ( x ) = δ . Assume that N G ( x ) = { u 1 , u 2 , , u δ } . Let D = ( V ( G ) N G [ x ] ) { u 1 , u 2 , u 3 } . It can be seen that the vertices in D are u 1 , u 2 , u 3 , and all vertices in V ( G ) N G [ x ] . Then, V ( G ) D = { x } { u 4 , u 5 , , u δ } . For any vertex in V ( G ) D , we consider the number of its neighbors in D . Since | V ( G ) D | = | { x } { u 4 , u 5 , , u δ } | = δ 4 + 2 = δ 2 , then | N G ( u i ) ( V ( G ) D ) | = | N G ( u i ) ( { u 4 , u 5 , , u δ } { x } ) | δ 3 , where 4 i δ . That is, the vertex u i has no more than δ 3 neighbors outside D . Since d ( u i ) δ , we have | N G ( u i ) D | 3 , where 4 i δ . Furthermore, we have N G ( x ) D = { u 1 , u 2 , u 3 } . So, | N G ( x ) D | = 3 , and D is a 3 ¯ -dset. □
Corollary 1. 
Let G be a connected graph, and let V V ( G ) and G [ V ] be connected. For the graph G [ V ] , suppose x is a vertex of minimum degree. For any vertex y V ( G ) V , x is not adjacent to y . If δ ( G [ V ] ) 4 , then G has a 3 ¯ -dset.
Proof. 
We have δ ( G [ V ] ) = d ( x ) . Let d ( x ) = h . Assume that N G ( x ) = { u 1 , u 2 , , u h } . Let D = ( V ( G ) N G [ x ] ) { u 1 , u 2 , u 3 } . Then, V ( G ) D = { x } { u 4 , u 5 , , u h } . Similar to the proof of Lemma 2, we have | N G ( u i ) D | 3 , where 4 i h . Moreover, | N G ( x ) D | =   | { u 1 , u 2 , u 3 } |   = 3 . Then, D is a 3 ¯ -dset. □
Theorem 1. 
Let G be a connected graph with n vertices, where n 4 . If δ ( G ) 3 , then G has a 3 ¯ -dset.
Proof. 
If δ ( G ) = 3 , then there exists a vertex v in the graph G satisfying d ( v ) = 3 . Then, according to Lemma 1, G has a 3 ¯ -dset. If δ ( G ) 4 , according to Lemma 2, G has a 3 ¯ -dset. □
Referring to the definition of the joint product of two graphs G , H in [26], we give the following definition.
Definition 2. 
The joint product of two graphs G,H, denoted by G + H , is a graph with vertex set V ( G + H ) = V ( G ) V ( H ) and edge set E ( G + H ) = E ( G ) E ( H ) { u v | u V ( G ) and v V ( H ) } .
For definitions of the two fundamental graph products (strong and lexicographic), see [27,28]. Next, we repeat these definitions.
Definition 3. 
The strong product of two graphs G,H, denoted by G H , is a graph with vertex set V ( G H ) = V ( G ) × V ( H ) , and ( u , u ) and ( v , v ) are adjacent if and only if one of the following conditions holds:
(1) u = v and u v E ( H ) ;
(2) u = v and u v E ( G ) ;
(3) u v E ( G ) and u v E ( H ) .
Definition 4. 
The lexicographic product of two graphs G , H , denoted by G H , is a graph with vertex set V ( G H ) = V ( G ) × V ( H ) , and ( u , u ) and ( v , v ) are adjacent if and only if one of the following conditions holds:
(1) u = v and u v E ( H ) ;
(2) u v E ( G ) .
Corollary 2. 
Let G , H be two connected graphs with vertex numbers m , n , respectively, where m 3 , n 3 . Then, each graph of G + H , G H , and G H has a 3 ¯ -dset.
Proof. 
Suppose that V ( G ) = { u 1 , u 2 , , u m } and V ( H ) = { v 1 , v 2 , , v n } . Since G is a connected graph, any vertex u in G satisfies d ( u ) 1 . Moreover, n 3 . So, the vertex u in G + H satisfies d ( u ) 4 . Similarly, any vertex v in H satisfies d ( v ) 1 . The vertex v in G + H satisfies d ( v ) 4 . Then, any vertex x in G + H satisfies d ( x ) 4 . That is, δ ( G + H ) 4 . Then, according to Theorem 1, G + H has a 3 ¯ -dset. Next, we consider G H and G H . For any vertex ( u 1 , v 1 ) V ( G H ) or ( u 1 , v 1 ) V ( G H ) , assume that u 1 u 2 E ( G ) and v 1 v 2 E ( H ) .
For G H , according to Definition 3, ( u 1 , v 1 ) is adjacent to ( u 1 , v 2 ) , ( u 2 , v 1 ) , and ( u 2 , v 2 ) . Therefore, for any vertex ( u 1 , v 1 ) in G H , the degree of ( u 1 , v 1 ) is greater than or equal to 3 . So, G H has a 3 ¯ -dset.
For G H , according to Definition 4, ( u 1 , v 1 ) is adjacent to ( u 1 , v 2 ) , ( u 2 , v 1 ) , and ( u 2 , v 2 ) . Therefore, for any vertex ( u 1 , v 1 ) in G H , the degree of ( u 1 , v 1 ) is greater than or equal to 3 . So, G H has a 3 ¯ -dset. □
Theorem 2. 
Let G be a connected graph. Then, G has a 3 ¯ -dset if and only if one of the following conditions holds:
(1) There is a vertex u that satisfies d ( u ) = 3 ;
(2) There is a vertex v that satisfies d ( v ) 4 . Let S N G ( v ) , | S | = d ( v ) 3 and D = V ( G ) ( S { v } ) . Moreover, for any vertex x S , | N G ( x ) D | 3 holds.
Proof. 
If G has a vertex u satisfying d ( u ) = 3 , according to Lemma 1, the conclusion clearly holds. Next, we consider the case where G has a vertex v that satisfies d ( v ) 4 . Since D = V ( G ) ( S { v } ) , then V ( G ) D = S { v } . For any vertex x S , we have | N G ( x ) D | 3 . Furthermore, we have | N G ( v ) D | = 3 . Then, D is a 3 ¯ -dset.
For a graph G , we assume that any vertex u of G satisfies d ( u ) 3 . If any vertex w satisfies d ( w ) 2 , then G does not have a 3 ¯ -dset. Since the graph G has a 3 ¯ -dset, there exist vertices in the graph G with degree greater than or equal to 4 . Suppose that D 1 is a 3 ¯ -dset of G . We have U 1 U 2 D 1 . Then, for any vertex w V ( G ) D 1 , we have | N G ( w ) D 1 | 3 . Moreover, there exists a vertex v that satisfies | N G ( v ) D 1 | = 3 , where v V ( G ) D 1 . Let S = N G ( v ) D 1 and D = V ( G ) ( S { v } ) . Then, we have | S | = d ( v ) 3 and D 1 D . We have | N G ( v ) D | = 3 . Moreover, for any vertex x S , we have | N G ( x ) D | 3 .
Theorem 3. 
Let G be a connected graph. If there exists a vertex v in G satisfying the following conditions, then G has a 3 ¯ -dset:
(1) d ( v ) 4 and | N G ( v ) ( U 1 U 2 ) |   3 ;
(2) For any vertex x N G ( v ) , y N G ( v ) , x is not adjacent to y .
Proof. 
Assume that d ( v ) = i and N G ( v ) = { u 1 , u 2 , , u i } , where i 4 . Since d ( v ) 4 , i 4 . Since | N G ( v ) ( U 1 U 2 ) |   3 , suppose that d ( u j ) 3 , where j is any integer that satisfies 4 j i . If there is a vertex u N G ( v ) and d ( u ) = 3 , according to Lemma 1, G has a 3 ¯ -dset. Next, we consider the case where d ( u j ) 4 , where j is any integer satisfying 1 j i . So, we consider d ( u j ) 4 , where j is any integer satisfying 4 j i .
If | N G ( v ) ( U 1 U 2 ) |   = 0 , then N G ( v ) ( U 1 U 2 ) = Ø . If | N G ( v ) ( U 1 U 2 ) |   = s and 1 s 3 , then N G ( v ) ( U 1 U 2 ) = { u 1 , u 2 , , u s } , where 1 s 3 . Let D = V ( G ) ( { u 4 , u 5 , , u i } { v } ) . Then, V ( G ) D = { u 4 , u 5 , , u i } { v } . For any j satisfying 4 j i , since d ( u j ) 4 , u j has at least three neighbors within D . That is, for any j satisfying 4 j i , | N G ( u j ) D |   3 . Furthermore, we have | N G ( v ) D | = | { u 1 , u 2 , u 3 } |   = 3 . Then, v has three neighbors within D . So, D is a 3 ¯ -dset. □
Theorem 3 requires this condition to be satisfied. That is, for a vertex v satisfying d ( v ) 4 , any two neighbors x and y of v are not adjacent. If G is a tree, then this condition holds. In Theorem 4, we consider the case where G is a tree.
Theorem 4. 
Let G be a tree with n vertices, where n 4 . Then, G has a 3 ¯ -dset if and only if there exists a vertex v in G satisfying one of the following conditions:
(1) d ( v ) = 3 ;
(2) d ( v ) 4 and | N G ( v ) ( U 1 U 2 ) |   3 .
Proof. 
If the tree G has a vertex v that satisfies d ( v ) = 3 , according to Lemma 1, the conclusion clearly holds. Next, we consider the case where the tree G has a vertex v that satisfies d ( v ) 4 and | N G ( v ) ( U 1 U 2 ) |   3 . For any vertex x N G ( v ) , y N G ( v ) , since G is a tree, x is not adjacent to y . Then, according to Theorem 3, G has a 3 ¯ -dset.
For a tree G , suppose that every vertex v of G satisfies d ( v ) 3 . If every vertex v satisfies d ( v ) 2 , then G does not have a 3 ¯ -dset. Since the tree G has a 3 ¯ -dset, there exist vertices in the tree G with degree greater than or equal to 4 . Suppose D is a 3 ¯ -dset of G . Then, we have U 1 U 2 D . If any vertex v satisfies d ( v ) 4 and | N G ( v ) ( U 1 U 2 ) |   4 , then v is dominated by at least four vertices in D, where v V ( G ) D . So, G does not have a 3 ¯ -dset. Thus, if the tree G has a 3 ¯ -dset, the tree G has a vertex v that satisfies d ( v ) = 3 or a vertex v that satisfies d ( v ) 4 and | N G ( v ) ( U 1 U 2 ) |   3 .
Theorem 5. 
Let G be a connected graph with n vertices, where n 4 . If G has a 3 ¯ -dset, then γ 3 ( G ) γ 3 ¯ ( G ) γ 3 ( G ) + 2 .
Proof. 
Suppose that D is a γ 3 -set of G . Then, γ 3 ( G ) = | D | . By definition, we have γ 3 ( G ) γ 3 ¯ ( G ) . If D is a γ 3 ¯ -set of G , then γ 3 ( G ) = γ 3 ¯ ( G ) . Next, consider the case where D is not a γ 3 ¯ -set of G . If D is not a γ 3 ¯ -set of G , every vertex in V ( G ) D is dominated by at least four vertices in D . Then, D is a 4-dominating set. Furthermore, since γ 4 ( G ) | D | = γ 3 ( G ) and | D | = γ 3 ( G ) γ 4 ( G ) , we have γ 3 ( G ) = γ 4 ( G ) = | D | . Then, D is a γ 4 -set of G . Since U 1 U 2 D , suppose that D is a γ 3 ¯ -set of G . Then, U 1 U 2 D . Next, we prove that D U 1 U 2 .
If D = U 1 U 2 , then each vertex in V ( G ) D is dominated by at least four vertices in D . If | D | = n 1 , the vertex in V ( G ) D is dominated by at least four vertices in D . So, the graph G does not have a 3 ¯ -dset. Suppose that | D | n 2 . We have γ 3 ( G ) < γ 3 ¯ ( G ) . That is, | D | < | D | . If we add s vertices u 1 , u 2 , , u s to D , then D = D { u 1 , u 2 , , u s } , where s is an integer satisfying 1 s n 1 | D | . Since each vertex in V ( G ) D is dominated by at least four vertices in D , each vertex in V ( G ) D is dominated by at least four vertices in D . So, G does not have a 3 ¯ -dset. Then, D U 1 U 2 . Therefore, there exists at least one vertex u in D satisfying d ( u ) 3 . We consider three cases.
Case 1: | N G ( u ) D | = 0 .
Since d ( u ) 3 , u is adjacent to at least three vertices in V ( G ) D . Suppose that u is adjacent to three vertices x , y , z in V ( G ) D . Let D 1 = ( D { u } ) { x , y , z } . Since every vertex in V ( G ) D is dominated by at least four vertices in D , every vertex in V ( G ) D 1 is dominated by at least three vertices in D 1 . Moreover, u is dominated by three vertices in D 1 . So, D 1 is a 3 ¯ -dset. We have | D 1 | = | D | + 2 . That is, γ 3 ¯ ( G ) γ 3 ( G ) + 2 .
Case 2: | N G ( u ) D |   = 1 .
Since d ( u ) 3 , u is adjacent to at least two vertices in V ( G ) D . Suppose that u is adjacent to two vertices w 1 , w 2 in V ( G ) D . Let D 2 = ( D { u } ) { w 1 , w 2 } . Then, u is dominated by three vertices in D 2 , and every vertex in V ( G ) D 2 is dominated by at least three vertices in D 2 . So, D 2 is a 3 ¯ -dset. We have | D 2 | = | D | + 1 . That is, γ 3 ¯ ( G ) γ 3 ( G ) + 1 .
Case 3: | N G ( u ) D |   2 .
Suppose that { u 1 , u 2 , u 3 } N G ( u ) D . Then, D { u } is a 3-dominating set, which contradicts D as a γ 3 -set. So, we have | N G ( u ) D |   = 2 . Since d ( u ) 3 , we assume that u is adjacent to v , where v V ( G ) D . Let D 3 = ( D { u } ) { v } . Then, u is dominated by three vertices in D 3 , and every vertex in V ( G ) D 3 is dominated by at least three vertices in D 3 . So, D 3 is a 3 ¯ -dset, and γ 3 ¯ ( G ) = γ 3 ( G ) .
We give examples of graphs that satisfy γ 3 ¯ ( G 1 ) = γ 3 ( G 1 ) , γ 3 ¯ ( G 2 ) = γ 3 ( G 2 ) + 1 , and γ 3 ¯ ( G 3 ) = γ 3 ( G 3 ) + 2 .
Example 1. 
The graph G 1 is shown in Figure 1. The set { v 1 , v 2 , v 3 , v 4 , v 6 , v 7 , v 8 } is a γ 3 ( G 1 ) -set and also a γ 4 ( G 1 ) -set. Furthermore, the set { v 1 , v 2 , v 3 , v 4 , v 5 , v 7 , v 8 } is a γ 3 ¯ ( G 1 ) -set. We have γ 3 ( G 1 ) = γ 3 ¯ ( G 1 ) = 7 . So, γ 3 ¯ ( G 1 ) = γ 3 ( G 1 ) .
Example 2. 
The graph G 2 is shown in Figure 2. The set { v 1 , v 2 , v 3 , v 4 , v 7 , v 8 } is a γ 3 ( G 2 ) -set and also a γ 4 ( G 2 ) -set. Furthermore, the set { v 1 , v 2 , v 3 , v 4 , v 5 , v 6 , v 7 } is a γ 3 ¯ ( G 2 ) -set. We have γ 3 ( G 2 ) = 6 , γ 3 ¯ ( G 2 ) = 7 . So, γ 3 ¯ ( G 2 ) = γ 3 ( G 2 ) + 1 .
Example 3. 
The graph G 3 is shown in Figure 3. The set { v 1 , v 2 , v 3 , v 4 , v 8 , v 9 , v 10 , v 11 , v 12 } is a γ 3 ( G 3 ) -set and also a γ 4 ( G 3 ) -set. Furthermore, the set { v 1 , v 2 , v 3 , v 4 , v 5 , v 6 , v 7 , v 9 , v 10 , v 11 , v 12 } is a γ 3 ¯ ( G 3 ) -set. We have γ 3 ( G 3 ) = 9 , γ 3 ¯ ( G 3 ) = 11 . So, γ 3 ¯ ( G 3 ) = γ 3 ( G 3 ) + 2 .
Referring to [27,29], we give the following definition.
Definition 5. 
The corona product of two graphs G,H, denoted by G H , is the graph obtained by taking a copy of G and | V ( G ) | copies of H and joining the i-th vertex of G to every vertex in the i-th copy of H .
We consider the corona product P 5 S 4 of the two graphs P 5 and S 4 , as shown in Figure 4.
Theorem 6. 
Let G , H be two connected graphs with vertex numbers m , n , respectively, where m 2 and n 4 . If H has a 3 ¯ -dset, then G H also has a 3 ¯ -dset, and γ 3 ¯ ( G H ) m γ 3 ¯ ( H ) .
Proof. 
Let V ( G ) = { u 1 , u 2 , , u m } and V ( H ) = { v 1 , v 2 , , v n } . Let D be a γ 3 ¯ -set of H. We can assume that D = { v 1 , v 2 , , v j } . Then, | D | = j , where 3 j n 1 . Every vertex in V ( H ) D is dominated by at least three vertices in D , and at least one vertex x V ( H ) D is dominated by three vertices in D .
For 1 i m , let H i denote the i-th copy of H , where each vertex of H i is connected to the i-th vertex of G . Suppose that V ( H i ) = { v i , 1 , v i , 2 , , v i , n } . The vertex u i in G is labeled as the vertex v i , 0 in G H , where 1 i m . Then, V ( G H ) = i = 1 i = m V ( H i ) { v 1 , 0 , v 2 , 0 , , v m , 0 } = i = 1 i = m { v i , 1 , v i , 2 , , v i , n } { v 1 , 0 , v 2 , 0 , , v m , 0 } . Let D i = { v i , 1 , v i , 2 , , v i , j } . Then, D = i = 1 i = m D i = i = 1 i = m { v i , 1 , v i , 2 , , v i , j } . We have V ( G H ) D = ( i = 1 i = m ( V ( H i ) D i ) ) { v 1 , 0 , v 2 , 0 , , v m , 0 } . Then, every vertex in V ( H i ) D i is dominated by at least three vertices in D i , and at least one vertex y V ( H i ) D i is dominated by three vertices in D i . v k , 0 is adjacent to v k , 1 , v k , 2 , , v k , j . Then, v k , 0 is dominated by j vertices in D k , where 1 k m . Then, D is a 3 ¯ -dset of G H . So, γ 3 ¯ ( G H ) m j = m γ 3 ¯ ( H ) .
Suppose that G is a connected graph with m vertices, where m 2 . Let H be a star graph with four vertices, that is, H is S 4 . We have γ 3 ¯ ( S 4 ) = 3 . Then, the upper bound of γ 3 ¯ ( G H ) can be reached. We have γ 3 ¯ ( G H ) = γ 3 ¯ ( G S 4 ) = 3 m . For example, in Figure 4, γ 3 ¯ ( P 5 S 4 ) = 15 , and the 15 larger nodes constitute a γ 3 ¯ ( P 5 S 4 ) -set.
Theorem 7. 
Let m , n be positive integers. Then, the following statements apply:
(1) 
γ 3 ¯ ( K n ) = 3 , where n 4 .
(2) 
γ 3 ¯ ( K m , n ) = 3 , where m = 3 , n m . 6 , where m 4 , n m .
(3) 
γ 3 ¯ ( K m + K n ) = 3 , where m 3 , n 3 .
(4) 
γ 3 ¯ ( K m K n ) = 3 , where m 3 , n 3 .
(5) 
γ 3 ¯ ( K m K n ) = 3 , where m 3 , n 3 .
Proof. 
(1) For n 4 ,   γ 3 ¯ ( K n ) = 3 is obvious, so we omit the proof.
(2) Let F 1 = { w 1 , w 2 , , w m } and F 2 = { z 1 , z 2 , , z n } . Let V ( K m , n ) = F 1 F 2 = { w 1 , w 2 , , w m } { z 1 , z 2 , , z n } and E ( K m , n ) = { w i z j | where 1 i m , 1 j n } . If m = 3 , n 3 , then { w 1 , w 2 , w 3 } is a γ 3 ¯ ( K m , n ) -set. We consider m 4 , n m . Let D be a γ 3 ¯ ( K m , n ) -set. Since at least one vertex x V ( K m , n ) D is dominated by three vertices in D , we have | D F 1 |   = 3 or | D F 2 |   = 3 . Suppose that | D F 1 |   = 3 . Then, each vertex in F 1 D is dominated by at least three vertices in D F 2 . Since D is a γ 3 ¯ ( K m , n ) -set, we have | D F 2 |   = 3 . Similarly, suppose that | D F 2 |   = 3 . Then, we have | D F 1 |   = 3 . So, | D |   = 6 . Let D = { w 1 , w 2 , w 3 , z 1 , z 2 , z 3 } . Then, D is a γ 3 ¯ ( K m , n ) -set.
In (3)–(5), let V ( K m ) = { u 1 , u 2 , , u m } and V ( K n ) = { v 1 , v 2 , , v n } , where m 3 , n 3 .
(3) For K m + K n , { u 1 , u 2 , u 3 } is a γ 3 ¯ -set.
(4) Suppose that any two distinct vertices ( u i , v j ) V ( K m K n ) and ( u s , v t ) V ( K m K n ) . If i = s , j t , v j v t E ( K n ) , then ( u i , v j ) is adjacent to ( u s , v t ) in K m K n . If i s , j = t , u i u s E ( K m ) , then ( u i , v j ) is adjacent to ( u s , v t ) in K m K n . If i s , j t , then u i u s E ( K m ) , v j v t E ( K n ) . So ( u i , v j ) is adjacent to ( u s , v t ) in K m K n . Then, in graph K m K n , ( u i , v j ) is adjacent to ( u s , v t ) . Let D = { ( u 1 , v 1 ) , ( u 2 , v 2 ) , ( u 3 , v 3 ) } . For any vertex ( u i , v j ) V ( K m K n ) and ( u i , v j ) D , ( u i , v j ) is adjacent to ( u 1 , v 1 ) , ( u 2 , v 2 ) , and ( u 3 , v 3 ) . Therefore, D = { ( u 1 , v 1 ) , ( u 2 , v 2 ) , ( u 3 , v 3 ) } is a γ 3 ¯ ( K m K n ) -set.
(5) Suppose that any two distinct vertices ( u i , v j ) V ( K m K n ) and ( u s , v t ) V ( K m K n ) . If i = s , j t , v j v t E ( K n ) , then ( u i , v j ) is adjacent to ( u s , v t ) in K m K n . If i s , u i u s E ( K m ) , then ( u i , v j ) is adjacent to ( u s , v t ) in K m K n . Let D = { ( u 1 , v 1 ) , ( u 2 , v 2 ) , ( u 3 , v 3 ) } . For any vertex ( u i , v j ) K m K n and ( u i , v j ) D , ( u i , v j ) is adjacent to ( u 1 , v 1 ) , ( u 2 , v 2 ) , and ( u 3 , v 3 ) . Therefore, for K m K n , D = { ( u 1 , v 1 ) , ( u 2 , v 2 ) , ( u 3 , v 3 ) } is a γ 3 ¯ -set. □
Theorem 8. 
Suppose that S m , S n are star graphs, where m and n are positive integers that satisfy m 3 and n m . Let V ( S m ) = { u 1 , u 2 , , u m } and E ( S m ) = { u 1 u i | i = 2 , 3 , , m } . Let V ( S n ) = { v 1 , v 2 , , v n } and E ( S n ) = { v 1 v i | i = 2 , 3 , , n } . Then,
γ 3 ¯ ( S m + S n ) = 3 , where 3 m 4 , n m , 4 , where m 5 , n m .
Proof. 
Suppose that D is a γ 3 ¯ -set of S m + S n . If m = 3 and n 3 , then D = { u 1 , u 2 , u 3 } is a γ 3 ¯ -set. If m = 4 and n 4 , then D = { u 2 , u 3 , u 4 } is a γ 3 ¯ -set. If m 5 and n m , suppose that | D V ( S m ) |   = 3 . Then, there exists at least one vertex in V ( S m ) D that is not dominated by three vertices in D . Similarly, if | D V ( S n ) |   = 3 , there exists at least one vertex in V ( S n ) D that is not dominated by three vertices in D . Suppose that | D V ( S m ) |   = 2 and | D V ( S n ) |   = 1 . Then, there exists at least one vertex in V ( S m ) D that is not dominated by two vertices in D V ( S m ) . Thus, there exists at least one vertex in V ( S m ) D that is not dominated by three vertices in D . Similarly, if | D V ( S m ) |   = 1 and | D V ( S n ) |   = 2 , there exists at least one vertex in V ( S n ) D that is not dominated by three vertices in D . So, | D | 4 . Then, D = { u 1 , u 2 , v 1 , v 2 } is a γ 3 ¯ -set. □
In Lemma 3 and Theorem 9 below, the notation C i represents a cycle of length i, where i = m , n . Suppose that m 3 and n m . Let V ( C m ) = { u 1 , u 2 , , u m } and E ( C m ) = { u i 1 u i | i = 2 , 3 , , m } { u m u 1 } . Let V ( C n ) = { v 1 , v 2 , , v n } and E ( C n ) = { v i 1 v i | i = 2 , 3 , , n } { v n v 1 } .
Lemma 3. 
Let m , n be positive integers. Then,
γ 3 ¯ ( C m + C n ) 4 , where m 4 , n m , 5 , where m 7 , n m , 6 , where m 10 , n m .
Proof. 
Suppose that D is a γ 3 ¯ -set of C m + C n . Let | D V ( C m ) | = a and | D V ( C n ) | = b . Suppose that 3 a m 1 and b 2 . If there exists one vertex x in V ( C m ) D that is not dominated by 3 b vertices in V ( C m ) D , then x is not dominated by three vertices in D . Let | D V ( C m ) | = b and | D V ( C n ) | = a . Then, there exists one vertex y in V ( C n ) D that is not dominated by 3 b vertices in V ( C n ) D . So, y is not dominated by three vertices in D .
Let m 4 and n m . Suppose that | D |   = 3 . If | D V ( C m ) |   = 3 , then, since every vertex v V ( C m ) has d ( v ) = 2 , there exists at least one vertex in V ( C m ) D that is not dominated by three vertices in D . Let | D V ( C m ) |   = 2 and | D V ( C n ) |   = 1 . Suppose that D V ( C n ) = { v 1 } . Then, v 3 is not dominated by three vertices in D . If | D V ( C m ) |   = 1 and | D V ( C n ) |   = 2 , suppose that D V ( C m ) = { u 1 } . Then, u 3 is not dominated by three vertices in D . So, | D | 4 .
If m 7 and n m , we have | D |   4 . Suppose that | D |   = 4 . If | D V ( C m ) |   = 4 , then for any vertex v V ( C m ) , we have d ( v ) = 2 . Then, each vertex in V ( C m ) D is not dominated by three vertices in D . If | D V ( C m ) |   = 3 and | D V ( C n ) |   = 1 , then there exists at least one vertex in V ( C m ) D that is not dominated by two vertices in D V ( C m ) . So, there exists at least one vertex in V ( C m ) D that is not dominated by three vertices in D . If | D V ( C m ) |   = 2 and | D V ( C n ) |   = 2 , then there exists at least one vertex in V ( C m ) D that is not dominated by one vertex in D V ( C m ) , and there exists at least one vertex in V ( C m ) D that is not dominated by three vertices in D . So, | D |   5 .
If m 10 and n m , we have | D |   5 . Suppose that | D |   = 5 . If | D V ( C m ) |   = 5 , then each vertex in V ( C m ) D is not dominated by three vertices in D . If | D V ( C m ) |   = 4 and | D V ( C n ) |   = 1 , then there exists at least one vertex in V ( C m ) D that is not dominated by two vertices in D V ( C m ) . So, there exists at least one vertex in V ( C m ) D that is not dominated by three vertices in D . If | D V ( C m ) |   = 3 and | D V ( C n ) |   = 2 , then there exists at least one vertex in V ( C m ) D that is not dominated by one vertex in D V ( C m ) , and there exists at least one vertex in V ( C m ) D that is not dominated by three vertices in D . So, | D |   6 .
Theorem 9. 
Let m , n be positive integers. Then,
γ 3 ¯ ( C m + C n ) = 3 , where m = 3 , n 3 , 4 , where 4 m 6 , n m , 5 , where 7 m 9 , n m , 6 , where m 10 , n m .
Proof. 
Suppose that D is a γ 3 ¯ -set of C m + C n .
Case 1: m = 3 , n 3 .
Then, D = { u 1 , u 2 , u 3 } is a γ 3 ¯ -set.
Case 2: 4 m 6 , n m .
According to Lemma 3, we have | D |   4 . If m = 4 and n 4 , then D = { u 1 , u 2 , u 3 , v 1 } is a γ 3 ¯ -set. If 5 m 6 and n m , then D = { u 1 , u 3 , u 5 , v 1 } is a γ 3 ¯ -set.
Case 3: 7 m 9 , n m .
According to Lemma 3, we have | D |   5 . Then, D = { u 1 , u 4 , u 7 , v 1 , v 2 } is a γ 3 ¯ -set.
Case 4: m 10 , n m .
According to Lemma 3, we have | D | 6 . Then, D = { u 1 , u 2 , u 3 , v 1 , v 2 , v 3 } is a γ 3 ¯ -set. □
In Lemma 4 and Theorem 10 below, the notation P i represents a path of i vertices, where i = m , n . Suppose that m 3 and n m . Let V ( P m ) = { u 1 , u 2 , , u m } and E ( P m ) = { u i 1 u i | i = 2 , 3 , , m } . Let V ( P n ) = { v 1 , v 2 , , v n } and E ( P n ) = { v i 1 v i | i = 2 , 3 , , n } .
Lemma 4. 
Let m , n be positive integers. Then,
γ 3 ¯ ( P m + P n ) 4 , where m 4 , n m , 5 , where m = 6 , n 7 , 5 , where m 7 , n m , 6 , where m 10 , n m .
Proof. 
Suppose that D is a γ 3 ¯ -set of P m + P n . Let | D V ( P m ) | = a and | D V ( P n ) | = b . Suppose that 3 a m 1 and b 2 . If there exists one vertex x in V ( P m ) D that is not dominated by 3 b vertices in V ( P m ) D , then x is not dominated by three vertices in D . Let | D V ( P m ) | = b and | D V ( P n ) | = a . Then, there exists one vertex y in V ( P n ) D that is not dominated by 3 b vertices in V ( P n ) D . So, y is not dominated by three vertices in D .
Let m 4 , n m . Suppose that | D | = 3 . If | D V ( P m ) | = 3 . For any vertex v V ( P m ) , we have d ( v ) 2 , so there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . If | D V ( P m ) | = 2 and | D V ( P n ) | = 1 , there exists at least one vertex in V ( P n ) D that is not adjacent to the vertex in V ( P n ) D . Then, there exists at least one vertex in V ( P n ) D that is not dominated by three vertices in D . Similarly, if | D V ( P m ) | = 1 and | D V ( P n ) | = 2 , then there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . So, | D | 4 .
If m = 6 , n 7 or m 7 , n m , we have | D | 4 . Suppose that | D | = 4 . If | D V ( P m ) | = 4 , then there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . If | D V ( P m ) | = 3 and | D V ( P n ) | = 1 , then there exists at least one vertex in V ( P m ) D that is not dominated by two vertices in D V ( P m ) . Then, there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . If | D V ( P m ) | = 2 and | D V ( P n ) | = 2 , then there exists at least one vertex in V ( P n ) D that is not dominated by one vertex in D V ( P n ) . Then, there exists at least one vertex in V ( P n ) D that is not dominated by three vertices in D . So, | D | 5 .
If m 10 , n m , we have | D | 5 . Suppose that | D | = 5 . If | D V ( P m ) | = 5 . Then, there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . If | D V ( P m ) | = 4 and | D V ( P n ) | = 1 , then there exists at least one vertex in V ( P m ) D that is not dominated by two vertices in D V ( P m ) . Then, there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . If | D V ( P m ) | = 3 and | D V ( P n ) | = 2 , then there exists at least one vertex in V ( P m ) D that is not dominated by one vertex in D V ( P m ) . Then, there exists at least one vertex in V ( P m ) D that is not dominated by three vertices in D . So, | D | 6 .
Theorem 10. 
Let m , n be positive integers. Then,
γ 3 ¯ ( P m + P n ) = 3 , where m = 3 , n 3 , 4 , where 4 m 5 , n m , 4 , where m = 6 , n = 6 , 5 , where m = 6 , n 7 , 5 , where 7 m 9 , n m , 6 , where m 10 , n m .
Proof. 
Suppose that D is a γ 3 ¯ -set of P m + P n .
Case 1: m = 3 , n 3 .
Then, D = { u 1 , u 2 , u 3 } is a γ 3 ¯ -set.
Case 2: 4 m 5 , n m .
According to Lemma 4, we have | D | 4 . If m = 4 and n m , then D = { u 1 , u 3 , u 4 , v 1 } is a γ 3 ¯ -set. If m = 5 and n m , then D = { u 1 , u 3 , u 5 , v 1 } is a γ 3 ¯ -set.
Case 3: m = 6 , n = 6 .
Then, D = { u 2 , u 5 , v 2 , v 5 } is a γ 3 ¯ -set.
Case 4: m = 6 , n 7 .
According to Lemma 4, we have | D | 5 . Then, D = { u 2 , u 3 , u 5 , v 1 , v 2 } is a γ 3 ¯ -set.
Case 5: 7 m 9 , n m .
If 7 m 8 and n m , then D = { u 2 , u 5 , u 7 , v 1 , v 2 } is a γ 3 ¯ -set. If m = 9 and n m , then D = { u 2 , u 5 , u 8 , v 1 , v 2 } is a γ 3 ¯ -set.
Case 6: m 10 , n m .
According to Lemma 4, we have | D | 6 . Then, D = { u 1 , u 2 , u 3 , v 1 , v 2 , v 3 } is a γ 3 ¯ -set. □

3. Conclusions

In this paper, we introduced the concept of proper 3-dominating sets in graphs and studied the characteristics of graphs with such sets. We found several sufficient conditions for graphs with proper 3-dominating sets. Corollary 2 and Theorem 6 show that there are proper 3-dominating sets in some graph products.
For a connected graph G with a 3 ¯ -dset, we found the relationship between γ 3 ( G ) and γ 3 ¯ ( G ) . That is, γ 3 ( G ) γ 3 ¯ ( G ) γ 3 ( G ) + 2 . However, for i = 0 , 1 , 2 , the structure of the graph satisfying γ 3 ¯ ( G ) = γ 3 ( G ) + i is still unknown, which we will examine in future work. In addition, for some joint products of two special graphs, we obtained their proper 3-domination numbers. It is also meaningful to calculate the proper 3-domination numbers of the strong product, lexicographic product, and corona product of two graphs. From an algorithmic perspective, it is also possible to consider studying the minimum 3 ¯ -dset and the proper 3-domination number of the graph.

Author Contributions

Conceptualization, D.C. and S.C.; methodology, D.C.; validation, D.C.; writing—original draft preparation, D.C. and S.C.; writing—review and editing, D.C. and S.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Acknowledgments

The authors would like to express their sincere thanks to the anonymous reviewers for their many valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Diestel, R. Graph Theory; Springer: New York, NY, USA, 2005. [Google Scholar]
  2. Haynes, T.W.; Hedetniemi, S.T.; Slater, P.J. Fundamentals of Domination in Graphs; Marcel Dekker: New York, NY, USA, 1998. [Google Scholar]
  3. Haynes, T.W.; Hedetniemi, S.T.; Slater, P.J. Domination in Graphs: Advanced Topics; Marcel Dekker: New York, NY, USA, 1998. [Google Scholar]
  4. Bednarz, P. On (2-d)-kernels in the tensor product of graphs. Symmetry 2021, 13, 230. [Google Scholar] [CrossRef]
  5. Bednarz, P.; Włoch, I. An algorithm determining (2-d)-kernels in trees. Util. Math. 2017, 102, 215–222. [Google Scholar]
  6. Bednarz, P.; Hernandez-Cruz, C.; Włoch, I. On the existence and the number of (2-d)-kernels in graphs. Ars Combin. 2015, 121, 341–351. [Google Scholar]
  7. Blidia, M.; Chellali, M.; Favaron, O. Independence and 2-domination in trees. Australas. J. Combin. 2005, 33, 317–327. [Google Scholar]
  8. Chellali, M. Bounds on the 2-domination number in cactus graphs. Opusc. Math. 2006, 26, 5–12. [Google Scholar]
  9. Cockayne, E.J.; Gamble, B.; Shepherd, B. An Upper Bound for the k-Domination Number of a Graph. J. Graph Theory 1985, 9, 533–534. [Google Scholar] [CrossRef]
  10. Caro, Y.; Roditty, Y. A note on the k-domination number of a graph. Internat. J. Math. Sci. 1990, 13, 205–206. [Google Scholar] [CrossRef]
  11. Volkmann, L. Some remarks on lower bounds on the p-domination number in trees. J.Combin. Math. Combin. Comput. 2007, 61, 159–167. [Google Scholar]
  12. Harary, F.; Haynes, T.W. Double domination in graphs. Ars Combin. 2000, 55, 201–213. [Google Scholar]
  13. Martínez, A.C. A note on the k-tuple domination number of graphs. Ars Math. Contemp. 2022, 22, 1–5. [Google Scholar]
  14. Martínez, A.C. Some new results on the k-tuple domination number of graphs. RAIRO-Oper. Res. 2022, 56, 3491–3497. [Google Scholar] [CrossRef]
  15. Blidia, M.; Chellali, M.; Haynes, T.W. Characterizations of trees with equal paired and double domination numbers. Discret. Math. 2006, 306, 1840–1845. [Google Scholar] [CrossRef]
  16. Blidia, M.; Chellali, M.; Haynes, T.W.; Henning, M. Independent and double domination in trees. Util. Math. 2006, 70, 159–173. [Google Scholar]
  17. Chellali, M.; Haynes, T.W. On paired and double domination in graphs. Util. Math. 2005, 67, 161–171. [Google Scholar]
  18. Raczek, J. Complexity Issues on of Secondary Domination Number. Algorithmica 2024, 86, 1163–1172. [Google Scholar] [CrossRef]
  19. Hurink, J.L.; Nieberg, T. Approximating minimum independent dominating sets in wireless networks. Inf. Process. Lett. 2008, 109, 155–160. [Google Scholar] [CrossRef]
  20. Bermudo, S.; Higuita, R.A.; Rada, J. Domination in hexagonal chains. Appl. Math. Comput. 2020, 369, 124817. [Google Scholar] [CrossRef]
  21. Wang, F.; Du, H.; Camacho, E.; Xu, K.; Lee, W.; Shi, Y.; Shan, S. On positive influence dominating sets in social networks. Theor. Comput. Sci. 2011, 412, 265–269. [Google Scholar] [CrossRef]
  22. Lan, J.K.; Chang, G.J. Algorithmic aspects of the k-domination problem in graphs. Discret. Appl. Math. 2013, 161, 1513–1520. [Google Scholar] [CrossRef]
  23. Bednarz, P.; Pirga, M. On Proper 2-Dominating Sets in Graphs. Symmetry 2024, 16, 296. [Google Scholar] [CrossRef]
  24. Kosiorowska, A.; Michalski, A.; Włoch, I. On minimum intersections of certain secondary dominating sets in graphs. Opusc. Math. 2023, 43, 813–827. [Google Scholar] [CrossRef]
  25. Michalski, A.; Włoch, I.; Dettlaff, M.; Lemańska, M. On proper (1,2)-dominating sets in graphs. Math. Methods Appl. Sci. 2022, 45, 7050–7057. [Google Scholar] [CrossRef]
  26. Susilowati, L.; Sa’adah, I.; Fauziyyah, R.Z.; Erfanian, A.; Slamin. The dominant metric dimension of graphs. Heliyon 2020, 6, e03633. [Google Scholar] [CrossRef] [PubMed]
  27. Simanjuntak, R.; Tritama, A. Distance Antimagic Product Graphs. Symmetry 2022, 14, 1411. [Google Scholar] [CrossRef]
  28. Sen, J.; Kola, S.R. Broadcast domination of lexicographic and modular products of graphs. AKCE Int. J. Graphs Comb. 2022, 19, 177–181. [Google Scholar] [CrossRef]
  29. Frucht, R.; Harary, F. On the Corona of Two Graphs. Aequationes Math. 1970, 4, 322–325. [Google Scholar] [CrossRef]
Figure 1. The graph G 1 .
Figure 1. The graph G 1 .
Mathematics 13 01960 g001
Figure 2. The graph G 2 .
Figure 2. The graph G 2 .
Mathematics 13 01960 g002
Figure 3. The graph G 3 .
Figure 3. The graph G 3 .
Mathematics 13 01960 g003
Figure 4. The graph P 5 S 4 .
Figure 4. The graph P 5 S 4 .
Mathematics 13 01960 g004
Table 1. List of symbols.
Table 1. List of symbols.
SymbolDescription
GA connected graph
V ( G ) The vertex set of G
E ( G ) The edge set of G
N G ( x ) The set of all neighbors of vertex x in G
N G [ x ] N G [ x ] = N G ( x ) { x }
d G ( x ) The degree of vertex x in G
d ( x ) The abbreviation of d G ( x )
δ ( G ) The minimum degree of G
S n The star graph with n vertices
P n A path of n vertices
C n A cycle of n vertices
K n A complete graph of n vertices
K m , n A complete bipartite graph with m + n vertices
G [ V ] The induced subgraph of G by the subset V V ( G )
γ p ( G ) The minimum cardinality among all p-dominating sets of G
γ ( G ) γ 1 ( G )
γ p ¯ ( G ) The minimum cardinality among all proper p-dominating sets of G
U i U i = { u d ( u ) = i and u V ( G ) , i = 1 , 2 . }
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Chen, D.; Cai, S. Proper 3-Dominating Sets in Graphs. Mathematics 2025, 13, 1960. https://doi.org/10.3390/math13121960

AMA Style

Chen D, Cai S. Proper 3-Dominating Sets in Graphs. Mathematics. 2025; 13(12):1960. https://doi.org/10.3390/math13121960

Chicago/Turabian Style

Chen, Danmei, and Shuangjie Cai. 2025. "Proper 3-Dominating Sets in Graphs" Mathematics 13, no. 12: 1960. https://doi.org/10.3390/math13121960

APA Style

Chen, D., & Cai, S. (2025). Proper 3-Dominating Sets in Graphs. Mathematics, 13(12), 1960. https://doi.org/10.3390/math13121960

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop