# k-Zumkeller labeling of super subdivision of some graphs

## Abstract

A simple graph $$G=(V,E)$$ is said to be k-Zumkeller graph if there is an injective function f from the vertices of G to the natural numbers N such that when each edge $$xy\in E$$ is assigned the label f(x)f(y), the resulting edge labels are k distinct Zumkeller numbers. In this paper, we show that the super subdivision of path, cycle, comb, ladder, crown, circular ladder, planar grid and prism are k-Zumkeller graphs.

## Introduction

Graph labeling was first introduced by Alex Rosa in the mid-sixties [1]. It concerns the assignment of mathematical objects, such as integers, prime numbers, modular integers, element of group, etc. The properties of the mathematical object are used through an evaluating function that assigns the values to the edges and/or vertices of graph $$G=(V,E)$$ based upon certain criteria. There are enormous papers have been devoted to several kinds of labeling of graphs over the past three decades, which are updated by Gallian [2]. Labeled graphs are used in numerous areas like coding theory, X-ray crystallography, the design of good radar type codes, astronomy, circuit design, communication network addressing, data base management [2]. Graphs with labeled edges are frequently used to model networks, with restrictions on the network represented as restrictions on the labels of edges. For example, when modeling transportation networks, such labels can be used to indicate various factors, from cost to level of traffic stream. In generally Ahuja, Magnati and Orlin [3] point out different applications in statistical physics, particle physics, computer science, biology, economics, operations research and sociology. For all notations and terminology in graph theory we follow Harary [4].

Graph labeling is a strong relation between number theory and graph structures. The study of Zumkeller numbers [5] is a part of number theory which is one of the important branches of mathematics. Some parts of number theory play an important role in modern coding and cryptography. Balamurugan et al. [6] introduced Zumkeller labeling using Zumkeller numbers, which is defined as an injective function $$f:V\rightarrow N$$ such that the induced function $$f^{*}:E\rightarrow N$$ defined by $$f^{*}(xy)=f(x)f(y)$$ is a Zumkeller number for all $$xy\in E, x,y\in V$$. The concept of k-Zumkeller labeling of graphs has been introduced and investigated in the literature [7, 8].

### Definition 1.1

[7] A function f is called k-Zumkeller labeling of the graph G if $$f:V(G)\rightarrow N$$ is injective and the induced function $$f^{*}:E\rightarrow N$$ defined by $$f^{*}(uv)=f(u)f(v)$$ is a Zumkeller number for all $$uv\in E(G)$$,$$u,v \in V(G)$$ and the resulting edge labels are k distinct Zumkeller numbers.

In 2001, Sethuraman and Selvaraju [9] have introduced a graph operation called super subdivision of graph, denoted SSD(G) if SSD(G) is obtained from G by replacing every edge xy of G by a complete bipartite graph $$K_{2,t}$$ by in such a way that the end vertices x,Â y of each edge are merged with the two vertices of 2-vertices part of $$K_{2,t}$$ after removing the edge xy from G (in the complete bipartite graph $$K_{2,t}$$ the part consisting of two vertices is referred as 2-vertices part of $$K_{2,t}$$ and the part consisting of t vertices is referred as t-vertices part of $$K_{2,t}$$). In graph theory, subdivision is a significant aspect that allows one to calculate properties of some complex graphs in terms of some easier graphs. Subdivision graphs are used to drive many mathematical and chemical properties of more complex graphs from more basic graphs and there are many results on these graphs, so it helps to study the physical, chemical properties of the object which is modeled by the graph [10].

## Zumkeller numbers: definition and properties

In this section, we survey the notations of Zumkeller numbers and some properties of Zumkeller numbers. A positive integer n is known as a perfect number if the sum of its proper positive factors is equal to n. Generalizing the notion of perfect numbers, Zumkeller presented in Encyclopedia of Integer Sequences [5] A083207 a sequence of integers that their positive factors can be separated into two disjoint subsets with equal sum.

### Definition 2.1

Let n be a positive number, if all the positive factors of n can be partitioned into two disjoint subsets such that the sums of the two subsets are equal. Then n is called a Zumkeller number.

This partition is called as a Zumkeller partition. For example, all the following numbers 6,Â 12,Â 20,Â 24,Â 28,Â 30 are Zumkeller numbers.

Properties of Zumkeller Numbers:

1. 1.

If the prime factorization of an even Zumkeller number n is $$2^{k}p^{k_{1}}_{1}p^{k_{2}}_{2}...$$ $$p^{k_{m}}_{m}$$. Hence, at least one of $$k_{i}$$ must be an odd number.

2. 2.

Let n be a Zumkeller number and p be a prime where $$(n, p) = 1$$, then $$np^{\ell }$$ is a Zumkeller number for any positive integer $$\ell$$.

3. 3.

