## 1 Introduction

The chemical graph theory is one of the emerging fields of discrete mathematics. In chemical graph theory, molecular topology and mathematical chemistry are source of objectives. A Topological index (connectivity index) is calculated based on the molecular graph of a chemical compound.

Topological indices are numerical parameters of a graph which characterize its topology and are usually graph invariant. Topological indices are used in the development of quantitative structure-activity relationships (QSARs) in which the biological activity or other properties of molecules are correlated with their chemical structures [2], [5].

There are many topological indices which are defined based on vertex degree of a graph such as examples harmonic index, first and second Zagreb indices, first and second multiplicative Zagreb indices, *ABC* index, Banhatti index, *GA* index, *SDD* index, inverse sum index, etc.. Therefore the knowledge of the degree sequence of the graph will give information about chemical properties of the graph. Many researchers have explored degrees of topological indices in their research articles [3].

Let *G* be a simple connected graph with vertex set *V* (*G*) and edge set *E*(*G*). A network is simply connected graph having no multiple edges and loops. In a chemical graph, the number of vertices of *G* adjacent to a given vertex *u* is the degree of this vertex and will be denoted by *d _{u}*. The concept of degree in graph theory is closely related (but not identical) to the concept of valence in chemistry. For further details on the basics of graph theory article [1] can be of great help.

Many researchers have explored topological indices due to their chemical importance. These indices are actually score functions that capture a variety of physico-chemical properties of chemical compounds such as boiling point, heat formation, heat vaporization, chromatographic retention times, surface tension, vapor pressure etc..

## 2 Graph Operators and Degree Sequence

This section emphasizes on the definitions of subdivision of graph, semi-total point graph, semi-total edge graph, total graph and degree sequence. All these are distances based *d*(*u,v*) represents the length of the shortest paths between any two vertices connected with each other.

Let *G*_{1} and *G*_{2} be two graphs having *n*_{1}, *n*_{2} vertices and *m*_{1}, *m*_{2} edges respectively.

A **join** G_{1} ∨ *G*_{2} of two graphs *G*_{1} and *G*_{2} with disjoint vertex sets *V* (*G*_{1}) and *V* (*G*_{2}) is the graph on the vertex set *V* (*G*_{1}) ∪ *V* (*G*_{2}) and the edge set *E*(*G*_{1}) ∪ *E*(*G*_{2}) ∪ {*xy* | *x* ∈ *V* (*G*_{1}), *y* ∈ *V* (*G*_{2})}. Hence, the sum of two graphs is obtained by connecting each vertex of one graph to each vertex of the other graph, while keeping all edges of both graphs [9].

For a connected graph *G*, define four related graphs *S*(*G*), *R*(*G*), *Q*(*G*) and *T* (*G*) as follows:

*S*(*G*), [10], is the graph obtained by inserting an additional vertex into each edge of*G*, i.e., replacing each edge of*G*by a path of length 2. The graph*S*(*G*) is also known as the subdivision graph of*G*.*R*(*G*), [12], is the graph obtained by adding a new vertex corresponding to each edge of*G*, and then joining each new vertex to the end vertices of the corresponding edge.*Q*(*G*), [12], is the graph obtained by inserting a new vertex into each edge of*G*, then joining with edges those pairs of new vertices on adjacent edges of*G*.*T*(*G*), [4], has the edges and vertices of*G*as its vertices. Adjacency in*T*(*G*) is defined as adjacency or incidency for the corresponding elements of*G*. The graph*T*(*G*) is called the total graph of*G*.

*F*= {

*S,R,Q,T*}. Let

*I*(

*G*) denote the set of vertices of

*F*(

*G*) which are inserted into each edge of

*H*, so that

*V*(

*F*(

*G*)) =

*V*(

*G*) ∪

*I*(

*G*). Here we define vertex

*F*–join and edge

*F*–join of graph operations based on the join of two connected graphs

*G*

_{1}and

*G*

_{2}, as follows:

**Vertex***F***-join of Graphs:** [11] Let *G*_{1} and *G*_{2} be two simple graph the vertex *F*-join graph of *G*_{1} and *G*_{2} is denoted by
*F*(*G*_{1}) and *G*_{2} by joining each vertex of *G*_{1} to all vertex of *G*_{2}. The vertex and edge set of
*V* (*F*(*G*_{1})) ∪ *V* (*G*_{2}) and *E*(*G*_{1}) ∪ *E*(*G*_{2}) ∪ [*xy* : *x* ∈ *V* (*G*_{1}), *y* ∈ *V* (*G*_{2})].

