Computing The Irregularity Strength of Planar Graphs

Abstract

The field of graph theory plays a vital role in various fields. One of the important areas in graph theory is graph labeling used in many applications such as coding theory, X-ray crystallography, radar, astronomy, circuit design, communication network addressing, and data base management. In this paper, we discuss the totally irregular total k labeling of three planar graphs. If such labeling exists for minimum value of a positive integer k, then this labeling is called totally irregular total k labeling and k is known as the total irregularity strength of a graph G. More preciously, we determine the exact value of the total irregularity strength of three planar graphs.

1. Introduction

All graphs considered here are finite, undirected, without loops or multiple edges. Denote by $V\left(G\right)$ and $E\left(G\right)$ the set of vertices and the set of edges of a graph G, respectively. Let $\left|V\right(G\left)\right|=n$ and $\left|E\right(G\left)\right|=m$.

A labeling of a graph is any mapping that sends some set of graph elements to a set of numbers or colors. Graph labeling provides valuable information used in several application areas (see [1]). It is interesting to consider labeling the elements of the graph by the elements of a finite field.

For a graph G, we characterize a labeling $\zeta :V\cup E\to \{1,2,\dots ,k\}$ to be total k-labeling. A total k-labeling is characterized to be an edge irregular total $k-$labeling of the graph G if for each two distinct edges $rs$ and $r^{\prime }{s}^{\prime }$ their weights $\varphi \left(r\right)+\varphi \left(rs\right)+\varphi \left(s\right)$ and $\varphi \left(r^{\prime }\right)+\varphi \left(r^{\prime }{s}^{\prime }\right)+\varphi \left(s^{\prime }\right)$ are distinct. In addition, total k-labeling is characterized to be a vertex irregular total k-labeling of the graph G if for each two distinctive vertices r and s their weights $wt\left(r\right)$ and $wt\left(s\right)$ are distinct. Here, the weight of a vertex r in G is the sum of the label of r and the labels of all edges incident with the vertex r. The least k for which the graph G has an edge irregular total $k-$labeling is called the total irregularity strength of G, represented by $tes\left(G\right)$. Analogously, the minimum k for which the graph G has a vertex irregular total $k-$labeling is called the total vertex irregularity strength of G, denoted by $tvs\left(G\right)$.

Chartrand et al. [2] introduced two graph invariants namely irregular assignments and the irregularity strength. Baca et al. [3] modified these graph invariants and introduced the concept of total edge irregularity strength and total vertex irregularity strength for a graph G. A simple lower bound for $tes\left(G\right)$ and $tvs\left(G\right)$ of a $(p,q)$—graph G in terms of maximum degree $\mathsf{\Delta }\left(G\right)$ and the minimum degree $\delta \left(G\right),$ determine in the following theorems.

Theorem 1.

[3] Let G be a finite graph with p vertices, q edges and having maximum degree $\mathsf{\Delta }=\mathsf{\Delta }\left(G\right)$, the upper square brackets represent the ceiling function, and then

$$\mathrm{tes}\left(G\right)\ge max\left\{⌈\frac{q+2}{3}⌉,⌈\frac{\mathsf{\Delta }+1}{2}⌉\right\}$$

Theorem 2.

[3] Let G be a finite graph with p vertices, q edges, minimum degree $\delta =\delta \left(G\right)$ and maximum degree $\mathsf{\Delta }=\mathsf{\Delta }\left(G\right)$, the upper square brackets represent the ceiling function, and then

$$⌈\frac{p+\delta }{\mathsf{\Delta }+1}⌉\le tvs\left(G\right)\le p+\mathsf{\Delta }-2\delta +1$$

In [4], Ivančo and Jendroľ posed the following conjecture:

Conjecture 1.

[4] Let G be a finite graph with p vertices, q edges, different from $K_5$ with minimum degree $\delta =\delta \left(G\right)$, maximum degree $\mathsf{\Delta }=\mathsf{\Delta }\left(G\right)$, the upper square brackets represent the ceiling function, and then

$$\mathrm{tes}\left(G\right)=max\left\{⌈\frac{q+2}{3}⌉,⌈\frac{\mathsf{\Delta }+1}{2}⌉\right\}$$

In [5], Nurdin et al. posed the following conjecture:

Conjecture 2.

[5] Let G be a connected graph having $n_i$ vertices of degree $i(i=\delta ,\delta +1,\delta +2,\dots ,\mathsf{\Delta })$, where δ and Δ are the minimum and the maximum degree of G, respectively. Moreover, the upper square brackets represent the ceiling function, and then

$$tvs\left(G\right)=max\{⌈\frac{\delta +n_{\delta }}{\delta +1}⌉,⌈\frac{\delta +n_{\delta }+n_{\delta +1}}{\delta +2}⌉,\dots ,⌈\frac{\delta +{\displaystyle \sum _{i=\delta }^{\mathsf{\Delta }}}{n}_i}{\mathsf{\Delta }+1}⌉\}.$$

Conjecture 1 has been shown for complete graphs and complete bipartite graphs [6,7], for hexagonal grid graphs [8] , for toroidal grid [9], for generalized prism [10], for strong product of cycles and paths [11], for categorical product of two cycles [12], for zigzag graphs [13] and for strong product of two paths [14].

Conjecture 2 has been verified for for circulant graphs [15].

Combining both total edge irregularity strength and total vertex irregularity strength notions, Marzuki et al. [16] introduced a new irregular total k-labeling of a graph G, which is required to be at the same time both vertex and edge irregular as follows:

Definition 1.

