+ All Categories
Home > Documents > On the Maximum Zagreb Indices of Graphs with Cut...

On the Maximum Zagreb Indices of Graphs with Cut...

Date post: 04-May-2020
Category:
Upload: others
View: 4 times
Download: 0 times
Share this document with a friend
14
Acta Appl Math (2010) 111: 93–106 DOI 10.1007/s10440-009-9534-1 On the Maximum Zagreb Indices of Graphs with k Cut Vertices Qin Zhao · Shuchao Li Received: 7 April 2009 / Accepted: 15 June 2009 / Published online: 19 June 2009 © Springer Science+Business Media B.V. 2009 Abstract For a (molecular) graph, the first Zagreb index M 1 is equal to the sum of squares of the vertex degrees, and the second Zagreb index M 2 is equal to the sum of products of degrees of pairs of adjacent vertices. In this paper, we study the Zagreb indices of n-vertex connected graphs with k cut vertices, the upper bound for M 1 - and M 2 -values of n-vertex connected graphs with k cut vertices are determined, respectively. The corresponding ex- tremal graphs are characterized. Keywords Randi´ c connectivity index · Zagreb index · Cut vertex · Pendent path · Clique Mathematics Subject Classification (2000) 92E10 · 05C05 1 Introduction The structure of a chemical compound is usually modeled as a polygonal shape, called the molecular graph of this compound. The biochemical community has been using topological indices to correlate a chemical compound’s molecular graph with experimentally gathered data regarding the compound’s characteristics. Among various indices, the Randi´ c index has been one of the most widely used descriptors in quantitative structure activity relationships. In 1975, Randi´ c proposed a structural descriptor called branching index [48] that later became well-known Randi´ c connectivity index, which is the most used molecular descriptor in QSPR and QSAR; see [20, 32, 33, 46, 52]. The name connectivity index that replaced the original Randi´ c term branching index has been suggested by Kier as stated by Randi´ c[49]. The first paper in which the Randi´ c connectivity index was used in QSAR appeared soon af- ter the original publication, also in [34]. Mathematicians too exhibited considerable interest in the properties of the Randi´ c connectivity index; see [8, 9, 21, 22, 36, 37, 44, 45, 47]. The Randi´ c connectivity index has also evolved into several variants [20, 46, 49, 50] The research is supported in part by National Science Foundation of China (Grant No. 10671081). Q. Zhao · S. Li ( ) Faculty of Mathematics and Statistics, Hubei Key Laboratory of Mathematical Sciences, Central China Normal University, Wuhan 430079, China e-mail: [email protected]
Transcript
Page 1: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

Acta Appl Math (2010) 111: 93–106DOI 10.1007/s10440-009-9534-1

On the Maximum Zagreb Indices of Graphs with k CutVertices

Qin Zhao · Shuchao Li

Received: 7 April 2009 / Accepted: 15 June 2009 / Published online: 19 June 2009© Springer Science+Business Media B.V. 2009

Abstract For a (molecular) graph, the first Zagreb index M1 is equal to the sum of squaresof the vertex degrees, and the second Zagreb index M2 is equal to the sum of products ofdegrees of pairs of adjacent vertices. In this paper, we study the Zagreb indices of n-vertexconnected graphs with k cut vertices, the upper bound for M1- and M2-values of n-vertexconnected graphs with k cut vertices are determined, respectively. The corresponding ex-tremal graphs are characterized.

Keywords Randic connectivity index · Zagreb index · Cut vertex · Pendent path · Clique

Mathematics Subject Classification (2000) 92E10 · 05C05

1 Introduction

The structure of a chemical compound is usually modeled as a polygonal shape, called themolecular graph of this compound. The biochemical community has been using topologicalindices to correlate a chemical compound’s molecular graph with experimentally gathereddata regarding the compound’s characteristics. Among various indices, the Randic index hasbeen one of the most widely used descriptors in quantitative structure activity relationships.

In 1975, Randic proposed a structural descriptor called branching index [48] that laterbecame well-known Randic connectivity index, which is the most used molecular descriptorin QSPR and QSAR; see [20, 32, 33, 46, 52]. The name connectivity index that replaced theoriginal Randic term branching index has been suggested by Kier as stated by Randic [49].The first paper in which the Randic connectivity index was used in QSAR appeared soon af-ter the original publication, also in [34]. Mathematicians too exhibited considerable interestin the properties of the Randic connectivity index; see [8, 9, 21, 22, 36, 37, 44, 45, 47]. TheRandic connectivity index has also evolved into several variants [20, 46, 49, 50]

The research is supported in part by National Science Foundation of China (Grant No. 10671081).

Q. Zhao · S. Li (�)Faculty of Mathematics and Statistics, Hubei Key Laboratory of Mathematical Sciences, Central ChinaNormal University, Wuhan 430079, Chinae-mail: [email protected]

Page 2: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

94 Q. Zhao, S. Li

The Randic connectivity index has been extended as the general Randic connectivity in-dex and general zeroth-order Randic connectivity index, and then the Zagreb indices appearto be the special cases of them [11, 13, 14, 19, 25, 29, 37]. The Zagreb indices have beenintroduced in 1972 in the report of Gutman and Trinajstic on the topological basis of the π -electron energy [23]—two terms appeared in the topological formula for the total π -energyof alternant hydrocarbons, which were in 1975 used by Gutman et al. [24] as branchingindices, denoted by M1 and M2, and later employed as molecular descriptors in QSPR andQSAR; see [4, 5]. The name Zagreb indices instead of the term branching indices was firstused by Balaban et al. [2].

There are three groups of closed related problems which have attracted the attention ofresearchers for a long time:

• How M1(G) (respectively, M2(G)) depends on the structure of G.• Given a set of molecular graph G, find upper and lower bounds for M1(G) and M2(G)

