Complexity
Volume 2018 (2018), Article ID 3041426, 8 pages
https://doi.org/10.1155/2018/3041426

Research Article

The Domination Complexity and Related Extremal Values of Large 3D Torus

Zehui Shao,¹ Jin Xu,¹ S. M. Sheikholeslami,² and Shaohui Wang³

¹Institute of Computing Science and Technology, Guangzhou University, Guangzhou 510006, China
²Department of Mathematics, Azarbaijan Shahid Madani University, Tabriz, Iran
³Department of Mathematics, Savannah State University, Savannah, GA 31404, USA

Correspondence should be addressed to Shaohui Wang; shaohuiwang@yahoo.com

Received 18 January 2018; Accepted 15 April 2018; Published 2 July 2018

Academic Editor: Christos Volos

Copyright © 2018 Zehui Shao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Domination is a structural complexity of chemical molecular graphs. A dominating set in a (molecular) graph is a subset such that each vertex in is adjacent to at least one vertex in . The domination number of a graph is the minimum size of a dominating set in . In this paper, computer-aided approaches for obtaining bounds for domination number on torus graphs are here considered, and many new exact values and bounds are obtained.

1. Introduction

The structure of molecular graphs is a broad area among chemistry, biology, and mathematics. In particular, domination number or dominating complexity has attracted considerable attention in the general case [1–7], like coding theory and combinatorial design. Due to a variety of applications, it has been studied on various types of graphs such as generalized Petersen graphs [8–11], hypercubes [12, 13], Fibonacci cubes [14], Kneser graphs [15–18], torus graphs [19–21], and grid graphs [22, 23]. Others are referred to [24–26].

In this work, we consider certain graphs without loops or multiple edges. A dominating set in a graph is a subset such that each vertex in is adjacent to at least one vertex in . The domination number of a graph is the minimum cardinality of a dominating set in . A dominating set of a graph is a set if it has cardinality . A dominating set is an independent dominating set, if no two vertices in are adjacent. The independent domination number of a graph is the minimum cardinality of an independent dominating set in . For , the cardinality of a minimum dominating set of containing is denoted by , that is,

For two graphs and , the Cartesian product is a graph with vertex set and two vertices (,) and (,) are adjacent if and only if either and or and . The gird is , the cylinder for is , the torus for and is , and the 3D torus for given , , is . The subgraph of induced by is isomorphic to . It is called a G-fiber and is denoted by .

The domination number has attracted considerable attention in the general case [1, 2]. Due to a variety of applications, it has been studied on various types of graphs such as generalized Petersen graphs [8–11], hypercubes [12, 13], Fibonacci cubes [14], Kneser graphs [15, 16, 18], torus graphs [19–21], and grid graphs [22, 23]. Others are referred to [24–26].

Dominating sets in some special graphs have applied in coding theory and combinatorial design. For instance, there is a natural relation between dominating sets of torus graphs and covering codes in the Lee metric [21], and dominating sets in a type of Kneser graphs are also related to Steiner system [18].

The following result is a special case of Theorem 3.3 in [19]:

Theorem 1.

Let be the automorphism group of graph . We say two subsets and are equivalent if there exists a mapping such that . For a subset , the orbit of is the family .

2. The Approaches

2.1. ILP-Based Search

Let be a graph and be a dominating set of . We use a Boolean variable to denote if a vertex is in , that is, if .

The following is the well-known integer linear programming model for finding a minimum dominating set of :

ILPDominatingSet

2.2. Extending Dominating Sets from Inequivalent Seeds

Sometimes, we can succeed to obtain the independent domination number of a graph in a reasonable time but it fails to exhaustively search the domination number . In such cases, based on Observation 1, we can obtain first to assume there are two adjacent vertices in a minimum dominating set.

Observation 1. Let be a graph. If there is a minimum dominating set such that , then contains two adjacent vertices.

Observation 2. Let be a graph and be a family of inequivalent subsets of . If there is a minimum dominating set of containing a subset isomorphic to one element in , then .

Based on the above observations, we first select a family of inequivalent subsets of the vertex set of a considered graph then extend each subset to a minimum dominating set, that is, we compute . We apply the following procedure to compute the domination number of (using a 2.66 GHz Intel Core (TM) i7-5600U CPU).

Procedure MinDomination(, );

Input: a graph and a family of inequivalent subsets of .

begin

    minDom ←+∞;

    for all do

        compute by solving the model ILPDominatingSet with additional

        constraints that for each ;

        if () then ;

    endfor

    Solve the model ILPDominatingSet with additional constraints

    that for each in the orbit of a set and

    let be the objective value;

    return min{minDOM, };