If $$p^{k_{1}}_{1}p^{k_{2}}_{2}...p^{k_{m}}_{m}$$ is the prime factorization of the Zumkeller number n. Hence, for any positive integers $$\ell _{1},\ell _{2},...,\ell _{m}$$. The number $$p^{k_{1}+\ell _{1}(k_{1}+1)}_{1}p^{k_{2}+\ell _{2}(k_{2}+1)}_{2}...p^{k_{m}+\ell _{m}(k_{m}+1)}_{m}$$ is also Zumkeller number.

4. 4.

Let $$p\ne 2$$ be a prime number and let k be a positive integer with $$p\le 2^{k+1}-1$$. Then, $$2^{k}p$$ is a Zumkeller number.

## Main results

In this section, we prove that the super subdivision of graphs such as path $$P_{n}$$, cycle $$C_{n}$$, comb $$P_{n}\odot K_{1}$$, crown $$C_{n}\odot K_{1}$$, ladder $$L_{n}$$, circular ladder $$CL_{n}$$, planer grid $$P_{m}\times P_{n}$$ and prism $$C_{m}\times P_{n}$$ are k-Zumkeller graphs.

### Theorem 3.1

$$SSD(P_{n})$$ admits a 2t-Zumkeller labeling for all $$n\ge 2$$.

### Proof

Let $$P_{n}$$ be a path with vertex set $$V=\{u_{i}:1\le i\le n\}$$ and edge set $$E=\{e_{i}=u_{i}u_{i+1}:1\le i\le n-1\}$$. Then, the super subdivision of the path $$P_{n}$$, $$SSD(P_{n})$$ is obtained by replacing each edge $$e_{i}$$ by a complete bipartite graph $$K_{2,t}$$ for some $$t\in N$$. Let $$u_{i(i+1)}^{k} (1\le i\le n-1,1\le k\le t)$$ be the vertices of t-vertex part of the complete bipartite $$K_{2,t}$$. From the constructions, we observe that the graph $$SSD(P_{n})$$ has $$(n-1)t+n$$ vertices and $$2(n-1)t$$ edges, where t is the number of vertices in the t-vertices part of $$K_{2,t}$$. We define $$f:V(SSD(P_{n}))\rightarrow N$$ as follows:

For $$1\le k\le t$$.

\begin{aligned} f(u_{i})&=2^{ti+(1-t)},1\le i\le n\\ f(u^ {k}_{i(i+1)})&=p2^{t(n-1)-ti+(k-1)},1\le i\le n-1. \end{aligned}

where $$p<10, p\ne 2$$ is a prime number. Hence the labels of the edges of $$SSD(P_{n})$$ are given as follows:

\begin{aligned} f^{*}(u_{i}u_{i(i+1)}^ {k})&=p2^{t(n-2)+k}, \end{aligned}
(1)
\begin{aligned} f^{*}(u_{i(i+1)}^ {k}u_{(i+1)})&= p2^{t(n-1)+k}. \end{aligned}
(2)

From Eqs. (1), (2), it is observed that the edges of $$SSD(P_{n})$$ receive only 2t distinct Zumkeller numbers $$p2^{t(n-2)+k},p2^{t(n-1)+k}$$ for $$1\le k\le t$$. Hence $$SSD(P_{n})$$ graph admits a 2t-Zumkeller labeling. $$\square$$

### Illustration 3.1

FigureÂ 1illustrates the super subdivision of $$P_{5}$$ and its 8-Zumkeller labeling, where $$t=4$$ and $$p=3$$.

### Theorem 3.2

$$SSD(C_{n})$$ admits a 3t-Zumkeller labeling for all $$n\ge 2$$.

### Proof

Let $$C_{n}$$ be a cycle with vertices set $$V=\{u_{i}:1\le i\le n\}$$ and edge set $$E=\{e_{i}=u_{i}u_{i+1}:1\le i\le n-1\}\bigcup \{e_{n}=u_{n}u_{1}\}$$. Let $$SSD(C_{n})$$ be a super subdivision of the cycle $$C_{n}$$. Let $$u_{i(i+1)}^{k}$$ and $$u_{n1}^{k} (1\le i\le n-1,1\le k\le t)$$ be the vertices of the t-vertices part of $$K_{2,t}$$ which are used for super subdivision of $$C_{n}$$. Thus $$SSD(C_{n})$$ has $$p=n(1+t)$$ vertices and $$q=2nt$$ edges. We define $$f:V(SSD(C_{n}))\rightarrow N$$ as follows:

For $$1\le k\le t$$.

\begin{aligned} f(u_{i})&=2^{ti+(1-t)},1\le i\le n\\ f(u^ {k}_{i(i+1)})&=p2^{tn-ti+(k-1)},1\le i\le n-1\\ f(u^ {k}_{n1})&=p2^{k-1}. \end{aligned}

where $$p<10,p\ne 2$$ is a prime number. Then the labels of the edges of $$SSD(C_{n})$$ are given as follows:

For $$1\le i\le n-1$$.