of graphs in G and characterize the graphs in which the maximal (respectively, minimal)M1-, M2-values are attained, respectively.

• A natural issue is to compare the values of Zagreb indices on the same graph;see [1, 26, 42].

In view of these problems, it is not surprising that in the chemical literature there are nu-merous studies of properties of the Zagreb indices of molecular graphs. In fact, investigationof the above problems mainly deal with graphs whose cyclomatic number is at most 2 as thesole objects [15, 18, 30, 35, 40, 47, 51, 55]; Mathematical and computational properties ofZagreb indices have also been considered [17, 27, 43, 56, 57]. Other direction of investiga-tion include studies of relation between M1(G) (respectively, M2(G)) and the correspondinginvariant of elements of the graph G (order, cut edges, pendent vertices, diameter, maximumdegree, girth, perfect matching); see [12, 15, 16, 30, 35, 38, 39, 51, 56, 57].

In addition to the myriad applications of the Zagreb indices in chemistry there are manysituations in communication, facility location, cryptology, etc., that are effectively modeledby a connected graph G satisfying certain restriction. In light of the information available forM1 and M2 of trees, unicyclic graphs, bicyclic graphs, et al., it is natural to consider otherclasses of graphs, and the n-vertex connected graphs with k cut vertices are a reasonablestarting point for such an investigation. The n-vertex connected graphs with k cut verticeshave been considered in mathematical literature [6, 28, 31, 41, 54], whereas to our bestknowledge, the Zagreb indices of n-vertex connected graphs with k cut vertices were, sofar, not considered in the chemical literature. On the other hand, connected graphs with n-vertices and k cut vertices represent important class of molecules; see [3]. Here we considern-vertex connected graphs with k cut vertices.

In this paper, we give some basic properties, especially upper bounds in terms of othergraph invariants, of the first and the second Zagreb indices. We determine the extremalconnected graph with fixed numbers of vertices and cut vertices having the maximumvalues of M1,M2, respectively. From our results, the maximum M1- (respectively, M2-)value is correlated with the order and the number cut vertices of the corresponding graph.In our exposition we will use the terminology and apparatus of (chemical) graph theory(see [7, 10, 53]).

2 Definitions and Notations

Let G = (V (G),E(G)) be a simple connected graph with the vertex set V (G) and the edgeset E(G). For a vertex x of the graph G, we denote the neighborhood and the degree of x by

Page 3: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

On the Maximum Zagreb Indices of Graphs with k Cut Vertices 95

NG(x) and dG(x), respectively. The Randic connectivity index [48] R = R(G) (resp. zerothorder Randic connectivity index [37] R′ = R′(G)) of G is defined as

R = R(G) =∑

uv∈E(G)

(dG(u)dG(v))−1/2, R′ = R′(G) =∑

u∈V (G)

(dG(u))−1/2.

The first Zagreb index M1 = M1(G) and the second Zagreb index M2 = M2(G) [17, 23,24, 27, 43] of the graph G are given by

M1 = M1(G) =∑

u∈V (G)

(dG(u))2, M2 = M2(G) =∑

uv∈E(G)

dG(u)dG(v).

Given a graph G, if W ⊆ V (G), we denote by G − W the subgraph of G obtained bydeleting the vertices of W and the edges incident with them; if E′ ⊆ E(G), we denote byG − E′ the subgraph of G obtained by deleting the edges of E′. Specially, when W = {v}and E′ = {xy}, we write G − v and G − xy instead of G − {v} and G − {xy}, respectively.Similarly, G + xy is a graph that arises from G by adding an edge xy �∈ E(G), wherex, y ∈ V (G).

A cut vertex in a connected graph G is a vertex whose deletion breaks the graph intotwo (or more) connected components. A connected graph that has no cut vertices is called ablock. We also call a block an endblock of G if it has at most one cutvertex in the graph as awhole. A clique of a simple graph G is a subset S of V such that G[S] is complete.

Let P = v0v1 · · ·vs (s ≥ 1) be a path of G with d(v1) = · · · = d(vs−1) = 2 (unless s = 1).If d(v0), d(vs) ≥ 3, then we call P an internal path of G; if d(v0) ≥ 3 and d(vs) = 1, thenwe call P a pendent path of G. Let PG(u, v) be the shortest path in G starting from u tov. The distance between u and v in G, denoted by dG(u, v), is the length of PG(u, v), i.e.,dG(u, v) = |E(PG(u, v))|. A graph T is called a tree, if it is connected and contains no cycle.A connected graph G is called a unicyclic graph if it contains a unique cycle.

Let Gn,k := {G : G is a connected graphs on n vertices and k cut vertices, 0 < k ≤ n−3},Hn,k := {G1

n,k,G2n,k}

⋃H ′

n,k , where

• G1n,k is obtained from Kn−k by attaching at most one pendent edge to each vertex of Kn−k,

0 < k ≤ n2 .

• G2n,k is obtained from Kn−k by attaching exactly one pendent path, say Pi , to each vertex

of Kn−k , where |E(Pi)| = 1 or 2 and n2 < k ≤ 2n

3 .• H ′

n,k = {G3n,k : G3

n,k is obtained from Kn−k by attaching exactly one pendent path, say Pi ,to each vertex of Kn−k , where |E(Pi)| ≥ 2 and 3n

2 < k ≤ n − 3}.

The graphs G1n,k,G

2n,k and G3

n,k ∈ H ′n,k are depicted in Fig. 1.

Fig. 1 Graphs G1n,k

,G2n,k

and G3n,k

Page 4: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

96 Q. Zhao, S. Li

3 The Graphs in Gn,k with the Maximum Zagreb Indices

In this section, we are to determine the sharp upper bounds, respectively, for M1,M2 ofconnected n-vertex graphs, each of which contains exactly k cut vertices.

By the definition of the first and the second Zagreb indices, we have the following lemma.

