Open Access
This article is

- freely available
- re-usable

*Mathematics*
**2019**,
*7*(2),
210;
https://doi.org/10.3390/math7020210

Article

More Results on the Domination Number of Cartesian Product of Two Directed Cycles

^{1}

School of Geophysics, Chengdu University of Technology, Chengdu 610059, China

^{2}

School of Information Science and Engineering, Chengdu University, Chengdu 610106, China

^{3}

Institute of Computing Science and Technology, Guangzhou University, Guangzhou 510006, China

^{4}

School of Mathematics and Physics, Anhui Jianzhu University, Hefei 230601, China

^{5}

Faculty of Mechanical Engineering, University of Ljubljana, SI-1000 Ljubljana, Slovenia

^{6}

Institute of Mathematics, Physics and Mechanics, SI-1000 Ljubljana, Slovenia

^{7}

Faculty of Natural Sciences and Mathematics, University of Maribor, SI-2000 Maribor, Slovenia

^{8}

Faculty of Information Studies, P.O. Box 603, 8000 Novo Mesto, Slovenia

^{*}

Author to whom correspondence should be addressed.

Received: 12 December 2018 / Accepted: 21 February 2019 / Published: 24 February 2019

## Abstract

**:**

Let $\gamma (D)$ denote the domination number of a digraph D and let ${C}_{m}\square {C}_{n}$ denote the Cartesian product of ${C}_{m}$ and ${C}_{n}$, the directed cycles of length $n\ge m\ge 3$. Liu et al. obtained the exact values of $\gamma ({C}_{m}\square {C}_{n})$ for m up to 6 [Domination number of Cartesian products of directed cycles, Inform. Process. Lett. 111 (2010) 36–39]. Shao et al. determined the exact values of $\gamma ({C}_{m}\square {C}_{n})$ for $m=6,7$ [On the domination number of Cartesian product of two directed cycles, Journal of Applied Mathematics, Volume 2013, Article ID 619695]. Mollard obtained the exact values of $\gamma ({C}_{m}\square {C}_{n})$ for $m=3k+2$ [M. Mollard, On domination of Cartesian product of directed cycles: Results for certain equivalence classes of lengths, Discuss. Math. Graph Theory 33(2) (2013) 387–394.]. In this paper, we extend the current known results on ${C}_{m}\square {C}_{n}$ with m up to 21. Moreover, the exact values of $\gamma ({C}_{n}\square {C}_{n})$ with n up to 31 are determined.

Keywords:

domination number; Cartesian product; directed cycle## 1. Introduction

In this paper, we only consider digraphs without multiple edges or loops. For a digraph $D=(V,A)$ (or $D=(V(G),A(G))$) with vertex set V, arc set A, and a vertex $v\in V$, ${N}_{D}^{+}(v)$ and ${N}_{D}^{-}(v)$ denote the set of out-neighbors and in-neighbors of v, ${d}_{D}^{+}(v)=|{N}_{D}^{+}(v)|$ and ${d}_{D}^{-}(v)=|{N}_{D}^{-}(v)|$ denote the out-degree and in-degree of v in D, respectively. For two vertices u and v in D, we say u dominates v if $u=v$ or $uv\in A$. Let ${N}_{D}^{+}\left[v\right]={N}_{D}^{+}(v)\cup \left\{v\right\}$. A vertex v dominates all vertices in ${N}_{D}^{+}\left[v\right]$. A set $S\subseteq V$ is a dominating set of D if S dominates $V(D)$. The domination number of D, denoted by $\gamma (D)$, is the minimum cardinality of a dominating set of D. A dominating set S is called a $\gamma $-set of D if $|S|$ is the minimum cardinality over all dominating sets of D.

The Cartesian product of graphs ${D}_{1}$ and ${D}_{2}$ is the graph ${D}_{1}\phantom{\rule{0.166667em}{0ex}}\square \phantom{\rule{0.166667em}{0ex}}{D}_{2}$ with the vertex set $V({D}_{1})\times V({D}_{2})$, and $(a,b)({a}^{\prime},{b}^{\prime})\in A({D}_{1}\phantom{\rule{0.166667em}{0ex}}\square \phantom{\rule{0.166667em}{0ex}}{D}_{2})$ if either $a{a}^{\prime}\in A({D}_{1})$ and $b={b}^{\prime}$, or $b{b}^{\prime}\in A({D}_{2})$ and $a={a}^{\prime}$. For more information on the Cartesian product of graphs [1]. It can be seen that if ${D}_{1}$ and ${D}_{2}$ are directed graphs, then ${D}_{1}\phantom{\rule{0.166667em}{0ex}}\square \phantom{\rule{0.166667em}{0ex}}{D}_{2}$ is also a directed graph. We denote by ${C}_{n}$ and ${P}_{n}$ the directed cycle and directed path with n vertices, respectively. Then we study the domination number of directed graphs ${C}_{m}\square {C}_{n}$ for $n\ge m\ge 3$.