end.

Procedure 1

2.3. Numerical Results

In this section, we determine the domination number of five torus.

Theorem 2.

Proof. The upper bound follows from the dominating set depicted in Figure 1.
Next, we show that . Consider a family of inequivalent subset where

We run Procedure MinDomination to extend each for a minimum dominating set and determine for each . It can be seen that for each . The results are presented in Table 1.
Moreover, we obtain that in only 2774 seconds by running MinDomination. From the above computational results, we have .

Theorem 3.

Proof. The upper bound follows from the dominating set depicted in Figure 2.
From the computational results above, we have .

Theorem 4.

Proof. The upper bound follows from the dominating set depicted in Figure 3.
Next, we show that . First, it takes 12520 seconds to obtain using Gurobi optimizer. Since , we deduce that any minimum dominating set has two adjacent vertices. Now, we may assume w.l.o.g. that are in a minimum dominating set. We consider the following inequivalent family , where

We run Procedure MinDomination to extend each for a minimum dominating set and determine for each . It can be seen that for each , and the results are presented in Table 2.
Moreover, we obtain that in 16753 seconds by running MinDomination. From the above computational results, we have .

Theorem 5.

Proof. The upper bound follows from the dominating set depicted in Figure 4.
Next, we show that . Suppose, to the contrary, that .
First, it takes 18974 seconds to obtain using Gurobi optimizer. By assumption, . By Observation 1, we conclude that any minimum dominating set has two adjacent vertices. Now, we may assume w.l.o.g. that are in a minimum dominating set. We consider the inequivalent family defined in the proof of Theorem 4. We run Procedure MinDomination to extend each for a minimum dominating set and determine for each . It can be seen that for each , and the results are presented in Table 3.
Moreover, we obtain that in 23764 seconds by running MinDomination. From the above computational results, we have , contradicting with the initial assumption that . Thus, .

Theorem 6.

Proof. The upper bound follows from the dominating set depicted in Figure 5.
Next, we show that . Suppose, to the contrary, that .
First, it takes 938743 seconds to obtain using Gurobi optimizer. By assumption, . By Observation 1, we conclude that any minimum dominating set has two adjacent vertices. Now, we may assume w.l.o.g. that are in a minimum dominating set. We consider the inequivalent family defined in the proof of Theorem 4. We run Procedure MinDomination to extend each for a minimum dominating set with a time limit 200000 seconds. Although we failed to determine the exact values of within 200000 seconds, we are able to confirm that for each . This suffices to confirm the lower bound 144, and the results are presented in Table 4.
Moreover, we obtain that in 465326 seconds by running MinDomination. From the above computational results, we have , contradicting with the initial assumption that . Thus, .

Figure 1: A dominating set with 95 vertices in .

Table 1: The results for extending seeds from .

Seed (S)

Time (s)
Seed (S)

Time (s)

96
1805

95
2542

95
1918

95
1365

95
1032

95
1273

95
3892

96
1640

Figure 2: A dominating set with 104 vertices in .

Figure 3: A dominating set with 114 vertices in .

Table 2: The results for extending seeds from .

Seed (S)

Time (s)
Seed (S)

Time (s)

115
10535

115
12360

115
15515

115
11740

115
16170

115
23005

115
18650

114
1325

Figure 4: A dominating set with 120 vertices in .

Table 3: The results for extending seeds from .

Seed (S)

Time (s)
Seed (S)

Time (s)

121
40

122
135

122
206

122
75

122
17

122
110

122
685

122
90

Figure 5: A dominating set with 144 vertices in .

Table 4: The results for extending seeds from .

Seed (S)

Time (s)
Seed (S)

Time (s)

144
120245

≥144
171506

≥144
187364

≥144
189346

≥144
196393

≥144
193245

≥144
179873

≥144
162785

By Theorem 1, we have that if (mod 5), then . Inspired by the result in [21] and the above computational results, the following conjecture is proposed.

Conjecture 1. Let . Then, we have

(i)if (mod 5), then ,(ii)if (mod 5), then .

3. Results and Discussions: Domination Number of 3D Torus

In this section, we determine the domination number of some 3D torus , where , , . Denote the vertices in by for and . For any set , let for.

Theorem 7. For , .

Proof. It is easy to verify that for . Let and be a set such that is as small as possible. First, we show that for each . Suppose, to the contrary, that for some , say . To dominate the vertices of , we must have . Clearly, the set