**Vertex***S***join of graph:** Let *G*_{1} and *G*_{2} be two simple graph the vertex *S*-join graph of *G*_{1} and *G*_{2} is denoted by
*S*(*G*_{1}) and *G*_{2} by joining each vertex of *V* (*G*_{1}) to all vertex of *G*_{2}.

**Vertex***R***join of graph:** Let *G*_{1} and *G*_{2} be two simple graph the vertex *S*-join graph of *G*_{1} and *G*_{2} is denoted by
*R*(*G*_{1}) and *G*_{2} by joining each vertex of *V* (*G*_{1}) to all vertex of *G*_{2}.

**Vertex***Q***join of graph:** Let *G*_{1} and *G*_{2} be two simple graph the vertex *S*-join graph of *G*_{1} and *G*_{2} is denoted by
*Q*(*G*_{1}) and *G*_{2} by joining each vertex of *V* (*G*_{1}) to all vertex of *G*_{2}.

**Vertex***T***join of graph:** Let *G*_{1} and *G*_{2} be two simple graph the vertex *S*-join graph of *G*_{1} and *G*_{2} is denoted by
*T* (*G*_{1}) and *G*_{2} by joining each vertex of *V* (*G*_{1}) to all vertex of *G*_{2}.

The degree sequence (DS) of a graph is the sequence of the degrees of the vertices, with these numbers putting in ascending order, with repetitions as needed.

Bollobas introduced the degree sequence in [1]. Tyshkevich et. al. established a relation between degree sequence of a graph and some structural properties of a graph [14], [15].

Equivalently, given an undirected graph, a degree sequence is a monotonic non-increasing sequence of the vertex degrees (valencies) of its graph vertices. The number of degree sequences for a graph of a given order is closely related to graphical partitions.

The notion of degree of a graph is used to study various physical and chemical properties of a graph. It will help us enhance the interest in the research fields for both scientists and chemists.

If *d _{i}*, 1 <

*i < n*are the degrees of the vertices

*u*of a graph

_{i}*G*then the degree sequence(DS) of

*G*is represented as the sequence {

*d*

_{1},

*d*

_{2},···

*d*}. Also, in many papers, the degree sequence (DS) is taken to be a non-decreasing sequence, whenever possible.

_{n}Conversely, a non-negative sequence {*d*_{1},*d*_{2},···*d _{n}*} is known as realizable if it is the DS of any graph. It is clear from the definition of DS that different graphs may have the same DS. For example in figure 1 the DS remains the same for both of the graph.

For convenience, if the degree *d _{i}* of the vertex

*u*appears

_{i}*α*times in the DS of a graph

_{i}*G*, then we consider

*d*

_{1},

*d*

_{2},···

*d*} where k ≤

_{n}*n*. Here the members

*α*are known as the frequencies of the degrees when

_{i}*k*=

*n*. That is, when all degrees are different, the degree sequence is called perfect [16].

Let *P _{n}*,

*K*,

_{n}*C*,

_{n}*S*,

_{n}*K*

_{(m,n)}and

*r*–

*regular*be path, complete, cycle, star, complete bipartite,

*r*–

*regular*respectively and they are commonly used graph examples in literature survey which can be seen figure 2.

The numbers of vertices, edges and degree sequence of these well known graph classes are given in below Table 1.

G | Vertices | Edges | Degree Sequence |
---|---|---|---|

P_{n} | n | (n − 1) | {1^{2}, 2^{n−2}} |

K_{n} | n | n(n − 1)/2 | {(n − 1)^{n}} |

C_{n} | n | n | {2^{n}} |

S_{n} | n | (n − 1) | {1^{n−1}, (n − 1)^{1}} |

K_{(m,n)} | m + n | mn | {m}^{n}, n^{m} |

r – regular | n | (n − 1) | {r}^{n} |

In [12] the authors gave a new version of the Erdos-gallal theorem on realizability of a given degree sequence. In 2008, a new criterion on the same problem was given by Triphati and Tyagi [13]. The same year, H. Kim et. al. gave a necessary and sufficient condition for the same problem [7]. Ivanyi et. al. [6], gave an enumeration of degree sequences of simple graphs. Miller [8] also gave a criterion for the realizability of degree sequence[DS].

Many graph operators can be used to find chemical properties of a graph. In these, subdivision, semi-total point, semi-total edge and total graph operations plays a vital role in the study of physical-chemical properties of a graph. This paper aims to apply the above graph operations for some standard graphs like path, complete, cycle, star, complete bipartite and *r*–regular graphs.