Graph domination and associated concepts have been studied for many years and there are more than 200 papers to study on the subject [2,3,4]. Among them, many authors study the domination number of products of graphs [5,6], especially for cylinders [7], torus [8,9] and grids [10]. Liu et al. initiated the study of the domination number of two directed cycles, and they [11,12] determined the exact values of $\gamma ({C}_{m}\square {C}_{n})$ for m up to 6 and showed that

**Theorem**

**1.**

$\gamma ({C}_{m}\square {C}_{n})=\frac{mn}{3}$ if $m\equiv 0$ (mod 3) and $n\equiv 0$ (mod 3).

Shao et al. [13] extended the exact values of $\gamma ({C}_{m}\square {C}_{n})$ for $m\in \{7,10\}$. Mollard [14] determined exact values of $\gamma ({C}_{m}\square {C}_{n})$ for $m=3k+2$.

In this paper, we again apply the “dynamic algorithm”, used in [15], to extend the exact values of $\gamma ({C}_{m}\square {C}_{n})$ for m up to 21. These results go much further from the previous known results. Moreover, the exact values of $\gamma ({C}_{n}\square {C}_{n})$ with n up to 31 are determined.

## 2. The Approach—General Outline

The “dynamic algorithm” was proposed to compute invariants of fasciagraphs and rotagraphs [16], and thus it can be used to compute the chromatic number, independence number, domination number etc. of products of graphs. For example, Shao et al. [13] apply the “dynamic algorithm” to compute the domination number of Cartesian product of two cycles with one cycle of length 7 or 10 and in [15] authors derived some formulas for the Roman domination number of products of paths and cycles.

In [17], the approach was used to derive closed expressions for domination numbers $\gamma ({P}_{n}\square {C}_{k})$ (for $k\le 11$, $n\in \mathbb{N}$) and domination numbers $\gamma ({C}_{n}\square {P}_{k})$ and $\gamma ({C}_{n}\square {C}_{k})$ (for $k\le 7$, $n\in \mathbb{N}$). We recall a brief formal description from [17].

Let ${D}_{1},\dots ,{D}_{n}$ be arbitrary mutually disjoint (di)graphs, here called monographs, and ${X}_{1},\dots ,{X}_{n}$ a sequence of sets of arcs. An arc of ${X}_{i}$ joins a vertex of $V({D}_{i})$ with a vertex of $V({D}_{i+1})$ (${X}_{i}\subseteq V({D}_{i})\times V({D}_{i+1})$ for $i=1,\dots ,n$). Furthermore, for convenience we set ${D}_{n+1}={D}_{1}$. A polygraph ${\Omega}_{n}={\Omega}_{n}({D}_{1},\dots {D}_{n};{X}_{1},\dots {X}_{n})$ over monographs ${D}_{1},\dots ,{D}_{n}$ is defined in the following way:
For a polygraph ${\Omega}_{n}$ and for $i=1,\dots ,n$ we also define
In general, ${R}_{i}\cap {L}_{i+1}$ does not have to be empty. Special types of polygraphs are rotagraphs and fasciagraphs. If all (di)graphs ${D}_{i}$ are isomorphic to a fixed (di)graph D and all sets ${X}_{i}$ are equal to a fixed set X, we call such a graph rotagraph, ${\omega}_{n}(D;X)$. More precisely, in a rotagraph (1) there are isomorphisms ${\phi}_{i}:V({D}_{i})\u27f6V(D)$ for $i=1,\dots ,n+1$, and ${\phi}_{n+1}={\phi}_{1}$ and (2) all sets ${X}_{i}$ are equal to a fixed set $X\subseteq V(D)\times V(D)$ ($(u,v)\in X\u27fa\left({\phi}_{i}^{-1}(u),{\phi}_{i+1}^{-1}(v)\right)\in {X}_{i}$ for all i). Losely speaking, a fasciagraph, ${\psi}_{n}(D;X)$ is a rotagraph without edges between the last and the first copy of D. Formally, in a fasciagraph we have ${X}_{n}=\varnothing $ and ${X}_{1}=X,\dots ,{X}_{n-1}=X$. Note that in a rotagraph, all sets ${L}_{i}$ and ${R}_{i}$ are equal to fixed sets L and R (i.e., ${L}_{i}={\phi}_{i}^{-1}(L)$ and ${R}_{i}={\phi}_{i+1}^{-1}(R)$). This holds for fasciagraphs with one exception, namely ${L}_{n}=\varnothing $ and ${R}_{n}=\varnothing $. Clearly, the Cartesian products of paths ${P}_{n}\square {P}_{k}$ are examples of fasciagraphs and Cartesian products of cycles ${C}_{n}\square {C}_{k}$ are examples of rotagraphs. Products of a path and a cycle can be seen either as rotagraphs or as fasciagraphs. In previous work [15,17,18], this fact has been used in studies of undirected graphs to obtain a number of results regarding the products of paths and cycles.

$$V({\Omega}_{n})=V({D}_{1})\cup \dots \cup V({D}_{n}),$$