Lemma 3.1 Let G be a simple connected graph with x, y ∈ V (G). If xy �∈ E(G), then

Mi(G + xy) > Mi(G), i = 1,2.

In order to determine the upper bounds for Zagreb indices, we choose connected graphG ∈ Gn,k such that its M1- (resp. M2-) value is as large as possible.

Lemma 3.2 Choose G ∈ Gn,k such that its M1-, M2-values are as large as possible. ThenEach cut vertex of G connects exact two blocks and each of the blocks contained in G is aclique.

Proof By contradiction. Let v be a cut vertex of G, if v connects at least three con-nected components, say G1,G2,G3, . . . ,Gs , of G, s ≥ 3, then let G′ = G + uw, whereu ∈ V (G2) \ {v} and w ∈ V (G3) \ {v}. It is straightforward to check that G′ ∈ Gn,k and inview of Lemma 3.1, we have Mi(G

′) > Mi(G), i = 1,2, which contradict the assumptionof G. Hence, we obtain that each cut vertex connects exact two components of G. Further-more, if one of the components, say G1, is not a clique, then we may add an edge in G1

to connect two non-adjacent vertices and denote the resultant graph by G′′, then in view ofLemma 3.1, we get Mi(G

′′) > Mi(G), i = 1,2, a contradiction. This completes the proofof Lemma 3.2. �

By Lemma 3.2, in what follows, we might assume that Ka1 , . . . ,Kas are all of the cliquescontained in G. We call two cliques Ka1 ,Ka2 with a1, a2 ≥ 3 in G are adjacent, if Ka1

connects Ka2 by a path P such that P does not intersect some other clique of order atleast 3. By Lemma 3.2, we have the following claim.

Claim 1 Let G ∈ Gn,k such that its M1- (resp. M2-) value is as large as possible. If twocliques Ka1 ,Ka2 in G are adjacent, then the path connecting Ka1 and Ka2 is either of length0 or an internal path.

Lemma 3.3 Choose G ∈ Gn,k such that M1(G) and M2(G) are as large as possible. If Ka2

is an endblock of G, then a2 = 2.

Proof By contradiction. Assume that a2 ≥ 3. Let Ka1 ,Ka2 be two cliques such that V (Ka1),V (Ka2) have one cut vertex, say v, in common, and by Lemma 3.2, v is not a cutvertex of some other clique, where a1 ≥ 2. Let V (Ka1) = {v1, . . . , va1−1, v}, V (Ka2) ={u1, . . . , ua2−1, v}. Set

G∗ = G − {vv1, . . . , vva1−1, vu2, . . . , vua2−1} + {v1u1, . . . , v1ua2−1}+ · · · + {va1−1u1, . . . , va1−1ua2−1}.

Then, G∗ (see Fig. 2) is in Gn,k , and we have

Page 5: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

On the Maximum Zagreb Indices of Graphs with k Cut Vertices 97

Fig. 2 G ⇒ G∗

M1(G∗) − M1(G)

=a1−1∑

i=1

(dG(vi) + a2 − 2)2 + 12 + (dG(u1) + a1 − 1)2 +a2−1∑

j=2

(dG(uj ) + a1 − 2)2

−(

a1−1∑

i=1

d2G(vi) + d2

G(v) +a2−1∑

j=1

d2G(uj )

)

= 2(a2 − 2)

a1−1∑

i=1

dG(vi) + (a2 − 2)2(a1 − 1) + 1 + (a1 + a2 − 3)2(a2 − 2) − (a2 − 1)3

> 2(a2 − 2)(a1 − 1)2 + (a2 − 2)2(a1 − 1) + (a1 + a2 − 3)2(a2 − 2) − (a2 − 1)3 + 1

= 3(a1 − 2)(a2 − 2)(a1 + a2 − 2) ≥ 0,

a contradiction to the choice of G.Let G0 = G − {v1, . . . , va1−1, u1, . . . , ua2−1} and denote Ai = ∑

x∈NG(vi )\V (Ka1 ) dG(x),where i = 1, . . . , a1 − 1. Then

M2(G∗) − M2(G)

= 1

2

[(a1 − 2)(a2 − 2)

a1−1∑

i=1

dG(vi) + (a1 − 1)(a1 − 2)(a2 − 2)2

]

+ 1

2

[(a1 − 2)(a2 − 3)

a2−1∑

j=2

dG(uj ) + (a1 − 2)2(a2 − 2)(a2 − 3)

]

+ (a2 − 2)

a1−1∑

i=1

Ai + 2(a1 + a2 − 2)(a1 − 2)(a2 − 2) − (a2 − 1)

a2−1∑

j=2

dG(uj )

+[

a1−1∑

i=1

dG(vi) + (a1 − 1)(a2 − 2)

][a2−1∑

j=2

dG(uj ) + (a1 − 2)(a2 − 2)

]

>

a1−1∑

i=1

a2−1∑

j=2

dG(vi)dG(uj ) + (a1 − 1)(a2 − 2)

a2−1∑

j=2

dG(uj ) − (a2 − 1)

a2−1∑

j=2

dG(uj )

=(

a1−1∑

i=1

dG(vi) − 1

)a2−1∑

j=2

dG(uj ) + (a1 − 2)(a2 − 2)

a2−1∑

j=2

dG(uj ) > 0,

a contradiction to the choice of G.Hence, the proof of Lemma 3.3 is completed. �

Page 6: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

98 Q. Zhao, S. Li

Denote G∗n,k = {G : G(∈ Gn,k) is obtained by attaching at most one pendent path to each

vertex of Kn−k}. Then it is easy to check that Hn,k ⊆ G∗n,k .

Lemma 3.4 Of all the connected graphs in G∗n,k , the maximum Mi -value, i = 1,2, is ob-

tained at the graph(s) in Hn,k .