\begin{aligned} f^{*}(u_{i}u_{i(i+1)}^ {k})&=f^{*}(u_{n}u_{n1}^ {k})=p2^{t(n-1)+k}, \end{aligned}
(3)
\begin{aligned} f^{*}(u_{i(i+1)}^ {k}u_{(i+1)})&=p2^{tn+k}, \end{aligned}
(4)
\begin{aligned} f^{*}(u_{n1}^ {k}u_{1})&=p2^{k}. \end{aligned}
(5)

From Eqs. (3) to (5), it is observed that the edges of $$SSD(C_{n})$$ receive only 3t distinct Zumkeller numbers $$p2^{t(n-1)+k}, p2^{tn+k}$$ and $$p2^{k}$$ for $$1\le k\le t$$. Hence $$SSD(C_{n})$$ graph admits a 3t-Zumkeller labeling. $$\square$$

### Illustration 3.2

FigureÂ 2illustrates the super subdivision of $$C_{8}$$ and its 9-Zumkeller labeling, where $$t=3$$ and $$p=3$$.

### Theorem 3.3

$$SSD(P_{n}\odot K_{1})$$ admits a 3t-Zumkeller labeling for all $$n\ge 3$$.

### Proof

Let $$V=\{u_{i},v_{i}:1\le i\le n\}$$ be the vertex set and $$E=\{e_{i}=u_{i}u_{i+1},{{\hat{e}}}_{i}= u_{i}v_{i}:1\le i\le n-1\}\bigcup \{{\hat{e}}_{n}=u_{n}v_{n}\}$$ be the edge set of the comb graph. Suppose that $$u_{i(i+1)}^{k},w_{i}^{k}(1\le i\le n-1,1\le k\le t)$$ and $$w_{n}^{k}$$ are the vertices of the t-vertices part of $$K_{2,t}$$ which are used for super subdivision of $$P_{n}\odot K_{1}$$. Hence, we observe that the graph $$SSD(P_{n}\odot K_{1})$$ has $$2tn+(2n-t)$$ vertices and $$4tn-2t$$ edges. Define labeling $$f:V(SSD(P_{n}\odot K_{1}))\rightarrow N$$ as follows:

For $$1\le k\le t$$.

\begin{aligned} f(u_{i})&=2^{2ti+(1-t)},1\le i\le n\\ f(v_{i})&=2^{2ti+(1-2t)},1\le i\le n\\ f(u_{i(i+1)}^ {k})&=p2^{2t(n-i)-(1+t)+k},1\le i\le n-1\\ f(w_{i}^ {k})&=p2^{2t(n-i)+(k-1)},1\le i\le n-1. \end{aligned}

Where $$p<10,p\ne 2$$ is a prime number. So the labels of the edges of $$SSD(P_{n}\odot K_{1})$$ are given as follows:

For $$1\le i\le n-1$$, $$1\le k\le t$$

\begin{aligned} f^{*}(u_{i}u_{i(i+1)}^ {k})&=f^{*}(w_{i}^ {k}v_{i})=f^{*}(w_{n}^ {k}v_{n})=p2^{2t(n-1)+k}, \end{aligned}
(6)
\begin{aligned} f^{*}(u_{i(i+1)}^ {k}u_{(i+1)})&=p2^{2tn+k}, \end{aligned}
(7)
\begin{aligned} f^{*}(u_{i}w_{i}^ {k})&=p2^{t(2n-1)+k}. \end{aligned}
(8)

From Eqs.Â (6) to (8), it is noticed that the edges of $$SSD(P_{n}\odot K_{1})$$ receive only 3t distinct Zumkeller numbers $$p2^{2t(n-1)+k},p2^{2tn+k}$$ and $$p2^{t(2n-1)+k}$$ for $$1\le k\le t$$. Hence $$SSD(P_{n}\odot K_{1})$$ graph admits a 3t-Zumkeller labeling. $$\square$$

### Illustration 3.3

FigureÂ 3illustrates the super subdivision of $$P_{5}\odot K_{1}$$ and its 15-Zumkeller labeling, where $$t=4$$ and $$p=3$$.

### Theorem 3.4

$$SSD(L_{n})$$ admits a 4t-Zumkeller labeling for all $$n\ge 3,t\ge 1$$.

### Proof

We get the ladder graph $$L_{n}$$ by attaching the vertices $$v_{i}$$ and $$v_{i+1}$$ for $$1\le i\le n-1$$ of the comb graph $$P_{n}\odot K_{1}$$ in Theorem 3.3, with additional edges. Let $$V=\{u_{i},v_{i}:1\le i\le n\}$$ be the vertex set and $$E=\{e_{i}=u_{i}u_{i+1},{\hat{e}}_{i}= u_{i}v_{i},\bar{e_{i}}=v_{i}v_{i+1}:1\le i\le n-1\}\bigcup \{{\hat{e}}_{n}=u_{n}v_{n}\}$$ be the edge set of the ladder graph. By the definition of super subdivision of $$L_{n}$$, we can consider $$u_{i(i+1)}^{k},v_{i(i+1)}^{k},w_{i}^{k}(1\le i\le n-1,1\le k\le t)$$ and $$w_{n}^{k}$$ are the vertices of the $$t-$$vertices part of $$k_{2,t}$$. Then, it is clear that $$SSD(L_{n})$$ has $$3tn+2(n-t)$$ vertices and $$6tn-4t$$ edges. Define labeling $$f:V(SSD(L_{n}))\rightarrow N$$ as follows:

For $$1\le i\le n$$ , $$1\le k\le t$$.

\begin{aligned} f(u_{i})&=\left\{ \begin{array}{l} 2^{3ti+(1-3t)},\qquad i\text { is odd}\\ 2^{3ti+(1-2t)},\qquad i \text { is even}. \end{array} \right. \\ f(v_{i})&=\left\{ \begin{array}{l} 2^{3ti+(1-2t)},\qquad i\text { is odd}\\ 2^{3ti+(1-3t)},\qquad i\text { is even}. \end{array} \right. \end{aligned}

$$f(w_{i}^{k})=p2^{3t(n-i)+k-1}.$$

For $$1\le i\le n-1$$.

\begin{aligned} f(u_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3t(n-i)-(2t+1)+k},\qquad i\text { is odd}\\ p2^{3t(n-i)-(t+1)+k}, \qquad i\text { is even}. \end{array} \right. \\ f(v_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3t(n-i)-(t+1)+k}, \qquad i\text { is odd}\\ p2^{3t(n-i)-(2t+1)+k},\qquad i\text { is even}. \end{array} \right. \end{aligned}

Where p is a prime number greater than 2 but less than 10. Therefore, the labels of the edges of $$SSD(L_{n})$$ are given as follows:

For $$1\le i\le n-1$$.

\begin{aligned} f^{*}(u_{i}u_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3tn-5t+k},\qquad i\text { is odd}\\ p2^{3tn-3t+k}, \qquad i\text { is even}. \end{array} \right. \end{aligned}
(9)
\begin{aligned} f^{*}(v_{i}v_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3tn-3t+k}, \qquad i\text { is odd}\\ p2^{3tn-5t+k}, \qquad i\text { is even}. \end{array} \right. \end{aligned}
(10)
\begin{aligned} f^{*}(u_{i(i+1)}^ {k}u_{(i+1)}) *&= f^{*}(v_{i(i+1)}^ {k}v_{(i+1)})=p2^{3tn-t+k}. \end{aligned}
(11)

For $$1\le i\le n$$.

\begin{aligned} f^{*}(u_{i}w_{i}^{k})&=\left\{ \begin{array}{l} p2^{3tn-3t+k}, \qquad i\text { is odd}\\ p2^{3tn-2t+k}, \qquad i\text { is even}. \end{array} \right. \end{aligned}
(12)
\begin{aligned} f^{*}(v_{i}w_{i}^{k})&=\left\{ \begin{array}{l} p2^{3tn-2t+k}, \qquad i\text { is odd}\\ p2^{3tn-3t+k}, \qquad i\text { is even}. \end{array} \right. \end{aligned}
(13)

From Eqs.Â (9) to (13), it is observed that the edges of $$SSD(L_{n})$$ receive only 4t distinct Zumkeller numbers $$p2^{3tn-3t+k},p2^{3tn-5t+k},p2^{3tn-2t+k}$$

and $$p2^{3tn-t+k}$$ for $$1\le k\le t$$. Hence $$SSD(L_{n})$$ graph admits a $$4t-$$Zumkeller labeling. $$\square$$

### Illustration 3.4

FigureÂ 4illustrates the super subdivision of $$SSD(L_{5})$$ and its 12-Zumkeller labeling where, $$t=3$$ and $$p=3$$.

### Theorem 3.5

$$SSD(C_{n}\odot K_{1})$$ admits a 4t-Zumkeller labeling for all $$n\ge 2$$.

### Proof

Let $$V=\{u_{i},v_{i}:1\le i\le n\}$$ be the vertex set and $$E=\{e_{i}=u_{i}u_{i+1},{\hat{e}}_{i}= u_{i}v_{i}:1\le i\le n-1\}\bigcup \{ e_{n}=u_{n}u_{1},{\hat{e}}_{n}=u_{n}v_{n}\}$$ be the edge set of the crown graph. Suppose that $$u_{i(i+1)}^{k},w_{i}^{k}$$ $$(1\le i\le n-1,1\le k\le t)$$ ,$$u_{n1}^{k}$$ and $$w_{n}^{k}$$ are the vertices of the t-vertices part of $$K_{2,t}$$ which are used for super subdivision of $$C_{n}\odot K_{1}$$. Then, it obvious that the graph $$SSD(C_{n}\odot K_{1})$$ has $$2tn+2n$$ vertices and 4tn edges. The labels of vertices $$u_{i},v_{i}$$ for $$1 \le i \le n$$ are given as in Theorem 3.4. For the vertices $$u_{i(i+1)}^ {k}, w_{i}^ {k}$$ and $$u_{n1}^ {k}$$, we define the vertex function f as follows:

For $$1\le k\le t$$

\begin{aligned} f(u_{i(i+1)}^ {k})&=p2^{2t(n-i)+k-1}, \qquad 1\le i\le n-1\\ f(w_{i}^ {k})&=p2^{2t(n-i)+(t-1)+k}, \qquad 1\le i\le n\\ f(u_{n1}^ {k})&=p2^{k-1}. \end{aligned}

Where $$p<10, p\ne 2$$ is a prime number. Now the labels of the edges of $$SSD(C_{n}\odot K_{1})$$ are given as follows:

For $$1\le i\le n-1$$

\begin{aligned} f^{*}(u_{i}u_{i(i+1)}^ {k})&= f^{*}(u_{n}u_{n1}^ {k})=p2^{2tn-t+k} \end{aligned}
(14)
\begin{aligned} f^{*}(w_{i}^ {k}v_{i})&=f^{*}(w_{n}^ {k}v_{n})=p2^{2tn-t+k} \end{aligned}
(15)
\begin{aligned} f^{*}(u_{i(i+1)}^ {k}u_{(i+1)})&=p2^{2tn+t+k} \end{aligned}
(16)
\begin{aligned} f^{*}(u_{n1}^ {k}u_{1})&=p2^{t+k} \end{aligned}
(17)
\begin{aligned} f^{*}(u_{i}w_{i}^ {k})&=p2^{2tn+k}. \end{aligned}
(18)

From Eqs.Â (14) to (18), it is noticed that the edges of $$SSD(C_{n}\odot K_{1})$$ receive only 4t distinct Zumkeller numbers $$p2^{2tn-t+k},p2^{2tn+k-1},p2^{t+k}$$ and $$p2^{2tn+k}$$ for $$1\le k\le t$$. Hence $$SSD(C_{n}\odot K_{1})$$ graph admits a 4t-Zumkeller labeling. $$\square$$

### Illustration 3.5

FigureÂ 5 illustrates the super subdivision of $$SSD(C_{5}\odot K_{1})$$ and its 16-Zumkeller labeling where, $$t=4$$ and $$p=3$$.

### Theorem 3.6

For $$n\ge 2$$, $$SSD(CL_{n})$$ admits a 6t-Zumkeller labeling if n is odd and 5t-Zumkeller labeling if n is even.

### Proof

By joining the vertices $$u_{n},u_{1}$$ and $$v_{n},v_{1}$$ of the ladder graph $$L_{n}$$ in Theorem 3.5, with additional edges we get the circular ladder graph $$CL_{n}$$. Let $$V=\{u_{i},v_{i}:1\le i\le n\}$$be the vertex set and $$E=\{e_{i}=u_{i}u_{i+1},\bar{e_{i}}=v_{i}v_{i+1},{\hat{e}}_{i}= u_{i}v_{i}:1\le i\le n-1\}\bigcup \{ e_{n}=u_{n}u_{1},\bar{e_{n}}=u_{n}u_{1},{\hat{e}}_{n}=u_{n}v_{n}\}$$. be the edge set of the circular graph. Let $$SDD(CL_{n})$$ be the graph obtained by super subdivision of $$CL_{n}$$ by a complete bipartite graph $$K_{2,t}$$. Thus, $$SDD(CL_{n})$$ has $$3tn+2n$$ vertices and 6tn edges. The labels of vertices $$u_{i},v_{i}$$ for $$1 \le i \le n$$ are given as in Theorem 3.5. For the vertices $$u_{i(i+1)}^{k},v_{i(i+1)}^{k}$$ and $$w_{i}^{k}$$ we define the vertex function f as follows:

Case (I): If n is odd.

For $$1\le i\le n-1$$ ,$$1\le k\le t$$.

\begin{aligned} f(u_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3t(n-i)+k-1},\qquad \ \ \ \ i\text { is odd}\\ p2^{3t(n-i)+(t-1)+k},\qquad i\text { is even}. \end{array} \right. \\ f(v_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3t(n-i)+(t-1)+k},\quad \ \ \ \ i \text { is odd}\\ p2^{3t(n-i)+k-1}, \quad \ \ \ \ \ \ \ \ \ \ i\text { is even}. \end{array} \right. \\ f(w_{i}^{k})&=p2^{3t(n-i)+(2t-1)+k}\\ f(u_{n1}^{k})&=p2^{k+t-1}\\ f(v_{n1}^{k})&=p2^{k}. \end{aligned}

where p is a prime number greater than 2 but less than 10. Then the labels of the edges of $$SSD(CL_{n})$$ are given as follows:

\begin{aligned} f^{*}(u_{i}u_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3tn-3t+k}, \quad i\text { is odd}\\ p2^{3tn-t+k}, \quad \ \ i\text { is even}. \end{array} \right. \end{aligned}
(19)
\begin{aligned} f^{*}(v_{i}v_{i(i+1)}^{k})&=\left\{ \begin{array}{l} p2^{3tn-t+k}, \qquad \ i\text { is odd}\\ p2^{3tn-3t+k}, \qquad i\text { is even}. \end{array} \right. \end{aligned}
(20)
\begin{aligned} f^{*}(u_{i}w_{i}^{k})&=\left\{ \begin{array}{l} p2^{3tn-t+k}, \qquad i\text { is odd}\\ p2^{3tn+k}, \qquad \ \ \ i\text { is even}. \end{array} \right. \end{aligned}
(21)
\begin{aligned} f^{*}(v_{i}w_{i}^{k})&=\left\{ \begin{array}{l} p2^{3tn+k}, \qquad \ \ \ i\text { is odd}\\ p2^{3tn-t+k}, \qquad i\text { is even}. \end{array} \right. \end{aligned}
(22)
\begin{aligned} f^{*}(v_{n}v_{n1}^{k})&=f^{*}(u_{n}u_{n1}^{k})=p2^{3tn-2t+k} \end{aligned}
(23)
\begin{aligned} f^{*}(u_{i(i+1)}^ {k}u_{(i+1)})&= f^{*}(v_{i(i+1)}^ {k}v_{(i+1)})=p2^{3tn+t+k} \end{aligned}
(24)
\begin{aligned} f^{*}(u_{n1}^ {k}u_{1})&= f^{*}(v_{n1}^ {k}v_{1})=p2^{k+t}. \end{aligned}
(25)

From Eqs.Â (19) to (25), it is noticed that the edges of $$SSD(CL_{n})$$ receive only 6t distinct Zumkeller numbers $$p2^{3tn-3t+k},p2^{3tn-t+k}$$,$$p2^{3tn+k}$$,$$p2^{3tn+t+k}$$,

$$p2^{k+1}$$ and $$p2^{3tn-2t+k}$$ for $$1\le k\le t$$. Hence $$SSD(CL_{n})$$ graph admits a 6t-Zumkeller labeling when n is odd.

Case (II): If n is even. It is easy verified that the edge labels of $$u_{n}u_{n1}^{k}$$, $$v_{n}v_{n1}^{k}$$ equal to the edge labels of $$v_{i}w_{i}^{k}$$, $$v_{i}v_{(i(i+1)}^{k}$$, respectively, for i is even. Then, the edges of $$SSD(CL_{n})$$ receive only 5t distinct Zumkeller numbers $$p2^{3tn-3t+k},p2^{3tn-t+k}$$,$$p2^{3tn+k}$$,$$p2^{3tn+t+k}$$

and $$p2^{k+1}$$ for $$1\le k\le t$$. Hence $$SSD(CL_{n})$$ graph admits a 5t-Zumkeller labeling when n is even. $$\square$$

### Illustration 3.6

FigureÂ 6illustrates the super subdivision of $$SSD(CL_{5})$$ and its 24-Zumkeller labeling where, $$t=4$$ and $$p=3$$.

### Illustration 3.7

FigureÂ 7illustrates the super subdivision of $$SSD(CL_{4})$$ and its 15-Zumkeller labeling where, $$t=3$$ and $$p=3$$.

### Theorem 3.7

For $$SSD(P_{m}\times P_{n})$$ admits a 2mt-Zumkeller labeling for all $$m,n\ge 3$$.

### Proof

Let $$V=\{u_{ij}:1\le i\le m,1\le j\le n\}$$ be the vertex set and $$E=\{e_{ij}=u_{ij}u_{i(j+1)},{\hat{e}}_{ij}=u_{ij}u_{(i+1)j}:1\le i\le m-1,1\le j\le n-1\}$$ be the edge set of the planar grid $$P_{m}\times P_{n}$$. Let $$SSD(P_{m}\times P_{n})$$ be the graph obtained by super subdivision of $$P_{m}\times P_{n}$$ in which the edges $$e_{ij},{\hat{e}}_{ij}$$ of $$P_{m}\times P_{n}$$ are replaced by a complete bipartite graph $$k_{2,t}$$. Let $$u_{i,j(j+1)}^{k},u_{i(i+1),j}^{k}$$ be the vertices of t-vertices part where $$1\le i\le m-1,1\le j\le n-1$$ and $$1\le k\le t$$. Thus, graph $$G=SSD(P_{m}\times P_{n})$$ has $$mn(1+2t)-(m+n)t$$ vertices and $$4mnt-2t(m+n)$$ edges. Define labeling $$f:V(SSD(P_{m}\times P_{n}))\rightarrow N$$ as follows: For $$1\le k\le t$$.

\begin{aligned} f(u_{ij})&=2^{1+nt(i-1)+t(j-1)}\qquad \qquad 1\le i\le m,1\le j\le n\\ f(u_{i,j(j+1)}^{k})&=p2^{(2mn-m+n-1)t-(2n-1)ti-tj+(k-1)},\qquad 1\le i\le m,1\le j\le n-1\\ f(u_{i(i+1),j}^{k})&=p2^{(2mn-m)t-(2n-1)ti-tj+(k-1)},\qquad \qquad 1\le i\le m-1,1\le j\le n. \end{aligned}

where $$p<10,p\ne 2$$ is a prime number. Thus the labels of the edges of $$SSD(P_{m}\times P_{n})$$ are given as follows:

\begin{aligned} f^{*}(u_{ij}u_{i,j(j+1)}^{k})&=p2^{(2mn-m-2)t-(n-1)ti+k},\qquad 1\le i\le m \end{aligned}
(26)
\begin{aligned} f^{*}(u_{i,j(j+1)}^{k}u_{i(j+1)})&=p2^{(2mn-m-1)t-(n-1)ti+k}\qquad 1\le i\le m \end{aligned}
(27)
\begin{aligned} f^{*}(u_{ij}u_{i(i+1),j}^{k})&=p2^{(2mn-m-n-1)t-(n-1)ti+k},\qquad 1\le i\le m-1 \end{aligned}
(28)
\begin{aligned} f^{*}(u_{i(i+1),j}^{k}u_{(i+1)j})&=p2^{(2mn-m-1)t-(n-1)ti+k},\qquad 1\le i\le m-1. \end{aligned}
(29)

From Eqs.Â (26) to (29), it is observed that the edges of $$SSD(P_{m}\times P_{n})$$ receive Zumkeller numbers and the numbers $$p2^{(2mn-m-n-1)t-(n-1)ti+k}$$, $$1\le i\le m-1$$ are equal to the numbers $$p2^{(2mn-m-2)t-(n-1)ti+k}$$, $$2\le i\le m$$. From TableÂ 1, we found that the number of Zumkeller numbers used to label the edges is 2mt. $$\square$$

### Illustration 3.8

FigureÂ 8illustrates the super subdivision of $$SSD(P_{3}\times P_{5})$$ and its 24-Zumkeller labeling where, $$t=4$$ and $$p=3$$.

### Theorem 3.8

$$SSD(C_{m}\times P_{n})$$ admits a $$(2m+1)t$$-Zumkeller labeling for all $$m,n\ge 3$$.

### Proof

By joining the vertices $$u_{i1}$$ and $$u_{in}$$, $$1\le i\le m$$ of the planar grid $$(P_{m}\times P_{n})$$ in Theorem 3.7, we obtain the prism graph $$C_{m}\times P_{n}$$. Let $$V(C_{m}\times P_{n})=\{u_{ij},1\le i\le m,1\le j\le n\}$$ and $$E=\{e_{ij}=u_{ij}u_{i(j+1)},{\hat{e}}_{ij}=u_{ij}u_{(i+1)j}:1\le i\le m-1,1\le j\le n-1\}\bigcup \{e_{in}=u_{i1}u_{in},1\le i\le m\}$$. By the definition of super subdivision of $$C_{m}\times P_{n}$$, we can consider $$u_{i,j(j+1)}^{k},u_{i(i+1),j}^{k},u_{i(i+1),n}^{k}$$ and $$u_{i,n1}^{k}$$ are the vertices of t-vertices part where $$1\le i\le m-1,1\le j\le n-1$$ and $$1\le k\le t$$. Hence, it is clear that $$SSD(C_{m}\times P_{n})$$ has $$mn(1+2t)-(m+n)t$$ vertices and $$4mnt-2nt$$ edges. The labels of vertices $$u_{ij}$$ for $$1 \le i \le m,1 \le j \le n$$ are given as in Theorem 3.7. For the vertices $$u_{i,j(j+1)}^{k},u_{i(i+1),j}^{k},u_{i(i+1),n}^{k}$$ and $$u_{i,n1}^{k}$$ we define the vertex function f as follows:

For $$1\le k\le t$$

\begin{aligned} f(u_{i,j(j+1)}^{k})&=p2^{(2mn+n)t-2nti-tj+k-1}, \quad 1\le i\le m,1\le j\le n-1\\ f(u_{i,n1}^{k})&=p2^{2mnt-2nti+k-1}, \qquad 1\le i\le m\\ f(u_{i(i+1),1}^{k})&=p2^{(2mn-n)t-2nti+k-1},\qquad 1\le i\le m-1\\ f(u_{i(i+1),j}^{k})&=p2^{(2mn+1)t-2nti-tj+k-1},\quad 1\le i\le m-1,2\le j\le n. \end{aligned}

Where $$p<10$$, $$p\ne 2$$ is a prime number. Then the labels of the edges of $$SSD(C_{m}\times P_{n})$$ are given as follows:

For $$1\le i\le m$$, $$1\le j\le n-1$$.

\begin{aligned} f^{*}(u_{ij}u_{i,j(j+1)}^{k})&=f^{*}(u_{in}u_{i,n1}^{k})=p2^{(2mn-1)t-nti+k} \end{aligned}
(30)
\begin{aligned} f^{*}(u_{i,j(j+1)}^{k}u_{i(j+1)})&=p2^{2mnt-nti+k} \end{aligned}
(31)
\begin{aligned} f^{*}(u_{i,n1}^{k}u_{i1})&=p2^{n(2m-1)t-nti+k}. \end{aligned}
(32)

For $$1\le i\le m-1$$, $$2\le j\le n$$.

\begin{aligned} f^{*}(u_{i1}u_{i(i+1),1}^{k})&=p2^{2mnt-nt(i+2)+k} \end{aligned}
(33)
\begin{aligned} f^{*}(u_{ij}u_{i(i+1),j}^{k})&=f^{*}(u_{i(i+1),1}^{k}u_{(i+1)1})=p2^{n(2m-1)t-nti+k} \end{aligned}
(34)
\begin{aligned} f^{*}(u_{i(i+1),j}^{k}u_{(i+1)j})&=p2^{2mnt-nti+k}. \end{aligned}
(35)

From Eqs.Â (30) to (35), it is observed that the edges of $$SSD(C_{m}\times P_{n})$$ receive Zumkeller numbers. Now the total number of edges is $$4mnt-2nt$$ and from TableÂ 2 we found that the number of Zumkeller numbers used to label the edges is $$(2m+1)t$$. $$\square$$

### Illustration 3.9

FigureÂ 9illustrates the super subdivision of $$SSD(C_{3}\times P_{4})$$ and its 21-Zumkeller labeling where, $$t=3$$ and $$p=3$$.

## Conclusions

From the previous sections, we studied the k-Zumkeller labeling for some graphs. For any natural number $$n\ge 2$$, we show that the super subdivision of the path $$P_{n}$$ is 2t-Zumkeller graph, while the super subdivision of the cycle $$C_{n}$$ and the comb $$P_{n}\odot K_{1}$$, $$n\ge 3$$ are 3t-Zumkeler graphs. Also, we prove that the super subdivision of the ladder $$L_{n}$$, $$n\ge 3$$ and the crown $$C_{n}\odot K_{1}$$, $$n\ge 2$$ admit 4t-Zumkeller labeling. Moreover, we show that the super subdivision of the circular ladder $$CL_{n}$$, $$n\ge 2$$ has a 6t-Zumkeller labeling when n is odd and a 5t-Zumkeller labeling when n is even. Finally, for $$m,n\ge 3$$ we prove that the planer grid $$P_{m}\times P_{n}$$ is 2mt-Zumkeller graph, however the prism $$C_{m}\times P_{n}$$ is $$(2m+1)t$$-Zumkeller graph, where t is the number of vertices of t-vertices part.

## Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analyzed during the current study. Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.

## Abbreviations

SSD(G):

Super subdivision of graph G

## References

1. Rosa, A.: On certain valuations of the vertices of a graph. Theory Graphs 1967, 349â€“355 (1966)

2. Gallian, J.A.: A dynamic survey of graph labeling. Electron. J. Combinat., Twentieth edition, December 22, #DS6 (2017)

3. Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network Flows: Theory, Algorithms, and Applications. Prentice Hall (1993)

5. Peng, Y., Bhaskara Rao, K.P.S.: On Zumkeller numbers. J. Number Theory 133(4), 1135â€“1155 (2013)

6. Balamurugan, B.J., Thirusangu, K., Thomas, D.G.: Strongly multiplicative Zumkeller labeling of graphs. In: International Conference on Information and Mathematical Sciences, pp. 349â€“354. Elsevier (2013)

7. Balamurugan, B.J., Thirusangu, K., Thomas, D.G., Murali, B.J.: $$k$$-Zumkeller labeling of graphs. Int. J. Eng. Technol. 7(4.10), 460â€“463 (2018)

8. Balamurugan, B.J., Thirusangu, K., Thomas, D.G.: $$k$$-Zumkeller labeling for twig graphs. Electron. Notes Discrete Math. 48, 119â€“126 (2015)

9. Sethuraman, G., Selvaraju, P.: Gracefulness of arbitrary of super subdivision of graphs. Indian J. Pure Appl. Math. 32(7), 1059â€“1064 (2001). Natl. Acad. Sci. Lett. 26, 210â€“213 (2003)

10. Ascioglu, M., Cangul, I.: Narumiâ€“Katayama index of the subdivision graphs. J. Taibah Univ. Sci. 12(4), 401â€“408 (2018)

Not applicable.

## Author information

Authors

### Contributions

MB carried out all theorems, proofs and drafted the manuscript by himself without any participation. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to M. Basher.

## Ethics declarations

### Competing interests

The author declare that no competing interests.

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

Reprints and permissions

Basher, M. k-Zumkeller labeling of super subdivision of some graphs. J Egypt Math Soc 29, 12 (2021). https://doi.org/10.1186/s42787-021-00121-y