$$A({\Omega}_{n})=A({D}_{1})\cup {X}_{1}\cup \dots \cup A({D}_{n})\cup {X}_{n}.$$

$${L}_{i}=\{u\in V({D}_{i})\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}\exists v\in {D}_{i+1}:uv\in {X}_{i}\},$$

$${R}_{i}=\{u\in V({D}_{i+1})\phantom{\rule{3.33333pt}{0ex}}|\phantom{\rule{3.33333pt}{0ex}}\exists v\in {D}_{i}:uv\in {X}_{i}\}.$$

We now recall the definition of a semiring $\mathcal{P}=(P,\oplus ,\circ ,{e}^{\oplus},{e}^{\circ})$. It is a set P together with two binary operations, ⊕ and ○ such that the following hold:

- $(P,\oplus )$ is a commutative monoid with ${e}^{\oplus}$ as a unit;
- $(P,\circ )$ is a monoid with ${e}^{\circ}$ as a unit;
- ○ is left– and right–distributive over ⊕;
- $\forall x\in P,x\circ {e}^{\oplus}={e}^{\oplus}={e}^{\oplus}\circ x$.

A path algebra is an idempotent semiring. It is well known that a semiring is a path algebra exactly when ${e}^{\circ}\oplus {e}^{\circ}={e}^{\circ}$ holds for ${e}^{\circ}$, the unit of the monoid $(P,\circ )$. Let ${\mathbb{N}}_{0}$ denote the set of nonnegative integers and $\mathbb{N}$ the set of positive integers. An example of a path algebra that is important here is ${\mathcal{P}}_{1}=({\mathbb{N}}_{0}\cup \{\infty \},min,+,\infty ,0)$.

Let $\mathcal{P}=(P,\oplus ,\circ ,{e}^{\oplus},{e}^{\circ})$ be a path algebra and let ${\mathcal{M}}_{n}(\mathcal{P})$ be the set of all $n\times n$ matrices over P. Let $M,N\in {\mathcal{M}}_{n}(\mathcal{P})$ and define operations ⊕ and ○ in the usual way:

$$\begin{array}{ccc}\hfill {(M\oplus N)}_{ij}& =& {M}_{ij}\oplus {N}_{ij},\hfill \\ \hfill {(M\circ N)}_{ij}& =& \underset{k=1}{\overset{n}{\u2a01}}{M}_{ik}\circ {N}_{kj}.\hfill \end{array}$$

Note that in the case of the path algebra ${\mathcal{P}}_{1}=({\mathbb{N}}_{0}\cup \{\infty \},min,+,\infty ,0)$, the above definitions can be rewritten as:
${\mathcal{M}}_{n}(\mathcal{P})$ equipped with above operations is a path algebra where the units of semiring are the zero matrix and the unit matrix. In our example, ${\mathcal{P}}_{1}=({\mathbb{N}}_{0}\cup \{\infty \},min,+,\infty ,0)$, all elements of the zero matrix are ∞, the unit of the monoid $(P,min)$, and the unit matrix is a diagonal matrix with diagonal elements equal to ${e}^{\circ}=0$ and all other elements equal to ${e}^{\oplus}=\infty $.

$$\begin{array}{ccc}\hfill {(M\oplus N)}_{ij}& =& min\{{M}_{ij},{N}_{ij}\},\hfill \\ \hfill {(M\circ N)}_{ij}& =& \underset{k\in \{1,\dots ,n\}}{min}\{{M}_{ik}+{N}_{kj}\}.\hfill \end{array}$$

Let D be a labeled digraph with a labeling function ℓ which assigns to every arc of D an element of a path algebra P. Let $V(D)=\left\{{v}_{1},{v}_{2},\dots ,{v}_{n}\right\}$. The labeling ℓ of D can be extended to paths in the following way: For a path $Q=({v}_{{i}_{0}},{v}_{{i}_{1}})({v}_{{i}_{1}},{v}_{{i}_{2}})\dots ({v}_{{i}_{k-1}},{v}_{{i}_{k}})$ of D let
Let ${S}_{ij}^{k}$ be the set of all paths of order k from ${v}_{i}$ to ${v}_{j}$ in D and let $M(D)$ be the matrix defined by:

$$\ell (Q)=\ell \left({v}_{{i}_{0}},{v}_{{i}_{1}}\right)\circ \ell \left({v}_{{i}_{1}},{v}_{{i}_{2}}\right)\circ \dots \circ \ell \left({v}_{{i}_{k-1}},{v}_{{i}_{k}}\right).$$

$$M{(D)}_{ij}=\left\{\begin{array}{cc}\ell \left({v}_{i},{v}_{j}\right);\hfill & \mathrm{if}\phantom{\rule{4.pt}{0ex}}({v}_{i},{v}_{j})\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{an}\phantom{\rule{4.pt}{0ex}}\mathrm{arc}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}D\phantom{\rule{4.pt}{0ex}}\hfill \\ {e}^{\oplus};\hfill & \mathrm{otherwise}\hfill \end{array}\right.$$