Proof Choose G ∈ G∗n,k such that Mi(G) is as large as possible, i = 1,2. If G ∈ Hn,k , the

theorem holds immediately. Otherwise, G ∈ G∗n,k \ Hn,k . Without loss of generality, we as-

sume that P1, which is attached to u1, is the shortest path of all the pendent paths in G andP2, which is attached to u2, is the longest one. Since G �∈ Hn,k , we consider the followingthree possible cases.

Case 1. |E(P1)| = 0 (i.e., G has no pendent path attached to u1) and |E(P2)| ≥ 3.Let P2 = u2 · · ·w3w2w1. Set G∗ = G − w1w2 + w1u1. Then G∗ ∈ G∗

n,k , and we have

M1(G∗) − M1(G) = (dG(u1) + 1)2 + (dG(w2) − 1)2 − d2

G(u1) − d2G(w2)

= 2(n − k − 2) > 0,

M2(G∗) − M2(G) = (dG(u1) + 1)

(dG(w1) +

n−k∑

s=2

dG(us)

)+ (dG(w2) − 1)dG(w3)

− dG(u1)

n−k∑

s=2

dG(us) − dG(w1)dG(w2) − dG(w2)dG(w3)

=n−k∑

s=2

dG(us) + n − k − 4

> (n − k − 1)(n − k − 2) + 2(n − k − 2) > 0,

a contradiction to the choice of G in this case.

Case 2. |E(P1)| = 0 and |E(P2)| = 2.Let P2 = u2w2w1. Set G∗ = G − w1w2 + w1u1. Then G∗ ∈ G∗

n,k , and we have

M1(G∗) − M1(G) = (dG(u1) + 1)2 + (dG(w2) − 1)2 − d2

G(u1) − d2G(w2)

= 2(n − k − 2) > 0,

M2(G∗) − M2(G) = (dG(u1) + 1)

(dG(w1) +

n−k∑

s=2

dG(us)

)+ (dG(w2) − 1)dG(u2)

− dG(u1)

n−k∑

s=2

dG(us) − dG(w1)dG(w2) − dG(w2)dG(u2)

=n−k∑

s=2

dG(us) − 2

> (n − k − 1)(n − k − 2) + n − k − 2 > 0,

a contradiction to the choice of G in this case.

Page 7: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

On the Maximum Zagreb Indices of Graphs with k Cut Vertices 99

Case 3. |E(P1)| = 1 and |E(P2)| ≥ 3.Let P1 = u1w0, P2 = u2 · · ·w3w2w1. Set G∗ = G − w1w2 + w1w0. Then G∗ ∈ G∗

n,k , andby direct computing we have

M1(G∗) − M1(G) = 0, M2(G

∗) − M2(G) > 0,

a contradiction to the choice of G in this case.By Cases 1, 2 and 3, the proof of Lemma 3.4 is completed. �

Theorem 3.5 Of all the n-vertex connected graphs with k cut vertices, the maximum Mi -value, i = 1,2, is obtained at the graph(s) in Hn,k .

Proof Choose G ∈ Gn,k such that M1(G) (resp. M2(G)) is as large as possible. ByLemma 3.2, we assume that Ka1 , . . . ,Kas are the cliques of G. In the following, we willshow two facts.

Fact 1 There is only one clique Kaisuch that ai ≥ 3.

Proof of Fact 1 By contradiction. Assume that there exists two cliques Ka1 ,Ka2 such thatKa1 is adjacent to Ka2 , a1, a2 ≥ 3. By Lemma 3.3, we have that Ka1 ,Ka2 are not endblocks.Then, in view of Lemma 3.2, we choose two such blocks such that at least one of themhave a pendent path attached to one of its vertices. Without loss of generality, we assumethat Ka2 is one of such cliques. Without loss of generality, we assume that u1 is attached byone pendent path, say P1 = u1 · · ·v. By Claim 1, we might assume that Ka1 and Ka2 haveexactly one vertex in common or, Ka1 connects Ka2 by an internal path P of length l − 1 .We proceed by distinguishing the following possible cases to prove Fact 1.

Case 1. Ka1 and Ka2 have exactly one vertex in common (see Fig. 3).Then we assume that V (Ka1) = {v1, . . . , va1−1, t1}, V (Ka2) = {u1, . . . , ua2−1, t1}. Denote

Ai = ∑x∈NG(vi )\V (Ka1 ) dG(x), where i = 1, . . . , a1 − 1, and Bj = ∑

y∈NG(uj )\V (Ka2 ) dG(y),where j = 1, . . . , a2 − 1. Set

G∗ = G − {t1v1, . . . , t1va1−1, t1u1, . . . , t1ua2−1} + {vt1}+ {v1u1, . . . , v1ua2−1, . . . , va1−1u1, . . . , va1−1ua2−1}.

Then, G∗ ∈ Gn,k ; see Fig. 3. And dG∗(vi) = dG(vi) + a2 − 2, where i = 1, . . . , a1 − 1.dG∗(uj ) = dG(uj ) + a1 − 2, where j = 1, . . . , a2 − 1. dG∗(t1) = 1, dG∗(v) = 2. Then

M1(G∗) − M1(G) =

a1−1∑

i=1

(dG(vi) + a2 − 2)2 + 12 +a2−1∑

j=1

(dG(uj ) + a1 − 2)2 + 22

−(

a1−1∑

i=1

d2G(vi) + t2

1 +a2−1∑

j=1

d2G(uj ) + 12

)

= 2(a2 − 2)

a1−1∑

i=1

dG(vi) + (a2 − 2)2(a1 − 1) + 1 + 2(a1 − 2)

a2−1∑

j=1

dG(uj )

+ (a1 − 2)2(a2 − 1) + 3 − (a1 + a2 − 2)2

Page 8: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

100 Q. Zhao, S. Li