is a dominating set of of size less than which is a contradiction. Thus, for each .
Next, we show that if for some , then and . Let for some , say . Assume without loss of generality that . If , then to dominate the vertices for , we must have and so for .
If (the cases , , and are similar), then to dominate the vertices , we must have and . If (the cases , , and are similar), then to dominate the vertices , we must have for .
Let for each and define on by

Clearly, and for each . It follows that

yielding . Since is integer, we obtain the desired bound.

Theorem 8. Let be an integer. Then

(i) if or (mod 4),(ii) if (mod 4) and .

Proof. Let and

(i)If (mod 4), then is a dominating set of of size , if (mod 4), then is a dominating set of with cardinality , and if (mod 4), then is a dominating set of G of size . If , then set is a dominating set of with cardinality 9. Therefore, we have when or (mod 4).(ii)If (mod 4), then the set is a dominating set of with cardinality . Therefore, we have if for .

Remark 1. We have succeed to compute all the exact values of for and only if .

Theorem 9. For , .

Proof. Let . First, we show that . Let

If (mod 3), then is a dominating set of with cardinality . If (mod 3), then is a dominating set of with cardinality . If (mod 3), then is a dominating set of with cardinality . Therefore, we have .
Now, we show that . It is not hard to see that for . Assume and let S be a set. Denote the vertices in by for and . First, we show that for each . Suppose, to the contrary, that for some , say . To dominate the vertices of , we have . Clearly, the set

is a dominating set of of size less than which is a contradiction. Thus, for each . Next, we show that there is no such that . Suppose, to the contrary, that for some , say . We may assume without a loss of generality that and and that . To dominate the vertices of , we must have . Now, the set

is a set contradicting the choice of . Hence, for each . Thus,

and this completes the proof.

Applying analogous approaches described in Section 2, we can obtain substantial results on domination of multidimensional torus. The exact values of some 3D torus are presented in Table 5. Let

Note that when , the domination of corresponds to the classic ternary covering codes of length . By the results of [27], it is clear that , , and . Using the above approaches, we obtained some new bounds and exact values of . The results are presented in Table 6.

Table 5: Exact values of some 3D torus .

3
4
5
6
7
8
9
10

(3,3)
5
6
8
9
11
12
14
16

(3,4)

8
10
12
14
16
18
20

(3,5)

13
15
18
20
23
25

(3,6)

18
21
24
27
30

(3,7)

25
28
32
35

(3,8)

32
36
40

(3,9)

41
45

(4,4)

12
15
16
20
23
24
29

(4,5)

18
20
25
28
30
36

(4,6)

24
28
32
36
40

(4,7)

34
38
42
48

(5,5)

20
26
31
34
38
40

(5,6)

30
35
40
45
50

Table 6: Bounds and exact values of .

(21,2)
(22,2)
(23,2)
(24,2)
(25,2)
(26,2)
(27,2)

95
104
114
120
125
144
152–155

(3,3)
(4,3)
(5,3)
(6,3)
(7,3)

5
12
20
36
49

(3,4)
(4,4)
(5,4)

9
32
73–85

(n, k)
(3,5)
(4,5)

27
100–141

Moreover, some dominating sets corresponding to upper bounds are also listed below. Inspired by the computational results, the following conjecture is proposed.

Conjecture 2.

(i)For , ,(ii)For , , .

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that there is no conflict of interest regarding the publication of this paper.

Acknowledgments

This work is supported by the National Key Research and Development Program under Grant 2017YFB0802300, the National Natural Science Foundation of China under the Grant 11361008, and the Applied Basic Research (Key Project) of Sichuan Province under Grant 2017JY0095.

References

T. W. Haynes, S. T. Hedetniemi, and P. J. Slater, Fundamentals of Domination in Graphs, Marcel Dekker, New York, NY, USA, 1998.

S. T. Hedetniemi and R. C. Laskar, “Bibliography on domination in graphs and some basic definitions of domination parameters,” Discrete Mathematics, vol. 86, no. 1-3, pp. 257–277, 1990.

S. Hayat, S. Wang, and J.-B. Liu, “Valency-based topological descriptors of chemical networks and their applications,” Applied Mathematical Modelling, vol. 60, pp. 164–178, 2018.

S. Wang and B. Wei, “A note on the independent domination number versus the domination number in bipartite graphs,” Czechoslovak Mathematical Journal, vol. 67, no. 2, pp. 533–536, 2017.