It is well-known [19] that
Let ${\omega}_{n}(D;X)$ be a rotagraph and ${\psi}_{n}(D;X)$ a fasciagraph. Set ${U}_{i}={L}_{i}\cup {R}_{i}$. Note that in the case of fasciagraphs or rotagraphs, all sets ${L}_{i}$ and ${R}_{i}$ are equal to fixed sets L and R, respectively. Therefore we can write $U=L\cup R$, keeping in mind that this is a disjoint union of sets L and R, where $L\subseteq {D}_{i}$ and $R\subseteq {D}_{i+1}$. Denote $N={2}^{|U|}$. The labeled digraph $\mathcal{D}=\mathcal{D}(D;X)$ is defined as follows: (1) elements of vertex set of $\mathcal{D}$ are the subsets of U, denoted ${V}_{i}$; (2) the label (or, weight) of the arc that joins a subset ${V}_{i}$ with a subset ${V}_{j}$ is the contribution of the monograph ${D}_{i}$ to the solution, assuming the sets ${V}_{i}$ and ${V}_{j}$ are part of the solution. In general however, for example when independent domination is considered, some of the pairs of sets ${V}_{i}$ and ${V}_{j}$ do not allow any feasible solution. In such case either a very large label is given (∞), or the arc ${V}_{i}{V}_{j}$ is deleted from $\mathcal{D}=\mathcal{D}(D;X)$, and consequently $\mathcal{D}$ need not be a complete graph.

$${\left(M{(D)}^{k}\right)}_{ij}=\underset{Q\in {S}_{ij}^{k}}{\u2a01}\ell (Q).$$

Consider for a moment ${\psi}_{3}(D;X)$ and let ${V}_{i}\subseteq {L}_{1}\cup {R}_{1}$ and ${V}_{j}\subseteq {L}_{2}\cup {R}_{2}$ (of course ${R}_{1}={R}_{2}=R$ and ${L}_{1}={L}_{2}=L$ (see Figure 1)). Let ${\gamma}_{i,j}(D;X)$ stand for the size of minimum dominating set of ${D}_{2}\setminus \left(({V}_{i}\cap {R}_{1})\cup ({L}_{2}\cap {V}_{j})\right)$. Then we define a labeling of $\mathcal{D}$, $\ell :A(\mathcal{D})\u27f6{\mathbb{N}}_{0}\cup \left\{\infty \right\}$, in the following way:

$$\begin{array}{cc}\hfill \ell ({V}_{i},{V}_{j})& =\left|{V}_{i}\cap R\right|+{\gamma}_{i,j}(D;X)+\left|L\cap {V}_{j}\right|-\left|{V}_{i}\cap R\cap L\cap {V}_{j}\right|.\hfill \end{array}$$

We now recall Algorithm 1, first proposed in [16], that computes the domination number of a fasciagraph or a rotagraph in $O(logn)$ time:

Algorithm 1 The domination number. |

Step 1: Let ${\mathcal{P}}_{1}=({\mathbb{N}}_{0}\cup \{\infty \},min,+,\infty ,0)$ be a path algebra.Step 2: Label $\mathcal{D}(D;X)$ with the labeling, defined in (1).Step 3: In $\mathcal{M}({\mathcal{P}}_{1})$ calculate $M{\left(\mathcal{D}\right)}^{n}$.Step 4: Let $\gamma \left({\psi}_{n}(D;X)\right)={\left(M{\left(\mathcal{D}\right)}^{n}\right)}_{00}$ and $\gamma \left({\omega}_{n}(D;X)\right)={min}_{i}{\left(M{\left(\mathcal{D}\right)}^{n}\right)}_{ii}.$ |

This algorithm can be considerably improved because in some cases, computing the powers of $M{\left(\mathcal{D}\right)}^{n}={M}_{n}$ in $O(C)$ time is possible. For example, it is well-known that improvements using special structure of the matrices give rise to constant time algorithm for computation of the domination numbers:

**Lemma**

**1.**

([20]) Let $k=|V(\mathcal{D}(D;X))|$ and $K=|V(D)|$. Then there is an index $q\le {(2K+2)}^{{k}^{2}}$ such that ${M}_{q}={M}_{p}+C$ for some index $p<q$ and some constant matrix C. Let $P=q-p$. Then for every $r\ge p$ and every $s\ge 0$ we have

$${M}_{r+sP}={M}_{r}+sC\phantom{\rule{0.166667em}{0ex}}.$$

Note that this phenomena is not restricted to domination type problems. For example, an analogous lemma for distance based invariants was elaborated already in [21].

Hence, if we assume that the size of the monograph is a given constant (and n is a variable), the algorithm will run in constant time. But it is important to emphasize that the algorithm is useful for practical purposes only if the number of vertices of the monograph is relatively small. Namely, the matrices $\mathcal{M}{(\mathcal{D})}^{k}$ are of size $|V(\mathcal{D})|\times |V(\mathcal{D})|$, and manipulating such matrices implies that the time complexity is in general exponential in the number of vertices of the monograph. Therefore, a straightforward implementation of the algorithm may have prohibitively long running times.

