arxiv: v1 [math.co] 28 Nov 2018

Transcription

1 Extremizing the number of connected subgraphs of graphs Dinesh Pandey Kamal Lochan Patra arxiv: v1 [mathco] 8 Nov 018 Abstract For a graph G, F(G) denotes the number of connected subgraphs of G We call it as the core index of G In this paper, we characterize the graphs which extremizes the core index among all graphs on n vertices, among all unicyclic graphs on n vertices, among all unicyclic graphs with fixed girth and among all connected graphs on n vertices with fixed number of pendant vertices Keywords: Tree; Unicyclic graph; Girth; Subtree core; Wiener index AMS subject classifications 05C05; 05C07; 05C30; 05C35 1 Introduction Throughout this paper, graphs are finite, simple and undirected Let G be a connected graph with vertex set V = V(G) and edge set E = E(G) We denote by d(v) the degree of a vertex v V A tree is a connected acyclic graph A binary tree is a tree T such that every vertex of T has degree 1 or 3 A vertex of degree one is called a pendant vertex of G(it is referred as a leaf if G is a tree) For u,v V, the distance between u and v in G, denoted by d G (u,v), is the number of edges on the shortest path connecting u and v For v V, the distance of v, denoted by d G (v), is defined as d G (v) = d G (v,u) u V The Wiener index of G, denoted by W(G), is defined as the sum of distances of all unordered pairs of vertices of G So, W(G) = 1 d G (v) v V Let N be the set of natural numbers For a given connected graph G, let f G : V N be the function defined by v f G (v), where f G (v) is the number of connected subgraphs of G containing v The core of G, denoted by C(G), is defined as the set of vertices maximizing f G (v) The concept of core of a graph is first defined by Szekely and Wang in [] for trees only They called it as subtree core and proved some interesting results on C(G), when G is a tree For a tree T, they proved that the function f T is strictly concave in the following sense(see the proof of Theorem 91 of []) Lemma 11 [] If u,v,w are three vertices of a tree T with {u,v},{v,w} E(T), then f T (v) f T (u) f T (w) > 0 Using Lemma 11, Szekely and Wang proved the following result([, Theorem 91]) Theorem 1 ([],Theorem 91) The core of a tree consists of either one vertex or two adjacent vertices We denote the number of connected subgraphs of G by F(G) For a disconnected graph H with connected components H 1,H,,H k, we have F(H) = k F(H i ) In [], the authors have first proved some extremization(both minimization and maximization) results on the number of subtrees of trees Following is the first result in this regard 1

