Discrete Dynamics in Nature and Society
Volume 2017 (2017), Article ID 6079450, 5 pages
https://doi.org/10.1155/2017/6079450

Research Article

Sharp Bounds of the Hyper-Zagreb Index on Acyclic, Unicylic, and Bicyclic Graphs

Wei Gao,¹ Muhammad Kamran Jamil,² Aisha Javed,³ Mohammad Reza Farahani,⁴ Shaohui Wang,⁵ and Jia-Bao Liu⁶

¹School of Information Science and Technology, Yunnan Normal University, Kunming 650500, China
²Riphah Institute of Computing and Applied Sciences (RICAS), Riphah International University, Lahore, Pakistan
³Abdus Salam School of Mathematical Sciences, Government College University, Lahore, Pakistan
⁴Department of Applied Mathematics, Iran University of Science and Technology, Narmak, Tehran, Iran
⁵Department of Mathematics and Computer Science, Adelphi University, Garden City, NY 11530, USA
⁶School of Mathematics and Physics, Anhui Jianzhu University, Hefei 230601, China

Correspondence should be addressed to Jia-Bao Liu; liujiabaoad@163.com

Received 19 September 2016; Revised 16 December 2016; Accepted 27 December 2016; Published 1 February 2017

Academic Editor: J. R. Torregrosa

Copyright © 2017 Wei Gao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The hyper-Zagreb index is an important branch in the Zagreb indices family, which is defined as , where is the degree of the vertex in a graph . In this paper, the monotonicity of the hyper-Zagreb index under some graph transformations was studied. Using these nice mathematical properties, the extremal graphs among -vertex trees (acyclic), unicyclic, and bicyclic graphs are determined for hyper-Zagreb index. Furthermore, the sharp upper and lower bounds on the hyper-Zagreb index of these graphs are provided.

1. Introduction

A topological index of a graph is a number with this property that, for every graph isomorphic to , Top() = Top(). In 1947, Wiener determined the most widely known topological descriptor, the Wiener index [1]. He used it to determine physical properties of paraffin. The Wiener index of a graph is equal to the sum of distances between all pairs of vertices of related graphs. Numerous indices have been explored. The Zagreb indices are the most important topological indices, introduced by Gutman and Trinajstić more than thirty years ago [2]. For a graph , the first and second Zagreb indices, and , respectively, are defined as

In 1972, Zagreb indices first appeared in the topological formulas for the total -energy of conjugated molecules [2]. For applications in QSPR/QSAR, latest results are referred to [3–8].

In 2004, Miličević et al. [9] reformulated Zagreb indices in terms of edge-degrees instead of vertex-degree as follows:

where is the degree of the edge in , defined by with , and means that the edges and are adjacent. Some results related to and are given in [10–12].

In 2013, Shirdel et al. [13] introduced a new degree-based topological index named hyper-Zagreb index as

Recently, the multiplicative versions of Zagreb indices are studied well in [14]. Motivated by these results [15–18], we explore the properties for the hyper-Zagreb index.

Let be a simple and connected graph with vertex set and edge set . For a vertex , denotes the set of all neighbors of in . In a graph , the number of independent cycles is called its cyclomatic number and is equal to . Recall that graphs with are referred to as trees, unicyclic graphs, and bicyclic graphs, respectively. , , and denote the star, path, and cycle on vertices, respectively. Let , and then let be a subgraph of by deleting vertex and adjacent edges. For , let be a subgraph of by deleting an edge . Let be a nontrivial graph and let be its vertex. If is obtained from by fusing a tree at , then we say that is a subtree of and is its root. The fusions of two vertices and in are denoted by . In order to exhibit our results, we introduce some graph-theoretical notations and terminology. For other undefined ones, see the book [19].

In this paper, we characterize the extremal properties of the hyper-Zagreb index. In Section 2, we present some graph transformations which increase or decrease . In Section 3, we determine the extremal acyclic, unicyclic, and bicyclic graphs with maximum and minimum hyper-Zagreb index.

2. Graph Transformations

In this section, we will introduce some graph transformations, which increase or decrease the hyper-Zagreb index. These transformations will help to prove our main results. The following one from to strictly decreases the hyper-Zagreb index of a graph.