Fig. 3 G ⇒ G∗

≥ 2(a2 − 2)(a1 − 1)2 + (a2 − 2)2(a1 − 1) + 4 − (a1 + a2 − 2)2

+ 2(a1 − 2)(a2 − 1)2 + (a1 − 2)2(a2 − 2)

= (a2 − 3)[3a1(a1 − 3) + 3a2(a1 − 2) + 4]+ (2a1 − 5)(a1 + 2) + 2 > 0.

Since dG(vi) ≥ a1 − 1, dG(u1) = a2 and dG(uj ) ≥ a2 − 1, where i = 1, . . . , a1 − 1, andj = 2, . . . , a2 − 1, then

∑a1−1i=1 dG(vi) ≥ (a1 − 1)2 ≥ 4,

∑a2−1j=1 dG(uj ) > (a2 − 1)2 ≥ 4.

When |E(P1)| = 1, we have

M2(G∗) − M2(G)

= (a2 − 2)

a1−1∑

i=1

Ai + 1

2

[(a1 − 2)(a2 − 2)

a1−1∑

i=1

dG(vi) + (a1 − 1)(a1 − 2)(a2 − 2)2

]

+ (a1 − 2)

a2−1∑

j=2

Bj + 1

2

[(a1 − 2)(a2 − 2)

a2−1∑

j=1

dG(uj ) + (a1 − 2)2(a2 − 1)(a2 − 2)

]

+ 2(a1 + a2 − 2) + 2 +[

a1−1∑

i=1

dG(vi) + (a1 − 1)(a2 − 2)

]

×[

a2−1∑

j=1

dG(uj ) + (a1 − 2)(a2 − 1)

]

− a2 − (a1 + a2 − 2)

(a1−1∑

i=1

dG(vi) +a2−1∑

j=1

dG(uj )

)

>

(a1−1∑

i=1

dG(vi) − 2

)(a2−1∑

j=1

dG(uj ) − 2

)+ (a1 − 3)(a2 − 2)

a1−1∑

i=1

dG(vi)

Page 9: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

On the Maximum Zagreb Indices of Graphs with k Cut Vertices 101

Fig. 4 G ⇒ G∗

+ (a1 − 2)(a2 − 3)

a2−1∑

j=1

dG(uj ) + (a1 − 1)(a1 − 2)(a2 − 1)(a2 − 2)

+ (2a1 + a2 − 6) > 0.

Similarly, when |E(P1)| ≥ 2, we also obtain M2(G∗) − M2(G) > 0, a contradiction to the

choice of G.

Case 2. The internal path P is of length 1 (see Fig. 4).Then we assume that V (Ka1) = {v1, . . . , va1−1, t1}, V (Ka2) = {u1, . . . , ua2−1, t2}. Simi-

larly to Case 1, set

G∗ = G − {t1v1, . . . , t1va1−1, t2u1, . . . , t2ua2−1} + {vt2}+ {v1u1, . . . , v1ua2−1, . . . , va1−1u1, . . . , va1−1ua2−1}.

Then, G∗ ∈ Gn,k ; see Fig. 4. And dG∗(vi) = dG(vi) + a2 − 2, where i = 1, . . . , a1 − 1.dG∗(uj ) = dG(uj ) + a1 − 2, where j = 1, . . . , a2 − 1. dG∗(t1) = 1, dG∗(t2) = 2, dG∗(v) = 2.Then

M1(G∗) − M1(G) =

a1−1∑

i=1

(dG(vi) + a2 − 2)2 + 22 + 12 +a2−1∑

j=1

(dG(uj ) + a1 − 2)2 + 22

−(

a1−1∑

i=1

d2G(vi) + t2

1 + t22 +

a2−1∑

j=1

d2G(uj ) + d2

G(v)

)

= 2(a2 − 2)

a1−1∑

i=1

d2G(vi) + (a2 − 2)2(a1 − 1) + 8 + 2(a1 − 2)

a2−1∑

j=1

d2G(uj )

+ (a1 − 2)2(a2 − 1) − a21 − a2

2

≥ 2(a2 − 2)(a1 − 1)2 + (a2 − 2)2(a1 − 1) + 8 + 2(a1 − 2)(a2 − 1)2

+ (a1 − 2)2(a2 − 1) − a21 − a2

2

Page 10: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

102 Q. Zhao, S. Li

= (a2 − 3)[3a1(a1 − 3) + 3a2(a1 − 2) + 2a1] + 3a1(a1 − 3)

+ 6(a1 − 2) + 4 > 0.

When |E(P1)| = 1, we have

M2(G∗) − M2(G)

= (a2 − 2)

a1−1∑

i=1

Ai + 1

2

[(a1 − 2)(a2 − 2)

a1−1∑

i=1

dG(vi) + (a1 − 1)(a1 − 2)(a2 − 2)2

]

+ (a1 − 2)

a2−1∑

j=2

Bj + 1

2

[(a1 − 2)(a2 − 2)

a2−1∑

j=1

dG(uj ) + (a1 − 2)2(a2 − 1)(a2 − 2)

]

+ 2(dG(u1) + a1 − 2) − dG(u1) + 6 − a1

a1−1∑

i=1

dG(vi) − a1a2 − a2

a2−1∑

j=1

dG(uj )

+[

a1−1∑

i=1

dG(vi) + (a1 − 1)(a2 − 2)

][a2−1∑

j=1

dG(uj ) + (a1 − 2)(a2 − 1)

]

>

(a1−1∑

i=1

dG(vi) − 2

)(a2−1∑

j=1

dG(uj ) − 2

)

+ (a1 − 2)(a2 − 2)

(a1−1∑

i=1

dG(vi) +a2−1∑

j=1

dG(uj ) − 1

)

+ (a2 − 2)[(a1 − 1)(a1 − 2)(a2 − 1) − 1] > 0.