2 Theorem 13 ([], Theorem 31) Among all trees on n vertices, The number of subtrees is maximized by the star K 1,n 1 and minimized by the path P n Moreover, if T is a tree on n vertices then ( n+1) F(T) n 1 + n 1 with left and right equalities happen for P n and K 1,n 1, respectively Since then a lot has been studied for the number of subtrees of trees(see [3, 4, 5, 7, 8, 9, 10, 11, 13, 14]) It is also observed that there is a reverse correlation between number of subtrees and Wiener index of trees Based on that, for any graph G, we call the number F(G) as the core index of G The problem of studying the core index of trees has received much attention Many results have been obtained so far related to the core index of trees Following are some extremization results associated with core index of trees Szekely and Wang in [], obtained the extremal tree which minimizes the core index among all binary trees with k leaves The extremal tree which maximizes the core index among all binary trees with k leaves is obtained in [4] The extemization results on the core index of trees with a given degree sequence are studied in [9] and [11] In [9], the authors have also obtained the extremal trees which maximizes the core index among all trees on n vertices with fixed independence number(matching number) Yan and Yeh in [3], obtained the extremal tree which minimizes the core index among all trees on n vertices with fixed maximal degree The extremal tree which maximizes the core index among all trees on n vertices with fixed maximal degree is determined by Kirk and Wang in [5] In [3] and [14], the authors have studied the core index of trees on n vertices with fixed diameter Some more extremization results on the core index of trees by fixing different graph theoretic constraints are obtained by Li and Wang in [8] In this article we concentrate on the core index of arbitrary graphs In Section, we study the extremization of the core index of graphs on n vertices In Section 3, we examine the effect on the core index of graphs obtained by different graph perturbations In Section 4, the core index of unicyclic graphs are studied In the last Section, we discuss about the core index of connected graphs on n vertices with k pendant vertices Graphs on n vertices The main goal of this section is to extremize the core index among all graphs on n vertices Let h k be the number of connected graphs on k vertices Then h k can be obtained by the recurrence ( relation k (k ) = k i) ihi (k i ) (see Theorem 3101 of [1]) So, h1 = 1,h = 1,h 3 = 4, and i the sequence h k, k is strictly incresing Theorem 1 Among all connected graphs on n vertices, the core index is maximized by the complete graph K n and minimized by the path P n Moreover, if G is a connected graph on n vertices then ( n+1) n ) F(G) M, where M = hi Proof Let G be a connected graph on n vertices If G is not complete then G is a proper subgraph of K n So, F(G) < F(K n ) If G is not a tree then G contains atleast one cycle Delete edges from cycles of G so that it becomes a tree, say T So T is a proper subgraph of G and hence F(T) < F(G) But by Theorem 13, F(P n ) F(T) with equality happens if T is a path and also F(P n ) = ( ) n+1 For 1 i n, let S i be the set of all connected subgraphs of K n on i vertices Then S i = ( ) n i hi So, F(K n ) = n ) hi This completes the proof ( n i Let G be a graph with n vertices Let u and v be two non-adjacent vertices of G If G = G {u,v} then F(G) < F(G ) This leads to the following: among all graphs on n vertices, the ( n i

3 complete graphk n maximizes thecoreindexandthegraphk n (thecompliment ofk n ) minmizes the core index Furthermore, if G is a graph on n vertices, then n F(G) M = n ) hi We now consider the problem of extremizing the core index of graphs on n vertices with k connected components Let G 1 and G be two graphs with disjoint vertex set V 1 and V and edge set E 1 and E respectively The union G 1 G is the graph with vertex set V 1 V and edge set E 1 E We denote the union of k copies of the graph G by kg Lemma For l m, F(K l K m ) < F(K l 1 K m+1 ) Proof We denote the number of r permutations of n elements by P(n,r) By the definition of core index, F(K l K m ) = F(K l )+F(K m ) and by Theorem 1, F(K l ) = l l ( i) hi, where h i is the number of connected graphs on i vertices Then F(K l 1 K m+1 ) F(K l K m ) = F(K l 1 )+F(K m+1 ) F(K l ) F(K m ) l 1 ( ) m+1 l 1 ( ) m+1 l ( ) l m ( ) m = h i + h i h i h i i i i i m (( ) ( )) m+1 m l 1 (( ) ( )) l 1 l = h i + h i +(h m+1 h l ) i i i i m ( ) i m l 1 ( ) i l 1 > h i h i m i+1 i l i i = > m l 1 > 0 1 (i 1)! P(m,i 1)h l 1 1 i (i 1)! P(l 1,i 1)h i 1 (i 1)! (P(m,i 1) P(l 1,i 1))h i ( n i Theorem 3 Let G be a graph on n vertices with k connected components Then n k+1 ( ) n k +1 F(G) (k 1)+ h i i and the equality happens if and only if G = (k 1)K 1 K n k+1 Proof Let G 1,G,,G k be the k components of G with V(G i ) = l i for i = 1,,k Then by Theorem 1, F(G) = F(G 1 G k ) F(K l1 K lk ) and the equlity happens if and only if G i = K i ; 1 i k Now the proof follows from Lemma Lemma 4 For l m, F(P l P m ) < F(P l 1 P m+1 ) Proof By Thorem 13, F(P m ) = m(m+1) So We have F(P l 1 P m+1 ) F(P l P m ) = F(P l 1 )+F(P m+1 ) F(P l ) F(P m ) (l 1)l = + (m+1)(m+) = m+1 l > 0 l(l+1) m(m+1) 3

4 Theorem 5 For positive integers n and k, let n = kq +r where q,r Z and 0 r < k also let G be a graph on n vertices with k connected components Then F(G) r(q +1)+ kq(q +1) and the equality happens if and only if G = rp q+1 (k r)p q Proof Let G 1,G,,G k be the k components of G with V(G i ) = l i for i = 1,,k Then by Theorem 1, F(G) = F(G 1 G k ) F(P l1 P lk ) and the equality happens if and only if G i = P li, 1 i k By Lemma 4, F(G) F(rP q+1 (k r)p q ) and the equality happens if and only if G = rp q+1 (k r)p q Also we have F(rP q+1 (k r)p q ) = r (q+)(q+1) +(k r) q(q+1) = r(q +1)+ kq(q+1) This completes the proof Thorem 5 also proves that among all acyclic graphs on n vertices with k components, the core index is minimized by the graph rp q+1 (k r)p q Next we will prove the maximization case for the acyclic graphs Lemma 6 For l m, F(K 1,l 1 K 1,m+1 ) > F(K 1,l K 1,m ) Proof By Thorem 13, F(K 1,m 1 ) = m 1 +m 1 So We have F(K 1,l 1 K 1,m+1 ) F(K 1,l K 1,m ) = F(K 1,l 1 )+F(K 1,m+1 ) F(K 1,l ) F(K 1,m ) = l 1 +l 1+ m+1 +m+1 l l m m = m l 1 > 0 Theorem 7 Let G be a acyclic graph on n vertices with k connected components Then F(G) n k +n 1 and the equality happens if and only if G = (k 1)K 1 K 1,n k Proof Let G 1,G,,G k be the k components of G with V(G i ) = l i for i = 1,,k Then by Theorem 13, F(G) = F(G 1 G k ) F(K 1,l1 1 K 1,lk 1) and the equality happens if and only if G i = K 1,li 1; 1 i k By Lemma 6, F(G) F((k 1)K 1 K 1,n k ) and the equality happens if and only if G = (k 1)K 1 K 1,n k Also we have F((k 1)K 1 K 1,n k ) = k 1+ n k +n k = n k +n 1 This completes the proof 3 Effect on the core index by some graph perturbations In this section, we will prove some lemmas which are very useful in proving the main results of this paper Let G be a graph and let v 1,v,,v k V(G) We denote by f G (v 1,v,,v k ) the number of connected subgraphs of G containing v 1,v,,v k 4

5 Lemma 31 Let G be a connected graph and let {u,v} be a bridge in G such that neither u nor v be a pendent vertex Let G be the graph obtained from G by identifying the vertices u and v and adding a pendent vertex y at the identified vertex of G Then F(G ) > F(G) Proof Let G 1 and G be two subgraphs of G containing u and v respectively, after deleting the edge {u,v} from G Let w be the vertex in G obtained from identifying the vertices u and v(see Figure 1) y G 1 u v G G 1 w G Figure 1: Identifying two vertices and adding a pendant vertex there and Then we have, F(G) = F(G 1 )+F(G )+f G1 (u)f G (v) F(G ) = F(G 1 )+F(G ) 1+(f G1 (w) 1)(f G (w) 1) +1+(f G1 (w) 1)(f G (w) 1)+f G1 (w)+f G (w) 1 = F(G 1 )+F(G )+f G1 (w)f G (w) f G1 (w) f G (w)+1 Here F(G 1 )+F(G ) 1+(f G1 (w) 1)(f G (w) 1) counts thenumberof connected subgraphs of G not containing y and 1+(f G1 (w) 1)(f G (w) 1)+f G1 (w)+f G (w) 1 counts the number of connected subgraphs of G containing y As f G1 (u) = f G1 (w) and f G (v) = f G (w), so F(G ) F(G) = f G1 (w)f G (w) f G1 (w) f G (w)+1 = (f G1 (w) 1)(f G (w) 1) > 0 This complets the proof Corollary 3 Among all trees on n vertices, the star K 1,n 1 has the maximum core index y x G 1 u v G G 1 w G Figure : Identifying two vertices and adding a pendant vertex Lemma 33 Let G be a connected graph and let {u,v} be a bridge in G Let G 1 and G be two components of G {u,v} containing u and v, respectively Let f G1 (u) f G (v) and let x V(G 1 ) such that f G1 (x,u) Construct a graph G from G by identifying the vertices u and v and adding a pendent vertex y at x Then F(G ) > F(G) 5

6 Proof Let w be the vertex in G obtained by identifying the vertices u and v of G (see Figure ) Then we have F(G) = F(G 1 )+F(G )+f G1 (u)f G (v) and F(G ) = F(G 1 )+F(G ) 1+(f G1 (w) 1)(f G (w) 1)+1+f G1 (x)+f G1 (x,w)(f G (w) 1) Here F(G 1 )+F(G ) 1+(f G1 (w) 1)(f G (w) 1) counts the number of connected subgraphs of G not containing y and 1+f G1 (x)+f G1 (x,w)(f G (w) 1) counts the number of connected subgraphs of G containing y As f G1 (x,w), we have F(G ) F(G 1 )+F(G )+(f G1 (w) 1)(f G (w) 1)+f G1 (x)+(f G (w) 1) = F(G 1 )+F(G )+f G1 (w)f G (w) f G1 (w) f G (w)+f G1 (x)+f G (w) 1 Since f G1 (u) = f G1 (w), f G (v) = f G (w) and f G1 (u) f G (v), so we have F(G ) F(G) f G (w)+f G1 (x) f G1 (w) f G (w) 1 = f G (w) f G1 (w)+f G1 (x) 1 > 0, as f G1 (x) f G1 (x,w) This completes the proof v k v k 1 v 1 v G v k 1 v k v 1 u 1 u u l 1 u l u 1 u u l 1 u l v k v G G k,l Gk,l G k 1,l+1 Figure 3: Grafting an edge Let G be a connected graph on n vertices Let v be a vertex of G For l,k 1, let G k,l be the graph obtained from G by attaching two new paths P : vv 1 v v k and Q : vu 1 u u l of lengths k and l, respectively at v, where u 1,u,,u l and v 1,v,,v k are distinct new vertices Let G k,l be the graph obtained by removing the edge {v k 1,v k } and adding the edge {u l,v k } (see Figure 3) Observe that the graph G k,l is isomorphic to the graph G k 1,l+1 We say that G k,l is obtained from G k,l by grafting an edge We denote by P n the path on the n vertices v 1,v,,v n, where v 1 and v n are pendant vertices, and for i =,3,,n 1, vertex v i is adjacent to vertices v i 1 and v i+1 Then for 1 i n, f Pn (v i ) = i(n+1 i) The next lemma compares the core index of G k,l and G k 1,l+1 Lemma 34 Let G be a connected graph on n vertices and v V(G) Let G k,l be the graph as defined above If 1 k l then F(G k 1,l+1 ) < F(G k,l ) Proof Let P =: vv 1 v v k and Q =: vu 1 u u l be two paths of length k and l, 1 k l, respectively, attached at the vertex v of G Then S =: v k v 1 vu 1 u l is a path in G k,l and S =: v k 1 v 1 vu 1 u l v k is a path in G k 1,l+1 In G k,l, v is the only common vertex between 6

7 G and the path S and in G k 1,l+1 also v is the only common vertex between G and the path S Then we have and F(G k,l ) = F(G)+F(S) 1+(f G (v) 1)(f S (v) 1) F(G k 1,l+1 ) = F(G)+F(S ) 1+(f G (v) 1)(f S (v) 1) Both S and S are path on l+k+1 vertices So, F(S) = F(S ), and f S (v) = (k +1)(l +1) and f S (v) = k(l +) This completes the proof F(G k,l ) F(G k 1,l+1 ) = (f G (v) 1)(f S (v) f S (v)) = (f G (v) 1)((k +1)(l +1) k(l +)) = (f G (v) 1)(l k+1) > 0, as l k and V(G) Corollary 35 Among all trees on n vertices, the path P n has the minimum core index We denote by K 1,n 1 the star on the n vertices v 1,v,,v n, where v 1,v,,v n 1 are pendant vertices Then for 1 i n 1, f K1,n 1 (v i ) = 1+ n and f K1,n 1 (v n ) = n 1 Lemma 36 Let G be a connected graph on n vertices and let u,v V(G) For n 1,n 0, let G uv (n 1,n ) be the graph obtained from G by attaching n 1 pendant vertices at u and n pendant vertices at v Let f G (u) f G (v) If n 1,n 1, then F(G uv (n 1 +n,0)) > F(G uv (n 1,n ) Proof Let S 1 be the star in G uv (n 1 +n,0) on n 1 +n +1 vertices with u is the only common vertex between S 1 and G (see Figure 4) Then F(G uv (n 1 +n,0)) = F(G)+F(S 1 ) 1+(f G (u) 1)(f S1 (u) 1) n 1 n 1 +n u G v n u G v Figure 4: The graphs G uv (n 1,n ) and G uv (n 1 +n,0) Let S bethe star in G uv (n 1,n ) on n 1 +1 vertices with u is the only common vertex between S and G (see Figure 4) and let S 3 be the star in G uv (n 1,n ) on n +1 vertices with v is the only common vertex between S 3 and G Then F(G uv (n 1,n )) = F(G)+F(S )+F(S 3 ) +(f G (u) 1)(f S (u) 1) +(f G (v) 1)(f S3 (v) 1)+f G (u,v)(f S (u) 1)(f S3 (v) 1) Since f G (u) f G (v), so f G (u) 1 f G (v) 1 and f G (u) 1 f G (u,v) Also F(S 1 ) F(S ) F(S 3 )+1 = ( n 1+n +n 1 +n ) ( n 1 +n 1 ) ( n +n )+1 > 0 7

8 and So, we have f S1 (u) f S (u)f S3 (v) = n 1+n n 1 n = 0 F(G uv (n 1 +n,0)) F(G uv (n 1,n )) = F(S 1 ) F(S ) F(S 3 )+1+(f G (u) 1)(f S1 (u) 1) (f G (u) 1)(f S (u) 1) (f G (v) 1)(f S3 (v) 1) f G (u,v)(f S (u) 1)(f S3 (v) 1) > (f G (u) 1)(f S1 (u) f S (u)f S3 (v)) = 0 This completes the proof Lemma 37 Let G be a connected graph on n 3 vertices Let u,v V(G) such that f G (u,v) For l,k 1, let G p uv(l,k) be the graph obtained from G by identifying a pendant vertex of the path P l with u and identifying a pendant vertex of the path P k with v Let f G (u) f G (v) If l,k, then F(G p uv (l+k 1,1)) < F(Gp uv (l,k)) P l P l+k 1 u G v P k u G Figure 5: The graphs G p uv(l,k) and G p uv(l +k 1,1) Proof We have F(G p uv(l,k)) = F(G)+F(P l )+F(P k ) +(f G (u) 1)(f Pl (u) 1) +(f G (v) 1)(f Pk (v) 1)+f G (u,v)(f Pl (u) 1)(f Pk (v) 1) F(G p uv(l +k 1,1)) = F(G)+F(P l+k 1 ) 1+(f G (u) 1)(f Pl+k 1 (u) 1) and the difference F(G p uv(l,k)) F(G p uv(l+k 1,1)) F(P l )+F(P k ) F(P l+k 1 ) 1 +(f G (u) 1)(f Pl (u) 1+f Pk (v) 1 f Pl+k 1 (u)+1) +f G (u,v)(f Pl (u)f Pk (v) f Pl (u) f Pk (v)+1) = l+k lk 1+f G (u,v)(lk l k+1) = (f G (u,v) 1)(lk l k+1) > 0, as l,k and f G (u,v) This completes the proof 8

9 4 Unicyclic graphs We denote the cycle on n vertices by C n The girth of a graph G is the length of a shortest cycle in G A connected graph on n vertices with n edges is called unicyclic For n 3, we denote by U n the set of all unicyclic graphs on n vertices and by U n,g the set of all unicyclic graphs on n vertices with girth g Clearly 3 g n and U n,g U n If g = n then C n is the only element of U n,n The next lemma gives the value of the core index of C n Lemma 41 Let n 3 and let v V(C n ) Then F(C n ) = n +1 and f Cn (v) = n+ ( n 1 Proof LetV(C n ) = {v = v 1,v,,v n }andc n =: v 1 v v n v 1 Thesingleverticesv 1,v,,v n are n connected subgraphs of C n The cycle C n itself is one connected subgraph of C n Any other connected subgraph of C n is a path having the end vertices from v 1,v,,v n If we chose any two vertices v i,v j from v 1,v,,v n, it corresponds two paths, one in clockwise direction from v i to v j and other in anticlockwise direction from v i to v j So the number of such paths are ( n ) Thus we have ( ) n F(C n ) = n+1+ = n +1 For 1 i < j n, f Cn (v i ) = f Cn (v j ) The single vertex v 1 is a connected subgraph of C n containing v 1 The cycle C n is also a connected subgraph of C n containing v 1 All other connected subgraphs of C n containing v 1 are paths with at least two vertices The number of paths in C n containing v 1 as a pendant vertex is (n 1) and the number of paths in C n containing v 1 as non-pendant vertex is ( ) n 1 Thus fcn (v 1 ) = n+ ( ) n 1 n g vertices {}}{ ) g-cycle Figure 6: The pineapple graph U p n,g For 3 g < n, U n,g (T 1,T,,T g ) denotes the unicyclic graph on n vertices containing the cycle C g =: 1 g1 and trees T 1,T,,T g, where T i is a tree on n i +1 vertices containing the onlyvertex iofc g fori = 1,,,g withg+ n i = n Thenclearly, U n,g (T 1,T,,T g ) U n,g If T i is a star on n g +1 vertices for some i = 1,,,g, then we call U n,g (T 1,T,,T g ) a pineapple graph and denote it by U p n,g(see Figure 6) n g vertices { }} { g-cycle Figure 7: The lollipop U l n,g If T i is a path on n g+1 vertices with i as one of its pendant vertex for some i = 1,,,g, then we call U n,g (T 1,T,,T g ) a lollipop graph graph and denote it as Un,g l (see Figure 7) 9

10 Lemma 4 Let U n,g (T 1,T,,T g ) be a unicyclic graph defined as above Then F(U n,g (P n1 +1,,P ng+1)) F(U n,g (T 1,,T g )) F(U n,g (K 1,n1,,K 1,ng )) where K 1,ni is the star on n i +1 vertices with center at i and P ni +1 is the path with i as one of its pendant vertex Proof Consider the unicyclic graph U n,g (T 1,T,,T g ) Suppose T i is not star with center at i Thentheverteximustbeadjacenttoavertex, sayv oft i ofdegreeatleastidentifythevertices i and v and add a pendant vertex at i Continue this operation till T i becomes K 1,ni with center at i, for i = {1,,,g} By Lemma 31, in each step the core index will increase At last we get the unicyclic graph U n,g (K 1,n1,,K 1,ng ) So, F(U n,g (T 1,,T g )) F(U n,g (K 1,n1,,K 1,ng )) and the equality happens if and only if U n,g (T 1,,T g ) = U n,g (K 1,n1,,K 1,ng ) To prove other inequality, suppose T k is not a path with k as one of its pendant vertex Then by using the grafting of edge operation, we can make T k a path with k as one of its pendant vertex By Lemma 34, in each step of this, the core index will decrease Atlast we get the unicyclic graph U n,g (P n1 +1,,P ng+1)) So, F(U n,g (P n1 +1,,P ng+1)) F(U n,g (T 1,,T g )) and the equality happensif and only if U n,g (T 1,,T g ) = U n,g (P n1 +1,,P ng+1) This complete the proof Theorem 43 For 3 g < n, let G U n,g Then F(G) F(Un,g) p with equality happens if and only if G = Un,g p Moreover, ( ( )) g 1 F(Un,g) p = n+g g +1+( n g 1) g + Proof Any unicyclic graph on n vertices with girth g is isomorphic to U n,g (T 1,T,,T g ) for some trees T 1,,T g Then by Lemma 4, F(G) F(U n,g (K 1,n1,,K 1,ng )) and equality happens if and only if G = U n,g (K 1,n1,,K 1,ng ) If exactly one vertex on the cycle of U n,g (K 1,n1,,K 1,ng ) has degree greater than then U n,g (K 1,n1,,K 1,ng ) = U p n,g Otherwise let i and j be two vertices on the cycle of U n,g (K 1,n1,,K 1,ng ) of degree greater than Without loss of generality, let f Un,g(K 1,n1,,K 1,ng )(i) f Un,g(K 1,n1,,K 1,ng )(j) Move the pendant vertices from the vertex j to the vertex i Continue this till exactly one vertex on the cycle of U n,g (K 1,n1,,K 1,ng ) has degree greater than Then by Lemma 36, F(U n,g (K 1,n1,,K 1,ng ) F(U p n,g) and equality happens if and only if U n,g (K 1,n1,,K 1,ng ) = U p n,g This proves the first part of the result Furthermore, let u be the vertex in U p n,g with degree at least 3 Then F(Un,g) p = F(C g )+F(K 1,n g ) 1+(f Cg (u) 1)(f K1,n g (u) 1) ( ( ) ) g 1 = g +1+ n g +n g 1+ g + 1 ( n g 1) ( ( )) g 1 = n+g g +1+( n g 1) g + In Theorem 43, we proved that among all unicyclic graphs on n vertices with girth g, the pineapple graph U p n,g maximizes the core index The corresponding reverse relation with the Wiener index is the following: Theorem 44 ([6], Theorem 11) For 3 g < n, among all unicyclic graphs on n vertices with girth g, the Wiener index is minimized by the pineapple graph U p n,g 10

11 Theorem 45 Let G be a pineapple graph on n 4 vertices Then ( ) n n +1+ F(G) (7 n 3 )+n with right equality happens if and only if G = U p n,3 G = U p n,n 1 and left equality happens if and only if Proof We first compare F(Un,g) p and F(U p n,g+1 ) for g 3 By Theorem 43, ( ( )) g 1 F(Un,g p ) = n+g g +1+( n g 1) g + and ( F(U p n,g+1 ) = n+(g +1) (g +1)+1+( n g 1 1) = n+g +g +1+( n g 1 1) ( g ++ ( g g ++ )) ( )) g So, the difference ( ( F(Un,g) F(U p p g 1 n,g+1 ) = g +(n g 1) g + [ ] g(g 1) = (g 1)+ n g 1 [ = (g 1) n g 1( g ) ] 1 > 0, since g 3 and n > g )) ( n g 1 1) ( g ++ ( )) g This implies U p n,3 has the maximum core index and Up n,n 1 has the minimum core index among all pineapple graphs on n vertices and the result follows from Theorem 43 We now determine the graph which maximizes the core index among all unicyclic graph on n vertices Theorem 46 Among all unicyclic graph on n 4 vertices the pineapple graph U p n,3 maximum core index has the Proof Let G be a unicyclic graph on n 4 vertices Suppose G is not isomorphic to C n Then by Theorem 43 and Theorem 45, F(G) F(U p n,3 ) with equality happens if and only if G = U p n,3 Since F(C n) = n +1, F(U p n,3 ) = (7 n 3 ) + n and n 4, so, F(C n ) < F(U p n,3 ) Hence the result follows The reverse relation of Theorem 46 with Wiener index is the following: Theorem 47 ([6],Corollary 1) Among all unicyclic graph on n 6 vertices the pineapple graph U p n,3 has the minimum core index For n = 4 and 5, over U n, the minimum Wiener index is attained by both the graphs U p n,3 and C n Furthermore, W(C 4 ) = 8 = W(U p 4,3 ) and W(C 5) = 15 = W(U p 5,3 ) Next we characterize the graph which minimizes the core index over unicyclic graph on n vertices We will first do the minimization over unicyclic graphs with fixed girth 11

12 Theorem 48 For 3 g < n, let G U n,g Then F(G) F(Un,g l ) with equality happens if and only if G = Un,g l Moreover, ( ) n g F(Un,g) l = (n+g +3)+g +1 Proof Any unicyclic graph on n vertices with girth g is isomorphic to U n,g (T 1,T,,T g ) for some trees T 1,,T g Then by Lemma 4, F(G) F(U n,g (P n1 +1,,P ng+1)) and equality happens if and only if G = U n,g (P n1 +1,,P ng+1) If exactly one vertex on the cycle of U n,g (P n1 +1,,P ng+1) has degree 3 then U n,g (P n1 +1,,P ng+1) = Un,g l Otherwise let i and j be two vertices on the cycle of U n,g (P n1 +1,,P ng+1) of degree 3 Without loss of generality, let f Un,g(P n1 +1,,P ng+1 )(i) f Un,g(P n1 +1,,P ng+1 )(j) Replace both the paths at i and j by a single path at i on n i + n j + 1 vertices Continue this till exactly one vertex on the cycle of U n,g (P n1 +1,,P ng+1) has degree 3 Then by Lemma 37, F(U n,g (P n1 +1,,P ng+1)) F(Un,g) l and equality happens if and only if U n,g (P n1 +1,,P ng+1) = Un,g l This proves the first part of the result Furthermore, let u be the only degree 3 vertex of Un,g l and let v be the vertex in the path that adjacent to u Then F(Un,g l ) = F(C g)+f(p n g )+f Cg (u)f Pn g (v) ( ) ( ( )) n g +1 g 1 = g g + (n g) ( ) n g = (n+g +3)+g +1 In Theorem 48, we proved that among all unicyclic graphs on n vertices with girth g, the lollipopgraphu l n,g minimizesthecoreindex Thecorrespondingreverserelation withthewiener index is the following: Theorem 49 ([6],Theorem 11) For 3 g < n, among all unicyclic graphs on n vertices with girth g, the Wiener index is maximized by the lollipop graph U l n,g The following result compares the core index of lollipop graphs Theorem 410 Let 3 g < n and let g 0 be the largest positive integer such that 3g 0 g 0+ g 0 < n Let G be a lollipop graph on n vertices Then F(U l n,3 ) F(G) F(Ul n,g 0 +1 ) with left equality happens if and only if G = Un,3 l G = Un,g l 0 +1 and right equality happens if and only if Proof By Theorem 48, we have ( ) n g F(Un,g) l = (n+g +3)+g +1 and ( ) n g 1 F(Un,g+1 l ) = (n+g +g +4)+g +g + 1

13 So the difference F(U l n,g+1 ) F(Ul n,g ) = (g +1) ( n g ) = gn (3g g +) ( n+g +g +4 ) +g +1 Suppose gn (3g g + ) = 0 Then 3g (n + 1)g + = 0 which implies g = (n+1)± (n+1) 4 6 But g is an integer so (n + 1) 4 must be a perfect square This implies n+1 = 7 or 5, which is a cotradiction as n 4 So either F(Un,g+1 l ) F(Ul n,g) > 0 or F(Un,g+1 l ) F(Ul n,g) < 0 Let g 0 be the largest integer such that 3g 0 g 0+ g 0 < n Then the core index is maximized by the graph Un,g l 0 +1 and minimized by the graph Ul n,3 or Ul n,n 1 But ) (n+9+3)+9+1 and F(U l n,3 ) = ( n 3 F(U l n,n 1) = 1 (n+(n 1) +3)+(n 1) +1 SothedifferenceF(Un,n 1 l ) F(Ul n,3 ) = (n 3)(n 4) > 0forn 5 Hence theresultfollows Theorem 411 Among all unicyclic graph on n 4 vertices, the core index is minimized by the lollipop graph U l n,3 if n 7 and by the cycle C n if n 5 For n = 6, the core index is minimized by both the graphs C n and U l n,3 Proof We know F(C n ) = n +1 and F(Un,3 l ) = n +9n 16 So (n +1) n +9n 16 > 0, if n 7 = 0, if n = 6 < 0, if n 5 Hence by Theorem 48 and Theorem 410, the result follows We end this section with the result corresponding to Theorem 411 associated with Wiener index Theorem 41 ([6] Corollary 1) Among all unicyclic graph on n 5 vertices the lollipop graph Un,3 l has the maximum Wiener index For n = 4, the graphs U l 4,3 and C 4 are the only elements of U 4 and W(C 4 ) = 8 = W(U l 4,3 ) 5 Graphs with fixed number of pendant vertices Throughout this section, graphs are all connected Our goal in this section is to characterize the graphs which extremizes the core index over all connected graphs of order n with k pendant vertices Let H n,k denote the class of all connected graphs of order n with k pendant vertices For k = n, H n,k = {K } If k = n 1 then n 3 and H n,k = {K 1,n 1 } For n = 3, either k = 0(C 3 is the only graph in this case) or k = (K 1, is the only graph in this case) So we assume that 0 k n and n 4 We first consider the problem of maximizing the core index over H n,k For 0 k n 3, let Pn k be the graph obtained by adding k pendant vertices to a single vertex of the complete graph K n k Then Pn k H n,k 13

14 Theorem 51 For 0 k n 3, The graph P k n maximizes the core index over H n,k Furthermore, F(P k n ) = (k 1)(F(K n k ) F(K n k 1 ))+F(K n k )+k Proof Let G H n,k and let v 1,v,,v n k be the non-pendant vertices of G If the induced subgraph G[v 1,v,,v n k ] is not complete, then form a new graph G from G by joining all the non-adjacent non-pedant vertices of G with new edges Then G H n,k and F(G) < F(G ) If G = Pn k then we are done, otherwise G has at least two vertices of degree greater than or equal to n k Form a new graph G from G by moving all the pendant vertices to one of the vertex v 1,v,,v n k following the pattern mentioned in the statement of the Lemma 36 Then G = Pn k and by Lemma 36, the result follows For any vertex v of the complete graph K n, f Kn (v) = F(K n ) F(K n 1 ) Also we know, F(K 1,k ) = k + k and f K1,k (u) = k where u is the non-pendant vertex of K 1,k Let w be the vertex of Pn k with which k pendant vertices are adjacent Then F(P k n ) = F(K n k)+f(k 1,k ) 1+(f Kn k (w) 1)(f K1,k (w) 1) This completes the proof = F(K n k )+F(K 1,k )+f Kn k (w)f K1,k (w) f Kn k (w) f K1,k (w) = ( k 1)(F(K n k ) F(K n k 1 ))+F(K n k )+k k v 1 v v d l Figure 8: The tree T(k,l,d) For a fixed positive integer n, the path [v 1 v v n ] on n vertices is denoted by P n For positive integers k,l,d with n = k+l+d, let T(k,l,d) be the tree of order n obtained by taking the path P d and adding k pendant vertices adjacent to v 1 and l pendant vertices adjacent to v d (see Figure 8) Note that T(1,1,d) is a path on d+ vertices Theorem 5 The tree T(1,n 3,) maximizes the core index over H n,n Furthermore, F(T(1,n 3,)) = 3( n 3 )+n Proof Let G H n,n Then G is isomorphic to T(k,l,) for some k,l 1 If k,l then form the tree T(1,n 3,) from G by moving pendant vertices from one vertex to other following the pattern mentioned in the statement of the Lemma 36 Then F(G) < F(T(1,n 3,)) and also F(T(1,n 3,)) = 3+ n 3 +n 3+ n = 3( n 3 )+n This completes the proof Let T n,k denote the subclass of H n,k consisting of all trees of order n with k, k n, pendant vertices By Theorem 5, the tree T(1,n 3,) has the maximum core index over T n,n We next prove this result for k n 3 To do so, we first define the following tree Let T n,k bethetree of order n that has avertex v of degree k and T n,k v = rp q+1 (k r)p q, where q = n 1 k and r = n 1 kq Theorem 53 For k n 3, the tree T n,k maximizes the core index over T n,k Furthermore, F(T n,k ) = (q +) r (q +1) k r + (q +1)(qk +r) 14

15 r v q+1 v q v v 1 u 1 u u q 1 u q k r Figure 9: The tree T n,k Proof If k = then P n is the only tree in T n, and the result is true So assume k 3 Let T T n,k Suppose T has at least two vertices of degree greater than or equal to 3 Let u and v be two vertices of T with d(u),d(v) 3 and every vertex in the u-v path of T except u and v(if any) is of degree Form a new tree T by identify two vertices of the path and adding a pendant vertex to a pendant vertex of T following the pattern mentioned in the Lemma 33 The new tree T T n,k and by Lemma 33, F(T) < F(T ) Continue this till the identification of u and v In this process, we will get a tree T T n,k with exactly one vertex, say w of degree k and F(T) < F( T) If T = T n,k then we are done Otherwise T w has k paths and at least two of its paths P n1 and P n with n 1 n By using the grafting of edge operation on T, we can reduce the difference of the length of the paths of T w to at most 1 In this process at last we get the tree T n,k and by Lemma 34, every step the core index will increase This completes the first part of the proof For l and q 1, let T q l be the tree on lq+1 vertices with l pendant vertices having one vertex v of degree l and T q l v = lp q We will first find the value of F(T q l ) and use that to get the value of F(T n,k ) In this context, we denote the path on q +1 vertices by T q 1 and for a pendant vertex v of T q 1, f T q(v) = q+1 For l, f 1 T q(v) = f l T q (v)+qf l 1 T q (v) = (q+1)f l 1 T q (v) l 1 So, we get F T q (v) = (q +1)l for l 1 Then l F(T q l ) = F(Tq l 1 )+F(P q)+qf T q l 1 (v) = F(T q q(q +1) l 1 )+ +q(q +1) l 1 Solving this recurrence relation, we get F(T q l ) = (q +1)(lq +(q +1)l 1 ) For the tree T n,k, we have n 1 = kq +r, 0 r < k When r = 0, T n,k is isomorphic to T q k and F(T n,k ) = (q +1)( kq +(q +1)k 1 ) = (q +1) k + kq(q+1) For 1 r < k, let v be the vertex of degree k in T n,k Then we have F(T n,k ) = F(Tr q+1 )+F(T q k r ) 1+(f Tr q+1 (v) 1)(f T q (v) 1) k r ( ( r(q +1) (k r)q = (q +) +(q +) )+(q r 1 +1) +(q +1) ) 1 k r 1 +((q +) r 1)((q +1) k r 1) = (q +) r (q +1) k r + This completes the proof (q +1)(qk +r) The above result is proved by Zhang et al in [9] (see Corollary 53) but our proof is little different We also explained the counting for F(T n,k ) We will now consider the problem of minimizing the core index over H n,k The following is an important result in this regard 15

16 Theorem 54 ([8], Theorem 1) For k n, the tree T( k, k,n k) minimizes the core index over T n,k Further { F(T( k, k,n k)) = (n k 1) k +1 + k +k + ( n k 1) } if k is even 3(n k 1) k 1 + k +k+ ( ) n k 1 if k is odd Theorem 55 For k n, if G H n,k then F(G) F(T( k, k,n k)) and equality happens if and only if G = T( k, k,n k) Proof Let G H n,k Construct a spanning tree G from G by deleting some edges Clearly F(G ) < F(G) The number of pendent vertices of G is greater than or equal to k Suppose G has more than k pendant vertices Since k, G has at least one vertex of degree greater than Consider a vertex v of G with d(v) 3 and two paths P l1,p l, l 1 l attached at v Using grafting of edge operation on G, we will get a new tree G with number of pendant vertices one less than the number of pendant vertices of G and by Lemma 34, F( G) < F(G ) Continue this process till we get a tree with k pendant vertices from G By Lemma 34, every step in this process the core index will decrease So, we will reach at a tree of order n with k pendant vertices and the result follows from Theorem 54 Theorem 56 The lollipop graph U l n,3 minimizes the core index over H n,1 Proof Let G H n,1 Since G is connected and has exactly one pendent vertex, it must contain a cycle Let C g be a cycle in G If G has more than one cycle, then construct a new graph G from G by deleting edges from all cycles other than C g so that the graph remains connected Clearly F(G ) < F(G) and G is a unicyclic graph on n vertices with girth g By Theorem 48 and Theorem 410, F(U l n,3 ) F(G ) and equality happens if and only if G = U l n,3 As Ul n,3 H n,1, so the result follows The only case left in the problem of minimizing the core index over H n,k is when k = 0 For k = 0, n must be at least 3 The cycle C 3 is the only element of H 3,0 With respect to isomorphism, there are only three connected graphs on 4 vertices without any pendant vertex It can be easily checked that C 4 has the minimum core index over H 4,0 For the rest of this section, n is at least 5 Figure 10: The graphs C n 3,3 and C5 3,3 Let m 1,m 3 be two integers Let n be an integer such that n m 1 +m 1 Take a path on n (m 1 +m )+ vertices and identify one pendant vertex of the path with a vertex of C m1 and another pendant vertex with a vertex of C m If n = m 1 +m 1 then identify one vertex of C m1 with one vertex of C m We denote this graph by C n m 1,m (see Figure 10) Clearly C n m 1,m is a connected graph on n vertices without any pendant vertex The next lemma compares the core index of C n 3,3 and the cycle C n Lemma 57 For n 6, F(C n ) < F(C3,3 n ) if and only if n 16 16

17 Proof For n = 6, let v and w be two vertices of C3,3 6 with d(v) = d(w) = 3 Then F(C6 3,3 ) = F(C 3 )+F(C 3 )+f C3 (v)f C3 (w) > 37 = F(C n ) For n 7, let v be a vertex of one of the 3-cycles with degree 3 and let w be the vertex adjacent to v but not in that 3-cycle of C3,3 n, Then F(C3,3 n ) = F(C 3)+F(Un 3,3 l )+f C 3 (v)f U l (w) n 3,3 ( ) n 6 = 10+ (n+9)+10+7(n+1) = n +17n So, F(C3,3 n ) F(C n) = n +17n n 1 = 17n n > 0 if and only if n 16 This completes the proof Lemma 58 Let m 1,m 3 be two integer and let n = m 1 +m 1 Then F(C n ) < F(C n m 1,m ) Proof Let v be the vertex of degree 4 in C n m 1,m Then F(Cm n 1,m ) = F(C m1 )+F(C m ) 1+(f Cm1 (v) 1)(f Cm (v) 1) ( ) )( ( ) ) = m 1 +1+m (m m1 1 m m + 1 m 1 +m +1+4m 1 m So, the difference F(C n m 1,m ) F(C n ) m 1 m +m 1 +m 1 > 0 Corollary 59 Let m 1,m 3 be two integer and let n = m 1 + m 1 Let G H n,0 with C n m 1,m as a subgraph of G Then F(G) > F(C n ) Lemma 510 Let u be the pendant vertex and v be a non-pendant vertex of the unicyclic graph U l n,g Then f U l n,g (u) < f U l n,g (v) Proof Let g be the vertex of degree 3 in U l n,g and let g +1 be the vertex adjacent to g not on the g-cycle of U l n,g Then f U l n,g (u) = f Pn g (u)+f Cg (g) If v is a vertex on the cycle C g of U l n,g then f U l n,g (v) = f Cg (v)+f Cg (v,g)f Pn g (g +1) and if w is a non pendant vertex of U l n,g which is not on the cycle then f U l n,g (w) = f Pn g (w)+f Cg (g)f Pn g (g +1,w) Since f Pn g (g +1) = f Pn g (u) and f Pn g (w) f Pn g (u), so f U l n,g (v) f U l n,g (u) = f Pn g (u)(f Cg (v,g) 1) > 0 f U l n,g (w) f U l n,g (u) = f Pn g (w) f Pn g (u)+f Cg (g)(f Pn g (g +1,w) 1) > 0 17

18 Lemma 511 Let u be a vertex of a connected graph G on at least two vertices Suppose v is the pendant vertex of U l n,g and w is a non-pendant vertex of Ul n,g Let G 1 be the graph obtained from G and U l n,g by identifying u with v and G be the graph obtained by identifying u with w Then F(G 1 ) < F(G ) Proof We have So, the difference F(G 1 ) = F(G)+F(U l n,g) 1+(f G (u) 1))(f U l n,g (v) 1) F(G ) = F(G)+F(U l n,g ) 1+(f G(u) 1)(f U l n,g (w) 1) F(G ) F(G 1 ) = (f G (u) 1)(f U l n,g (w) f U l n,g (v)) > 0 The last inequality follows from Lemma 510 Theorem 51 Let G H n,0 with at least one cut-vertex Suppose C n m 1,m with m 1 +m 1 = n is not a subgraph of G Then F(G) F(C n g 1,g ) for some g 1,g 3 and the equality holds if and only if G = C n g 1,g Proof Since G has a cut-vertex and no pendant vertices, so G contains two cycles with at most one common vertex Let C g1 and C g be two cycles of G with at most one common vertex Since C n m 1,m with m 1 +m 1 = n is not a subgraph of G, so g 1 +g n Clearly G has at least n+1 edges If G has exactly n + 1 edges, then there is no common vertex between C g1 and C g and G = C n g 1,g So, let G has at least n + edges Suppose E(G) = n + k, where k Choose k 1 edges {e 1,,e k 1 } E(G) such that e i / E(C g1 ) E(C g ), i = 1,,k 1 and G\{e 1,,e k 1 } is connected Let G 1 = G\{e 1,,e k 1 } (G 1 may have some pendant vertices) Then F(G 1 ) < F(G) If G 1 has no pendant vertices then G 1 = C n g 1,g Let G 1 has some pendant vertices Then for some l < n, C l g 1,g is a subgraph of G 1 By grafting of edges operation(if required), we can form a new graph G from G 1 where G is a connected graph on n vertices obtained by attaching some paths to some vertices of C l g 1,g Then bylemma34, F(G ) < F(G 1 ) Ifmorethanonepathsareattached todifferent vertices ofc l g 1,g in G, then using the graph operation as mentioned in Lemma 37, form a new graph G 3 from G, where G 3 has exactly one path attached to C l g 1,g Then by Lemma 37, F(G 3 ) < F(G ) Let the path attched to the vertex u in C l g 1,g of G 3 Then we have two cases: Case-1: u V(C g1 ) V(C g ) Without loss of generality, assumethat u V(C g1 ) Thentheinducedsubgraphof G 3 containing the vertices of C g1 and the vertices of the path attached to it, is the lolliop graph U l k,g 1 for some k > g 1 Let v be the pendant vertex of U l k,g 1 Let H be the induced subgraph of G 3 containing the vertices V(G 3 ) \ V(U l k,g 1 ) Then H and U l k,g 1 have at most one vertex in common If w V(H) V(U l k,g 1 ) then identify vertex v of U l k,g 1 with vertex w of H to form a new graph G 4 By Lemma 511, F(G 4 ) < F(G 3 ) and G 4 is the graph C n g 1,g If V(H) V(U l k,g 1 ) = φ, then in G 3 exactly one vertex w 1 v adjacent to exactly one vertex w of H Form a new graph G 5 from G 3 by deleting the edge {w 1,w } and adding the edge {v,w } By Lemma 511, F(G 5 ) < F(G 3 ) and G 5 is the graph C n g 1,g Case-: u / V(C g1 ) V(C g ) Let w be the pendant vertex of G 3 and let w 3 be a vertex in C l g 1,g of G 3 adjacent to u Form a new graph G 6 from G 3 by deleting the edge {u,w 3 } and adding the edge {w,w 3 } By Lemma 511, F(G 6 ) < F(G 3 ) and G 6 is the graph C n g 1,g This completes the proof 18

19 Lemma 513 Let u be a vertex of a connected graph G For m 4, let G 1 be the graph obtained by identifying the vertex u of G with the pendant vertex of U l m+1,m and G be the graph obtained by identifying the vertex u with the pendant vertex of U l m+1,3 Then F(G ) < F(G 1 ) Proof We have F(G 1 ) = F(G)+F(U l m+1,m) 1+(f G (u) 1)(f U l m+1,m (u) 1) F(G ) = F(G)+F(U l m+1,3 ) 1+(f G(u) 1)(f U l m+1,3 (u) 1) By Theorem 410, F(Um+1,3 l ) < F(Ul m+1,m ) So, the difference F(G 1 ) F(G ) > (f G (u) 1)(f U l (u) f m+1,m U l (u)) m+1,3 ( ( ) ) m 1 = (f G (u) 1) 1+m+ m+ 7 ( ( )) m 1 = (f G (u) 1) m 4+ > 0 Corollary 514 Let m 1,m 3 be two integers and let m 1 + m n Then F(C n m 1,m ) F(C n 3,3 ) and equality happens if and only if m 1 = m = 3 Theorem 515 Let G be a -connected graph on n 5 vertices Then F(G) F(C n ) and the equality holds if and only if G = C n Proof Let g be the circumference of G Let C g be a g-cycle in G Then every connected subgraph of C g is also a connected subgraph of G If g = n and G is not isomorphic to C n, then G has at least n+1 edges In this case clearly F(G) > F(C n ) If g = n 1 then the number of connected subgraphs of C g is equal to (n 1) +1 Let v be the vertex of G not on the cycle C g of G Since G is -connected, so v is adjacent to at least two vertices of C g Let u be a vertex of C g such that {u,v} E(G) Then C g {u,v} is a connected subgraph of G By Lemma 41, the number of connected subgraphs of C g {u,v} containing {u,v} is (n 1)+ ( n ) So, F(G) > (n 1) +1+(n 1)+ ( n ) > n +1 = F(C n ) If g n then at least two vertices of G are not on the cycle C g Since G is -connected, so every pair of distinct vertices u,v V(G)\V(C g ) there exists at least two distinct paths in G with u and v as pendant vertices Each of these paths is a connected subgraph of G Apart from these subgraphs, also for every v V(G)\V(C g ) there exists a w V(C g ) such that there is a path joining v and w This path together with C g forms a lolipop subgraph of G with v as a pendant vertex Thus there are at least (n g)(f Cg (w)) more connected subgraphs in G different from the above mentioned connected subgraphs of G Thus ( ) n g F(G) F(C g )+ +(n g)(f Cg (w)) ( ( )) g 1 = g +1+(n g)(n g 1)+(n g) g + = n +1+ g(n g) (g 3) > n +1 = F(C n ) The last inequality follows from the fact that g is the circumference of a -connected graph on n 5 vertices Hence the result follows 19

20 The above results leads to the main theorem of the section Theorem 516 Let G H n,0 Then F(G) Moreover, F(G) min{n +1, n +17n } { F(C n ), if n 16 F(C3,3 n ), if n > 16 Proof If G has no cut-vertices, the by Theorem 515 and Lemma 57 the result follows Suppose G has a cut-vertex If C n m 1,m with m 1 +m 1 = n is a subgraph of G then by Corollary 59 and and Lemma 57 the result follows If C n m 1,m with m 1 +m 1 = n is not a subgraph of G then by Theorem 51,Corollary 514 and Lemma 57, the result follows References [1] H S Wilf, Generatingfunctionology, Second edition Academic Press, 1994 [] L A Székely and H Wang, On subtrees of trees, Adv Appl Math 34 (005), [3] W Yan and Y N Yeh, Enumeration of subtrees of trees, Theoretical Computer Science, 369(006), [4] L A Székely and H Wang, Binary trees with the largest number of subtrees, Discrete Applied Math, 155(007), [5] R Kirk and H Wang, Largest number of subtrees with a given maximum degree, SIAM J Discrete Math, (008), [6] G H Yu and L H Feng, On the Wiener index of unicyclic graphs with given girth, Ars Comb 94(010), [7] X M Zhang, X D Zhang, D Gray and H Wang, Trees with the most subtrees- an algorithmic approach, J Combinatorics, 3(01),07 3 [8] S Li and S Wang, Further analysis on the total number of subtrees of trees, The Electronic J Combinatorics, 19(01), no 4, P48 [9] X M Zhang, X D Zhang, D Gray and H Wang, The number of subtrees of trees with given degree sequence, Journal of Graph Theory, 73(013), [10] A V Sills and H Wang, The minimal number of subtrees of a tree, Graphs and Combinatorics, 31(015), [11] X M Zhang and X D Zhang, The minimal number of subtrees with a given degree sequences, Graphs and Combinatorics, 31(015), [1] S W Tan, Q L Wang andy Lin, TheWiener indexof unicyclic graphs withgiven number of pendant vertices or cut vertices, J Appl Math Comput 55(017), 1 4 [13] Y Xiao, H Zhao, Z Liu and Y Mao, Trees with large number of subtrees, International Journal of Computer Mathematics, 94(017), [14] Z Chen, The number of subtrees of trees with given diameter, Discrete Mathematics Algorithm and Application 10(018), no 1, , 16 pp 0

21 Addresses: Dinesh Pandey, Kamal Lochan Patra 1) School of Mathematical Sciences National Institute of Science Education and Research (NISER), Bhubaneswar PO- Jatni, District- Khurda, Odisha , India ) Homi Bhabha National Institute (HBNI) Training School Complex, Anushakti Nagar Mumbai , India s: dineshpandey@niseracin, klpatra@niseracin 1