A method that is particulary useful for fasciagraphs is the following. Observe that one may consider each row of the matrices separately. Thus, instead of using $O(|V(\mathcal{D}){|}^{2})$ space, only $O(|V(\mathcal{D})|)$ is required. Furthermore, depending on the problem, it may not be necessary to compute all the rows of $\mathcal{M}{(\mathcal{D})}^{n}$. Instead of calculating the whole matrices $\mathcal{M}{(\mathcal{D})}^{n}$, the correct answer is obtained if only those rows which are important for the result are calculated and the difference of the new row against the previously stored rows is checked until a constant difference is detected. This idea was used in [15] on Roman domination problem and in [22] for pentomino exclusion problem. Formally, it is based on the following lemma

**Lemma**

**2.**

[15] Assume that the j-th row of ${M}^{n+P}$ and ${M}^{n}$ differ by a constant, ${M}_{ji}^{n+P}={M}_{ji}^{n}+C$ for all i. Then $\underset{i}{min}{M}_{ji}^{n+P}=\underset{i}{min}{M}_{ji}^{n}+C$.

The idea may be even easier to explain directly in terms of graphs, avoiding the matrix notation. As we study products of cycles in this paper, we restrict attention to rotagraph type problems. Observe that a dominating set in ${C}_{m}\square {C}_{n}$ corresponds to a cycle of length n in the auxiliary graph $\mathcal{D}$. This leads to the problem of finding a cycle of length n with minimal weight. Above considerations translate into the ideas that if there is a subset of vertices of $\mathcal{D}$ that must be in any solution, then we can start the search for cycles on these vertices only.

In this paper we make use of another idea [13]. Namely, if there are vertices of $\mathcal{D}$ that can not be on any minimal cycle, then we can ignore them.

## 3. The Approach: Details

Below, we define the labelled auxiliary digraph $\mathcal{D}$ that can be used to solve our domination problem. Then we provide a procedure for reducing the number of vertices of the auxiliary digraph $\mathcal{D}$, similarly as in [13]. The dynamic algorithm is then applied on the reduced auxiliary graph.

Before we continue, let us denote $V({C}_{n})=\{0,1,\dots ,n-1\}$ and ${C}_{m}^{i}$ a ${C}_{m}$-layer of ${C}_{m}\square {C}_{n}$, which corresponds to vertex $i\in V({C}_{n}).$ Similarly as in [13], the vertices v of the auxiliary digraph are represented with a “pattern”, i.e., a dominating set on two consecutive ${C}_{m}$-layers. A pattern here is a sequence of 0 s and 1 s, where 1 stands for a vertex in a dominating set of ${C}_{m}^{i}\cup {C}_{m}^{i+1}$ and 0 for a vertex that needs to be dominated from a neighboring vertex. The weight of a vertex v, $w(v)$, is defined to be the number of 1 s in a given pattern, i.e., $w(v)=\left|S\cap ({C}_{m}^{i}\cup {C}_{m}^{i+1})\right|$, where S is a dominating set of ${C}_{m}\square {C}_{n}$. Clearly, for a cycle C of length n we have $w(C)=2|S|$, since every vertex in S appears in two consecutive patterns.

The following procedure is used to provide a subset of patterns that will be the vertices of $\mathcal{D}$.

**Procedure**ReduceNumberOfVertices:

**Step****1:**- for a fixed m, find an upper bound of $\gamma ({C}_{m}\square {C}_{n})$ in the form of $an+b$ for some $a,b\in \mathbb{Q}$;
**Step****2:**- establish a lower bound ${\ell}_{b}>0$ for the number of vertices in a minimum dominating set of ${C}_{m}^{i}\cup {C}_{m}^{i+1}$ for any $i\in \{0,\dots ,n-2\}.$
**Step****3:**- remove each vertex v in $\mathcal{D}$ such that $w(v)-{\ell}_{b}>2na+2b-n{\ell}_{b}$.

**Remark**

**1.**

**Procedure**ReduceNumberOfVertices can reduce the order of $\mathcal{D}$ for finding the domination number of ${C}_{m}\square {C}_{n}$.

Let S be a minimum dominating set of ${C}_{m}\square {C}_{n}$. Steps 1 and 2 of
and
Assume that S is such a dominating set, that for some i there is a corresponding vertex v with $w(v)-{\ell}_{b}>2na+2b-n{\ell}_{b}$ and recall that $w(v)=|S\cap ({C}_{m}^{i}\cup {C}_{m}^{i+1})|$.

**Procedure**ReduceNumberOfVertices provide a, $b\in \mathbb{Q}$, and ${\ell}_{b}>0$, such that
$$\gamma ({C}_{m}\square {C}_{n})\le an+b,$$

$$|S\cap ({C}_{m}^{i}\cup {C}_{m}^{i+1})|\ge {\ell}_{b}\mathrm{for}\text{}\mathrm{any}\mathrm{i}\in \{0,1,\cdots ,n-2\}.$$