Similarly, when |E(P1)| ≥ 2, we also have M2(G∗) − M2(G) > 0, a contradiction to the

choice of G.

Case 3. The internal path P is of length at least 2; see Fig. 5.In this case, let P = t1t2 · · · tl−1tl (l ≥ 3). Then we assume that V (Ka1) = {v1, . . . ,

va1−1, t1}, V (Ka2) = {u1, . . . , ua2−1, tl}. Set

G∗ = G − {t1v1, . . . , t1va1−1, tlu1, . . . , tlua2−1} + {vtl}+ {v1u1, . . . , v1ua2−1, . . . , va1−1u1, . . . , va1−1ua2−1}.

Then, G∗ ∈ Gn,k ; see Fig. 5. And dG∗(vi) = dG(vi) + a2 − 2, where i = 1, . . . , a1 − 1.dG∗(uj ) = dG(uj ) + a1 − 2, where j = 1, . . . , a2 − 1. dG∗(t1) = 1, dG∗(tl) = 2, dG∗(v) = 2.Then

M1(G∗) − M1(G) =

a1−1∑

i=1

(dG(vi) + a2 − 2)2 + 22 + 12 +a2−1∑

j=1

(dG(uj ) + a1 − 2)2 + 22

−(

a1−1∑

i=1

d2G(vi) + t2

1 + t2l +

a2−1∑

j=1

d2G(uj ) + d2

G(v)

)

Page 11: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

On the Maximum Zagreb Indices of Graphs with k Cut Vertices 103

Fig. 5 G ⇒ G∗

= 2(a2 − 2)

a1−1∑

i=1

d2G(vi) + (a2 − 2)2(a1 − 1) + 2(a1 − 2)

a2−1∑

j=1

d2G(uj )

+ (a1 − 2)2(a2 − 1) + 8 − a21 − a2

2

≥ 2(a2 − 2)(a1 − 1)2 + (a2 − 2)2(a1 − 1) + 2(a1 − 2)(a2 − 1)2

+ (a1 − 2)2(a2 − 1) + 8 − a21 − a2

2

= (a2 − 3)[3a1(a1 − 3) + 3a2(a1 − 2) + 2a1] + 3a1(a1 − 3)

+ 6(a1 − 2) + 4 > 0.

When |E(P1)| = 1, we have

M2(G∗) − M2(G)

= (a2 − 2)

a1−1∑

i=1

Ai + 1

2

[(a1 − 2)(a2 − 2)

a1−1∑

i=1

dG(vi) + (a1 − 1)(a1 − 2)(a2 − 2)2

]

+ (a1 − 2)

a2−1∑

j=2

Bj + 1

2

[(a1 − 2)(a2 − 2)

a2−1∑

j=1

dG(uj ) + (a1 − 2)2(a2 − 1)(a2 − 2)

]

+ 2(dG(u1) + a1 − 2) − dG(u1) + 10 − a1

a1−1∑

i=1

dG(vi) − 2a1 − 2a2 − a2

a2−1∑

j=1

dG(uj )

+[

a1−1∑

i=1

dG(vi) + (a1 − 1)(a2 − 2)

][a2−1∑

j=1

dG(uj ) + (a1 − 2)(a2 − 1)

]

>

(a1−1∑

i=1

dG(vi) − 2

)(a2−1∑

j=1

dG(uj ) − 2

)+ (a1 − 2)(a2 − 2)

(a1−1∑

i=1

dG(vi) +a2−1∑

j=1

dG(uj )

)

+ (a2 − 2)[(a1 − 1)(a1 − 2)(a2 − 1) − 1] > 0.

Page 12: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

104 Q. Zhao, S. Li

Similarly, when |E(P1)| ≥ 2, we also have M2(G∗) − M2(G) > 0, a contradiction to the

choice of G. �

Fact 2 Let Ka be the only clique such that a ≥ 3, then a = n − k.

Proof By Lemma 3.2 and Fact 1, we have that there are k + 1 cliques and k of them areisomorphic to K2. Since there are k cut vertices, and each one belongs to two cliques, thenwe have 2k + a − k = n. Hence, a = n − k, as desired. �

By Facts 1 and 2, we have G ∈ G∗n,k . By Lemma 3.4, we have Mi(G) ≤ Mi(G

j

n,k), i =1,2, j ∈ {1,2,3}, with the equalities holding if and only if G ∼= G

j

n,k .This completes the proof of Theorem 3.5. �

4 Conclusion and Remarks

In view of Theorem 3.5, we can obtain the sharp up bounds on the first and the secondZagreb indices of n-vertex connected graph with k cut vertices, respectively. In fact, by anelementary calculation, we get