Transformation 1. Let be a nontrivial connected graph and is a given vertex in . Let be a graph obtained from by attaching two paths: of length and of length . If , we say that is obtained from by Transformation 1, as shown in Figure 1.

Figure 1: Two graphs.

Lemma 1. If is obtained from by Transformation 1 as shown in Figure 1, then

Proof. In applying Transformation 1, the degree of decreases and the degrees of all its neighbors remain unchanged. So,

Transformation 2. Let be an edge of connected graph with . Suppose that are all the neighbors of vertex , while are pendant vertices. If , we say that is obtained from by Transformation 2, as shown in Figure 2.

Figure 2: Transformation 2.

Transformation 2 from to strictly increases of a graph.

Lemma 2. If K is obtained from by Transformation 2 as shown in Figure 2, then

Proof. Clearly, and is not changed during Transformation 2. Hence,

Transformation 3. Let be nontrivial connected graph and . Let == be a nontrivial -length path of connecting vertices and . If , we say that is obtained from by Transformation 3, as shown in Figure 3.

Figure 3: Transformation 3.

Lemma 3. If is obtained from by Transformation 3 as shown in Figure 3, then

Proof. From Figure 3, let and , while (merge and to obtain ) with , where . If , then

If , then

Transformation 4. Let be a nontrivial acyclic subgraph of with which is attached at in graph ; let and be two neighbors of different from those in ; also and . If , we say that is obtained from by Transformation 4, as shown in Figure 4.

Figure 4: Transformation 4.

Lemma 4. Let G and K be two graphs, as shown in Figure 4. Then

Proof. From Transformation 2, we know that . So, we only prove the following inequality:

Therefore, the proof is complete.

Let be a nontrivial connected graph. Two vertices and are said to be equivalent if . Clearly, and their neighbors have the same degree sequence.

Transformation 5. Let be a nontrivial connected graph and and are equivalent vertices in such that . Let be the graph obtained by attaching and at the vertices and of , respectively, with . If is the graph obtained by deleting the pendant vertices at in and connecting them to of , respectively, as shown in Figure 5. We say that is obtained from by Transformation 5.

Figure 5: Transformation 5.

Lemma 5. If K is obtained from by Transformation 5 as shown in Figure 5, then

Proof. We have

3. Main Results

In this section, we characterized the extremal graph with respect to among acyclic, unicyclic, and bicyclic graphs. First, we will define some notations which will be used later. denotes the set of all connected bicyclic graphs with order . Now we define three special classes of graphs. Let be the graph obtained by connecting two cycles and with a path with . Let be the graph which contains only two cycles and having a common vertex with , and let be the graph obtained by fusing two triples of pendant vertices of three paths , , and to two vertices with , where without loss of generality. Let be a bicyclic graph containing one of the three graphs , , and as its subgraph; then we will call it a brace of . We set , , and to be the set of all bicyclic graphs which include , , and as their brace, respectively. Clearly, , , and are the partitioned subsets of .

If is an acyclic graph with order , then, by Lemmas 1 and 2, the following result holds.

Theorem 6. Let G be an acyclic graph with order n. Then

where the lower bound is achieved if and only if and the upper bound is achieved if and only if .

Theorem 7. Let be a unicyclic graph with vertices. Then

where the lower bound is achieved if and only if and the upper bound is achieved if and only if .

Proof. Being a unicyclic graph contains a unique cycle . By Lemma 3, we can obtain the graph in which the length of the cycle is three and its is increased strictly and then, by using Lemma 5, we can get the uniquely maximum graph with respect to (Figure 6). By using Lemmas 1 and 4, we find that the minimum graph is .

Figure 6: Some graphs.

Theorem 8. Let be a bicyclic graph with vertices. Then

where the lower bound is achieved if and only if and the upper bound is achieved if and only if .

Proof. By simple calculation, one can obtain . So, we show that if , then .
Case  1 ( Contains as Its Brace). As contains as its brace, by using Lemmas 2 and 5, we can obtain a new bicyclic graph whose is more than that of (see Figure 6). Clearly, .
Case  2 ( Is Not the Brace of ). Though does not contain the subgraph , by Lemma 3, maybe there is a bicyclic graph having brace whose is greater than . So we have two subcases.
Subcase 2.1 ( Is the Brace of ). By Lemma 3, Subcase is converted to Case .
Subcase 2.2 ( Is Not the Brace of ). By Lemmas 2, 3, and 5, we get a new bicyclic graph (Figure 6) whose is more than that of . It is easy to verify that .
Now we obtain the lower bound of bicyclic graphs with respect to . From Lemmas 1, 2, and 4, we find that the extremal graph of the minimum in bicyclic graphs must be element from the set .
Clearly, , , and .
So, we check the lower bound and equality holds if and only if .

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