Let ${\xi}_{j}=|S\cap ({C}_{m}^{j}\cup {C}_{m}^{j+1})|-{\ell}_{b}$ for each $j\in \{0,1,\dots ,n-2\}$. It is clear ${\xi}_{j}\ge 0$. Let
Since ${\xi}_{j}\ge 0$ for each j, we have $\xi =2|S|-n{\ell}_{b}\ge {\xi}_{j}=|S\cap ({C}_{m}^{j}\cup {C}_{m}^{j+1})|-{\ell}_{b}$. Since $|S\cap ({C}_{m}^{j}\cup {C}_{m}^{j+1})|-{\ell}_{b}>2na+2b-n{\ell}_{b}$, we have $|S|>na+b$, contradicting Equation (2) (and the minimality of S). Therefore, there is no vertex v of $\mathcal{D}$ with $w(v)-{\ell}_{b}>2na+2b-n{\ell}_{b}$ and those vertices can be removed from the auxiliary digraph.

$$\xi =\sum _{j=0}^{n-1}{\xi}_{j}=2|S|-n{\ell}_{b}.$$

In practice, the procedure ReduceNumberOfVertices reduce the vertices of auxiliary graph dramatically for almost all cases, and we give the following examples:

**Example**

**1.**

For $m=10$, let ${\ell}_{b}=\frac{7n}{2}$. We label the graph ${P}_{2}\square {C}_{n}$ and the constructed auxiliary digraph has 328362 vertices. By removing unnecessary vertices, the auxiliary digraph can be reduced to 16,575 vertices by letting $({w}_{1},{w}_{2})\in \{(3,3),(3,4),(4,3),(4,4),(3,5),(5,3),(4,5),(5,4)\}$, where ${w}_{1},{w}_{2}$ are the weight restricted to the first and second column of ${P}_{2}\square {C}_{10}$, respectively.

**Example**

**2.**

For $m=11$, let ${\ell}_{b}=4n$. We label the graph ${P}_{2}\square {C}_{11}$ and the constructed auxiliary digraph has 1,169,558 vertices. By removing unnecessary vertices, the auxiliary digraph can be reduced to 2442 vertices by letting $({w}_{1},{w}_{2})\in \{(4,4),(3,5),(5,3),(3,4),(4,3),(2,4),(4,2)\}$, where ${w}_{1},{w}_{2}$ are the weight restricted to the first and second column of ${P}_{2}\square {C}_{11}$, respectively.

We apply Algorithm 1 with the auxiliary graph $\mathcal{D}$ reduced by procedure ReduceNumberOfVertices, and it is carried out on a 2.6-GHz Intel(R) Core(TM) i7-5600U CPU with a memory of 20G. As a result we are able to extend the formulae for $\gamma ({C}_{m}\square {C}_{n})$ with m up to 20.

## 4. Results

The formulae for $\gamma ({C}_{m}\square {C}_{n})$ are listed below for $m\le 20$ and arbitrary $n\ge m$. For $m\le 6$ the formulae were proved by Liu, Zhang, Chen, and Meng [11,12]. Shao et al. proved the formulae for $m=7,10$. All these formulae were confirmed by the algorithm described in this paper and furthermore formulae for $m\le 21$ were determined. In particular, the domination numbers of the square torus graphs ${C}_{n}\square {C}_{n}$ with n up to 31 ($n\not\equiv 0$ (mod 3)) are presented in Table 1, where a dominating set with 290 vertices in ${C}_{29}\square {C}_{29}$ is presented in Figure 2 and a dominating set with 331 vertices in ${C}_{31}\square {C}_{31}$ is presented in Figure 3, the sets of black vertices stand for the corresponding dominating sets, and the direction of the cycle is top to bottom and left to right.