M1(G) ={

(n − 2k)(n − k − 1)2 + k(n − k)2 + k, if G ∼= G1n,k;

(n − k)3 + 7k − 3n, if G ∼= G2n,k or G ∈ H ′

n,k,

and

M2(G)

=⎧⎪⎨

⎪⎩

(k2)(n − k)2 + (n−2k

2)(n − k − 1)2 + k(n − k)[(n − 2k)(n − k − 1) + 1], if G ∼= G1

n,k;

(n−k2

)(n − k)2 + k(n − k) + 2(2k − n), if G ∼= G2

n,k;

(n−k2

)(n − k)2 + 2(n − k)2 + 2(5k − 3n), if G ∈ H ′

n,k.

Therefore, by Theorem 3.5, we obtain the following results.

Theorem 4.1 Let G ∈ Gn,k .

(i) If 0 < k ≤ n2 , then M1(G) ≤ (n − 2k)(n − k − 1)2 + k(n − k)2 + k, the equality holds if

and only if G ∼= G1n,k .

(ii) If n2 < k ≤ n − 3, then M1(G) ≤ (n − k)3 + 7k − 3n, the equality holds if and only if

G ∼= G2n,k or G ∈ H ′

n,k .

Theorem 4.2 Let G ∈ Gn,k .

(i) If 0 < k ≤ n2 , then M2(G) ≤ (

k

2

)(n − k)2 + (

n−2k

2

)(n − k − 1)2 + k(n − k)[(n − 2k)(n −

k − 1) + 1], the equality holds if and only if G ∼= G1n,k .

(ii) If n2 < k ≤ 2n

3 , then M2(G) ≤ (n−k

2

)(n − k)2 + k(n − k) + 2(2k − n), the equality holds

if and only if G ∼= G2n,k .

(iii) If 2n3 < k ≤ n − 3, then M2(G) ≤ (

n−k

2

)(n − k)2 + 2(n − k)2 + 2(5k − 3n), the equality

holds if and only if G ∈ H ′n,k .

Page 13: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

On the Maximum Zagreb Indices of Graphs with k Cut Vertices 105

In this paper, we determine the sharp upper bounds, respectively, for the first and the sec-ond Zagreb index of n-vertex connected graphs with k cut-vertices. It is natural to considerthe following research problem.

Problem 4.3 How can we determine the lower bound for the first and the second Zagrebindices of n-vertex connected graphs with k cut-vertices? What is the characterization of thecorresponding extremal graphs?

Acknowledgements The authors would like to express their sincere gratitude to the referees for a verycareful reading of the paper and for all their insightful comments and valuable suggestions, which make anumber of improvements on this paper.

References

1. Aouchiche, M., Bonnefoy, J.M., Fidahoussen, A., Caporossi, G., Hansen, P., Hiesse, L., Lacheré, J.,Monhait, A.: Variable neighborhood search for extremal graphs. 14. The AutoGraphix 2 system. In:Liberti, L., Maculan, N. (eds.) Global Optimization: From Theory to Implementation. Springer, Berlin(2005)

2. Balaban, A.T., Motoc, I., Bonchev, D., Mekenyan, O.: Topological indices for structure-activity correla-tions. Top. Curr. Chem. 114, 21–55 (1983)

3. Balakrishnan, R., Sridharan, N., Viswanathan Iyer, K.: Wiener index of graphs with more than one cut-vertex. Appl. Math. Lett. 21, 922–927 (2008)

4. Basak, S.C., Grunwald, G.D., Niemi, G.J.: Use of graph-theoretic geometric molecular descriptors instructure-activity relationships. In: Balaban, A.T. (ed.) From Chemical Topology to Three-DimensionalGeometry, pp. 73–116. Plenum Press, New York (1997)

5. Basak, S.C., Gute, B.D., Grunwald, G.D.: A hierarchical approach to the development of QSAR modelsusing topological, geometrical and quantum chemical parameters. In: Devillers, J., Balaban, A.T. (eds.)Topological Indices and Related Descriptors in QSAR and QSPR, pp. 675–696. Gordon & Breach,Amsterdam (1999)

6. Berman, A., Zhang, X.: On the spectral radius of graphs with cut vertices. J. Comb. Theory Ser. B 83(2),233–240 (2001)

7. Bollobás, B.: Modern Graph Theory. Springer, Berlin (1998)8. Bollobás, B., Erdös, P.: Graphs of extremal weights. Ars Comb. 50, 225–233 (1998)9. Bollobás, B., Erdös, P., Sarkar, A.: Extremal graphs for weights. Discrete Math. 200, 5–19 (1999)

10. Bondy, J.A., Murty, U.S.: Graph Theory and its Applications. The Macmillan Press, London (1976)11. Braun, J., Kerber, A., Meringer, M., Rücker, C.: Similarity of molecular descriptors: the equivalence of

Zagreb indices and walk counts. MATCH Commun. Math. Comput. Chem. 54, 163–176 (2005)12. de Caen, D.: An upper bound on the sum of squares of degrees in a graph. Discrete Math. 185, 245–248

(1998)13. Chen, S., Deng, H.: Extremal (n,n + 1)-graphs with respected to zeroth-order general Randic index.

J. Math. Chem. 42, 555–564 (2007)14. Cioabas, S.M.: Sum of powers of the degrees of a graph. Discrete Math. 306, 1959–1964 (2006)15. Vukicevic, D., Rajtmajer, S.M., Trinajstic, N.: Trees with maximal second Zagreb index and prescribed

number of vertices of the given degree. MATCH Commun. Math. Comput. Chem. 60, 65–70 (2008)16. Das, K.: Maximizing the sum of the squares of degrees of a graph. Discrete Math. 257, 57–66 (2004)17. Das, K., Gutman, I.: Some properties of the second Zagreb index. MATCH Commun. Math. Comput.

Chem. 52, 103–112 (2004)18. Deng, H.: A unified approach to the extremal Zagreb indices for trees, unicyclic graphs and bicyclic

graphs. MATCH Commun. Math. Comput. Chem. 57, 597–616 (2007)19. Feng, Y., Hu, X., Li, S.: On the extremal Zagreb indices of graphs with cut edges. Acta Appl. Math.

(2009). doi:10.1007/s10440-009-9467-820. Garcia-Domenech, R., Galvez, J., de Julian-Ortiz, J.V., Pogliani, L.: Some new trends in chemical graph

theory. Chem. Rev. 108, 1127–1169 (2008)21. Gutman, I.: Chemical graph theory—The mathematical connection. In: Sabin, J.R., Brädas, E.J. (eds.)

Advances in Quantum Chemistry, vol. 51, pp. 125–138. Elsevier, Amsterdam (2006)

Page 14: On the Maximum Zagreb Indices of Graphs with Cut …math.sjtu.edu.cn/faculty/xiaodong/paper/2003/LAMA51-393...96 Q.Zhao,S.Li 3TheGraphsinG n,k with the Maximum Zagreb Indices In this

106 Q. Zhao, S. Li

22. Gutman, I., Furtula, B. (eds.): Recent Results in the Theory of Randic Index. University of Kragujevac,Kragujevac (2008)

23. Gutman, I., Trinajstic, N.: Graph theory and molecular orbitals. Total π -electron energy of alternanthydrocarbons. Chem. Phys. Lett. 17, 535–538 (1972)

24. Gutman, I., Rušcic, B., Trinajstic, N., Wilcox, C.F.: Graph theory and molecular orbitals. XII. Acyclicpolyenes. J. Chem. Phys. 62, 3399–3405 (1975)

25. Gutman, I., Furtula, B., Toropov, A., Toropova, P.: The graph of atomic orbitals and its basic properties.II. Zagreb indices. MATCH Commun. Math. Comput. Chem. 53, 225–230 (2005)

26. Gutman, I., Vidovic, D.: Two early branching indices and the relation between them. Theor. Chem. Acc.108, 98–102 (2002)

27. Gutman, I., Das, K.: The first Zagreb index 30 years after. MATCH Commun. Math. Comput. Chem. 50,83–92 (2004)

28. Hwang, S., Zhang, X.: Permanents of graphs with cut vertices. Linear Multilinear Algebra 51(4), 393–404 (2003)

29. Ismailescu, D., Stefanica, D.: Minimizer graphs for a class of extremal problems. J. Graph Theory 39,230–240 (2002)

30. Jiang, Y., Lu, M.: On the connectivity index of trees. J. Math. Chem. 43, 955–965 (2008)31. Jin, Y., Tazawa, S., Shirakura, T.: Enumeration of connected graphs with cut vertices. Experimental

design and related combinatorics. J. Stat. Plan. Inference 106(1–2), 409–418 (2002)32. Kier, L.B., Hall, L.H.: Molecular Connectivity in Chemistry and Drug Research. Academic Press, New

York (1976)33. Kier, L.B., Hall, L.H.: Molecular Connectivity in Structure-Activity Analysis. Research Studies

Press/Wiley, Letchworth/New York (1986)34. Kier, L.B., Hall, L.H., OMurray, W.J., Randic, M.: Molecular-connectivity I: Relationship to nonspecific

local anesthesia. J. Pharm. Sci. 64, 1971–1974 (1975)35. Li, S., Zhao, Q.: On acyclic and unicyclic conjugated graphs with maximum Zagreb indices. Util. Math.

(2009, accepted)36. Li, X., Gutman, I.: Mathematical Aspects of Randic-Type Molecular Structure Descriptors. University

of Kragujevac, Kragujevac (2006)37. Li, X., Shi, Y.: A survey on the Randic index. MATCH Commun. Math. Comput. Chem. 59, 127–156

(2008)38. Liu, B.: Some estimations of Zagreb indices. Util. Math. 74, 239–245 (2007)39. Liu, B., Gutman, I.: Upper bounds for Zagreb indices of connected graphs. MATCH Commun. Math.

Comput. Chem. 55, 439–446 (2006)40. Liu, H., Lu, M., Tian, F.: Tree of extremal connectivity index. Discrete Appl. Math. 154, 106–119 (2006)41. Molitierno, J.J.: The spectral radius of submatrices of Laplacian matrices for graphs with cut vertices.

Linear Algebra Appl. 428(8–9), 1987–1999 (2008)42. Nikolic, S., Trinajstic, N., Baucic, I.: Comparison between the vertex- and edge-connectivity indices for

benzenoid hydrocarbons. J. Chem. Inf. Comput. Sci. 38, 42–46 (1998)43. Nikolic, S., Kovacevic, G., Milicevic, A., Trinajstic, N.: The Zagreb indices 30 years after. Croat. Chem.

Acta 76, 113–124 (2003)44. Peled, U.N., Petreschi, R., Sterbini, A.: (n, e)-graphs with maximum sum of squares of degrees. J. Graph

Theory 31, 283–295 (1999)45. Pepper, R., Klein, D.J.: Some theorems about the Randic connectivity index. MATCH Commun. Math.

Comput. Chem. 58, 359–364 (2007)46. Pogliani, L.: From molecular connectivity indices to semiempirical connectivity terms: Recent trends in

graph theoretical descriptors. Chem. Rev. 100, 3827–3858 (2000)47. Rada, J., Uzcátegui, C.: Randic ordering of chemical trees. Discrete Appl. Math. 150, 232–250 (2005)48. Randic, M.: On characterization of molecular branching. J. Am. Chem. Soc. 97, 6609–6615 (1975)49. Randic, M.: On history of the Randic index and emerging hostility toward chemical graph theory.

MATCH Commun. Math. Comput. Chem. 59, 5–124 (2008)50. Randic, M.: The connectivity index 25 years after. J. Mol. Graph. Model. 20, 19–35 (2001)51. Sun, L., Chen, R.: The second Zagreb index of acyclic conjugated molecules. MATCH Commun. Math.

Comput. Chem. 60, 57–64 (2008)52. Todeschini, R., Consonni, V.: Handbook of Molecular Descriptors. Wiley-VCH, Weinheim (2000)53. Trinajstic, N.: Chemical Graph Theory. CRC Press, Boca Raton (1992)54. Wong, P.K.: On the closure of a graph with cut vertices. Ars Comb. 35, 253–256 (1993)55. Yan, Z., Liu, H., Liu, H.: Sharp bounds for the second Zagreb index of unicyclic graphs. J. Math. Chem.

42, 565–574 (2007)56. Zhou, B., Gutman, I.: Further properties of Zagreb indices. MATCH Commun. Math. Comput. Chem.

54, 233–239 (2005)57. Zhou, B.: Zagreb indices. MATCH Commun. Math. Comput. Chem. 52, 113–118 (2004)


Recommended