A total labeling $\varphi : V \cup E \to \{1,2,\dots ,k\}$ is called totally irregular total k-labeling of G if every two distinct vertices u and v in $V\left(G\right)$ satisfy $wt\left(u\right)\ne wt\left(v\right),$ and every two distinct edges $u_1{u}_2$ and $v_1{v}_2$ in $E\left(G\right)$ satisfy $wt\left(u_1{u}_2\right)\ne wt\left(v_1{v}_2\right),$ where $wt\left(u\right)=\varphi \left(u\right)+{\displaystyle \sum _{uv\in E\left(G\right)}}\varphi \left(uv\right)$ and $wt\left(u_1{u}_2\right)=\varphi \left(u_1\right)+\varphi \left(u_1{u}_2\right)+\varphi \left(u_2\right).$ The minimum k for which a graph G has a totally irregular total k-labeling is called the total irregularity strength of G, denoted by $ts\left(G\right).$

Marzuki, et al. [16] gave a lower bond of $ts\left(G\right)$ as follows:

$$\mathrm{For}\mathrm{every}\mathrm{graph}\mathrm{G},ts\left(G\right)\ge max\left\{tes\right(G),tvs(G\left)\right\}$$

(1)

Ramdani and Salman [17] showed that the lower bound in Equation (1) for some cartesian product graphs is tight. Besides that, they determined the total irregularity strength of cycles and paths. For more details, see [18,19,20]. In [21], Ahmad et al. found the exact value of total irregularity strength of generalized Petersen graph.

Example 1.

For illustration, the concept of the totally irregular total k-labeling, we give an example from our recent paper [21] in which we show the totally irregular total 10-labeling for generalized Petersen graph $P(9,2)$ (see Figure 1).

The weights for all vertices and the weights for all edges under the totally irregular total 10-labeling are given in Figure 2.

Now, from Figure 2, it is easy to check that edge weights are different and represented by blue. On the other hand, the vertex weights are different and represented by black.

In this paper, we investigate the total irregularity strength of planar graphs.

2. The Planar Graph ${\mathit{T}}_{\mathit{n}}$

Siddiqui introduced the planar graph $S_n$ in [22] and computed the $tes\left(S_n\right),tvs\left(S_n\right)$. The planar graph $T_n$ (see Figure 3) is obtained from the planar graph $S_n$ by adding new edges $x_i{y}_{i+1}$ and having the same vertex set. The planar graph $T_n$ has

$$V\left(T_n\right)=\{x_i;y_i;z_i;1\le i\le n\}$$

$$E\left(T_n\right)=\{z_i{z}_{i+1};y_i{y}_{i+1}:1\le i\le n\}\cup \{x_i{y}_i;y_i{z}_i;x_i{y}_{i+1};y_{i+1}{z}_i:1\le i\le n\}$$

Clearly, the planar graph $T_n$ has $3n$ vertices and $6n$ edges. More preciously, we call the cycle induced by $\{z_i:1\le i\le n\}$ the inner cycle, cycle induced by $\{y_i:1\le i\le n\}$ the outer cycle, and the set vertices $\{x_i:1\le i\le n\}$, the outer vertices. All subscripts are taken under modulo n. In the next theorem, we determine the total irregularity strength of the planar graph $T_n$.

Theorem 3.

Let $T_n$, $n\ge 3$ be a planar graph. Then, $ts\left(T_n\right)=⌈\frac{6n+2}{3}⌉$.

Proof. 

Since $\left|E\right(T_n\left)\right|=6n$, from Theorem 1, $tes\left(T_n\right)\ge ⌈\frac{6n+2}{3}⌉$. In addition, $T_n$ has n vertices of degree 2, n vertices of degree 4, and n vertices of degree 6; thus, from Theorem 2, we get $tvs\left(T_n\right)\ge \lceil \frac{2n+2}{4}\rceil .$ From Equation (1), we get $ts\left(T_n\right)\ge ⌈\frac{6n+2}{3}⌉.$ Now, we show that $ts\left(T_n\right)\le ⌈\frac{6n+2}{3}⌉.$ For this, we define a total labeling $\varphi$ from $V\left(T_n\right)\cup E\left(T_n\right)$ into $\left\{1,2,\dots ,⌈\frac{6n+2}{3}⌉\right\}$ and compute the vertex weight and edge weights in the following way. ☐

Let $k=\lceil \frac{6n+2}{3}\rceil$. For $1\le i\le n$, we have

$\varphi \left(x_i\right)=\varphi \left(y_i\right)=i$, $\varphi \left(z_i\right)=k$, $\varphi \left(x_i{y}_i\right)=1$, $\varphi \left(y_i{y}_{i+1}\right)=k+1-i$, $\varphi \left(y_i{z}_i\right)=n+1$, $\varphi \left(y_{i+1}{z}_i\right)=k$, $wt\left(x_i{y}_i\right)=2i+1$, $wt\left(x_i{y}_{i+1}\right)=2i+2$, $wt\left(y_i{z}_i\right)=k+n+1+i$, $wt\left(y_i\right)=k+5n+8-i$,

$$\varphi \left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ n+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i{y}_{i+1}\right)=\left\{\begin{array}{cc}k+2+i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}k+1-i,\hfill & \mathit{for}1\le i\le n-3\hfill \\ n+3,\hfill & \mathit{for}i=n-2\hfill \\ n+4,\hfill & \mathit{for}i=n-1\hfill \\ n+1,\hfill & \mathit{for}i=n,niseven\hfill \\ n+2,\hfill & \mathit{for}i=n,nisodd\hfill \end{array}\right.$$

