1 Introduction
Throughout this paper, we consider only simple graphs. Let G be such a graph on n vertices and m edges. We denote the vertex set and edge set of G by V (G ) and E (G ), respectively. Thus, |V (G )| = n and |E (G )| = m . As usual, n is said to be the order and m the size of G . If u and ν are two adjacent vertices of G , then the edge connecting them will be denoted by uν . The degree of a vertex w ε V (G ) is the number of vertices adjacent to w and is denoted by d G (w ). The complement of G , denoted by G ¯ $\begin{array}{}
\displaystyle
\bar G
\end{array}$ , is a graph which has the same vertex set as G , in which two vertices are adjacent if and only if they are not adjacent in G . The line graph L (G ) of a graph G is the graph with vertex set as the edge set of G and two vertices of L (G ) are adjacent whenever the corresponding edges in G have a vertex in common. The subdivision graph S (G ) of a graph G whose vertex set is V (G ) ∪ E (G ) where two vertices are adjacent if and only if one is a vertex of G and other is an edge of G incident with it. The partial complement of subdivision graph S ¯ ( G ) $\begin{array}{}
\displaystyle
\bar S(G)
\end{array}$ of a graph G whose vertex set is V (G ) ∪ E (G ) where two vertices are adjacent if and only if one is a vertex of G and the other is an edge of G non incident with it. Please refer to [17 , 25 ] for unexplained graph theoretic terminology and notation.
In theoretical chemistry, the physico-chemical properties of chemical compounds are often modeled by means of molecular-graph-based structure-descriptors which are also referred to topological indices [16 , 30 ]. Topological indices are found to be very useful in chemistry, biochemistry and nanotechnology in isomer discrimination, structure-property relationship, structure-activity relationship and pharmaceutical drug design. The first and second Zagreb indices of a graph are among the most studied vertex degree based topological indices. The first and second Zagreb indices, respectively defined by
M 1 ( G ) = ∑ u ∈ V ( G ) d G ( u ) 2 = ∑ u ν ∈ E ( G ) [ d G ( u ) + d G ( ν ) ] and M 2 ( G ) = ∑ u ν ∈ E ( G ) d G ( u ) d G ( ν ) $$\begin{array}{}
\displaystyle
{M_1}(G) = \sum\limits_{u \in V(G)} {{d_G}} {(u)^2} = \sum\limits_{u\nu \in E(G)} {[{d_G}(u) + {d_G}(\nu )]} {\rm{ and }}{M_2}(G) = \sum\limits_{u\nu \in E(G)} {{d_G}} (u){d_G}(\nu )
\end{array}$$
are widely studied degree-based topological indices, that were introduced by Gutman and Trinajstić [15 ] in 1972.
The vertex-degree-based graph invariant
F ( G ) = ∑ ν ∈ V ( G ) d G ( ν ) 3 = ∑ u ν ∈ E ( G ) [ d G ( u ) 2 + d G ( ν ) 2 ] $$\begin{array}{}
\displaystyle
F(G) = \sum\limits_{\nu \in V(G)} {{d_G}} {(\nu )^3} = \sum\limits_{u\nu \in E(G)} {[{d_G}{{(u)}^2} + {d_G}{{(\nu )}^2}]}
\end{array}$$
was encountered in [15 ]. Recently there has been some interest to F , called forgotten topological index or F-index [10 ].
Shirdel et al. [29 ] introduced a new Zagreb index of a graph G named hyper-Zagreb index and is defined as:
H M ( G ) = ∑ u ν ∈ E ( G ) ( d G ( u ) + d G ( ν ) ) 2 . $$\begin{array}{}
\displaystyle
HM(G) = \sum\limits_{u\nu \in E(G)} {({d_G}(} u) + {d_G}(\nu ){)^2}.
\end{array}$$
Computation of these topological indices of graphs are reported in [2 –4 , 11 –13 ].
Li and Zhao [27 ] introduced the first general Zagreb index as follows
α λ ( G ) = ∑ u ∈ V ( G ) [ d G ( u ) ] λ . $$\begin{array}{}
\displaystyle
\alpha_{\lambda}(G)=\sum \limits_{u\in V(G)}[d_{G}(u)]^{\lambda}.
\end{array}$$
It is easy to write that
α λ ( G ) = ∑ u ν ∈ E ( G ) [ ( d G ( u ) ) λ − 1 + ( d G ( ν ) ) λ − 1 ] . $$\begin{array}{}
\displaystyle
{\alpha _\lambda }(G) = \sum\limits_{u\nu \in E(G)} {[{{({d_G}(u))}^{\lambda - 1}} + {{({d_G}(\nu ))}^{\lambda - 1}}]} .
\end{array}$$
The general sum connectivity index [31 ] was introduced by Zhou et al. and is defined as
M 1 α ( G ) = ∑ u ν ∈ E ( G ) [ d G ( u ) + d G ( ν ) ] α . $$\begin{array}{}
\displaystyle
M_1^\alpha (G) = \sum\limits_{u\nu \in E(G)} {{{[{d_G}(u) + {d_G}(\nu )]}^\alpha }} .
\end{array}$$ (1)
By Eq. (1) , it is consistent to define M 1 3 ( G ) $\begin{array}{}
\displaystyle
M_{1}^3(G)
\end{array}$ as
M 1 3 ( G ) = ∑ u ν ∈ E ( G ) [ d G ( u ) + d G ( ν ) ] 3 . $$\begin{array}{}
\displaystyle
M_1^3(G) = \sum\limits_{u\nu \in E(G)} {{{[{d_G}(u) + {d_G}(\nu )]}^3}} .
\end{array}$$
Here we note that, α 2 ( G ) = M 1 1 ( G ) = M 1 ( G ) $\begin{array}{}
\displaystyle
\alpha_{2}(G)=M_{1}^1(G)=M_{1}(G)
\end{array}$ , α3 (G ) = F (G ) and M 1 2 ( G ) = H M ( G ) $\begin{array}{}
\displaystyle
M_1^2(G) = HM(G)
\end{array}$ .
Graph operations play a vital role in chemical graph theory. Different chemically important graphs can be obtained by applying graph operations on some general or particular graphs. One of the chemically interseting graph operation is Cartesian product of graphs. The Cartesian product G 1 × G 2 of graphs G 1 and G 2 has the vertex set V (G 1 × G 2 ) = V (G 1 ) × V (G 2 ) and (u 1 , ν 1 )(u 2 , ν 2 ) is an edge of G 1 × G 2 if and only if [u 1 = u 2 and ν 1 ν 2 ε E (G 2 )] or [ν 1 = ν 2 and u 1 u 2 ε E (G 1 )].
Many of the chemically interesting graphs can be obtained by applying the Cartesian product of graphs. For example, the ladder graph L n is the molecular graph related to the polynomial structure obtained by the Cartesian product of P 2 and P n +1 . The C 4 nanotube TUC 4 (m ,n ) is the Cartesian product of P n and P m and the C 4 nanotorus TC 4 (m ,n ) is the Cartesian product of C n and C m .
Graovac and Pisanski [14 ] were the first to consider the problem of computing topological indices of graph operations. In their paper, they computed an exact formula for the Wiener index of the Cartesian product of graphs. In [24 ], Klavzar, Rajapakse and Gutman computed the Szeged index of the Cartesian product graphs. In a series of recent papers [18 –23 ], M. H. Khalifeh and his coworkers extended this program to other topological indices, such as the vertex and edge PI index, the first and second Zagreb index, the vertex and edge versions of Szeged index, and the hyper-Wiener and the edge-Wiener indices of several operations. The present work is the continuation of research along the same lines, and is concerned with additional types of graph operations.
2 New Cartesian products of graphs
Eliasi et al. in [9 ] generalized the concept of Cartesian products of graphs, and introduced four new sums of graphs called F-sums of graphs and studied the Wiener index of resulting graphs. Recently there has been some interest on computing topological indices of F-sums of graphs [1 , 5 , 8 , 26 , 28 ].
Motivated by applications of Cartesian product of graphs, here we are more generalize the concept of Cartesian products of graphs and introduce the new C-products of graphs. For this purpose we proceed to introduce some notions and definition of [7 ].
For a graph G = (V ,E ), let G 0 be the graph with V (G 0 ) = V (G ) and with no edges, G 1 the complete graph with V (G 1 ) = V (G ), G + = G , and G − = G ¯ $\begin{array}{}
\displaystyle
G^-=\overline{G}
\end{array}$ .
Definition 1.
[7 ] Given a graph G with vertex set V (G ) and edge set E (G ) and three variables x ,y ,z ∊ {0,1,+,−}, the xyz-transformation graph T xyz (G ) of G is the graph with vertex set V (T xyz (G )) = V (G ) ∪ E (G ) and the edge set E (T xyz (G )) = E ((G )x ) ∪ E ((L (G ))y ) ∪ E (W ) where W = S (G ) if z = +, W = S ¯ ( G ) $\begin{array}{}
\displaystyle
W=\overline{S}(G)
\end{array}$ if z = −, W is the graph with V (W ) = V (G ) ∪ E (G ) and with no edges if z = 0 and W is the complete bipartite graph with parts V (G ) and E (G ) if z = 1.
Examples of xyz −transformations of a 4-vertex path are given in Figure 1 . We call vertex in xyz-transformation graphs corresponding to vertex of parent graph as point vertex whereas vertex in xyz-transformation graphs corresponding to edge of parent graph as line vertex.
Fig. 1 Some xyz −transformations of a 4-vertex path.
Now we give the definition of the C -product of graphs in the following.
Definition 2.
Let C ∊ {T xyz |x ,y ,z ∊ {0,1,+,−}}. The C -product of G 1 and G 2 , denoted by G 1 ×C G 2 , is a graph with the set of vertices V (G 1 ×C G 2 ) = (V (G 1 ) ∪ E (G 1 )) × V (G 2 ) and two vertices (u 1 ,u 2 ) and (ν 1 ,ν 2 ) of G 1 ×C G 2 are adjacent if and only if [u 1 = ν 1 ε V (G 1 ) and u 2 ν 2 ε E (G 2 )] or [u 2 = ν 2 ε V (G 2 ) and u 1 ν 1 ∊ E (C (G 1 ))].
Thus we obtain 64 new C − products of graphs in which G 1 ×T 00+ G 2 , G 1 ×T +0+ G 2 , G 1 ×T 0++ G 2 and G 1 ×T +++ G 2 are F − sums of graphs introduced by Eliasi and Taeri [9 ]. Examples of C -products of P 4 and P 2 are given in Figure 2 . In this paper, we compute the expressions for first Zagreb index and F-index of the C −products of graphs.
Fig. 2 Some C -product of P 4 and P 2 .
3 Main Results
We start by stating the following propositions, which are immediately from definitions and needed for the proving our main results.
Proposition 1.
Let G be a (n ,m )-graph. Then the degree of point vertex u and line vertex e (= ab in G) in T xyz (G ) when z = 0 are
d T x y 0 ( G ) ( u ) = { 0 i f x = 0 & y ∊ { 0 , 1 , + , − } . n − 1 i f x = 1 & y ∊ { 0 , 1 , + , − } . d G ( u ) i f x = + & y ∊ { 0 , 1 , + , − } . n − 1 − d G ( u ) i f x = − & y ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy0}}\left( G \right)}}\left( u \right) = \{ \begin{array}{*{20}{c}}
0 \hfill & {if{\rm{ }}x = 0\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n - 1} \hfill & {if{\rm{ }}x = 1\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{{d_G}\left( u \right)} \hfill & {if{\rm{ }}x = + \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n - 1 - {d_G}\left( u \right)} \hfill & {if{\rm{ }}x = - \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
d T x y 0 ( G ) ( e ) = { 0 i f y = 0 & x ∊ { 0 , 1 , + , − } . m − 1 i f y = 1 & x ∊ { 0 , 1 , + , − } . d G ( a ) + d G ( b ) − 2 i f y = + & x ∊ { 0 , 1 , + , − } . m + 1 − d G ( a ) − d G ( b ) i f y = − & x ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy0}}\left( G \right)}}\left( e \right) = \{ \begin{array}{*{20}{c}}
0 \hfill & {if{\rm{ }}y = 0\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{m - 1} \hfill & {if{\rm{ }}y = 1\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{{d_G}\left( a \right) + {d_G}\left( b \right) - 2} \hfill & {if{\rm{ }}y = + \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{m + 1 - {d_G}\left( a \right) - {d_G}\left( b \right)} \hfill & {if{\rm{ }}y = - \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
Proposition 2.
Let G be a (n ,m )-graph. Then the degree of point vertex u and line vertex e (= ab in G) in T xyz (G ) when z = 1 are
d T x y 1 ( G ) ( u ) = { m i f x = 0 & y ∊ { 0 , 1 , + , − } . m + n − 1 i f x = 1 & y ∊ { 0 , 1 , + , − } . d G ( u ) + m i f x = + & y ∊ { 0 , 1 , + , − } . n − 1 − d G ( u ) + m i f x = − & y ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy1}}\left( G \right)}}\left( u \right) = \{ \begin{array}{*{20}{c}}
m \hfill & {if{\rm{ }}x = 0\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{m + n - 1} \hfill & {if{\rm{ }}x = 1\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{{d_G}\left( u \right) + m} \hfill & {if{\rm{ }}x = + \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n - 1 - {d_G}\left( u \right) + m} \hfill & {if{\rm{ }}x = - \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
d T x y 1 ( G ) ( e ) = { n i f y = 0 & x ∊ { 0 , 1 , + , − } . n + m − 1 i f y = 1 & x ∊ { 0 , 1 , + , − } . n − 2 + d G ( a ) + d G ( b ) i f y = + & x ∊ { 0 , 1 , + , − } . n + m + 1 − d G ( a ) − d G ( b ) i f y = − & x ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy1}}\left( G \right)}}\left( e \right) = \{ \begin{array}{*{20}{c}}
n \hfill & {if{\rm{ }}y = 0\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + m - 1} \hfill & {if{\rm{ }}y = 1\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n - 2 + {d_G}\left( a \right) + {d_G}\left( b \right)} \hfill & {if{\rm{ }}y = + \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + m + 1 - {d_G}\left( a \right) - {d_G}\left( b \right)} \hfill & {if{\rm{ }}y = - \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
Proposition 3.
Let G be a (n ,m )-graph. Then the degree of point vertex u and line vertex e (= ab in G) in T xyz (G ) when z = + are
d T x y ( G ) ( u ) = { d G ( u ) i f x = 0 & y ∊ { 0 , 1 , + , − } . d G ( u ) + n − 1 i f x = 1 & y ∊ { 0 , 1 , + , − } . 2 d G ( u ) i f x = + & y ∊ { 0 , 1 , + , − } . n − 1 i f x = − & y ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy}}\left( G \right)}}\left( u \right) = \{ \begin{array}{*{20}{c}}
{{d_G}\left( u \right)} \hfill & {if{\rm{ }}x = 0\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{{d_G}\left( u \right) + n - 1} \hfill & {if{\rm{ }}x = 1\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{2{d_G}\left( u \right)} \hfill & {if{\rm{ }}x = + \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n - 1} \hfill & {if{\rm{ }}x = - \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
d T x y ( G ) ( e ) = { 2 i f y = 0 & x ∊ { 0 , 1 , + , − } . m + 1 i f y = 1 & x ∊ { 0 , 1 , + , − } . d G ( a ) + d G ( b ) i f y = + & x ∊ { 0 , 1 , + , − } . m + 3 − d G ( a ) − d G ( b ) i f y = − & x ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy}}\left( G \right)}}\left( e \right) = \{ \begin{array}{*{20}{c}}
2 \hfill & {if{\rm{ }}y = 0\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{m + 1} \hfill & {if{\rm{ }}y = 1\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{{d_G}\left( a \right) + {d_G}\left( b \right)} \hfill & {if{\rm{ }}y = + \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{m + 3 - {d_G}\left( a \right) - {d_G}\left( b \right)} \hfill & {if{\rm{ }}y = - \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
Proposition 4.
Let G be a (n ,m )-graph. Then the degree of point vertex u and line vertex e (= ab in G) in T xyz (G ) when z = − are
d T x y − ( G ) ( u ) = { m − d G ( u ) i f x = 0 & y ∊ { 0 , 1 , + , − } . n + m − 1 − d G ( u ) i f x = 1 & y ∊ { 0 , 1 , + , − } . m i f x = + & y ∊ { 0 , 1 , + , − } . n + m − 1 − 2 d G ( u ) i f x = − & y ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy - }}\left( G \right)}}\left( u \right) = \{ \begin{array}{*{20}{c}}
{m - {d_G}\left( u \right)} \hfill & {if{\rm{ }}x = 0\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + m - 1 - {d_G}\left( u \right)} \hfill & {if{\rm{ }}x = 1\& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
m \hfill & {if{\rm{ }}x = + \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + m - 1 - 2{d_G}\left( u \right)} \hfill & {if{\rm{ }}x = - \& y\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
d T x y − ( G ) ( e ) = { n − 2 i f y = 0 & x ∊ { 0 , 1 , + , − } . n + m − 3 i f y = 1 & x ∊ { 0 , 1 , + , − } . n + d G ( a ) + d G ( b ) − 4 i f y = + & x ∊ { 0 , 1 , + , − } . n + m − 1 − d G ( a ) − d G ( b ) i f y = − & x ∊ { 0 , 1 , + , − } . $\begin{array}{}
\displaystyle
{d_{{T^{xy - }}\left( G \right)}}\left( e \right) = \{ \begin{array}{*{20}{c}}
{n - 2} \hfill & {if{\rm{ }}y = 0\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + m - 3} \hfill & {if{\rm{ }}y = 1\& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + {d_G}\left( a \right) + {d_G}\left( b \right) - 4} \hfill & {if{\rm{ }}y = + \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
{n + m - 1 - {d_G}\left( a \right) - {d_G}\left( b \right)} \hfill & {if{\rm{ }}y = - \& x\varepsilon \left\{ {0,1, + , - } \right\}.} \hfill \\
\end{array}
\end{array}$
Proposition 5.
Let G 1 and G 2 be the graphs. If (u ,ν ) is a vertex of G 1 ×C G 2 , then
d G 1 × C G 2 ( u , ν ) = { d C ( G 1 ) ( u ) + d G 2 ( ν ) i f u ∈ V ( C ( G 1 ) ) ∩ V ( G 1 ) , ν ∈ V ( G 2 ) d C ( G 1 ) ( u ) i f u ∈ V ( C ( G 1 ) ) ∩ E ( G 1 ) , ν ∈ V ( G 2 ) . $$\begin{array}{}
\displaystyle
{d_{{G_1}{ \times _C}{G_2}}}(u,\nu ) = \left\{ {\begin{array}{*{20}{c}}
{{d_{C({G_1})}}(u) + {d_{{G_2}}}(\nu )} & {if\;u \in V(C({G_1})) \cap V({G_1}),\;\nu \in V({G_2})} \\
{{d_{C({G_1})}}(u)} & {if\;u \in V(C({G_1})) \cap E({G_1}),\;\nu \in V({G_2}).} \\
\end{array}} \right.
\end{array}$$
We are now prepared to state and prove our main results.
Theorem 6.
Let G 1 and G 2 be the graphs. Then
α λ ( G 1 × C G 2 ) = ∑ u ∈ V ( C ( G 1 ) ) ∩ V ( G 1 ) ∑ ν ∈ V ( G 2 ) [ d C ( G 1 ) ( u ) + d G 2 ( ν ) ] λ + ∑ ν ∈ V ( G 2 ) ∑ e ∈ V ( C ( G 1 ) ) ∩ E ( G 1 ) d C ( G 1 ) λ ( e ) . $$\begin{array}{}
\displaystyle
{\alpha _\lambda }({G_1}{ \times _C}{G_2}) = \sum\limits_{u \in V(C({G_1})) \cap V({G_1})} {\sum\limits_{\nu \in V({G_2})} {{{[{d_{C({G_1})}}(u) + {d_{{G_2}}}(\nu )]}^\lambda }} } + \sum\limits_{\nu \in V({G_2})} {\sum\limits_{e \in V(C({G_1})) \cap E({G_1})} {d_{C({G_1})}^\lambda } } (e).
\end{array}$$ (2)
Proof.
By the definition of first general Zagreb index, we have
α λ ( G 1 × C G 2 ) = ∑ ( u , ν ) ∈ V ( G 1 × C G 2 ) d G 1 × C G 2 λ ( u , ν ) $$\begin{array}{}
\displaystyle
{\alpha _\lambda }({G_1}{ \times _C}{G_2}) = \sum\limits_{(u,\nu ) \in V({G_1}{ \times _C}{G_2})} {d_{{G_1}{ \times _C}{G_2}}^\lambda } (u,\nu )
\end{array}$$
We partition V (G 1 ×C G 2 ) into V (C (G 1 )) ∩ V (G 1 ) and V (C (G 1 )) ∩ E (G 1 ) and from Proposition 5 , we have
α λ ( G 1 × C G 2 ) = ∑ u ∈ V ( C ( G 1 ) ) ∩ V ( G 1 ) ∑ ν ∈ V ( G 2 ) [ d C ( G 1 ) ( u ) + d G 2 ( ν ) ] λ + ∑ ν ∈ V ( G 2 ) ∑ e ∈ V ( C ( G 1 ) ) ∩ E ( G 1 ) d C ( G 1 ) λ ( e ) . $$\begin{array}{}
\displaystyle
\begin{array}{*{20}{c}}
{{\alpha _\lambda }({G_1}{ \times _C}{G_2})} \hfill & = \hfill & {\sum\limits_{u \in V(C({G_1})) \cap V({G_1})} {\sum\limits_{\nu \in V({G_2})} {{{[{d_{C({G_1})}}(u) + {d_{{G_2}}}(\nu )]}^\lambda }} } } \hfill \\
{} \hfill & {} \hfill & { + \sum\limits_{\nu \in V({G_2})} {\sum\limits_{e \in V(C({G_1})) \cap E({G_1})} {d_{C({G_1})}^\lambda } } (e).} \hfill \\
\end{array}
\end{array}$$
For λ = 2,3 in (2) , we get the following equations.
M 1 ( G 1 × C G 2 ) = ∑ u ∈ V ( C ( G 1 ) ) ∩ V ( G 1 ) ∑ ν ∈ V ( G 2 ) [ d C ( G 1 ) 2 ( u ) + d G 2 2 ( ν ) + 2 d C ( G 1 ) ( u ) d G 2 ( ν ) ] + ∑ ν ∈ V ( G 2 ) ∑ e ∈ V ( C ( G 1 ) ) ∩ E ( G 1 ) d C ( G 1 ) 2 ( e ) . $$\begin{array}{}
\displaystyle
\begin{array}{*{20}{c}}
{{M_1}({G_1}{ \times _C}{G_2})} \hfill & = \hfill & {\sum\limits_{u \in V(C({G_1})) \cap V({G_1})} {\sum\limits_{\nu \in V({G_2})} {[d_{C({G_1})}^2(u) + d_{{G_2}}^2(\nu ) + 2{d_{C({G_1})}}(u){d_{{G_2}}}(\nu )]} } } \hfill \\
{} \hfill & {} \hfill & { + \sum\limits_{\nu \in V({G_2})} {\sum\limits_{e \in V(C({G_1})) \cap E({G_1})} {d_{C({G_1})}^2} } (e).} \hfill \\
\end{array}
\end{array}$$ (3)
and
F ( G 1 × C G 2 ) = ∑ u ∈ V ( C ( G 1 ) ) ∩ V ( G 1 ) ∑ ν ∈ V ( G 2 ) [ d C ( G 1 ) 3 ( u ) + d G 2 3 ( ν ) + 3 d C ( G 1 ) 2 ( u ) d G 2 ( ν ) + 3 d C ( G 1 ) ( u ) d G 2 2 ( ν ) ] + ∑ ν ∈ V ( G 2 ) ∑ e ∈ V ( C ( G 1 ) ) ∩ E ( G 1 ) d C ( G 1 ) 3 ( e ) . $$\begin{array}{}
\displaystyle
\begin{array}{*{20}{c}}
{F({G_1}{ \times _C}{G_2})} \hfill & = \hfill & {\sum\limits_{u \in V(C({G_1})) \cap V({G_1})} {\sum\limits_{\nu \in V({G_2})} {[d_{C({G_1})}^3(u) + d_{{G_2}}^3(\nu ) + 3d_{C({G_1})}^2(u){d_{{G_2}}}(\nu ) + 3{d_{C({G_1})}}(u)d_{{G_2}}^2(\nu )]} } {\rm{ }}} \hfill \\
{} \hfill & {} \hfill & { + \sum\limits_{\nu \in V({G_2})} {\sum\limits_{e \in V(C({G_1})) \cap E({G_1})} {d_{C({G_1})}^3} } (e).} \hfill \\
\end{array}
\end{array}$$ (4)
For a given graph G i , its vertex and edge sets will be denoted by V (G i ) and E (G i ), respectively, and their cardinalities by n i and m i , respectively, where i = 1,2.
By plugging the corresponding degrees of vertices of T xy 0 from Proposition 1 in (3) and (4) , bearing in mind that ∑ ν ∈ V ( G ) d G ( ν ) = 2 m $\begin{array}{}
\displaystyle
\sum\limits_{\nu \in V(G)} {{d_G}} (\nu ) = 2m
\end{array}$ , ∑ ν ∈ V ( G ) = n $\begin{array}{}
\displaystyle
\sum\limits_{\nu \in V(G)} = n
\end{array}$ and ∑ e ∈ E ( G ) = m $\begin{array}{}
\displaystyle
\sum\limits_{e \in E(G)} = m
\end{array}$ , we get the following two theorems.
Theorem 7.
Let G 1 and G 2 be the graphs. Then
M 1 (G 1 ×T 000 G 2 ) = n 1 M 1 (G 2 )
M 1 (G 1 ×T 100 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1)
M 1 (G 1 ×T +00 G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2
M 1 (G 1 ×T −00 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) − 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) − 8m 1 m 2
M 1 (G 1 ×T 010 G 2 ) = n 1 M 1 (G 2 ) + n 2 m 1 (m 1 − 1)2
M 1 (G 1 ×T 110 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + n 2 m 1 (m 1 − 1)2
M 1 (G 1 ×T +10 G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + n 2 m 1 (m 1 − 1)2
M 1 (G 1 ×T −10 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) − 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) − 8m 1 m 2 + n 2 m 1 (m 1 − 1)2
M 1 (G 1 ×T 0+0 G 2 ) = n 1 M 1 (G 2 ) + n 2 [HM (G 1 ) + 4m 1 − 4M 1 (G 1 )]
M 1 (G 1 ×T 1+0 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + n 2 [HM (G 1 ) + 4m 1 − 4M 1 (G 1 )]
M 1 (G 1 ×T ++0 G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + n 2 [HM (G 1 ) + 4m 1 − 4M 1 (G 1 )]
M 1 (G 1 ×T −+0 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) − 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) − 8m 1 m 2 + n 2 [HM (G 1 ) + 4m 1 − 4M 1 (G 1 )]
M 1 (G 1 ×T 0−0 G 2 ) = n 1 M 1 (G 2 ) + n 2 [m 1 (m 1 + 1)2 + HM (G 1 ) − 2(m 1 + 1)M 1 (G 1 )]
M 1 (G 1 ×T 1−0 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + n 2 [m 1 (m 1 + 1)2 + HM (G 1 ) − 2(m 1 + 1)M 1 (G 1 )]
M 1 (G 1 ×T +−0 G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + n 2 [m 1 (m 1 + 1)2 + HM (G 1 ) − 2(m 1 + 1)M 1 (G 1 )]
M 1 (G 1 ×T −−0 G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) − 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) − 8m 1 m 2 + n 2 [m 1 (m 1 + 1)2 + HM (G 1 ) − 2(m 1 + 1)M 1 (G 1 )].
Theorem 8.
Let G 1 and G 2 be the graphs. Then
F (G 1 ×T 000 G 2 ) = n 1 F (G 2 )
F (G 1 ×T 100 G 2 ) = n 1 n 2 (n 1 − 1)3 + n 1 F (G 2 ) + 6(n 1 − 1)2 n 1 m 2 + 3(n 1 − 1)n 1 M 1 (G 2 )
F (G 1 ×T +00 G 2 ) = n 2 F (G 1 ) + n 1 F (G 2 ) + 6m 2 M 1 (G 1 ) + 6m 1 M 1 (G 2 )
F (G 1 ×T −00 G 2 ) = n 1 n 2 (n 1 −1)3 −n 2 F (G 1 )−6n 2 m 1 (n 1 −1)2 +3n 2 (n 1 −1)M 1 (G 1 )+n 1 F (G 2 )+6n 1 m 2 (n 1 −1)2 + 6m 2 M 1 (G 1 ) − 24m 1 m 2 (n 1 − 1) + 3n 1 (n 1 − 1)M 1 (G 2 ) − 6m 1 M 1 (G 2 )
F (G 1 ×T 010 G 2 ) = n 1 F (G 2 ) + n 2 m 1 (m 1 − 1)3
F (G 1 ×T 110 G 2 ) = n 1 n 2 (n 1 − 1)3 + n 1 F (G 2 ) + 6(n 1 − 1)2 n 1 m 2 + 3(n 1 − 1)n 1 M 1 (G 2 ) + n 2 m 1 (m 1 − 1)3
F (G 1 ×T +10 G 2 ) = n 2 F (G 1 ) + n 1 F (G 2 ) + 6m 2 M 1 (G 1 ) + 6m 1 M 1 (G 2 ) + n 2 m 1 (m 1 − 1)3
F (G 1 ×T −10 G 2 ) = n 1 n 2 (n 1 −1)3 −n 2 F (G 1 )−6n 2 m 1 (n 1 −1)2 +3n 2 (n 1 −1)M 1 (G 1 )+n 1 F (G 2 )+6n 1 m 2 (n 1 −1)2 + 6m 2 M 1 (G 1 ) − 24m 1 m 2 (n 1 − 1) + 3n 1 (n 1 − 1)M 1 (G 2 ) − 6m 1 M 1 (G 2 ) + n 2 m 1 (m 1 − 1)3
F ( G 1 × T 0 + 0 G 2 ) = n 1 F ( G 2 ) + n 2 [ M 1 3 ( G 1 ) − 8 m 1 − 6 H M ( G 1 ) + 12 M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0+0}}G_{2})=n_{1}F(G_{2})+n_{2}[M_{1}^3(G_{1})-8m_{1}-6HM(G_{1})+12M_{1}(G_{1})]
\end{array}$
F ( G 1 × T 1 + 0 G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 ( n 1 − 1 ) 2 n 1 m 2 + 3 ( n 1 − 1 ) n 1 M 1 ( G 2 ) + n 2 [ M 1 3 ( G 1 ) − 8 m 1 − 6 H M ( G 1 ) + 12 M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{1+0}}G_{2})=n_{1}n_{2}(n_{1}-1)^3+n_{1}F(G_{2})+6(n_{1}-1)^2n_{1}m_{2}+3(n_{1}-1)n_{1}M_{1}(G_{2})+n_{2}[M_{1}^3(G_{1})-8m_{1}-6HM(G_{1})+12M_{1}(G_{1})]
\end{array}$
F ( G 1 × T + + 0 G 2 ) = n 2 F ( G 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) + 6 m 1 M 1 ( G 2 ) + n 2 [ M 1 3 ( G 1 ) − 8 m 1 − 6 H M ( G 1 ) + 12 M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{++0}}G_{2})=n_{2}F(G_{1})+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})+6m_{1}M_{1}(G_{2})+n_{2}[M_{1}^3(G_{1})-8m_{1}-6HM(G_{1})+12M_{1}(G_{1})]
\end{array}$
F ( G 1 × T − + 0 G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 − n 2 F ( G 1 ) − 6 n 2 m 1 ( n 1 − 1 ) 2 + 3 n 2 ( n 1 − 1 ) M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 − 1 ) 2 + 6 m 2 M 1 ( G 1 ) − 24 m 1 m 2 ( n 1 − 1 ) + 3 n 1 ( n 1 − 1 ) M 1 ( G 2 ) − 6 m 1 M 1 ( G 2 ) + n 2 [ M 1 3 ( G 1 ) − 8 m 1 − 6 H M ( G 1 ) + 12 M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{-+0}}G_{2})=n_{1}n_{2}(n_{1}-1)^3-n_{2}F(G_{1})-6n_{2}m_{1}(n_{1}-1)^2+3n_{2}(n_{1}-1)M_{1}(G_{1})+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}-1)^2+6m_{2}M_{1}(G_{1})-24m_{1}m_{2}(n_{1}-1)+3n_{1}(n_{1}-1)M_{1}(G_{2})-6m_{1}M_{1}(G_{2})+n_{2}[M_{1}^3(G_{1})-8m_{1}-6HM(G_{1})+12M_{1}(G_{1})]
\end{array}$
F ( G 1 × T 0 − 0 G 2 ) = n 1 F ( G 2 ) + n 2 [ m 1 ( m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0-0}}G_{2})=n_{1}F(G_{2})+n_{2}[m_{1}(m_{1}+1)^3-M_{1}^3(G_{1})-3(m_{1}+1)^2M_{1}(G_{1})+3(m_{1}+1)HM(G_{1})]
\end{array}$
F ( G 1 × T 1 − 0 G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 ( n 1 − 1 ) 2 n 1 m 2 + 3 ( n 1 − 1 ) n 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{1-0}}G_{2})=n_{1}n_{2}(n_{1}-1)^3+n_{1}F(G_{2})+6(n_{1}-1)^2n_{1}m_{2}+3(n_{1}-1)n_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+1)^3-M_{1}^3(G_{1})-3(m_{1}+1)^2M_{1}(G_{1})+3(m_{1}+1)HM(G_{1})]
\end{array}$
F ( G 1 × T + − 0 G 2 ) = n 2 F ( G 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) + 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+-0}}G_{2})=n_{2}F(G_{1})+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})+6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+1)^3-M_{1}^3(G_{1})-3(m_{1}+1)^2M_{1}(G_{1})+3(m_{1}+1)HM(G_{1})]
\end{array}$
F ( G 1 × T − − 0 G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 − n 2 F ( G 1 ) − 6 n 2 m 1 ( n 1 − 1 ) 2 + 3 n 2 ( n 1 − 1 ) M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 − 1 ) 2 + 6 m 2 M 1 ( G 1 ) − 24 m 1 m 2 ( n 1 − 1 ) + 3 n 1 ( n 1 − 1 ) M 1 ( G 2 ) − 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 1 ) H M ( G 1 ) ] . $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{--0}}G_{2})=n_{1}n_{2}(n_{1}-1)^3-n_{2}F(G_{1})-6n_{2}m_{1}(n_{1}-1)^2+3n_{2}(n_{1}-1)M_{1}(G_{1})+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}-1)^2+6m_{2}M_{1}(G_{1})-24m_{1}m_{2}(n_{1}-1)+3n_{1}(n_{1}-1)M_{1}(G_{2})-6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+1)^3-M_{1}^3(G_{1})-3(m_{1}+1)^2M_{1}(G_{1})+3(m_{1}+1)HM(G_{1})].
\end{array}$
By plugging the corresponding degrees of vertices of T xy 1 from Proposition 2 in (3) and (4) , we get the following two theorems.
Theorem 9.
Let G 1 and G 2 be the graphs. Then
M 1 ( G 1 × T 001 G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 n 1 m 1 m 2 + n 2 m 1 n 1 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{001}}G_{2})=n_{1}n_{2}m_{1}^{2}+n_{1}M_{1}(G_{2})+4n_{1}m_{1}m_{2}+n_{2}m_{1}n_{1}^2
\end{array}$
M 1 ( G 1 × T 101 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 2 + n 1 M 1 ( G 2 ) + 4 n 1 m 2 ( n 1 + m 1 − 1 ) + n 2 m 1 n 1 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{101}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^2+n_{1}M_{1}(G_{2})+4n_{1}m_{2}(n_{1}+m_{1}-1)+n_{2}m_{1}n_{1}^2
\end{array}$
M 1 ( G 1 × T + 01 G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) + 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + 8 m 1 m 2 + n 2 m 1 n 1 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{+01}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})+4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+8m_{1}m_{2}+n_{2}m_{1}n_{1}^2
\end{array}$
M 1 ( G 1 × T − 01 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 2 + n 2 M 1 ( G 1 ) − 4 m 1 n 2 ( n 1 + m 1 − 1 ) + n 1 M 1 ( G 2 ) + 4 n 1 m 2 ( n 1 + m 1 − 1 ) − 8 m 1 m 2 + n 2 m 1 n 1 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{-01}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^2+n_{2}M_{1}(G_{1})-4m_{1}n_{2}(n_{1}+m_{1}-1)+n_{1}M_{1}(G_{2})+4n_{1}m_{2}(n_{1}+m_{1}-1)-8m_{1}m_{2}+n_{2}m_{1}n_{1}^2
\end{array}$
M 1 ( G 1 × T 011 G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 n 1 m 1 m 2 + n 2 m 1 ( n 1 + m 1 − 1 ) 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{011}}G_{2})=n_{1}n_{2}m_{1}^{2}+n_{1}M_{1}(G_{2})+4n_{1}m_{1}m_{2}+n_{2}m_{1}(n_{1}+m_{1}-1)^2
\end{array}$
M 1 (G 1 ×T 111 G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 − 1) + n 2 m 1 (n 1 + m 1 − 1)2
M 1 ( G 1 × T + 11 G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) + 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + 8 m 1 m 2 + n 2 m 1 ( n 1 + m 1 − 1 ) 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{+11}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})+4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+8m_{1}m_{2}+n_{2}m_{1}(n_{1}+m_{1}-1)^2
\end{array}$
M 1 (G 1 ×T −11 G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + n 2 M 1 (G 1 ) − 4m 1 n 2 (n 1 + m 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 −1) − 8m 1 m 2 + n 2 m 1 (n 1 + m 1 − 1)2
M 1 ( G 1 × T 0 + 1 G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 n 1 m 1 m 2 + n 2 [ m 1 ( n 1 − 2 ) 2 + H M ( G 1 ) + 2 ( n 1 − 2 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{0+1}}G_{2})=n_{1}n_{2}m_{1}^{2}+n_{1}M_{1}(G_{2})+4n_{1}m_{1}m_{2}+n_{2}[m_{1}(n_{1}-2)^2+HM(G_{1})+2(n_{1}-2)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T 1+1 G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 − 1) + n 2 [m 1 (n 1 − 2)2 + HM (G 1 ) + 2(n 1 − 2)M 1 (G 1 )]
M 1 ( G 1 × T + + 1 G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) + 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + 8 m 1 m 2 + n 2 [ m 1 ( n 1 − 2 ) 2 + H M ( G 1 ) + 2 ( n 1 − 2 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{++1}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})+4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+8m_{1}m_{2}+n_{2}[m_{1}(n_{1}-2)^2+HM(G_{1})+2(n_{1}-2)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T −+1 G 2 ) = n 1 n 2 (n 1 +m 1 −1)2 +n 2 M 1 (G 1 )−4m 1 n 2 (n 1 +m 1 −1)+n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1) − 8m 1 m 2 + n 2 [m 1 (n 1 − 2)2 + HM (G 1 ) + 2(n 1 − 2)M 1 (G 1 )]
M 1 ( G 1 × T 0 − 1 G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 n 1 m 1 m 2 + n 2 [ m 1 ( n 1 + m 1 + 1 ) 2 + H M ( G 1 ) − 2 ( n 1 + m 1 + 1 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{0-1}}G_{2})=n_{1}n_{2}m_{1}^{2}+n_{1}M_{1}(G_{2})+4n_{1}m_{1}m_{2}+n_{2}[m_{1}(n_{1}+m_{1}+1)^2+HM(G_{1})-2(n_{1}+m_{1}+1)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T 1−1 G 2 ) = n 1 n 2 (n 1 +m 1 +1)2 +n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1)+n 2 [m 1 (n 1 +m 1 +1)2 +HM (G 1 )−2(n 1 + m 1 + 1)M 1 (G 1 )]
M 1 ( G 1 × T + − 1 G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) + 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + 8 m 1 m 2 + n 2 [ m 1 ( n 1 + m 1 + 1 ) 2 + H M ( G 1 ) − 2 ( n 1 + m 1 + 1 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{+-1}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})+4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+8m_{1}m_{2}+n_{2}[m_{1}(n_{1}+m_{1}+1)^2+HM(G_{1})-2(n_{1}+m_{1}+1)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T −−1 G 2 ) = n 1 n 2 (n 1 +m 1 −1)2 +n 2 M 1 (G 1 )−4m 1 n 2 (n 1 +m 1 −1)+n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1) − 8m 1 m 2 + n 2 [m 1 (n 1 + m 1 + 1)2 + HM (G 1 ) − 2(n 1 + m 1 + 1)M 1 (G 1 )].
Theorem 10.
Let G 1 and G 2 be the graphs. Then
F ( G 1 × T 001 G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 m 1 n 1 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{001}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}m_{1}n_{1}^3
\end{array}$
F ( G 1 × T 101 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 + m 1 − 1 ) 2 + 3 n 1 ( n 1 + m 1 − 1 ) M 1 ( G 2 ) + n 2 m 1 n 1 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{101}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^3+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}+m_{1}-1)^2+3n_{1}(n_{1}+m_{1}-1)M_{1}(G_{2})+n_{2}m_{1}n_{1}^3
\end{array}$
F ( G 1 × T + 01 G 2 ) = n 1 n 2 m 1 3 + n 2 F ( G 1 ) + 6 n 2 m 1 3 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) + 24 m 1 2 m 2 + n 2 m 1 n 1 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+01}}G_{2})=n_{1}n_{2}m_{1}^3+n_{2}F(G_{1})+6n_{2}m_{1}^3+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})+24m_{1}^2m_{2}+n_{2}m_{1}n_{1}^3
\end{array}$
F ( G 1 × T − 01 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 3 − n 2 F ( G 1 ) + ( 6 n 1 m 2 − 6 n 2 m 1 ) ( n 1 + m 1 − 1 ) 2 + ( 3 n 2 M 1 ( G 1 ) + 3 n 1 M 1 ( G 2 ) − 24 m 1 m 2 ) ( n 1 + m 1 − 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) − 6 m 1 M 1 ( G 2 ) + n 2 m 1 n 1 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{-01}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^3-n_{2}F(G_{1})+(6n_{1}m_{2}-6n_{2}m_{1})(n_{1}+m_{1}-1)^2+(3n_{2}M_{1}(G_{1})+3n_{1}M_{1}(G_{2})-24m_{1}m_{2})(n_{1}+m_{1}-1)+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})-6m_{1}M_{1}(G_{2})+n_{2}m_{1}n_{1}^3
\end{array}$
F ( G 1 × T 011 G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 m 1 ( n 1 + m 1 − 1 ) 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{011}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}m_{1}(n_{1}+m_{1}-1)^3
\end{array}$
F (G 1 ×T 111 G 2 ) = n 1 n 2 (n 1 +m 1 −1)3 +n 1 F (G 2 )+6n 1 m 2 (n 1 +m 1 −1)2 +3n 1 (n 1 +m 1 −1)M 1 (G 2 )+n 2 m 1 (n 1 + m 1 − 1)3
F ( G 1 × T + 11 G 2 ) = n 1 n 2 m 1 3 + n 2 F ( G 1 ) + 6 n 2 m 1 3 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) + 24 m 1 2 m 2 + n 2 m 1 ( n 1 + m 1 − 1 ) 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+11}}G_{2})=n_{1}n_{2}m_{1}^3+n_{2}F(G_{1})+6n_{2}m_{1}^3+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})+24m_{1}^2m_{2}+n_{2}m_{1}(n_{1}+m_{1}-1)^3
\end{array}$
F (G 1 ×T −11 G 2 ) = n 1 n 2 (n 1 +m 1 −1)3 −n 2 F (G 1 )+(6n 1 m 2 −6n 2 m 1 )(n 1 +m 1 −1)2 +(3n 2 M 1 (G 1 )+3n 1 M 1 (G 2 )−24m 1 m 2 )(n 1 + m 1 − 1) + n 1 F (G 2 ) + 6m 2 M 1 (G 1 ) − 6m 1 M 1 (G 2 ) + n 2 m 1 (n 1 + m 1 − 1)3
F ( G 1 × T 0 + 1 G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 − 2 ) 3 + M 1 3 ( G 1 ) + 3 ( n 1 − 2 ) 2 M 1 ( G 1 ) + 3 ( n 1 − 2 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0+1}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}-2)^3+M_{1}^3(G_{1})+3(n_{1}-2)^2M_{1}(G_{1})+3(n_{1}-2)HM(G_{1})]
\end{array}$
F ( G 1 × T 1 + 1 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 + m 1 − 1 ) 2 + 3 n 1 ( n 1 + m 1 − 1 ) M 1 ( G 2 ) + n 2 [ m 1 ( n 1 − 2 ) 3 + M 1 3 ( G 1 ) + 3 ( n 1 − 2 ) 2 M 1 ( G 1 ) + 3 ( n 1 − 2 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{1+1}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^3+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}+m_{1}-1)^2+3n_{1}(n_{1}+m_{1}-1)M_{1}(G_{2})+n_{2}[m_{1}(n_{1}-2)^3+M_{1}^3(G_{1})+3(n_{1}-2)^2M_{1}(G_{1})+3(n_{1}-2)HM(G_{1})]
\end{array}$
F ( G 1 × T + + 1 G 2 ) = n 1 n 2 m 1 3 + n 2 F ( G 1 ) + 6 n 2 m 1 3 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) + 24 m 1 2 m 2 + n 2 [ m 1 ( n 1 − 2 ) 3 + M 1 3 ( G 1 ) + 3 ( n 1 − 2 ) 2 M 1 ( G 1 ) + 3 ( n 1 − 2 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{++1}}G_{2})=n_{1}n_{2}m_{1}^3+n_{2}F(G_{1})+6n_{2}m_{1}^3+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})+24m_{1}^2m_{2}+n_{2}[m_{1}(n_{1}-2)^3+M_{1}^3(G_{1})+3(n_{1}-2)^2M_{1}(G_{1})+3(n_{1}-2)HM(G_{1})]
\end{array}$
F ( G 1 × T − + 1 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 3 − n 2 F ( G 1 ) + ( 6 n 1 m 2 − 6 n 2 m 1 ) ( n 1 + m 1 − 1 ) 2 + ( 3 n 2 M 1 ( G 1 ) + 3 n 1 M 1 ( G 2 ) − 24 m 1 m 2 ) ( n 1 + m 1 − 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) − 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 − 2 ) 3 + M 1 3 ( G 1 ) + 3 ( n 1 − 2 ) 2 M 1 ( G 1 ) + 3 ( n 1 − 2 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{-+1}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^3-n_{2}F(G_{1})+(6n_{1}m_{2}-6n_{2}m_{1})(n_{1}+m_{1}-1)^2+(3n_{2}M_{1}(G_{1})+3n_{1}M_{1}(G_{2})-24m_{1}m_{2})(n_{1}+m_{1}-1)+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})-6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}-2)^3+M_{1}^3(G_{1})+3(n_{1}-2)^2M_{1}(G_{1})+3(n_{1}-2)HM(G_{1})]
\end{array}$
F ( G 1 × T 0 − 1 G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 + m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( n 1 + m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( n 1 + m 1 + 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0-1}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}+m_{1}+1)^3-M_{1}^3(G_{1})-3(n_{1}+m_{1}+1)^2M_{1}(G_{1})+3(n_{1}+m_{1}+1)HM(G_{1})]
\end{array}$
F ( G 1 × T 1 − 1 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 + m 1 − 1 ) 2 + 3 n 1 ( n 1 + m 1 − 1 ) M 1 ( G 2 ) + n 2 [ m 1 ( n 1 + m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( n 1 + m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( n 1 + m 1 + 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{1-1}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^3+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}+m_{1}-1)^2+3n_{1}(n_{1}+m_{1}-1)M_{1}(G_{2})+n_{2}[m_{1}(n_{1}+m_{1}+1)^3-M_{1}^3(G_{1})-3(n_{1}+m_{1}+1)^2M_{1}(G_{1})+3(n_{1}+m_{1}+1)HM(G_{1})]
\end{array}$
F ( G 1 × T + − 1 G 2 ) = n 1 n 2 m 1 3 + n 2 F ( G 1 ) + 6 n 2 m 1 3 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) + 24 m 1 2 m 2 + n 2 [ m 1 ( n 1 + m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( n 1 + m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( n 1 + m 1 + 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+-1}}G_{2})=n_{1}n_{2}m_{1}^3+n_{2}F(G_{1})+6n_{2}m_{1}^3+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})+24m_{1}^2m_{2}+n_{2}[m_{1}(n_{1}+m_{1}+1)^3-M_{1}^3(G_{1})-3(n_{1}+m_{1}+1)^2M_{1}(G_{1})+3(n_{1}+m_{1}+1)HM(G_{1})]
\end{array}$
F ( G 1 × T − − 1 G 2 ) = n 1 n 2 ( n 1 + m 1 − 1 ) 3 − n 2 F ( G 1 ) + ( 6 n 1 m 2 − 6 n 2 m 1 ) ( n 1 + m 1 − 1 ) 2 + ( 3 n 2 M 1 ( G 1 ) + 3 n 1 M 1 ( G 2 ) − 24 m 1 m 2 ) ( n 1 + m 1 − 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) − 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 + m 1 + 1 ) 3 − M 1 3 ( G 1 ) − 3 ( n 1 + m 1 + 1 ) 2 M 1 ( G 1 ) + 3 ( n 1 + m 1 + 1 ) H M ( G 1 ) ] . $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{--1}}G_{2})=n_{1}n_{2}(n_{1}+m_{1}-1)^3-n_{2}F(G_{1})+(6n_{1}m_{2}-6n_{2}m_{1})(n_{1}+m_{1}-1)^2+(3n_{2}M_{1}(G_{1})+3n_{1}M_{1}(G_{2})-24m_{1}m_{2})(n_{1}+m_{1}-1)+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})-6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}+m_{1}+1)^3-M_{1}^3(G_{1})-3(n_{1}+m_{1}+1)^2M_{1}(G_{1})+3(n_{1}+m_{1}+1)HM(G_{1})].
\end{array}$
By plugging the corresponding degrees of vertices of T xy + from Proposition 3 in (3) and (4) , we get the following two theorems.
Theorem 11.
Let G 1 and G 2 be the graphs. Then
M 1 (G 1 ×T 00+ G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + 4n 2 m 1
M 1 (G 1 ×T 10+ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) + 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + 8m 1 m 2 + 4n 2 m 1
M 1 (G 1 ×T +0+ G 2 ) = 4n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 16m 1 m 2 + 4n 2 m 1
M 1 (G 1 ×T −0+ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + 4n 2 m 1
M 1 (G 1 ×T 01+ G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + n 2 m 1 (m 1 + 1)2
M 1 (G 1 ×T 11+ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) + 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + 8m 1 m 2 + n 2 m 1 (m 1 + 1)2
M 1 (G 1 ×T +1+ G 2 ) = 4n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 16m 1 m 2 + n 2 m 1 (m 1 + 1)2
M 1 (G 1 ×T −1+ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + n 2 m 1 (m 1 + 1)2
M 1 (G 1 ×T 0++ G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + n 2 HM (G 1 )
M 1 (G 1 ×T 1++ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) + 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + 8m 1 m 2 + n 2 HM (G 1 )
M 1 (G 1 ×T +++ G 2 ) = 4n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 16m 1 m 2 + n 2 HM (G 1 )
M 1 (G 1 ×T −++ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + n 2 HM (G 1 )
M 1 (G 1 ×T 0−+ G 2 ) = n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 8m 1 m 2 + n 2 [m 1 (m 1 + 3)2 + HM (G 1 ) − 2(m 1 + 3)M 1 (G 1 )]
M 1 (G 1 ×T 1−+ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 2 M 1 (G 1 ) + 4n 2 m 1 (n 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + 8m 1 m 2 + n 2 [m 1 (m 1 + 3)2 + HM (G 1 ) − 2(m 1 + 3)M 1 (G 1 )]
M 1 (G 1 ×T +−+ G 2 ) = 4n 2 M 1 (G 1 ) + n 1 M 1 (G 2 ) + 16m 1 m 2 + n 2 [m 1 (m 1 + 3)2 + HM (G 1 ) − 2(m 1 + 3)M 1 (G 1 )]
M 1 (G 1 ×T −−+ G 2 ) = n 1 n 2 (n 1 − 1)2 + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 − 1) + n 2 [m 1 (m 1 + 3)2 + HM (G 1 ) − 2(m 1 + 3)M 1 (G 1 )].
Theorem 12.
Let G 1 and G 2 be the graphs. Then
F (G 1 ×T 00+ G 2 ) = n 2 F (G 1 ) + n 1 F (G 2 ) + 6m 2 M 1 (G 1 ) + 6m 1 M 1 (G 2 ) + 8n 2 m 1
F (G 1 ×T 10+ G 2 ) = n 1 n 2 (n 1 −1)3 +n 2 F (G 1 )+6(n 1 −1)2 n 2 m 1 +3(n 1 −1)n 2 M 1 (G 1 )+n 1 F (G 2 )+6n 1 m 2 (n 1 −1)2 + 6m 2 M 1 (G 1 ) + 24m 1 m 2 (n 1 − 1) + 3n 1 (n 1 − 1)M 1 (G 2 ) + 6m 1 M 1 (G 2 ) + 8n 2 m 1
F (G 1 ×T +0+ G 2 ) = 8n 2 F (G 1 ) + n 1 F (G 2 ) + 24m 2 M 1 (G 1 ) + 12m 1 M 1 (G 2 ) + 8n 2 m 1
F (G 1 ×T −0+ G 2 ) = n 1 n 2 (n 1 − 1)3 + n 1 F (G 2 ) + 6n 1 m 2 (n 1 − 1)2 + 3(n 1 − 1)n 1 M 1 (G 2 ) + 8n 2 m 1
F (G 1 ×T 01+ G 2 ) = n 2 F (G 1 ) + n 1 F (G 2 ) + 6m 2 M 1 (G 1 ) + 6m 1 M 1 (G 2 ) + n 2 m 1 (m 1 + 1)3
F (G 1 ×T 11+ G 2 ) = n 1 n 2 (n 1 −1)3 +n 2 F (G 1 )+6(n 1 −1)2 n 2 m 1 +3(n 1 −1)n 2 M 1 (G 1 )+n 1 F (G 2 )+6n 1 m 2 (n 1 −1)2 + 6m 2 M 1 (G 1 ) + 24m 1 m 2 (n 1 − 1) + 3n 1 (n 1 − 1)M 1 (G 2 ) + 6m 1 M 1 (G 2 ) + n 2 m 1 (m 1 + 1)3
F (G 1 ×T +1+ G 2 ) = 8n 2 F (G 1 ) + n 1 F (G 2 ) + 24m 2 M 1 (G 1 ) + 12m 1 M 1 (G 2 ) + n 2 m 1 (m 1 + 1)3
F (G 1 ×T −1+ G 2 ) = n 1 n 2 (n 1 − 1)3 + n 1 F (G 2 ) + 6n 1 m 2 (n 1 − 1)2 + 3(n 1 − 1)n 1 M 1 (G 2 ) + n 2 m 1 (m 1 + 1)3
F ( G 1 × T 0 + + G 2 ) = n 2 F ( G 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) + 6 m 1 M 1 ( G 2 ) + n 2 M 1 3 ( G 1 ) $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0++}}G_{2})=n_{2}F(G_{1})+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})+6m_{1}M_{1}(G_{2})+n_{2}M_{1}^{3}(G_{1})
\end{array}$
F ( G 1 × T 1 + + G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 + n 2 F ( G 1 ) + 6 ( n 1 − 1 ) 2 n 2 m 1 + 3 ( n 1 − 1 ) n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 − 1 ) 2 + 6 m 2 M 1 ( G 1 ) + 24 m 1 m 2 ( n 1 − 1 ) + 3 n 1 ( n 1 − 1 ) M 1 ( G 2 ) + 6 m 1 M 1 ( G 2 ) + n 2 M 1 3 ( G 1 ) $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{1++}}G_{2})=n_{1}n_{2}(n_{1}-1)^3+n_{2}F(G_{1})+6(n_{1}-1)^2n_{2}m_{1}+3(n_{1}-1)n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}-1)^2+6m_{2}M_{1}(G_{1})+24m_{1}m_{2}(n_{1}-1)+3n_{1}(n_{1}-1)M_{1}(G_{2})+6m_{1}M_{1}(G_{2})+n_{2}M_{1}^{3}(G_{1})
\end{array}$
F ( G 1 × T + + + G 2 ) = 8 n 2 F ( G 1 ) + n 1 F ( G 2 ) + 24 m 2 M 1 ( G 1 ) + 12 m 1 M 1 ( G 2 ) + n 2 M 1 3 ( G 1 ) $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+++}}G_{2})=8n_{2}F(G_{1})+n_{1}F(G_{2})+24m_{2}M_{1}(G_{1})+12m_{1}M_{1}(G_{2})+n_{2}M_{1}^{3}(G_{1})
\end{array}$
F ( G 1 × T − + + G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 − 1 ) 2 + 3 ( n 1 − 1 ) n 1 M 1 ( G 2 ) + n 2 M 1 3 ( G 1 ) $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{-++}}G_{2})=n_{1}n_{2}(n_{1}-1)^3+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}-1)^2+3(n_{1}-1)n_{1}M_{1}(G_{2})+n_{2}M_{1}^{3}(G_{1})
\end{array}$
F ( G 1 × T 0 − + G 2 ) = n 2 F ( G 1 ) + n 1 F ( G 2 ) + 6 m 2 M 1 ( G 1 ) + 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 3 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 3 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 3 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0-+}}G_{2})=n_{2}F(G_{1})+n_{1}F(G_{2})+6m_{2}M_{1}(G_{1})+6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+3)^3-M_{1}^{3}(G_{1})-3(m_{1}+3)^2M_{1}(G_{1})+3(m_{1}+3)HM(G_{1})]
\end{array}$
F ( G 1 × T 1 − + G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 + n 2 F ( G 1 ) + 6 ( n 1 − 1 ) 2 n 2 m 1 + 3 ( n 1 − 1 ) n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 − 1 ) 2 + 6 m 2 M 1 ( G 1 ) + 24 m 1 m 2 ( n 1 − 1 ) + 3 n 1 ( n 1 − 1 ) M 1 ( G 2 ) + 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 3 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 3 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 3 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{1-+}}G_{2})=n_{1}n_{2}(n_{1}-1)^3+n_{2}F(G_{1})+6(n_{1}-1)^2n_{2}m_{1}+3(n_{1}-1)n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}-1)^2+6m_{2}M_{1}(G_{1})+24m_{1}m_{2}(n_{1}-1)+3n_{1}(n_{1}-1)M_{1}(G_{2})+6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+3)^3-M_{1}^{3}(G_{1})-3(m_{1}+3)^2M_{1}(G_{1})+3(m_{1}+3)HM(G_{1})]
\end{array}$
F ( G 1 × T + − + G 2 ) = 8 n 2 F ( G 1 ) + n 1 F ( G 2 ) + 24 m 2 M 1 ( G 1 ) + 12 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 3 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 3 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 3 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+-+}}G_{2})=8n_{2}F(G_{1})+n_{1}F(G_{2})+24m_{2}M_{1}(G_{1})+12m_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+3)^3-M_{1}^{3}(G_{1})-3(m_{1}+3)^2M_{1}(G_{1})+3(m_{1}+3)HM(G_{1})]
\end{array}$
F ( G 1 × T − − + G 2 ) = n 1 n 2 ( n 1 − 1 ) 3 + n 1 F ( G 2 ) + 6 n 1 m 2 ( n 1 − 1 ) 2 + 3 ( n 1 − 1 ) n 1 M 1 ( G 2 ) + n 2 [ m 1 ( m 1 + 3 ) 3 − M 1 3 ( G 1 ) − 3 ( m 1 + 3 ) 2 M 1 ( G 1 ) + 3 ( m 1 + 3 ) H M ( G 1 ) ] . $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{--+}}G_{2})=n_{1}n_{2}(n_{1}-1)^3+n_{1}F(G_{2})+6n_{1}m_{2}(n_{1}-1)^2+3(n_{1}-1)n_{1}M_{1}(G_{2})+n_{2}[m_{1}(m_{1}+3)^3-M_{1}^{3}(G_{1})-3(m_{1}+3)^2M_{1}(G_{1})+3(m_{1}+3)HM(G_{1})].
\end{array}$
By plugging the corresponding degrees of vertices of T xy − from Proposition 4 in (3) and (4) , we reach the following two theorems.
Theorem 13.
Let G 1 and G 2 be the graphs. Then
M 1 ( G 1 × T 00 − G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) − 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 − 8 m 1 m 2 + n 2 m 1 ( n 1 − 2 ) 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{00-}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})-4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}-8m_{1}m_{2}+n_{2}m_{1}(n_{1}-2)^2
\end{array}$
M 1 (G 1 ×T 10− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + n 2 M 1 (G 1 ) − 4m 1 n 2 (n 1 + m 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 −1) − 8m 1 m 2 + n 2 m 1 (n 1 − 2)2
M 1 ( G 1 × T + 0 − G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + n 2 m 1 ( n 1 − 2 ) 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{+0-}}G_{2})=n_{1}n_{2}m_{1}^2+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+n_{2}m_{1}(n_{1}-2)^2
\end{array}$
M 1 (G 1 ×T −0− G 2 ) = n 1 n 2 (n 1 +m 1 −1)2 +4n 2 M 1 (G 1 )−8m 1 n 2 (n 1 +m 1 −1)+n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1) − 16m 1 m 2 + n 2 m 1 (n 1 − 2)2
M 1 ( G 1 × T 01 − G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) − 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 − 8 m 1 m 2 + n 2 m 1 ( n 1 + m 1 − 3 ) 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{01-}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})-4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}-8m_{1}m_{2}+n_{2}m_{1}(n_{1}+m_{1}-3)^2
\end{array}$
M 1 (G 1 ×T 11− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + n 2 M 1 (G 1 ) − 4m 1 n 2 (n 1 + m 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 −1) − 8m 1 m 2 + n 2 m 1 (n 1 + m 1 − 3)2
M 1 ( G 1 × T + 1 − G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + n 2 m 1 ( n 1 + m 1 − 3 ) 2 $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{+1-}}G_{2})=n_{1}n_{2}m_{1}^2+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+n_{2}m_{1}(n_{1}+m_{1}-3)^2
\end{array}$
M 1 (G 1 ×T −1− G 2 ) = n 1 n 2 (n 1 +m 1 −1)2 +4n 2 M 1 (G 1 )−8m 1 n 2 (n 1 +m 1 −1)+n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1) − 16m 1 m 2 + n 2 m 1 (n 1 + m 1 − 3)2
M 1 ( G 1 × T 0 + − G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) − 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 − 8 m 1 m 2 + n 2 [ m 1 ( n 1 − 4 ) 2 + H M ( G 1 ) + 2 ( n 1 − 4 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{0+-}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})-4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}-8m_{1}m_{2}+n_{2}[m_{1}(n_{1}-4)^2+HM(G_{1})+2(n_{1}-4)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T 1+− G 2 ) = n 1 n 2 (n 1 +m 1 −1)2 +n 2 M 1 (G 1 )−4m 1 n 2 (n 1 +m 1 −1)+n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1) − 8m 1 m 2 + n 2 [m 1 (n 1 − 4)2 + HM (G 1 ) + 2(n 1 − 4)M 1 (G 1 )]
M 1 ( G 1 × T + + − G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + n 2 [ m 1 ( n 1 − 4 ) 2 + H M ( G 1 ) + 2 ( n 1 − 4 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{++-}}G_{2})=n_{1}n_{2}m_{1}^2+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+n_{2}[m_{1}(n_{1}-4)^2+HM(G_{1})+2(n_{1}-4)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T −+− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + 4n 2 M 1 (G 1 ) − 8m 1 n 2 (n 1 + m 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 − 1) − 16m 1 m 2 + n 2 [m 1 (n 1 − 4)2 + HM (G 1 ) + 2(n 1 − 4)M 1 (G 1 )]
M 1 ( G 1 × T 0 − − G 2 ) = n 1 n 2 m 1 2 + n 2 M 1 ( G 1 ) − 4 m 1 2 n 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 − 8 m 1 m 2 + n 2 [ m 1 ( n 1 + m 1 − 1 ) 2 + H M ( G 1 ) − 2 ( n 1 + m 1 − 1 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{0--}}G_{2})=n_{1}n_{2}m_{1}^2+n_{2}M_{1}(G_{1})-4m_{1}^2n_{2}+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}-8m_{1}m_{2}+n_{2}[m_{1}(n_{1}+m_{1}-1)^2+HM(G_{1})-2(n_{1}+m_{1}-1)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T 1−− G 2 ) = n 1 n 2 (n 1 +m 1 −1)2 +n 2 M 1 (G 1 )−4m 1 n 2 (n 1 +m 1 −1)+n 1 M 1 (G 2 )+4n 1 m 2 (n 1 +m 1 −1) − 8m 1 m 2 + n 2 [m 1 (n 1 + m 1 − 1)2 + HM (G 1 ) − 2(n 1 + m 1 − 1)M 1 (G 1 )]
M 1 ( G 1 × T + − − G 2 ) = n 1 n 2 m 1 2 + n 1 M 1 ( G 2 ) + 4 m 1 m 2 n 1 + n 2 [ m 1 ( n 1 + m 1 − 1 ) 2 + H M ( G 1 ) − 2 ( n 1 + m 1 − 1 ) M 1 ( G 1 ) ] $\begin{array}{}
\displaystyle
M_{1}(G_{1}\times_{T^{+--}}G_{2})=n_{1}n_{2}m_{1}^2+n_{1}M_{1}(G_{2})+4m_{1}m_{2}n_{1}+n_{2}[m_{1}(n_{1}+m_{1}-1)^2+HM(G_{1})-2(n_{1}+m_{1}-1)M_{1}(G_{1})]
\end{array}$
M 1 (G 1 ×T −−− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)2 + 4n 2 M 1 (G 1 ) − 8m 1 n 2 (n 1 + m 1 − 1) + n 1 M 1 (G 2 ) + 4n 1 m 2 (n 1 + m 1 − 1) − 16m 1 m 2 + n 2 [m 1 (n 1 + m 1 − 1)2 + HM (G 1 ) − 2(n 1 + m 1 − 1)M 1 (G 1 )].
Theorem 14.
Let G 1 and G 2 be the graphs. Then
F ( G 1 × T 00 − G 2 ) = n 1 n 2 m 1 3 − n 2 F ( G 1 ) − 6 m 1 3 n 2 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) − 24 m 1 2 m 2 + 3 m 1 n 1 M 1 ( G 2 ) − 6 m 1 M 1 ( G 2 ) + n 2 m 1 ( n 1 − 2 ) 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{00-}}G_{2})=n_{1}n_{2}m_{1}^3-n_{2}F(G_{1})-6m_{1}^3n_{2}+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})-24m_{1}^2m_{2}+3m_{1}n_{1}M_{1}(G_{2})-6m_{1}M_{1}(G_{2})+n_{2}m_{1}(n_{1}-2)^3
\end{array}$
F (G 1 ×T 10− G 2 ) = n 1 n 2 (n 1 +m 1 −1)3 −n 2 F (G 1 )+(6n 1 m 2 −6m 1 n 2 )(n 1 +m 1 −1)2 +(3n 2 M 1 (G 1 )+3n 1 M 1 (G 2 )−24m 1 m 2 )(n 1 + m 1 − 1) + n 1 F (G 2 ) − 6m 1 M 1 (G 2 ) + 6m 2 M 1 (G 1 ) + n 2 m 1 (n 1 − 2)3
F ( G 1 × T + 0 − G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 m 1 ( n 1 − 2 ) 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+0-}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}m_{1}(n_{1}-2)^3
\end{array}$
F (G 1 ×T −0− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)3 + (6n 1 m 2 − 12n 2 m 1 )(n 1 + m 1 − 1)2 + (12n 2 M 1 (G 1 ) + 3n 1 M 1 (G 2 ) −48m 1 m 2 )(n 1 + m 1 − 1) − 8n 2 F (G 1 ) + n 1 F (G 2 ) + 24m 2 M 1 (G 1 ) − 12m 1 M 1 (G 2 ) + n 2 m 1 (n 1 − 2)3
F ( G 1 × T 01 − G 2 ) = n 1 n 2 m 1 3 − n 2 F ( G 1 ) − 6 m 1 3 n 2 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) − 24 m 1 2 m 2 + 3 m 1 n 1 M 1 ( G 2 ) − 6 m 1 M 1 ( G 2 ) + n 2 m 1 ( n 1 + m 1 − 3 ) 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{01-}}G_{2})=n_{1}n_{2}m_{1}^3-n_{2}F(G_{1})-6m_{1}^3n_{2}+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})-24m_{1}^2m_{2}+3m_{1}n_{1}M_{1}(G_{2})-6m_{1}M_{1}(G_{2})+n_{2}m_{1}(n_{1}+m_{1}-3)^3
\end{array}$
F (G 1 ×T 11− G 2 ) = n 1 n 2 (n 1 +m 1 −1)3 −n 2 F (G 1 )+(6n 1 m 2 −6m 1 n 2 )(n 1 +m 1 −1)2 +(3n 2 M 1 (G 1 )+3n 1 M 1 (G 2 )−24m 1 m 2 )(n 1 + m 1 − 1) + n 1 F (G 2 ) − 6m 1 M 1 (G 2 ) + 6m 2 M 1 (G 1 ) + n 2 m 1 (n 1 + m 1 − 3)3
F ( G 1 × T + 1 − G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 m 1 ( n 1 + m 1 − 3 ) 3 $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+1-}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}m_{1}(n_{1}+m_{1}-3)^3
\end{array}$
F (G 1 ×T −1− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)3 + (6n 1 m 2 − 12n 2 m 1 )(n 1 + m 1 − 1)2 + (12n 2 M 1 (G 1 ) + 3n 1 M 1 (G 2 ) −48m 1 m 2 )(n 1 + m 1 − 1) − 8n 2 F (G 1 ) + n 1 F (G 2 ) + 24m 2 M 1 (G 1 ) − 12m 1 M 1 (G 2 ) + n 2 m 1 (n 1 + m 1 − 3)3
F ( G 1 × T 0 + − G 2 ) = n 1 n 2 m 1 3 − n 2 F ( G 1 ) − 6 m 1 3 n 2 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) − 24 m 1 2 m 2 + 3 m 1 n 1 M 1 ( G 2 ) − 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 − 4 ) 3 + M 1 3 ( G 1 ) + 3 ( n 1 − 4 ) 2 M 1 ( G 1 ) + 3 ( n 1 − 4 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0+-}}G_{2})=n_{1}n_{2}m_{1}^3-n_{2}F(G_{1})-6m_{1}^3n_{2}+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})-24m_{1}^2m_{2}+3m_{1}n_{1}M_{1}(G_{2})-6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}-4)^3+M_{1}^3(G_{1})+3(n_{1}-4)^2M_{1}(G_{1})+3(n_{1}-4)HM(G_{1})]
\end{array}$
F (G 1 ×T 1+− G 2 ) = n 1 n 2 (n 1 +m 1 −1)3 −n 2 F (G 1 )+(6n 1 m 2 −6m 1 n 2 )(n 1 +m 1 −1)2 +(3n 2 M 1 (G 1 )+3n 1 M 1 (G 2 )−24m 1 m 2 )(n 1 +m 1 −1)+n 1 F (G 2 )−6m 1 M 1 (G 2 )+6m 2 M 1 (G 1 )+n 2 [m 1 (n 1 −4)3 +M 3 1 (G 1 )+3(n 1 −4)2 M 1 (G 1 )+ 3(n 1 − 4)HM (G 1 )]
F ( G 1 × T + + − G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 − 4 ) 3 + M 1 3 ( G 1 ) + 3 ( n 1 − 4 ) 2 M 1 ( G 1 ) + 3 ( n 1 − 4 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{++-}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}-4)^3+M_{1}^3(G_{1})+3(n_{1}-4)^2M_{1}(G_{1})+3(n_{1}-4)HM(G_{1})]
\end{array}$
F (G 1 ×T −+− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)3 + (6n 1 m 2 − 12n 2 m 1 )(n 1 + m 1 − 1)2 + (12n 2 M 1 (G 1 ) + 3n 1 M 1 (G 2 ) −48m 1 m 2 )(n 1 +m 1 −1)−8n 2 F (G 1 )+n 1 F (G 2 )+24m 2 M 1 (G 1 )−12m 1 M 1 (G 2 )+n 2 [m 1 (n 1 −4)3 +M 3 1 (G 1 )+ 3(n 1 − 4)2 M 1 (G 1 ) + 3(n 1 − 4)HM (G 1 )]
F ( G 1 × T 0 − − G 2 ) = n 1 n 2 m 1 3 − n 2 F ( G 1 ) − 6 m 1 3 n 2 + 3 m 1 n 2 M 1 ( G 1 ) + n 1 F ( G 2 ) + 6 m 1 2 n 1 m 2 + 6 m 2 M 1 ( G 1 ) − 24 m 1 2 m 2 + 3 m 1 n 1 M 1 ( G 2 ) − 6 m 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 + m 1 − 1 ) 3 − M 1 3 ( G 1 ) − 3 ( n 1 + m 1 − 1 ) 2 M 1 ( G 1 ) + 3 ( n 1 + m 1 − 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{0--}}G_{2})=n_{1}n_{2}m_{1}^3-n_{2}F(G_{1})-6m_{1}^3n_{2}+3m_{1}n_{2}M_{1}(G_{1})+n_{1}F(G_{2})+6m_{1}^2n_{1}m_{2}+6m_{2}M_{1}(G_{1})-24m_{1}^2m_{2}+3m_{1}n_{1}M_{1}(G_{2})-6m_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}+m_{1}-1)^3-M_{1}^3(G_{1})-3(n_{1}+m_{1}-1)^2M_{1}(G_{1})+3(n_{1}+m_{1}-1)HM(G_{1})]
\end{array}$
F (G 1 ×T 1−− G 2 ) = n 1 n 2 (n 1 +m 1 −1)3 −n 2 F (G 1 )+(6n 1 m 2 −6m 1 n 2 )(n 1 +m 1 −1)2 +(3n 2 M 1 (G 1 )+3n 1 M 1 (G 2 )−24m 1 m 2 )(n 1 + m 1 − 1) + n 1 F (G 2 ) − 6m 1 M 1 (G 2 ) + 6m 2 M 1 (G 1 ) + n 2 [m 1 (n 1 + m 1 − 1)3 − M 3 1 (G 1 ) − 3(n 1 + m 1 − 1)2 M 1 (G 1 ) + 3(n 1 + m 1 − 1)HM (G 1 )]
F ( G 1 × T + − − G 2 ) = n 1 n 2 m 1 3 + n 1 F ( G 2 ) + 6 n 1 m 2 m 1 2 + 3 m 1 n 1 M 1 ( G 2 ) + n 2 [ m 1 ( n 1 + m 1 − 1 ) 3 − M 1 3 ( G 1 ) − 3 ( n 1 + m 1 − 1 ) 2 M 1 ( G 1 ) + 3 ( n 1 + m 1 − 1 ) H M ( G 1 ) ] $\begin{array}{}
\displaystyle
F(G_{1}\times_{T^{+--}}G_{2})=n_{1}n_{2}m_{1}^3+n_{1}F(G_{2})+6n_{1}m_{2}m_{1}^2+3m_{1}n_{1}M_{1}(G_{2})+n_{2}[m_{1}(n_{1}+m_{1}-1)^3-M_{1}^3(G_{1})-3(n_{1}+m_{1}-1)^2M_{1}(G_{1})+3(n_{1}+m_{1}-1)HM(G_{1})]
\end{array}$
F (G 1 ×T −−− G 2 ) = n 1 n 2 (n 1 + m 1 − 1)3 + (6n 1 m 2 − 12n 2 m 1 )(n 1 + m 1 − 1)2 + (12n 2 M 1 (G 1 ) + 3n 1 M 1 (G 2 ) −48m 1 m 2 )(n 1 + m 1 − 1) − 8n 2 F (G 1 ) + n 1 F (G 2 ) + 24m 2 M 1 (G 1 ) − 12m 1 M 1 (G 2 ) + n 2 [m 1 (n 1 + m 1 − 1)3 −M 3 1 (G 1 ) − 3(n 1 + m 1 − 1)2 M 1 (G 1 ) + 3(n 1 + m 1 − 1)HM (G 1 )].
The expression for first Zagreb index of eighteen graph operations G 1 ×T xyz G 2 for x ,y ,z ∊ {+,−}, x ,z ∊ {+,−} with y = 0, y ,z ∊ {+,−} with x = 0 and z ∊ {+,−} with x = y = 0 are obtained by Basavanagoud and Patil in [6 ]. We include these results for the sake of completeness.