## 3 Results

*The degree sequence of all possible**of the path, complete, cycle, star, complete bipartite and r–regular graphs are given in the Table.2*

Degree sequence of subdivision for path, complete graph, cycle, star, complete bipartite and *r*–regular graphs

G_{1} | G_{2} | |

P_{x} | P_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 2^{x−1}, (1 + x)^{2}, (2 + x)^{y−2}} |

P_{x} | K_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 2^{x−1}, (y − 1 + x)^{y}} |

P_{x} | C_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 2^{x−1}, (2 + x)^{y}} |

P_{x} | S_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 2^{x−1}, (1 + x)^{y−1}, (y − 1 + x)} |

P_{x} | K(y, z) | {(1 + y + z)^{2}, (2 + y + z)^{x−2}, 2^{x−1}, (y + x)^{z}, (z + x)^{y}} |

P_{x} | r – regular | {(1 + y)^{2}, (2 + y)^{x−2}, 2^{x−1}, (r + x)^{y}} |

K_{x} | P_{y} | {(x − 1 + y)^{x}, 2^{x(x−1)/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

K_{x} | K_{y} | {(x − 1 + y)^{(2x)}, 2^{x(x−1)/2}} |

K_{x} | C_{y} | {(x − 1 + y)^{x}, 2^{x(x−1)/2}, (2 + x)^{y}} |

K_{x} | S_{y} | {(x − 1 + y)^{x}, 2^{x(x−1)/2}, (1 + x)^{y−1}, (y − 1 + x)} |

K_{x} | K(y, z) | {(x − 1 + y + z)^{x}, 2^{x(x−1)/2}, (x + y)^{z}, (x + z)^{y}} |

K_{x}C_{x} | r – regularP_{y} | {(x − 1 + y)^{x}, 2^{x(x−1)/2}, (r + x)^{y}}{(2 + y)^{x}, 2^{x}, (1 + x)^{2}, (2 + x)^{y−2}} |

C_{x} | K_{y} | {(2 + y)^{x}, 2^{x}, (y − 1 + x)^{y}} |

C_{x} | C_{y} | {(2 + y)^{x}, 2^{x}, (2 + x)^{y}} |

C_{x} | S_{y} | {(2 + y)^{x}, 2^{x}, (1 + x)^{y−1}, (y − 1 + x)} |

C_{x} | K(y, z) | {(2 + y)^{x}, 2^{x}, (y + x)^{z}, (z + x)^{y}} |

C_{x} | r – regular | {(2 + y)^{x}, 2^{x}, (r + x)^{y}} |

S_{x} | P_{y} | {(1 + y)^{x−1}, (x − 1 + y), 2^{x−1}, (2 + x)^{y−2}} |

S_{x} | K_{y} | {(1 + y)^{x−1}, (x − 1 + y), 2^{x−1}, (y − 1 + x)^{y}} |

S_{x} | C_{y} | {(1 + y)^{x−1}, (x − 1 + y), 2^{x−1}, (2 + x)^{y}} |

S_{x} | S_{y} | {(1 + y)^{x−1}, (x − 1 + y), 2^{x−1}, (1 + x)^{y−1}, (y − 1 + x)} |

G_{1} | G_{2} | |

S_{x} | K(y, z) | {(1 + y + z)^{x−1}, (x − 1 + y + z), 2^{x−1}, (z + x)^{y}, (y + x)^{z}} |

S_{x} | r – regular | {(1 + y)^{x−1}, (x − 1 + y), 2^{x−1}, (r + x)^{y}} |

K_{x,y} | P_{z} | {(x + z)^{y}, (y + z)^{x}, 2, (1 + ^{x}yx + y)^{2}(2 + x + y)^{z−2}} |

K_{x,y} | K_{z} | {(x + z)^{y}, (y + z)^{x}, 2, (1 + ^{x}yx + y) (z − 1 + x + y)^{z}} |

K_{x,y} | C_{z} | {(x + z)^{y}, (y + z)^{x}, 2, (2 + ^{x}yx + y)^{z}} |

K_{x,y} | S_{z} | {(x + z)^{y}, (y + z)^{x}, 2, (1 + ^{x}yx + y)^{z−1}, (z − 1 + x + y)} |

K_{x,y} | K_{z,t} | {(x + z + t)^{y}, (y + z + t)^{x}, 2, (^{x}yx + y + z)^{t}, (x + y + t)^{z}} |

K_{x,y} | r – regular | {(x + z)^{y}, (y + z)^{x}, 2, (^{x}yr + x + y)^{z}} |

r – regular | P_{y} | {(r + y)^{x}, 2^{rx/2}, (1 + x)^{2}, (2 + x)^{x−2}} |

r – regular | K_{y} | {(r + y)^{x}, 2^{rx/2}, (y − 1 + x)^{y}} |

r – regular | C_{y} | {(r + y)^{x}, 2^{rx/2}, (2 + x)^{y}} |

r – regular | S_{y} | {(r + y)^{x}, 2^{rx/2}, (y − 1 + x), (1 + x)^{y−1}} |

r – regular | K_{(y,z)} | {(r + y + z)^{x}, 2^{rx/2}, (y + x)^{z}, (z + x)^{y}} |

r_{1} – regular | r_{2} – regular | {(r_{1} + y)^{x}, 2^{r1}^{x/2}, (r_{2} + x)^{y}} |

We prove here only two types of Degree Sequences

${C}_{x}{\dot{\vee}}_{S}{P}_{y}$ ${K}_{x}{\dot{\vee}}_{S}{K}_{y}$

Let *DS*(*C _{x}*) = {2

^{x}} and

*DS*(

*P*) = {1

_{y}^{2},2

^{y−2}}.

There are one set of vertex in cycle and two set of vertices in path. So, after applying subdivision for cycle, we get another set of vertex (one vertex insert in cycle) and joining path.

Therefore, the total number of vertices will be 1 + 2 + 1 = 4 vertices.

The first set of vertex is the vertices in cycle which are connected to every vertex in path, each of which adds (2 + *y*) to the DS of

The second set of vertex are vertices obtained by adding one vertex in every edge in cycle with degree 2, to the DS of

The third set of vertices are the two end vertices of degree one in *P _{y}* which are connected to every vertex in

*C*and

_{x}*x*vertices in

*C*.

_{x}The fourth set of vertices are the middle (*y* − 2) vertices having two degree in *P _{y}* ; each of them is connected to every vertex in

*C*and

_{x}*x*vertices in

*C*.

_{x}Hence, the required degree sequence of

Now, Let *DS*(*K _{x}*) = {(

*x*− 1)

^{x}} and

*DS*(

*K*) = {(

_{y}*y*− 1)

^{y}}.

The complete graph has only one set of vertices having degree *x* − 1. So, after applying subdivision for *K _{x}*, 2 + 1 = 3 vertices is obtained.

The first two set of vertices are the vertices in *K _{x}*. which are connected to every vertex in

*K*, each of which adds (

_{y}*x*+

*y*− 1) to the DS of

*x*+

*y*− 1)

^{x}and (

*x*+

*y*− 1)

^{y}.

The third set of vertex is obtained by inserting vertex to each edge in *K _{x}* with two degree, since there are

*x*(

*x*− 1)/2 vertices.

Therefore DS of
^{x(x−1)/2}.

Hence, the required degree sequence of

*The degree sequence of all possible**of the path, complete, cycle, star, complete bipartite and r–regular graphs are given in the Table.3*

Degree Sequence of vertex-*R* join graph for path, complete graph, cycle, star, complete bipartite and *r*–regular graphs

G_{1} | G_{2} | |

P_{x} | P_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 2^{x−1}, (1 + x)^{2}, (2 + x)^{y−2}} |