S. Ji and S. Wang, “On the sharp lower bounds of Zagreb indices of graphs with given number of cut vertices,” Journal of Mathematical Analysis and Applications, vol. 458, no. 1, pp. 21–29, 2018.

Y. Gao, E. Zhu, Z. Shao, I. Gutman, and A. Klobučar, “Total domination and open packing in some chemical graphs,” Journal of Mathematical Chemistry, vol. 56, no. 5, pp. 1481–1492, 2018.

J.-B. Liu, X.-F. Pan, L. Yu, and D. Li, “Complete characterization of bicyclic graphs with minimal Kirchhoff index,” Discrete Applied Mathematics, vol. 200, pp. 95–107, 2016.

B. Javad Ebrahimi, N. Jahanbakht, and E. S. Mahmoodian, “Vertex domination of generalized Petersen graphs,” Discrete Mathematics, vol. 309, no. 13, pp. 4355–4361, 2009.

J. Liu and X. Zhang, “The exact domination number of generalized Petersen graphs with and ,” Computational and Applied Mathematics, vol. 33, no. 2, pp. 497–506, 2014.

X. Fu, Y. Yang, and B. Jiang, “On the domination number of generalized Petersen graphs ,” Discrete Mathematics, vol. 309, no. 8, pp. 2445–2451, 2009.

X. Fu, Y. Yang, and B. Jiang, “On the domination number of generalized Petersen graphs P(n,3),” Ars Combinatoria, vol. 84, pp. 373–383, 2007.

G. Cohen, I. Honkala, S. Litsyn, and A. Lobstein, Covering Codes, Elsevier, Amsterdam, Netherlands, 1997.

S. Klavžar and M. Ma, “The domination number of exchanged hypercubes,” Information Processing Letters, vol. 114, no. 4, pp. 159–162, 2014.

A. Castro, S. Klavžar, M. Mollard, and Y. Rho, “On the domination number and the 2-packing number of Fibonacci cubes and Lucas cubes,” Computers & Mathematcs with Applications, vol. 61, no. 9, pp. 2655–2660, 2011.

J. Ivančo and B. Zelinka, “Domination in Kneser graphs,” Mathematica Bohemica, vol. 118, no. 2, pp. 147–152, 1993.

I. Gorodezky, Domination in Kneser Graphs, [M.S. thesis], University of Waterloo, Waterloo, Canada, 2007.

S. Wang, C. Wang, and J.-B. Liu, “On extremal multiplicative Zagreb indices of trees with given domination number,” Applied Mathematics and Computation, vol. 332, pp. 338–350, 2018.

P. Östergård, Z. Shao, and X. Xu, “Bounds on the domination number of Kneser graphs,” Ars Mathematica Contemporanea, vol. 9, no. 2, pp. 197–205, 2015.

S. Klavžar and N. Seifter, “Dominating Cartesian products of cycles,” Discrete Applied Mathematics, vol. 59, no. 2, pp. 129–136, 1995.

M. H. El-Zahar and R. S. Shaheen, “On the domination number of the product of two cycles,” Ars Combinatoria, vol. 84, pp. 51–64, 2007.

S. Crevals and P. R. J. Östergård, “On the domination number of 2-dimensional torus graphs,” Utilitas Mathematica, vol. 106, pp. 289–300, 2018.

S. Alanko, S. Crevals, A. Isopoussu, P. Östergård, and V. Pettersson, “Computing the domination number of grid graphs,” The Electronic Journal of Combinatorics, vol. 18, no. 1, p. 141, 2011.

D. Gonçalves, A. Pinlou, M. Rao, and S. Thomassé, “The domination number of grids,” SIAM Journal on Discrete Mathematics, vol. 25, no. 3, pp. 1443–1453, 2011.

Q. Zhao and S. Li, “On the maximum Zagreb indices of graphs with k cut vertices,” Acta Applicandae Mathematicae, vol. 111, no. 1, pp. 93–106, 2010.

J. Estes and B. Wei, “Sharp bounds of the Zagreb indices of k-trees,” Journal of Combinatorial Optimization, vol. 27, no. 2, pp. 271–291, 2014.

J. Ma, Y. Shi, Z. Wang, and J. Yue, “On Wiener polarity index of bicyclic networks,” Scientific Reports, vol. 6, no. 1, article 19066, 2016.

R. Bertolo, P. R. J. Ostergard, and W. D. Weakley, “An updated table of binary/ternary mixed covering codes,” Journal of Combinatorial Designs, vol. 12, no. 3, pp. 157–176, 2004.