$$wt\left(y_{i+1}{z}_i\right)=\left\{\begin{array}{cc}2k+1+i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2k+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}3k+1-i,\hfill & \mathit{for}1\le i\le n-3\hfill \\ 2k+5+i,\hfill & \mathit{for}n-2\le i\le n-1\hfill \\ 2k+2+i,\hfill & \mathit{for}i=n,nisodd\hfill \\ 2k+1+i,\hfill & \mathit{for}i=n,niseven\hfill \end{array}\right.$$

$$wt\left(x_i\right)=\left\{\begin{array}{cc}2+i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2n+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(z_i\right)=\left\{\begin{array}{cc}3k+2n+2,\hfill & \mathit{for}i=1,niseven\hfill \\ 3k+2n+3,\hfill & \mathit{for}i=1,nisodd\hfill \\ 2k+5n+6-2i,\hfill & \mathit{for}2\le i\le n-3\hfill \\ 2k+4n+7-i,\hfill & \mathit{for}n-2\le i\le n\hfill \end{array}\right.$$

Now, the weight of the edges and vertices of $T_n$ under the labeling $\varphi$ are distinct. It is easy to check that there are no two edges of the same weight and there are no two vertices of the same weight. Thus, $\varphi$ is a totally irregular total $k-$labeling. We conclude that $ts\left(T_n\right)=\lceil \frac{6n+2}{3}\rceil$, which complete the proof.

3. The Planar Graph ${\mathit{R}}_{\mathit{n}}$ (Pentagonal Circular Ladder)

In [23], Bača defined the prism $D_n$ (Circular ladder) for $n\ge 3$. It is a cubic graph which can be defined as the cartesian product $P_2\times C_n$ on a path on two vertices with a cycle on n vertices. Prism $D_n,n\ge 3$ is considered of $n-$cycle $y_1,y_2,y_3,\dots ,y_n$, an inner $n-$cycle $x_1,x_2,x_3,\dots ,x_n$, and a set of n spokes $y_i{z}_i,i=1,2,\dots ,n$, $\left|V\right(D_n|=2n$, $\left|E\right(D_n|=3n$. The planar graph (pentagonal circular ladder) $R_n$ (see Figure 4) is obtained from the graph of prism $D_n$ by adding a new vertex $x_i$ between $y_i$ and $y_{i+1}$, for $i=1,2,3,..,n$. The planar graph (pentagonal circular ladder) $R_n$ has

$$V\left(R_n\right)=\{x_i;y_i;z_i:1\le i\le n\}$$

$$E\left(R_n\right)=\{z_i{z}_{i+1};1\le i\le n\}\cup \{x_i{y}_i;y_i{z}_i;x_i{y}_{i+1};1\le i\le n\}$$

For our purpose, we call the cycle induced by $\{z_i:1\le i\le n\}$ the inner cycle, and the cycle induced by $\{y_i:1\le i\le n\}\cup \{x_i:1\le i\le n\}$ the outer cycle. All subscripts are taken under modulo n. In the next theorem, we determine the total irregularity strength of the planar graph $R_n$.

Theorem 4.

Let $R_n$, $n\ge 4$ be a planar graph. Then, $ts\left(R_n\right)=⌈\frac{4n+2}{3}⌉$.

Proof. 

Since $\left|E\right(R_n\left)\right|=4n$, from Theorem 1, $tes\left(R_n\right)\ge ⌈\frac{4n+2}{3}⌉$. In addition, $R_n$ has n vertices of degree 2, $2n$ vertices of degree 3; thus, from Theorem 2, we get $tvs\left(T_n\right)\ge \lceil \frac{3n+2}{4}\rceil .$ From Equation (1), we get $ts\left(R_n\right)\ge ⌈\frac{4n+2}{3}⌉.$ Now, we show that $ts\left(R_n\right)\le ⌈\frac{4n+2}{3}⌉.$ For this, we define a total labeling $\varphi$ from $V\left(R_n\right)\cup E\left(R_n\right)$ into $\left\{1,2,\dots ,⌈\frac{4n+2}{3}⌉\right\}$ and compute the vertex weight and edge weights in the following way. ☐

Let $k=\lceil \frac{4n+2}{3}\rceil$ and $1\le i\le n$.

For $n=4$, we have,

$\varphi \left(x_i\right)=i$, $\varphi \left(y_i\right)=i$, $\varphi \left(z_i\right)=k$, $\varphi \left(x_i{y}_i\right)=1$, $\varphi \left(x_1{y}_2\right)=1$, $\varphi \left(x_2{y}_3\right)=1$, $\varphi \left(x_3{y}_4\right)=1$, $\varphi \left(x_4{y}_1\right)=6$, $\varphi \left(y_1{z}_1\right)=5$, $\varphi \left(y_2{z}_2\right)=2$, $\varphi \left(y_3{z}_3\right)=4$, $\varphi \left(y_4{z}_4\right)=4$, $\varphi \left(z_i{z}_{i+1}\right)=2+i$, $wt\left(x_i{y}_i\right)=1+2i$, $wt\left(x_1{y}_2\right)=4$, $wt\left(x_2{y}_3\right)=6$, $wt\left(x_3{y}_4\right)=8$, $wt\left(x_4{y}_1\right)=11$, $wt\left(x_1\right)=3$, $wt\left(x_2\right)=4$, $wt\left(x_3\right)=5$, $wt\left(x_4\right)=11$, $wt\left(y_1\right)=13$, $wt\left(y_2\right)=6$, $wt\left(y_3\right)=9$, $wt\left(y_4\right)=10$, $wt\left(z_1\right)=20$, $wt\left(z_2\right)=15$, $wt\left(z_3\right)=19$, $wt\left(z_4\right)=21$,

For $n=5$, we have,

$\varphi \left(x_i\right)=i$, $\varphi \left(y_i\right)=i$, $\varphi \left(z_i\right)=k-1$, $\varphi \left(x_i{y}_i\right)=1$, $\varphi \left(x_1{y}_2\right)=1$, $\varphi \left(x_2{y}_3\right)=1$, $\varphi \left(x_3{y}_4\right)=1$, $\varphi \left(x_4{y}_5\right)=1$, $\varphi \left(x_5{y}_1\right)=6$, $\varphi \left(y_1{z}_1\right)=5$, $\varphi \left(y_2{z}_2\right)=5$, $\varphi \left(y_3{z}_3\right)=5$, $\varphi \left(y_4{z}_4\right)=5$, $\varphi \left(y_5{z}_5\right)=8$, $\varphi \left(z_1{z}_2\right)=3$, $\varphi \left(z_2{z}_3\right)=4$, $\varphi \left(z_3{z}_3\right)=5$, $\varphi \left(z_4{z}_4\right)=7$, $\varphi \left(z_5{z}_5\right)=8$, $wt\left(x_i{y}_i\right)=1+2i$, $wt\left(x_i{y}_{i+1}\right)=2+2i$, $wt\left(x_1\right)=3$, $wt\left(x_2\right)=4$, $wt\left(x_3\right)=5$, $wt\left(x_4\right)=6$, $wt\left(x_{5}z\right)=12$, $wt\left(y_1\right)=13$, $wt\left(y_2\right)=9$, $wt\left(y_3\right)=10$, $wt\left(y_4\right)=11$, $wt\left(y_5\right)=15$, $wt\left(z_1\right)=23$, $wt\left(z_2\right)=19$, $wt\left(z_3\right)=21$, $wt\left(z_4\right)=24$, $wt\left(z_5\right)=30$,

For $n=7$, we have,

$\varphi \left(y_i\right)=i$, $\varphi \left(z_1\right)=8$, $\varphi \left(z_2\right)=9$, $\varphi \left(z_3\right)=10$, $\varphi \left(z_4\right)=11$, $\varphi \left(z_5\right)=12$, $\varphi \left(z_6\right)=13$, $\varphi \left(z_7\right)=14$, $\varphi \left(z_8\right)=14$, $\varphi \left(z_9\right)=14$, $\varphi \left(z_{10}\right)=14$, $\varphi \left(z_1{z}_2\right)=7$, $\varphi \left(z_2{z}_3\right)=7$, $\varphi \left(z_3{z}_4\right)=7$, $\varphi \left(z_4{z}_5\right)=7$, $\varphi \left(z_5{z}_6\right)=7$, $\varphi \left(z_6{z}_7\right)=12$, $\varphi \left(z_7{z}_8\right)=13$, $\varphi \left(z_8{z}_9\right)=14$, $\varphi \left(z_9{z}_{10}\right)=12$, $\varphi \left(z_{10}{z}_1\right)=12$, $wt\left(z_1\right)=41$, $wt\left(z_2\right)=37$, $wt\left(z_3\right)=38$, $wt\left(z_4\right)=39$, $wt\left(z_5\right)=40$, $wt\left(z_6\right)=46$, $wt\left(z_7\right)=53$, $wt\left(z_8\right)=55$, $wt\left(z_9\right)=54$, $wt\left(z_{10}\right)=52$, $\varphi \left(y_i{z}_i\right)=k$,

$$\varphi \left(x_i\right)=\left\{\begin{array}{cc}i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 4,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i\right)=\left\{\begin{array}{cc}2+i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 26,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}30,\hfill & \mathit{for}i=1\hfill \\ n+7+i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ 31,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(x_i{y}_i\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k-n+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_i\right)=\left\{\begin{array}{cc}1+2i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 22,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}2+2i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 21,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i{z}_i\right)=\left\{\begin{array}{cc}2i+2k-\frac{2(n-1)}{3}-1,\hfill & \mathit{for}1\le i\le \frac{k}{2}\hfill \\ 2k+1+i,\hfill & \mathit{for}\frac{k+2}{2}\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}2n+2+2i,\hfill & \mathit{for}1\le i\le 5\hfill \\ 4n-1,\hfill & \mathit{for}i=6\hfill \\ k+2n+i,\hfill & \mathit{for}i=7,8\hfill \\ 4n,\hfill & \mathit{for}i=9\hfill \\ 3n+4,\hfill & \mathit{for}i=10\hfill \end{array}\right.$$

For $n=10$ , we have,

$\varphi \left(y_i\right)=i$, $\varphi \left(z_1\right)=6$, $\varphi \left(z_2\right)=7$, $\varphi \left(z_3\right)=8$, $\varphi \left(z_4\right)=9$, $\varphi \left(z_5\right)=10$, $\varphi \left(z_6\right)=10$, $\varphi \left(z_7\right)=10$, $\varphi \left(z_1{z}_2\right)=5$, $\varphi \left(z_2{z}_3\right)=5$, $\varphi \left(z_3{z}_4\right)=5$, $\varphi \left(z_4{z}_5\right)=10$, $\varphi \left(z_5{z}_6\right)=10$, $\varphi \left(z_6{z}_7\right)=8$, $\varphi \left(z_7{z}_1\right)=8$, $wt\left(x_1\right)=3$, $wt\left(x_2\right)=4$, $wt\left(x_3\right)=5$, $wt\left(x_4\right)=6$, $wt\left(x_{5}z\right)=7$, $wt\left(x_{6}z\right)=8$, $wt\left(x_7\right)=19$, $wt\left(y_1\right)=22$, $wt\left(y_2\right)=14$, $wt\left(y_3\right)=15$, $wt\left(y_4\right)=16$, $wt\left(y_5\right)=17$, $wt\left(y_{6}z\right)=18$, $wt\left(x_7\right)=23$, $wt\left(z_1\right)=29$, $wt\left(z_2\right)=27$, $wt\left(z_3\right)=28$, $wt\left(z_4\right)=34$, $wt\left(z_5\right)=40$, $wt\left(z\right)=38$, $wt\left(z_7\right)=36$, $\varphi \left(y_i{z}_i\right)=k$,

$$\varphi \left(x_i\right)=\left\{\begin{array}{cc}i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 6,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(x_i{y}_i\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k-n+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_i\right)=\left\{\begin{array}{cc}1+2i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 16,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}2+2i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 15,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i{z}_i\right)=\left\{\begin{array}{cc}2i+2k-\frac{2n}{3}-1,\hfill & \mathit{for}1\le i\le \frac{k+2}{2}\hfill \\ 2k+i,\hfill & \mathit{for}\frac{k+4}{2}\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}2n+2+2i,\hfill & \mathit{for}1\le i\le \frac{k}{2}-2\hfill \\ 3n+4+i,\hfill & \mathit{for}\frac{k+2}{2}\le i\le n-2\hfill \\ k+2n+4,\hfill & \mathit{for}i=n-1\hfill \\ k+2n,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

For $n\ge 6$ and $n\ne 7,10$, we have $\varphi \left(y_i\right)=i$, $\varphi \left(y_i{z}_i\right)=k$,

$$\varphi \left(x_i{y}_i\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k-n+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 1.when $n\equiv 0\left(mod3\right)$

$$\varphi \left(x_i\right)=\left\{\begin{array}{cc}i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ \frac{k-3}{2},\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(z_i\right)=\left\{\begin{array}{cc}k-\frac{2n}{3}-1+i,\hfill & \mathit{for}1\le i\le \frac{k+1}{2}\hfill \\ k,\hfill & \mathit{for}\frac{k+3}{2}\le i\le n\hfill \end{array}\right.$$

$$\varphi \left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}\frac{k+1}{2}\hfill & \mathit{for}1\le i\le \frac{k+1}{2}-2\hfill \\ n+2,\hfill & \mathit{for}i=\frac{k+1}{2}-1\hfill \\ k-n+i,\hfill & \mathit{for}\frac{k+1}{2}\le i\le n-1\hfill \\ k-1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i\right)=\left\{\begin{array}{cc}i+2,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 3k-\frac{5n}{3},\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}2k+2,\hfill & \mathit{for}i=1\hfill \\ 4(k-n)-1+i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ 2k+3,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(z_i\right)=\left\{\begin{array}{cc}\frac{7(k+1)}{2}-\frac{2n}{3}-4,\hfill & \mathit{for}i=1\hfill \\ 3k-\frac{2n}{3}+i,\hfill & \mathit{for}2\le i\le \frac{k-3}{2}\hfill \\ \frac{5(k+1)}{2}+n-1,\hfill & \mathit{for}i=\frac{k-1}{2}\hfill \\ 3k+2+i,\hfill & \mathit{for}\frac{k+1}{2}\le i\le \frac{k+3}{2}\hfill \\ 4(k-1)-2n+3+2i,\hfill & \frac{k+5}{2}\le i\le n-1\hfill \\ 4k-2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_i\right)=\left\{\begin{array}{cc}2i+1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2k-\frac{2n}{3},\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}2i+2,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2k-\frac{2n}{3}-1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i{z}_i\right)=\left\{\begin{array}{cc}2i+2k-\frac{2n}{3}-1,\hfill & \mathit{for}1\le i\le \frac{k+1}{2}-1\hfill \\ 2k+i,\hfill & \mathit{for}\frac{k+1}{2}\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}2n+2+2i,\hfill & \mathit{for}1\le i\le \frac{k+1}{2}-2\hfill \\ 3n+3+i,\hfill & \mathit{for}\frac{k+1}{2}-1\le i\le n-1\hfill \\ k+2n+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 2.when $n\equiv 1\left(mod3\right)$

$$\varphi \left(x_i\right)=\left\{\begin{array}{cc}i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ k-\frac{(2n+1)}{3}-1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(z_i\right)=\left\{\begin{array}{cc}k-\frac{2n+1}{3}+i,\hfill & \mathit{for}1\le i\le \frac{k}{2}\hfill \\ k,\hfill & \mathit{for}\frac{k}{2}+1\le i\le n\hfill \end{array}\right.$$

$$\varphi \left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}\frac{k}{2},\hfill & \mathit{for}1\le i\le \frac{k}{2}-2\hfill \\ n+2,\hfill & \mathit{for}i=\frac{k}{2}-1\hfill \\ k-n+1+i,\hfill & \mathit{for}\frac{k}{2}\le i\le n-1\hfill \\ k-2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i\right)=\left\{\begin{array}{cc}i+2,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 3k-\frac{5n+1}{3}+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}2k+2,\hfill & \mathit{for}i=1\hfill \\ 4(k-n)+i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ 2k+3,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(z_i\right)=\left\{\begin{array}{cc}\frac{7k}{2}-\frac{2n+1}{3}-1,\hfill & \mathit{for}i=1\hfill \\ 3k-\frac{2n+1}{3}+i,\hfill & \mathit{for}2\le i\le \frac{k}{2}-2\hfill \\ \frac{5k}{2}+n+1,\hfill & \mathit{for}i=\frac{k}{2}-1\hfill \\ 3k+3+i,\hfill & \mathit{for}\frac{k}{2}\le i\le \frac{k}{2}+1\hfill \\ 4k-2n+1+2i,\hfill & \mathit{for}\frac{k}{2}+2\le i\le n-1\hfill \\ 4k-2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_i\right)=\left\{\begin{array}{cc}2i+1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2k-\frac{2n+1}{3}+1,\hfill & i=n.\hfill \end{array}\right.$$

$$wt\left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}2i+2,\hfill & 1\le i\le n-1\hfill \\ 2k-\frac{2n+1}{3},\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i{z}_i\right)=\left\{\begin{array}{cc}2i+2k-\frac{2n+1}{3},\hfill & \mathit{for}1\le i\le \frac{k}{2}\hfill \\ 2k+i,\hfill & \mathit{for}\frac{k}{2}+1\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}2n+2+2i,\hfill & \mathit{for}1\le i\le \frac{k}{2}-2\hfill \\ 3n+3+i,\hfill & \mathit{for}\frac{k}{2}-1\le i\le n-1\hfill \\ k+2n,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 3.when $n\equiv 2\left(mod3\right)$

$$\varphi \left(x_i\right)=\left\{\begin{array}{cc}i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ \frac{k-4}{2},\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(z_i\right)=\left\{\begin{array}{cc}k-\frac{2n+2}{3}-1+i,\hfill & \mathit{for}1\le i\le \frac{k+2}{2}\hfill \\ k,\hfill & \mathit{for}\frac{k+4}{2}\le i\le n\hfill \end{array}\right.$$

$$\varphi \left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}\frac{k}{2}+1,\hfill & \mathit{for}1\le i\le \frac{k}{2}-1\hfill \\ n+2,\hfill & \mathit{for}i=\frac{k}{2}\hfill \\ k-n-1+i,\hfill & \mathit{for}\frac{k}{2}+1\le i\le n-1\hfill \\ k,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i\right)=\left\{\begin{array}{cc}i+2,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 3k-\frac{5n+5}{3}+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}2k+2,\hfill & \mathit{for}i=1\hfill \\ 4(k-n)-2+i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ 2k+3,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(z_i\right)=\left\{\begin{array}{cc}\frac{7k}{2}-\frac{2(n+1)}{3}+1,\hfill & \mathit{for}i=1\hfill \\ 3k-\frac{2(n+1)}{3}+1+i,\hfill & \mathit{for}2\le i\le \frac{k}{2}-1\hfill \\ \frac{5k}{2}+n+2,\hfill & \mathit{for}i=\frac{k}{2}\hfill \\ 3k+2+i,\hfill & \mathit{for}\frac{k}{2}+1\le i\le \frac{k}{2}+2\hfill \\ 4k-2n-1+2i,\hfill & \mathit{for}\frac{k}{2}+3\le i\le n-1\hfill \\ 4k-2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_i\right)=\left\{\begin{array}{cc}2i+1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2k+\frac{2n+2}{3},\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}2i+2,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2k-\frac{2n+2}{3}-1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$wt\left(y_i{z}_i\right)=\left\{\begin{array}{cc}2i+2k-\frac{2n+2}{3}-1,\hfill & \mathit{for}1\le i\le \frac{k}{2}\hfill \\ 2k+i,\hfill & \mathit{for}\frac{k}{2}+1\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{z}_{i+1}\right)=\left\{\begin{array}{cc}2n+2+2i,\hfill & \mathit{for}1\le i\le \frac{k}{2}-1\hfill \\ 3n+3+i,\hfill & \mathit{for}\frac{k}{2}\le i\le n-1\hfill \\ k+2n+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

The weight of the edges and vertices under the labeling $\varphi$ are distinct. It is easy to check that there are no two edges of the same weight and there are no two vertices of the same weight. Thus, $\varphi$ is a totally irregular total $k-$labeling. We conclude that $ts\left(R_n\right)=\lceil \frac{4n+2}{3}\rceil$, which complete the proof.

4. The Planar Graph ${\mathit{Q}}_{\mathit{n}}$

In [23], Bača defined the planar graph (pentagonal circular ladder) $R_n$. The planar graph $Q_n$ (see Figure 5) is obtained from the planar graph (pentagonal circular ladder) $R_n$ by adding new edges $y_i{y}_{i+1},z_i{w}_i,w_i{w}_{i+1}$. The planar graph $Q_n$ has

$$V\left(Q_n\right)=\{x_i;y_i;z_i;w_i:1\le i\le n\}$$

$$E\left(Q_n\right)=\{y_i{y}_{i+1};w_i{w}_{i+1};z_i{z}_{i+1};x_i{y}_i;x_i{y}_{i+1};y_i{z}_i;z_i{w}_i:1\le i\le n\}$$

The planar graph $Q_n$ has $4n$ vertices and $7n$ edges. For our purpose, we call the cycle induced by $\{w_i:1\le i\le n\}$ the inner cycle, the cycle induced by $\{z_i:1\le i\le n\}$ the middle cycle, the cycle induced by $\{y_i:1\le i\le n\}$ the outer cycle, and the set of vertices $\{x_i:1\le i\le n\}$ the set of outer vertices. The subscript $n+1$ must be replaced by 1.

Theorem 5.

Let $Q_n$, $n\ge 4$ be a planar graph. Then, $ts\left(Q_n\right)=⌈\frac{7n+2}{3}⌉.$

Proof. 

Since $\left|E\right(Q_n\left)\right|=7n$, from Theorem 1 $tes\left(Q_n\right)\ge ⌈\frac{7n+2}{3}⌉$. In addition, $Q_n$ has n vertices of degree 2, n vertices of degree 3, n vertices of degree 4 and n vertices of degree 5; thus, from Theorem 2, we get $tvs\left(Q_n\right)\ge \lceil \frac{4n+2}{6}\rceil .$ From Equation (1), we get $ts\left(Q_n\right)\ge ⌈\frac{7n+2}{3}⌉.$ Now, we show that $ts\left(Q_n\right)\le ⌈\frac{7n+2}{3}⌉.$ For this, we define a total labeling $\varphi$ from $V\left(Q_n\right)\cup E\left(Q_n\right)$ into $\left\{1,2,\dots ,⌈\frac{7n+2}{3}⌉\right\}$ and compute the vertex weight and edge weights in the following way. ☐

Let $k=\lceil \frac{7n+2}{3}\rceil$ and $1\le i\le n$,

$\varphi \left(x_i\right)=i$, $\varphi \left(y_i\right)=i$, $\varphi \left(z_i\right)=k$, $\varphi \left(x_i{y}_i\right)=1$, $wt\left(x_i{y}_i\right)=1+2i$, $wt\left(x_i{y}_{i+1}\right)=2+2i$, $wt\left(y_i{z}_i\right)=4n+2+i$, $wt\left(y_i{y}_{i+1}\right)=2n+2+i$, $wt\left(w_i{w}_{i+1}\right)=3n+2+i$,

$$\varphi \left(x_i{y}_{i+1}\right)=\left\{\begin{array}{cc}1,\hfill & \mathit{for}1\le i\le n-1\hfill \\ n+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(y_i{y}_{i+1}\right)=\left\{\begin{array}{cc}2n+1-i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2n+1,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

$$\varphi \left(w_i{w}_{i+1}\right)=\left\{\begin{array}{cc}i,\hfill & \mathit{for}1\le i\le n,niseven\hfill \\ i+1,\hfill & \mathit{for}1\le i\le n,nisodd\hfill \end{array}\right.$$

$$wt\left(x_i\right)=\left\{\begin{array}{cc}2+i,\hfill & \mathit{for}1\le i\le n-1\hfill \\ 2n+2,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 1.when $n\equiv 0\left(mod6\right)$ and 1 $\le i\le n$

$\varphi \left(w_i\right)=\frac{3n}{2}+1$, $\varphi \left(y_i{z}_i\right)=\frac{5n}{3}+1$, $\varphi \left(z_i{z}_{i+1}\right)=\frac{4n}{3}+i$, $wt\left(z_i{z}_{i+1}\right)=2k+\frac{4n}{3}+i$, $wt\left(z_i\right)=\frac{53n}{6}+3+i$, $wt\left(w_i\right)=\frac{11n}{3}+2+i$,

$$\varphi \left(z_i{w}_i\right)=\left\{\begin{array}{cc}\frac{7n}{6}+1,\hfill & \mathit{for}i=1\hfill \\ \frac{13n}{6}+2-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{w}_i\right)=\left\{\begin{array}{cc}k+\frac{8n}{3}+2,\hfill & \mathit{for}i=1\hfill \\ k+\frac{11n}{3}+3-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}\frac{20n}{3}+5,\hfill & \mathit{for}i=1\hfill \\ \frac{17n}{3}+6-i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ \frac{17n}{3}+6,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 2.when $n\equiv$ 1 (mod 6) and 1 $\le i\le n$

$\varphi \left(w_i\right)=\frac{3(n-1)}{2}+2$, $\varphi \left(y_i{z}_i\right)=\frac{5(n-1)}{3}+3$, $\varphi \left(z_i{z}_{i+1}\right)=\frac{4(n-1)}{3}+2+i$, $wt\left(z_i{z}_{i+1}\right)=2k+\frac{4(n-1)}{3}+2+i$, $wt\left(z_i\right)=\frac{53(n-1)}{6}+14+i$, $wt\left(w_i\right)=\frac{11(n-1)}{3}+8+i$,

$$\varphi \left(z_i{w}_i\right)=\left\{\begin{array}{cc}\frac{7(n-1)}{6}+3,\hfill & \mathit{for}i=1\hfill \\ \frac{13(n-1)}{6}+5-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{w}_i\right)=\left\{\begin{array}{cc}k+\frac{8(n-1)}{3}+5,\hfill & \mathit{for}i=1\hfill \\ k+\frac{11(n-1)}{3}+7-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}\frac{20(n-1)}{3}+12,\hfill & \mathit{for}i=1\hfill \\ \frac{17(n-1)}{3}+12-i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ \frac{17(n-1)}{3}+12,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 3.when n ≡ 2 (mod 6) and 1 ≤ i ≤ n

$\varphi \left(w_i\right)=\frac{3(n-2)}{2}+4$, $\varphi \left(y_i{z}_i\right)=\frac{5(n-2)}{3}+4$, $\varphi \left(z_i{z}_{i+1}\right)=\frac{4(n-2)}{3}+2+i$, $wt\left(z_i{z}_{i+1}\right)=2k+\frac{4(n-2)}{3}+2+i$, $wt\left(z_i\right)=\frac{53(n-2)}{6}+19+i$, $wt\left(w_i\right)=\frac{11(n-2)}{3}+9+i$,

$$\varphi \left(z_i{w}_i\right)=\left\{\begin{array}{cc}\frac{7(n-2)}{6}+3,\hfill & \mathit{for}i=1\hfill \\ \frac{13(n-2)}{6}+6-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{w}_i\right)=\left\{\begin{array}{cc}k+\frac{8(n-2)}{3}+7,\hfill & \mathit{for}i=1\hfill \\ k+\frac{11(n-2)}{3}+10-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}\frac{20(n-2)}{3}+18,\hfill & \mathit{for}i=1\hfill \\ \frac{17(n-2)}{3}+17-i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ \frac{17(n-2)}{3}+17,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 4.when $n\equiv$ 3 (mod 6) and 1 $\le i\le n$

$\varphi \left(w_i\right)=\frac{3(n-3)}{2}+5$, $\varphi \left(y_i{z}_i\right)=\frac{5(n-3)}{3}+6$, $\varphi \left(z_i{z}_{i+1}\right)=\frac{4(n-2)}{3}+4+i$, $wt\left(z_i{z}_{i+1}\right)=2k+\frac{4(n-3)}{3}+4+i$, $wt\left(z_i\right)=\frac{53(n-3)}{6}+30+i$, $wt\left(w_i\right)=\frac{11(n-3)}{3}+15+i$,

$$\varphi \left(z_i{w}_i\right)=\left\{\begin{array}{cc}\frac{7(n-3)}{6}+5,\hfill & \mathit{for}i=1\hfill \\ \frac{13(n-3)}{6}+9-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{w}_i\right)=\left\{\begin{array}{cc}k+\frac{8(n-3)}{3}+10,\hfill & \mathit{for}i=1\hfill \\ k+\frac{11(n-3)}{3}+14-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}\frac{20(n-3)}{3}+25,\hfill & \mathit{for}i=1\hfill \\ \frac{17(n-3)}{3}+23-i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ \frac{17(n-3)}{3}+23,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 5.when $n\equiv$ 4 (mod 6) and 1 $\le i\le n$

$\varphi \left(w_i\right)=\frac{3(n-4)}{2}+7$, $\varphi \left(y_i{z}_i\right)=\frac{5(n-4)}{3}+8$, $\varphi \left(z_i{z}_{i+1}\right)=\frac{4(n-4)}{3}+6+i$, $wt\left(z_i{z}_{i+1}\right)=2k+\frac{4(n-4)}{3}+6+i$, $wt\left(z_i\right)=\frac{53(n-4)}{6}+40+i$, $wt\left(w_i\right)=\frac{11(n-4)}{3}+17+i$,

$$\varphi \left(z_i{w}_i\right)=\left\{\begin{array}{cc}\frac{7(n-4)}{6}+6,\hfill & \mathit{for}i=1\hfill \\ \frac{13(n-4)}{6}+11-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{w}_i\right)=\left\{\begin{array}{cc}k+\frac{8(n-4)}{3}+13,\hfill & \mathit{for}i=1\hfill \\ k+\frac{11(n-4)}{3}+18-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}\frac{20(n-4)}{3}+32,\hfill & \mathit{for}i=1\hfill \\ \frac{17(n-4)}{3}+29-i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ \frac{17(n-4)}{3}+29,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

Case 6.when $n\equiv$ 5 (mod 6) and 1 $\le i\le n$

$\varphi \left(w_i\right)=\frac{3(n-5)}{2}+8$, $\varphi \left(y_i{z}_i\right)=\frac{5(n-5)}{3}+9$, $\varphi \left(z_i{z}_{i+1}\right)=\frac{4(n-5)}{3}+6+i$, $wt\left(z_i{z}_{i+1}\right)=2k+\frac{4(n-5)}{3}+6+i$, $wt\left(z_i\right)=\frac{53(n-5)}{6}+46+i$, $wt\left(w_i\right)=\frac{11(n-5)}{3}+22+i$,

$$\varphi \left(z_i{w}_i\right)=\left\{\begin{array}{cc}\frac{7(n-5)}{6}+7,\hfill & \mathit{for}i=1\hfill \\ \frac{13(n-5)}{6}+13-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(z_i{w}_i\right)=\left\{\begin{array}{cc}k+\frac{8(n-5)}{3}+15,\hfill & \mathit{for}i=1\hfill \\ k+\frac{11(n-5)}{3}+21-i,\hfill & \mathit{for}2\le i\le n\hfill \end{array}\right.$$

$$wt\left(y_i\right)=\left\{\begin{array}{cc}\frac{20(n-5)}{3}+38,\hfill & \mathit{for}i=1\hfill \\ \frac{17(n-5)}{3}+34-i,\hfill & \mathit{for}2\le i\le n-1\hfill \\ \frac{17(n-5)}{3}+34,\hfill & \mathit{for}i=n\hfill \end{array}\right.$$

The weight of the edges and vertices of $S_n$ under the labeling ϕ are distinct. It is easy to check that there are no two edges of the same weight and there are no two vertices of the same weight. Thus, ϕ is a totally irregular total $k-$labeling. We conclude that $ts\left(Q_n\right)=\lceil \frac{7n+2}{3}\rceil$, which completes the proof.

5. Conclusions

In this paper, we discus the total edge irregular k labeling, total vertex irregular k labeling and totally irregular total k labeling of planar graphs. We provide exact result of total irregularity strength $ts$ for the planar graph $T_n$, the planar graph $R_n$ (Pentagonal Circular Ladder) and the planar graph $Q_n$. In the future, we are interested in computing the total irregularity strength $ts$ for the other planar graphs.