This work was supported in part by the State Grid Anhui Economic Research Institute (no. 1P12001500010681000000) and Natural Science Foundation of Anhui Province of China (nos. KJ2015A331 and KJ2013B105).

References

H. Wiener, “Structural determination of paraffin boiling points,” Journal of the American Chemical Society, vol. 69, no. 1, pp. 17–20, 1947.

I. Gutman and N. Trinajstić, “Graph theory and molecular orbitals, total π-electron energy of alternant hydrocarbons,” Chemical Physics Letters, vol. 17, pp. 535–538, 1972.

K. C. Das, K. Xu, and I. Gutman, “On Zagreb and Harary indices,” MATCH. Communications in Mathematical and in Computer Chemistry, vol. 70, no. 1, pp. 301–314, 2013.

C. M. da Fonseca and D. Stevanovic, “Further properties of the second Zagreb index,” MATCH. Communications in Mathematical and in Computer Chemistry, vol. 72, no. 3, pp. 655–668, 2014.

I. Gutman, M. K. Jamil, and N. Akhter, “Graphs with fixed number of pendent vertices and minimal first Zagreb index,” Transactions on Combinatorics, vol. 4, no. 1, pp. 43–48, 2015.

J. Estes and B. Wei, “Sharp bounds of the Zagreb indices of -trees,” Journal of Combinatorial Optimization, vol. 27, no. 2, pp. 271–291, 2014.

S. A. U. H. Bokhary, M. Imran, and S. Manzoor, “On molecular topological properties of dendrimers,” Canadian Journal of Chemistry, vol. 94, no. 2, pp. 120–125, 2015.

M. Imran, A. Q. Baig, and H. Ali, “On topological properties of dominating David derived networks,” Canadian Journal of Chemistry, vol. 94, no. 2, pp. 137–148, 2015.

A. Miličević, S. Nikolić, and N. Trinajstić, “On reformulated Zagreb indices,” Molecular Diversity, vol. 8, no. 4, pp. 393–399, 2004.

N. De, “Some bounds of reformulated Zagreb indices,” Applied Mathematical Sciences, vol. 6, no. 101-104, pp. 5005–5012, 2012.

A. Ilić and B. Zhou, “On reformulated Zagreb indices,” Discrete Applied Mathematics, vol. 160, no. 3, pp. 204–209, 2012.

S. Ji, X. Li, and B. Huo, “On reformulated Zagreb indices with respect to acyclic, unicyclic and bicyclic graphs,” MATCH Communications in Mathematical and in Computer Chemistry, vol. 72, no. 3, pp. 723–732, 2014.

G. H. Shirdel, H. RezaPour, and A. M. Sayadi, “The hyper-zagreb index of graph operations,” Iranian Journal of Mathematical Chemistry, vol. 4, no. 2, pp. 213–220, 2013.

S. Wang and B. Wei, “Multiplicative Zagreb indices of k-trees,” Discrete Applied Mathematics, vol. 180, pp. 168–175, 2015.

W. Gao and W. Wang, “The eccentric connectivity polynomial of two classes of nanotubes,” Chaos, Solitons & Fractals, vol. 89, pp. 290–294, 2016.

W. Gao and W. F. Wang, “The fifth geometric-arithmetic index of bridge graph and carbon nanocones,” Journal of Difference Equations and Applications, 2016.

J.-B. Liu and X.-F. Pan, “Asymptotic incidence energy of lattices,” Physica A. Statistical Mechanics and its Applications, vol. 422, pp. 193–202, 2015.

J.-B. Liu, X.-F. Pan, F.-T. Hu, and F.-F. Hu, “Asymptotic Laplacian-energy-like invariant of lattices,” Applied Mathematics and Computation, vol. 253, pp. 205–214, 2015.

J. A. Bondy and U. S. Murty, Graph Theory, vol. 244 of Graduate Texts in Mathematics, Springer, Berlin, Germany, 2008.