- $\gamma ({C}_{3}\square {C}_{n})=\left\{\begin{array}{cc}n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ n+1,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{4}\square {C}_{n})=\left\{\begin{array}{cc}\frac{3n}{2},\hfill & n\equiv 0(\mathrm{mod}8);\hfill \\ n+\lceil \frac{n+1}{2}\rceil ,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{5}\square {C}_{n})=2n$.
- $\gamma ({C}_{6}\square {C}_{n})=\left\{\begin{array}{cc}2n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ 2n+2,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{7}\square {C}_{n})=\left\{\begin{array}{cc}\lfloor \frac{5n}{2}\rfloor ,\hfill & n\equiv 0(\mathrm{mod}14);\hfill \\ \lfloor \frac{5n}{2}\rfloor +1,\hfill & n\equiv 3,4,6,8,10,11(\mathrm{mod}14);\hfill \\ \lfloor \frac{5n}{2}\rfloor +2,\hfill & n\equiv 1,2,5,7,9,12,13(\mathrm{mod}14).\hfill \end{array}\right.$
- $\gamma ({C}_{8}\square {C}_{n})=3n$.
- $\gamma ({C}_{9}\square {C}_{n})=\left\{\begin{array}{cc}3n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ 3n+3,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{10}\square {C}_{n})=\left\{\begin{array}{cc}\lfloor \frac{7n}{2}\rfloor ,\hfill & n\equiv 0(\mathrm{mod}20);\hfill \\ \lfloor \frac{7n}{2}\rfloor +1,\hfill & n\equiv 3,6,14,17(\mathrm{mod}20);\hfill \\ \lfloor \frac{7n}{2}\rfloor +2,\hfill & n\equiv 4,7,8,9,10,11,12,13,16(\mathrm{mod}20);\hfill \\ \lfloor \frac{7n}{2}\rfloor +3,\hfill & n\equiv 1,2,5,15,18,19(\mathrm{mod}20).\hfill \end{array}\right.$
- $\gamma ({C}_{11}\square {C}_{n})=4n$.
- $\gamma ({C}_{12}\square {C}_{n})=\left\{\begin{array}{cc}4n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ 4n+4,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{13}\square {C}_{n})=\left\{\begin{array}{cc}\lfloor \frac{9n}{2}\rfloor ,\hfill & n\equiv 0(\mathrm{mod}26);\hfill \\ \lfloor \frac{9n}{2}\rfloor +1,\hfill & n\equiv 3,6,20,23(\mathrm{mod}26);\hfill \\ \lfloor \frac{9n}{2}\rfloor +2,\hfill & n\equiv 9,10,12,14,16,17(\mathrm{mod}26);\hfill \\ \lfloor \frac{9n}{2}\rfloor +3,\hfill & n\equiv 4,7,8,11,13,15,18,19,22(\mathrm{mod}26);\hfill \\ \lfloor \frac{9n}{2}\rfloor +4,\hfill & n\equiv 1,2,5,21,24,25(\mathrm{mod}26).\hfill \end{array}\right.$
- $\gamma ({C}_{14}\square {C}_{n})=5n$.
- $\gamma ({C}_{15}\square {C}_{n})=\left\{\begin{array}{cc}5n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ 5n+5,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{16}\square {C}_{n})=\left\{\begin{array}{cc}\lfloor \frac{11n}{2}\rfloor ,\hfill & n\equiv 0(\mathrm{mod}32);\hfill \\ \lfloor \frac{11n}{2}\rfloor +1,\hfill & n\equiv 3,6,26,29(\mathrm{mod}32);\hfill \\ \lfloor \frac{11n}{2}\rfloor +2,\hfill & n\equiv 9,12,20,23(\mathrm{mod}32);\hfill \\ \lfloor \frac{11n}{2}\rfloor +3,\hfill & n\equiv 10,13,14,15,16,17,18,19,22(\mathrm{mod}32);\hfill \\ \lfloor \frac{11n}{2}\rfloor +4,\hfill & n\equiv 4,7,8,11,21,24,25,28(\mathrm{mod}32);\hfill \\ \lfloor \frac{11n}{2}\rfloor +5,\hfill & n\equiv 1,2,5,27,30,31(\mathrm{mod}32).\hfill \end{array}\right.$
- $\gamma ({C}_{17}\square {C}_{n})=6n$.
- $\gamma ({C}_{18}\square {C}_{n})=\left\{\begin{array}{cc}6n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ 6n+6,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$
- $\gamma ({C}_{19}\square {C}_{n})=\left\{\begin{array}{cc}\lfloor \frac{11n}{2}\rfloor ,\hfill & n\equiv 0(\mathrm{mod}38);\hfill \\ \lfloor \frac{11n}{2}\rfloor +1,\hfill & n\equiv 3,6,32,35(\mathrm{mod}38);\hfill \\ \lfloor \frac{11n}{2}\rfloor +2,\hfill & n\equiv 9,12,26,29(\mathrm{mod}38);\hfill \\ \lfloor \frac{11n}{2}\rfloor +3,\hfill & n\equiv 15,16,18,20,22,23(\mathrm{mod}38);\hfill \\ \lfloor \frac{11n}{2}\rfloor +4,\hfill & n\equiv 10,13,14,17,19,21,24,25,28(\mathrm{mod}38);\hfill \\ \lfloor \frac{11n}{2}\rfloor +5,\hfill & n\equiv 4,8,11,34(\mathrm{mod}38);\hfill \\ \lfloor \frac{11n}{2}\rfloor +6,\hfill & n\equiv 1,2,5,33,36,37(\mathrm{mod}38).\hfill \end{array}\right.$
- $\gamma ({C}_{20}\square {C}_{n})=7n$.
- $\gamma ({C}_{21}\square {C}_{n})=\left\{\begin{array}{cc}7n,\hfill & n\equiv 0(\mathrm{mod}3);\hfill \\ 7n+7,\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$

## Author Contributions

Z.S. and J.Ž. contribute for supervision, methodology, validation, project administration and formal analysing. A.Y., F.M., J.-B.L. and P.R. contribute for resources, some computations and wrote the initial draft of the paper which were investigated and approved by Z.S., J.Ž. and J.-B.L., the final draft was written by A.Y. and Z.S.

## Funding

This work is supported by The National Key Research and Development Program under grant 2016YFB0800600, Natural Science Foundation of Guangdong Province under grant 2018A0303130115, the China Postdoctoral Science Foundation under Grant 2017M621579; the Postdoctoral Science Foundation of Jiangsu Province under Grant 1701081B; Project of Anhui Jianzhu University under Grant No. 2016QD116 and 2017dc03, Research of J. Žerovnik and P. Repolusk was supported in part by Slovenian Research Agency under grants P2-0248, J1-7051, N1-0071, J1-8155, P1-0383 and J1-9109.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Hammack, R.; Imrich, W.; Klavžar, S. Handbook of Product Graphs, 2nd ed.; CRC Press: Boca Raton, FL, USA, 2011. [Google Scholar]
- Fu, X.; Yang, Y.; Jiang, B. On the domination number of generalized Petersen graphs P(n, 2). Discret. Math.
**2009**, 309, 2445–2451. [Google Scholar] [CrossRef] - Klavžar, S.; Ma, M. The domination number of exchanged hypercubes. Inf. Process. Lett.
**2014**, 114, 159–162. [Google Scholar] [CrossRef] - Shao, Z.; Wu, P.; Jiang, H.; Li, Z.; Žerovnik, J.; Zhang, X. Discharging approach for double Roman domination in graphs. IEEE Access
**2018**, 6, 63345–63351. [Google Scholar] [CrossRef] - Crevals, S.; Östergard, P.R.J. On the domination number of 2-dimensional torus graphs. Utilitas Math.
**2018**, 106, 289–300. [Google Scholar] - El-Zahar, M.; Pareek, C.M. Domination number of products of graphs. Ars Comb.
**1991**, 31, 223–227. [Google Scholar] - Crevals, S.; Wang, H.; Kim, H.K.; Baek, H. Domination number of the directed cylinder. Aust. J. Comb.
**2015**, 61, 192–209. [Google Scholar] - Shao, Z.; Klavžar, S.; Li, Z.; Wu, P.; Xu, J. On the signed Roman k-domination: Complexity and thin torus graphs. Discret. Appl. Math.
**2017**, 233, 175–186. [Google Scholar] [CrossRef] - Shao, Z.; Xu, J.; Sheikholeslami, S.M.; Wang, S. The domination complexity and related extremal values of large 3D torus. Complexity
**2018**, 2018, 3041426. [Google Scholar] [CrossRef] - Alanko, S.; Crevals, S.; Isopoussu, A.; Östergard, P.R.J.; Pettersson, V. Computing the domination number of grid graphs. Electron. J. Comb.
**2011**, 18, P141. [Google Scholar] - Liu, J.; Zhang, X.; Chen, X.; Meng, J. On domination number of Cartesian product of directed cycles. Inf. Process. Lett.
**2010**, 110, 171–173. [Google Scholar] [CrossRef] - Zhang, X.; Liu, J.; Chen, X.; Meng, J. Domination number of Cartesian products of directed cycles. Inf. Process. Lett.
**2010**, 111, 36–39. [Google Scholar] [CrossRef] - Shao, Z.; Zhu, E.; Lang, F. On the domination number of Cartesian product of two directed cycles. J. Appl. Math.
**2013**, 2013, 619695. [Google Scholar] [CrossRef] - Mollard, M. On the domination of Cartesian product of directed cycles: Results for certain equivalence classes of lengths. Discuss. Math. Graph Theory
**2013**, 33, 387–394. [Google Scholar] [CrossRef] - Pavlič, P.; Žerovnik, J. Roman domination number of the Cartesian products of paths and cycles. Electron. J. Comb.
**2012**, 19, P19. [Google Scholar] - Klavžar, S.; Žerovnik, J. Algebraic approach to fasciagraphs and rotagraphs. Discret. Appl. Math.
**1996**, 68, 93–100. [Google Scholar] [CrossRef] - Pavlič, P.; Žerovnik, J. A note on the domination number of the Cartesian products of paths and cycles. Kragujev. J. Math.
**2013**, 37, 275–285. [Google Scholar] - Repolusk, P.; Žerovnik, J. Formulas for various domination numbers of products of paths and cycles. Ars Comb.
**2018**, 137, 177–202. [Google Scholar] - Carré, B. Graphs and Networks; Clarendon Press: Oxford, UK, 1979. [Google Scholar]
- Žerovnik, J. Deriving formulas for domination numbers of fasciagraphs and rotagraphs. Lect. Notes Comput. Sci.
**1999**, 1684, 559–568. [Google Scholar] - Juvan, M.; Mohar, B.; Žerovnik, J. Distance-related Invariants on Polygraphs. Discret. Appl. Math.
**1997**, 80, 57–71. [Google Scholar] [CrossRef] - Žerovnik, J. New formulas for the pentomino exclusion problem. Aust. J. Comb.
**2006**, 36, 197–212. [Google Scholar]

n | 19 | 20 | 22 | 23 | 25 | 26 | 28 | 29 | 31 |

$\gamma ({C}_{n}\square {C}_{n})$ | 127 | 140 | 169 | 184 | 217 | 234 | 271 | 290 | 331 |

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).