P_{x} | K_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 2^{x−1}, (x + y − 1)^{y}} |

P_{x} | C_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 2^{x−1}, (2 + x)^{y}} |

P_{x} | S_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 2^{x−1}, (1 + x)^{y−1}, (x + y − 1)} |

P_{x} | K(y, z) | {(2 + y + z)^{2}, (4 + y + z)^{x−2}, 2^{x−1}, (y + x)^{z}, (z + x)^{y}} |

P_{x} | r – regular | {(2 + y)^{2}, (4 + y)^{x−2}, 2^{x−1}, (r + x)^{y}} |

K_{x} | P_{y} | {(2x − 2 + y)^{x}, 2^{x(x−1)/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

K_{x} | K_{y} | {(2x − 2 + y)^{x}, 2^{x(x−1)/2}, (x + y − 1)^{y}} |

K_{x} | C_{y} | {(2x − 2 + y)^{x}, 2^{x(x−1)/2}, (2 + x)^{y}} |

K_{x} | S_{y} | {(2x − 2 + y)^{x}, 2^{x(x−1)/2}, (1 + x)^{y−1}, (y − 1 + x)} |

K_{x} | K(y, z) | {(2x − 2 + y + z)^{x}, 2^{x(x−1)/2}, (x + y)^{z}, (x + z)^{y}} |

K_{x} | r – regular | {(2x − 2 + y)^{x}, 2^{x(x−1)/2}, (r + x)^{y}} |

C_{x} | P_{y} | {(4 + y)^{x}, 2^{x}, (1 + x)^{2}, (2 + x)^{y−2}} |

C_{x} | K_{y} | {(4 + y)^{x}, 2^{x}, (y − 1 + x)} |

C_{x} | C_{y} | {(4 + y)^{x}, 2^{x}, (2 + x)^{y}} |

C_{x} | S_{y} | {(4 + y)^{x}, 2^{x}, (1 + x)^{y−1}, (y − 1 + x)} |

C_{x} | K(y, z) | {(4 + y + z)^{x}, 2^{x}, (y + x)^{z}, (z + x)^{y}} |

C_{x} | r – regular | {(4 + y)^{x}, 2^{x}, (r + x)^{y}} |

G_{1} | G_{2} | |

S_{x} | P_{y} | {(2 + y)^{x−1}, (2x − 2 + y), 2^{x−1}, (1 + x)^{2}, (2 + x)^{y−2}} |

S_{x} | K_{y} | {(2 + y)^{x−1}, (2x − 2 + y), 2^{x−1}, (y − 1 + x)^{y}} |

S_{x} | C_{y} | {(2 + y)^{x−1}, (2x − 2 + y), 2^{x−1}, (2 + x)^{y}} |

S_{x} | S_{y} | {(2 + y)^{x−1}, (2x − 2 + y), 2^{x−1}, (1 + x)^{y−1}, (y − 1 + x)} |

S_{x} | K(y, z) | {(2 + y + z)^{x−1}, (2x − 2 + y + z), 2^{x−1}, (z + x)^{y}, (y + x)^{z}} |

S_{x} | r – regular | {(2 + y)^{x−1}, (2x − 2 + y), 2^{x−1}, (r + x)^{y}} |

K_{x,y} | P_{z} | {(2x + z)^{y}, (2y + z)^{x}, 2, (1 + ^{x}yx + y)^{2}, (2 + x + y)^{z−2}} |

K_{x,y} | K_{z} | {(2x + z)^{y}, (2y + z)^{x}, 2, (^{x}yz − 1 + x + y)^{z}} |

K_{x,y} | C_{z} | {(2x + z)^{y}, (2y + z)^{x}, 2, (2 + ^{x}yx + y)^{z}} |

K_{x,y} | S_{z} | {(2x + z)^{y}, (2y + z)^{x}, 2, (1 + ^{x}yx + y)^{z−1}, (z − 1 + x + y)} |

K_{x,y} | K_{z,t} | {(2x + z + t)^{y}, (2y + z + t)^{x}, 2, (^{x}yx + y + z)^{t}, (x + y + t)^{z}} |

K_{x,y} | r – regular | {(2x + z)^{y}, (2y + z)^{x}, 2, (^{x}yr + x + y)^{z}} |

r – regular | P_{y} | {(2r + y)^{x}, 2^{rx/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

r – regular | K_{y} | {(2r + y)^{x}, 2^{rx/2}, (y − 1 + x)^{y}} |

r – regular | C_{y} | {(2r + y)^{x}, 2^{rx/2}, (2 + x)^{y}} |

r – regular | S_{y} | {(2r + y)^{x}, 2^{rx/2}, (y − 1 + x), (1 + x)^{y}} |

r – regular | K(y, z) | {(2r + y + z)^{x}, 2^{rx/2}, (y + x)^{z}, (z + x)^{y}} |

r_{1} – regular | r_{2} – regular | {(2r_{1} + y)^{x}, 2^{r1x/2}, (r_{2} + x)^{y}} |

*The degree sequence of all possible**of the path, complete, cycle, star, complete bipartite and r-regular graphs are given in the Table.4*

Degree Sequence of vertex-*Q* join graph for path, complete graph, cycle, star, complete bipartite and *r*–regular graphs

G_{1} | G_{2} | |

P_{x} | P_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 3^{2}, 4(x − 3)^{2}, (1 + x)^{2}, (2 + x)^{y−2}} |

P_{x} | K_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 3^{2}, 4(x − 3), (y − 1 + x)^{y}} |

P_{x} | C_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 3^{2}, 4^{x−3}, (2 + x)^{y}} |

P_{x} | S_{y} | {(1 + y)^{2}, (2 + y)^{x−2}, 3^{2}, 4^{x−3}, (1 + x)^{y−1}, (x + y − 1)} |

G_{1} | G_{2} | |

P_{x} | K(y, z) | {(1 + y + z)^{2}, (2 + y + z)^{x−2}, 3^{2}, 4^{x−3}, (y + x)^{z}, (z + x)^{y}} |

P_{x} | r – regular | {(1 + y)^{2}, (2 + y)^{x−2}, 3^{2}, 4^{x−3}, (r + x)^{y}} |

K_{x} | P_{y} | {(x − 1 + y)^{x}, (2x − 2)^{x(x−1)/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

K_{x} | K_{y} | {(x − 1 + y)^{x}, (2x − 2)^{x(x−1)/2}, (x + y − 1)^{y}} |

K_{x} | C_{y} | {(x − 1 + y)^{x}, (2x − 2)^{x(x−1)/2}, (2 + x)^{y}} |

K_{x} | S_{y} | {(x − 1 + y)^{x}, (2x − 2)^{x(x−1)/2}, (1 + x)^{y−1}, (y − 1 + x)} |

K_{x} | K(y, z) | {(x − 1 + y + z)^{x}, (2x − 2)^{x(x−1)/2}, (x + y)^{z}, (x + z)^{y}} |

K_{x} | r – regular | {(x − 1 + y)^{x}, (2x − 2)^{x(x−1)/2}, (r + x)^{y}} |

C_{x} | P_{y} | {(2 + y)^{x}, 4^{x}, (1 + x)^{2}, (2 + x)^{y−2}} |

C_{x} | K_{y} | {(2 + y)^{x}, 4^{x}, (y − 1 + x)^{y}} |

C_{x} | C_{y} | {(2 + y)^{x}, 4^{x}, (2 + x)^{y}} |

C_{x} | S_{y} | {(2 + y)^{x}, 4^{x}, (1 + x)^{y−1}, (y − 1 + x)} |

C_{x} | K(y, z) | {(2 + y + z)^{x}, 4^{x}, (y + x)^{z}, (z + x)^{y}} |

C_{x} | r – regular | {(2 + y)^{x}, 4^{x}, (r + x)^{y}} |

S_{x} | P_{y} | {(1 + y)^{x−1}, (x − 1 + y), x^{x}^{−1}, (1 + x)^{2}, (2 + x)^{y−2}} |

S_{x} | K_{y} | {(1 + y)^{x−1}, (x − 1 + y), x^{x}^{−1}, (y − 1 + x)^{y}} |

S_{x} | C_{y} | {(1 + y)^{x−1}, (x − 1 + y), x^{x}^{−1}, (2 + x)^{y}} |

S_{x} | S_{y} | {(1 + y)^{x−1}, (x − 1 + y), x^{x}^{−1}, (1 + x)^{y−1}, (y − 1 + x)} |

S_{x} | K(y, z) | {(1 + y + z)^{x−1}, (x − 1 + y + z), x^{x}^{−1}, (z + x)^{y}, (y + x)^{z}} |

S_{x} | r – regular | {(1 + y)^{x−1}, (x − 1 + y), x^{x}^{−1}, (r + x)^{y}} |

K_{x,y} | P_{z} | {(x + z)^{y}, (y + z)^{x}, (x + y), (1 + ^{x}yx + y)^{2}, (2 + x + y)^{z−2}} |

K_{x,y} | K_{z} | {(x + z)^{y}, (y + z)^{x}, (x + y), (^{x}yz − 1 + x + y)^{z}} |

K_{x,y} | C_{z} | {(x + z)^{y}, (y + z)^{x}, (x + y), (2 + ^{x}yx + y)^{z}} |

K_{x,y} | S_{z} | {(x + z)^{y}, (y + z)^{x}, (x + y), (1 + ^{x}yx + y)^{z−1}, (z − 1 + x + y)} |

K_{x,y} | K_{z,t} | {(x + z + t)^{y}, (y + z + t)^{x}, (x + y), (^{x}yx + y + z)^{t}, (x + y + t)^{z}} |

K_{x,y} | r – regular | {(x + z)^{y}, (y + z)^{x}, (x + y), (^{x}yr + x + y)^{z}} |

r – regular | P_{z} | {(r + y)^{x}, (2r)^{xr/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

r – regular | K_{y} | {(r + y)^{x}, (2r)^{xr/2}, (x + y − 1)^{y}} |

r – regular | C_{y} | {(r + y)^{x}, (2r)^{xr/2}, (2 + x)^{y}} |

r – regular | S_{y} | {(r + y)^{x}, (2r)^{xr/2}, (1 + x)^{y−1}, (x + y − 1)} |

r – regular | K_{y,z} | {(r + y + z)^{x}, (2r)^{xr/2}, (x + y)^{z}, (x + z)^{y}} |

r_{1} – regular | r_{2} – regular | {(r_{1} + y)^{x}, (2r_{1})^{xr1/2}, (r − 2 + x)^{y}} |

*The degree sequence of all possible**of the path, complete, cycle, star, complete bipartite and r–regular graphs are given in Table 5.*

Degree sequence of vertex-*T* join graph for path, complete graph, cycle, star, complete bipartite and *r*–regular graphs.

G_{1} | G_{2} | |

P_{x} | P_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 3^{2}, 4(x − 3), (1 + x)^{2}, (2 + x)^{y−2}} |

P_{x} | K_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 3^{2}, 4(x − 3), (y − 1 + x)^{y}} |

P_{x} | C_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 3^{2}, 4^{x−3}, (2 + x)^{y}} |

P_{x} | S_{y} | {(2 + y)^{2}, (4 + y)^{x−2}, 3^{2}, 4^{x−3}, (1 + x)^{y−1}, (x + y − 1)} |

P_{x} | K(y, z) | {(2 + y + z)^{2}, (4 + y + z)^{x−2}, 3^{2}, 4^{x−3}, (y + x)^{z}, (z + x)^{y}} |

P_{x} | r – regular | {(2 + y)^{2}, (4 + y)^{x−2}, 3^{2}, 4^{x−3}, (r + x)^{y}} |

K_{x} | P_{y} | {(2x − 2 + y)^{x}, (2x − 2)^{x(x−1)/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

K_{x} | K_{y} | {(2x − 2 + y)^{x}, (2x − 2)^{x(x−1)/2}, (x + y − 1)^{y}} |

K_{x} | C_{y} | {(2x − 2 + y)^{x}, (2x − 2)^{x(x−1)/2}, (2 + x)^{y}} |

K_{x} | S_{y} | {(2x − 2 + y)^{x}, (2x − 2)^{x(x−1)/2}, (1 + x)^{y−1}, (y − 1 + x)} |

K_{x} | K(y, z) | {(2x − 2 + y + z)^{x}, (2x − 2)^{x(x−1)/2}, (x + y)^{z}, (x + z)^{y}} |

K_{x} | r – regular | {(2x − 2 + y)^{x}, (2x − 2)^{x(x−1)/2}, (r + x)^{y}} |

C_{x} | P_{y} | {(4 + y)^{x}, 4^{x}, (1 + x)^{2}, (2 + x)^{y−2}} |

C_{x} | K_{y} | {(4 + y)^{x}, 4^{x}, (y − 1 + x)^{y}} |

C_{x} | C_{y} | {(4 + y)^{x}, 4^{x}, (2 + x)^{y}} |

C_{x} | S_{y} | {(4 + y)^{x}, 4^{x}, (1 + x)^{y−1}, (y − 1 + x)} |

C_{x} | K(y, z) | {(4 + y + z)^{x}, 4^{x}, (y + x)^{z}, (z + x)^{y}} |

C_{x} | r – regular | {(4 + y)^{x}, 4^{x}, (r + x)^{y}} |

S_{x} | P_{y} | {(2 + y)^{x−1}, (2x − 2 + y), x^{x}^{−1}, (1 + x)^{2}, (2 + x)^{y−2}} |

S_{x} | K_{y} | {(2 + y)^{x−1}, (2x − 2 + y), x^{x}^{−1}, (y − 1 + x)^{y}} |

S_{x} | C_{y} | {(2 + y)^{x−1}, (2x − 2 + y), x^{x}^{−1}, (2 + x)^{y}} |

S_{x} | S_{y} | {(2 + y)^{x−1}, (2x − 2 + y), x^{x}^{−1}, (1 + x)^{y−1}, (y − 1 + x)} |

S_{x} | K(y, z) | {(2 + y + z)^{x−1}, (2x − 2 + y + z), x^{x}^{−1}, (z + x)^{y}, (y + x)^{z}} |

S_{x} | r – regular | {(2 + y)^{x−1}, (2x − 2 + y), x^{x}^{−1}, (r + x)^{y}} |

G_{1} | G_{2} | |

K_{x,y} | P_{z} | {(2x + z)^{y}, (2y + z)^{x}, (x + y), (1 + ^{x}yx + y)^{2}, (2 + x + y)^{z−2}} |

K_{x,y} | K_{z} | {(2x + z)^{y}, (2y + z)^{x}, (x + y), (^{x}yz − 1 + x + y)^{z}} |

K_{x,y} | C_{z} | {2x + z)^{y}, (2y + z)^{x}, (x + y), (2 + ^{x}yx + y)^{z}} |

K_{x,y} | S_{z} | {(2x + z)^{y}, (2y + z)^{x}, (x + y), (1 + ^{x}yx + y)^{z−1}, (z − 1 + x + y)} |

K_{x,y} | K_{z,t} | {(2x + z + t)^{y}, (2y + z + t)^{x}, (x + y), (^{x}yx + y + z)^{t}, (x + y + t)^{z}} |

K_{x,y} | r – regular | (2x + z)^{y}, (2y + z)^{x}, (x + y), (^{x}yr + x + y)^{z} |

r – regular | P_{z} | {(2r + y)^{x}, (2r)^{xr/2}, (1 + x)^{2}, (2 + x)^{y−2}} |

r – regular | K_{y} | {(2r + y)^{x}, (2r)^{xr/2}, (x + y − 1)^{y}} |

r – regular | C_{y} | {(2r + y)^{x}, (2r)^{xr/2}, (2 + x)^{y}} |

r – regular | S_{y} | {(2r + y)^{x}, (2r)^{xr/2}, (1 + x)^{y−1}, (x + y − 1)} |

r – regular | K_{y,z} | {(2r + y + z)^{x}, (2r)^{xr/2}, (x + y)^{z}, (x + z)^{y}} |

r_{1} – regular | r_{2} – regular | {(2r_{1} + y)^{x}, (2r_{1})^{xr1/2}, (r − 2 + x)^{y}} |

## 4 Conclusions

This article concludes with general formulae for degree sequence of a vertex-*F* join operation for path, complete, cycle, star, complete bipartite and *r*–regular graphs.

## References

- [2]↑
Vishnu Narayan Mishra, Sadik Delen and Ismail Naci Cangul, (2018), Algebraic structure of graph operations in terms of degree sequences, International Journal of analysis and applications, .

- [3]↑
K. C. Das, A. Yurttas, M. Togan, I. N. Cangul, A. S. Cevik, (2013), The multiplicative Zagreb indices of graph operations, J. Inequal. Appl. 90, 1–14.

- [4]↑
M. Eliasi, B. Taeri, (2009), Four new sums of graphs and their Wiener indices, Discrete Appl. Math., 157, 794–803.

- [5]↑
B. Furtula, I. Gutman, M. Dehmer, (2013), On structure-sensitivity of degree-based topological indices, Appl Math Comp, 219, 8973–8978.

- [6]↑
A. Ivanyi, L. Lucz, G. Gombos, T. Matuszka, (2013), Parallel enumeration of degree sequences of simple graphs II, Acta Univ. Sapientiae, Informatica 5 (2), 245–270.

- [7]↑
H. Kim, Z. Toroczkai, I. Miklos, P. L. Erdos, L. A. Szekely, (2009), On realizing all simple graphs with a given degree sequence, J. Phys. A: Math. Theor. 42, 1–6.

- [9]↑
K. Pattabiraman and M. Vijayaragavan, (2013), Reciprocal degree distance of some graph operations, Transactions on Combinatorics, 2(4), 13–24.

- [10]↑
P. S. Ranjini, V. Lokesha and M. A. Raja, (2010), On Zagreb indices of the p- subdivision graphs, J. Orissa Math. Sco. 29 (1–2), .

- [11]↑
P. Sarkar, N. De and A. Pal, (2017), The Zagreb indices of graphs based on new operations related to the join of graphs, J. Int. Math. Virtual Inst., 7, 181–209.

- [12]↑
B. Shwetha Shetty, V. Lokesha and P. S. Ranjini, (2015), On the harmonic index of graph operatios, Transactions on combinatorics, 4(4), 5–14.

- [13]↑
A. Triphati, H. Tyagi, (2008), A simple criterion on degree sequences of graphs, Discrete Appl. Math. 156 (2008), 3513–3517.

- [14]↑
R. I. Tyshkevich, A. A. Chernyak, Zh. A. Chernyak, (1987), Graphs and degree sequences I, Cybernetics 23 (6), 734–745.

- [15]↑
R. I. Tyshkevich, O. I. Mel’nikov, V. M. Kotov, (1981), On graphs and degree sequences: Canonical Decomposition, Kibernetika 6, 5–8.

- [16]↑
I. E. Zverovich, V. E. Zverovich, (1992), Contributions to the theory of graphic sequences, Discrete Math. 105, 293–303.