arXiv is now an independent nonprofit! Learn more
License: arXiv.org perpetual non-exclusive license
arXiv:1809.03158v1 [cs.DM] 10 Sep 2018

Minimum Eccentric Connectivity Index for Graphs
with Fixed Order and Fixed Number of Pending Vertices

Gauvain Devillez, Alain Hertz, Note: Corresponding author : email alain.hertz@gerad.ca; tel. +1-514 340 6053.    Hadrien Mélot    Pierre Hauweele    [3mm] Computer Science Department - Algorithms LabUniversity of Mons, Mons, Belgium    [3mm] Department of Mathematics    Industrial EngineeringPolytechnique Montréal - Gerad, Montréal, Canada
Abstract

The eccentric connectivity index of a connected graph GG is the sum over all vertices vv of the product dG(v)eG(v)d_{G}(v)e_{G}(v), where dG(v)d_{G}(v) is the degree of vv in GG and eG(v)e_{G}(v) is the maximum distance between vv and any other vertex of GG. This index is helpful for the prediction of biological activities of diverse nature, a molecule being modeled as a graph where atoms are represented by vertices and chemical bonds by edges. We characterize those graphs which have the smallest eccentric connectivity index among all connected graphs of a given order nn. Also, given two integers nn and pp with pn1p\leq n-1, we characterize those graphs which have the smallest eccentric connectivity index among all connected graphs of order nn with pp pending vertices.

1 Introduction

A chemical graph is a representation of the structural formula of a chemical compound in terms of graph theory where atoms are represented by vertices and chemical bonds by edges. Arthur Cayley [1] was probably the first to publish results that consider chemical graphs. In an attempt to analyze the chemical properties of alkanes, Wiener [11] has introcuced the path number index, nowadays called Wiener index, which is defined as the sum of the lengths of the shortest paths between all pairs of vertices. Mathematical properties and chemical applications of this distance-based index have been widely researched.

Numerous other topological indices are used for quantitative structure-property relationship (QSPR) and quantitative structure-activity relationship (QSAR) studies that help to describe and understand the structure of molecules [10, 6], among which the eccentric connectivity index which can be defined as follows. Let G=(V,E)G=(V,E) be a simple connected undirected graph. The distance distG(u,v)dist_{G}(u,v) between two vertices uu and vv in GG is the number of edges of a shortest path in GG connecting uu and vv. The eccentricity eG(v)e_{G}(v) of a vertex vv is the maximum distance between vv and any other vertex, that is max{distG(v,w)|wV}\max\{dist_{G}(v,w)\penalty\ |\penalty\ w\in V\}. The eccentric connectivity index ξc(G)\xi^{c}(G) of GG is defined by

ξc(G)=vVdG(v)eG(v).\xi^{c}(G)=\sum_{v\in V}d_{G}(v)e_{G}(v).

This index was introduced by Sharma et al. in [9] and successfully used for mathematical models of biological activities of diverse nature [2, 3, 7, 8, 5]. Recently, Hauweele et al.[4] have characterized those graphs which have the largest eccentric connectivity index among all connected graphs of given order nn. These results are summarized in Table 1, where

  • 𝖪n{\sf K}_{n} is the complete graph of order nn;

  • 𝖯n{\sf P}_{n} is the path of order nn;

  • 𝖶n{\sf W}_{n} is the wheel of order nn, i.e., the graph obtained by joining a vertex to all vertices of a cycle of order n1n-1;

  • 𝖬n{\sf M}_{n} is the graph obtained from 𝖪n{\sf K}_{n} by removing a maximum matching and, if nn is odd, an additional edge adjacent to the unique vertex that still degree n1n-1;

  • 𝖤n,D{\sf E}_{n,D} is the graph constructed from a path u0u1uDu_{0}-u_{1}-\ldots-u_{D} by joining each vertex of a clique 𝖪nD1{\sf K}_{n-D-1} to u0u_{0}, u1u_{1} and u2u_{2}.

Table 1: Largest eccentric connectivity index for a fixed order nn
nn optimal graphs
1 𝖪1{\sf K}_{1}
2 𝖪2{\sf K}_{2}
3 𝖪3{\sf K}_{3} and 𝖯3{\sf P}_{3}
4 𝖬4{\sf M}_{4}
5 𝖬5{\sf M}_{5} and 𝖶5{\sf W}_{5}
6 𝖬6{\sf M}_{6}
7 𝖬7{\sf M}_{7}
8 𝖬8{\sf M}_{8} and 𝖤8,4{\sf E}_{8,4}
9\geq 9 𝖤n,n+13+1{\sf E}_{n,\left\lceil\frac{n+1}{3}\right\rceil+1}

In addition to the above-mentioned graphs, we will also consider the following ones:

  • 𝖢n{\sf C}_{n} is the chordless cycle of order nn;

  • 𝖲n,x{\sf S}_{n,x} is the graph of order nn obtained by linking all vertices of a stable set of nxn-x vertices with all vertices of a clique 𝖪x{\sf K}_{x}. The graph 𝖲n,1{\sf S}_{n,1} is called a star.

Also, for n4n\geq 4 and pn3p\leq n-3, let 𝖧n,p{\sf H}_{n,p} be the graph of order nn obtained by adding a dominating vertex (i.e., a vertex linked to all other vertices) to the graph or order n1n-1 having pp vertices of degree 0, and

  • n1pn-1-p vertices of degree 1 if npn-p is odd;

  • n2pn-2-p vertices of degree 1 and one vertex of degree 2 if npn-p is even.

For illustration, 𝖧8,3{\sf H}_{8,3} and 𝖧9,3{\sf H}_{9,3} are drawn on Figure 1. Note that 𝖧4,0𝖲4,2{\sf H}_{4,0}\simeq{\sf S}_{4,2}. Moreover, 𝖧4,0{\sf H}_{4,0} has two dominating vertices while 𝖧4,1{\sf H}_{4,1} and 𝖧n,p{\sf H}_{n,p} have exactly one dominating vertex for all n5n\geq 5 and pn3p\leq n-3.

Refer to caption

.

Figure 1: Two graphs with p=3p=3 pending vertices

In this paper, we first give an alternative proof to a result of Zhou and Du [12] showing that the stars are the only graphs with smallest eccentric connectivity index among all connected graphs of given order n4n\geq 4. These graphs have n1n-1 pending vertices (i.e., vertices of degree 1). We then consider all pairs (n,p)(n,p) of integers with pn1p\leq n-1 and characterize the graphs with smallest eccentric connectivity index among all connected graphs of order nn with pp pending vertices.

2 Minimizing ξc\xi^{c} for graphs with fixed order

𝖪1{\sf K}_{1} and 𝖪2{\sf K}_{2} are the only connected graphs with 1 and 2 vertices, respectively, while 𝖪3{\sf K}_{3} and 𝖯3{\sf P}_{3} are the only connected graphs with 3 vertices. Since ξc(𝖪3)=ξc(𝖯3)=6\xi^{c}({\sf K}_{3})=\xi^{c}({\sf P}_{3})=6, all connected graphs of given order n3n\leq 3 have the same eccentric connectivity index. From now on, we therefore only consider connected graphs with fixed order n4n\geq 4. A proof of the following theorem was already given by Zhou and Du in [12]. Ours is slightly different.

Theorem 1.

Let GG be a connected graph of order n4n\geq 4. Then ξc(G)3(n1)\xi^{c}(G)\geq 3(n-1), with equality if and only if G𝖲n,1G\simeq{\sf S}_{n,1}.

Proof.

Let xx be the number of dominating vertices (i.e., vertices of degree n1n-1) in GG. We distinguish three cases.

  • If x=1x=1, then let uu be the dominating vertex in GG. Clearly, eG(u)=1e_{G}(u)=1 and dG(u)=n1d_{G}(u)=n-1. All vertices vuv\neq u have eccentricity eG(v)=2e_{G}(v)=2, while their degree is at least 1 (since GG is connected). Hence, ξc(G)(n1)+2(n1)=3(n1)\xi^{c}(G)\geq(n-1)+2(n-1)=3(n-1), with equality if and only if all vuv\neq u have degree 1, i.e., G𝖲n,1G\simeq{\sf S}_{n,1}.

  • If x>1x>1, then all dominating vertices uu have dG(u)eG(u)=n1d_{G}(u)e_{G}(u)=n-1, while all non-dominating vertices vv have dG(v)x2d_{G}(v)\geq x\geq 2 and eG(v)2e_{G}(v)\geq 2, which implies dG(u)eG(u)4d_{G}(u)e_{G}(u)\geq 4. If n=4n=4, we therefore have ξc(G)3n>3(n1)\xi^{c}(G)\geq 3n>3(n-1), while if n>4n>4, we have ξc(G)2(n1)+4(n2)=6n10>3(n1)\xi^{c}(G)\geq 2(n-1)+4(n-2)=6n-10>3(n-1).

  • If x=0x=0, then every pending vertex vv has eG(v)3e_{G}(v)\geq 3 since its only neighbor is a non-dominating vertex. Since the eccentricity of the non-pending vertices is at least two, we have dG(v)eG(v)3d_{G}(v)e_{G}(v)\geq 3 for all vertices vv in GG, which implies ξc(G)3n>3(n1)\xi^{c}(G)\geq 3n>3(n-1).

Stars have n1n-1 pending vertices. As will be shown in the next section, a similar result is more challenging when the total number of pending vertices is fixed to a value strictly smaller than n2n-2.

3 Minimizing ξc\xi^{c} for graphs with fixed order and fixed number of pending vertices

Let GG be a connected graph of order n4n\geq 4 with pp pending vertices. Clearly, pn1p\leq n-1, and G𝖲n,1G\simeq{\sf S}_{n,1} if p=n1p=n-1. For p=n2p=n-2, let uu and vv be the two non-pending vertices. Note that uu is adjacent to vv since GG is connected. Clearly, GG is obtained by linking xn3x\leq n-3 vertices of a stable set SS of n2n-2 vertices to uu, and the n2xn-2-x other vertices of SS to vv. The n2n-2 pending vertices ww have dG(w)=1d_{G}(w)=1 and eG(w)=3e_{G}(w)=3, while eG(u)=eG(v)=2e_{G}(u)=e_{G}(v)=2 and dG(u)+dG(v)=nd_{G}(u)+d_{G}(v)=n. Hence ξc(G)=3(n2)+2n=5n6\xi^{c}(G)=3(n-2)+2n=5n-6 for all graphs of order nn with n2n-2 pending vertices.

The above observations show that all graphs of order nn with a fixed number pn2p\geq n-2 of pending vertices have the same eccentric connectivity index. As will be shown, this is not the case when n4n\geq 4 and pn3p\leq n-3. We will prove that 𝖧n,p{\sf H}_{n,p} is almost always the unique graph minimizing the eccentric connectivity index. Note that

ξc(𝖧n,p)={n1+2p+4(np1)=5n2p5if np is oddn1+2p+4(np2)+6=5n2p3if np is even.\xi^{c}({\sf H}_{n,p})=\left\{\begin{array}[]{ll}n-1+2p+4(n-p-1)=5n-2p-5&\mbox{if }n-p\mbox{ is odd}\\ n-1+2p+4(n-p-2)+6=5n-2p-3&\mbox{if }n-p\mbox{ is even}.\end{array}\right.
Theorem 2.

Let GG be a connected graph of order n4n\geq 4 with pn3p\leq n-3 pending vertices and one dominating vertex. Then ξc(G)ξc(𝖧n,p)\xi^{c}(G)\geq\xi^{c}({\sf H}_{n,p}), with equality if and only if G𝖧n,pG\simeq{\sf H}_{n,p}.

Proof.

The dominating vertex uu in GG has dG(u)eG(u)=n1d_{G}(u)e_{G}(u)=n-1, the pending vertices vv have dG(v)eG(v)=2d_{G}(v)e_{G}(v)=2, and the other vertices ww have eG(w)=2e_{G}(w)=2 and dG(w)2d_{G}(w)\geq 2. Hence, ξc(G)\xi^{c}(G) is minimized if all non-pending and non-dominating vertices have degree 2, except one that has degree 3 if np1n-p-1 is odd. In other words, ξc(G)\xi^{c}(G) is minimized if and only if G𝖧n,pG\simeq{\sf H}_{n,p}. ∎

Theorem 3.

Let GG be a connected graph of order n4n\geq 4, with at least two dominating vertices.

  • If n=4n=4 then ξc(G)12\xi^{c}(G)\geq 12, with equality if and only if G𝖪4G\simeq{\sf K}_{4}.

  • If n=5n=5 then ξc(G)20\xi^{c}(G)\geq 20, with equality if and only if G𝖲5,2G\simeq{\sf S}_{5,2} or G𝖪5G\simeq{\sf K}_{5}.

  • If n6n\geq 6 then ξc(G)6n10\xi^{c}(G)\geq 6n-10, with equality if and only if G𝖲n,2G\simeq{\sf S}_{n,2}.

Proof.

Let xx be the number of dominating vertices in GG. Then dG(u)eG(u)=n1d_{G}(u)e_{G}(u)=n-1 for all dominating vertices uu, while eG(v)=2e_{G}(v)=2 and dG(v)xd_{G}(v)\geq x for all other vertices vv. Hence, ξc(G)2x2+x(3n1)\xi^{c}(G)\geq-2x^{2}+x(3n-1).

  • If n=4n=4 then ξc(G)f(x)=2x2+11x\xi^{c}(G)\geq f(x)=-2x^{2}+11x. Since 2x42\leq x\leq 4, f(2)=14,f(3)=15f(2)=14,f(3)=15, and f(4)=12f(4)=12, we conclude that ξc(G)12\xi^{c}(G)\geq 12, with equality if and only if x=4x=4, which is the case when G𝖪4G\simeq{\sf K}_{4}.

  • If n=5n=5 then ξc(G)f(x)=2x2+14x\xi^{c}(G)\geq f(x)=-2x^{2}+14x. Since 2x52\leq x\leq 5, f(2)=f(5)=20f(2)=f(5)=20 and f(3)=f(4)=24f(3)=f(4)=24, we conclude that ξc(G)20\xi^{c}(G)\geq 20, with equality if and only if x=2x=2 or 55, which is the case when G𝖲5,2G\simeq{\sf S}_{5,2} or G𝖪5G\simeq{\sf K}_{5}.

  • If n6n\geq 6 then 2x2+x(3n1)-2x^{2}+x(3n-1) is minimized for x=2x=2, which is the case when G𝖲n,2G\simeq{\sf S}_{n,2}.

Theorem 4.

Let GG be a connected graph of order n4n\geq 4, with pn3p\leq n-3 pending vertices and no dominating vertex. Then ξc(G)>ξc(𝖧n,p)\xi^{c}(G)>\xi^{c}({\sf H}_{n,p}) unless n=5n=5, p=0p=0 and G𝖢5G\simeq{\sf C}_{5}, in which case ξc(G)=ξc(𝖧n,0)=20\xi^{c}(G)=\xi^{c}({\sf H}_{n,0})=20.

Proof.

Let UU be the subset of vertices uu in GG such that dG(u)=eG(u)=2d_{G}(u)=e_{G}(u)=2. If UU is empty, then all non-pending vertices vv in GG have dG(v)2d_{G}(v)\geq 2 and eG(v)2e_{G}(v)\geq 2 (since GG has no dominating vertex), and at least one of these two inequalities is strict, which implies dG(u)eG(u)6d_{G}(u)e_{G}(u)\geq 6. Also, every pending vertex ww has eG(w)3e_{G}(w)\geq 3 since their only neighbor is not dominant. Hence, ξc(G)6(np)+3p=6n3p\xi^{c}(G)\geq 6(n-p)+3p=6n-3p. Since pn3p\leq n-3, we have ξc(G)5n2p+3>ξc(𝖧n,p)\xi^{c}(G)\geq 5n-2p+3>\xi^{c}({\sf H}_{n,p}).

So, assume UU\neq\emptyset. Let uu be a vertex in UU, and let v,wv,w be its two neighbors. Also, let A=N(v)(N(w){w})A=N(v)\setminus(N(w)\cup\{w\}), B=(N(v)N(w)){u}B=(N(v)\cup N(w))\setminus\{u\}, and C=N(w)(N(v){v})C=N(w)\setminus(N(v)\cup\{v\}). Since eG(u)=2e_{G}(u)=2, all vertices of GG belong to ABC{u,v,w}A\cup B\cup C\cup\{u,v,w\}. We finally define BB^{\prime} as the subset of BB that contains all vertices bb of BB with dG(b)=2d_{G}(b)=2 (i.e., their only neighbors are vv and ww).

Case 1: vv is adjacent to ww.

AA\neq\emptyset else ww is a dominating vertex, and CC\neq\emptyset else vv is dominating. Let GG^{\prime} be the graph obtained from GG by replacing every edge linking vv to a vertex aAa\in A with an edge linking ww to aa, and by removing all edges linking vv to a vertex of BBB\setminus B^{\prime}. Clearly, GG^{\prime} is also a connected graph of order nn with pp pending vertices, and ww is the only dominating vertex in GG^{\prime}. It follows from Theorem 2 that ξc(G)ξc(𝖧n,p)\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}). Also,

  • dG(u)=dG(u)d_{G}(u)=d_{G^{\prime}}(u) and eG(u)=eG(u)e_{G}(u)=e_{G^{\prime}}(u);

  • dG(x)=dG(x)d_{G}(x)=d_{G^{\prime}}(x) and eG(x)eG(x)e_{G}(x)\geq e_{G^{\prime}}(x) for all xACx\in A\cup C;

  • dG(x)=dG(x)d_{G}(x)=d_{G^{\prime}}(x) and eG(x)=eG(x)e_{G}(x)=e_{G^{\prime}}(x) for all xBx\in B^{\prime};

  • dG(x)>dG(x)d_{G}(x)>d_{G^{\prime}}(x) and eG(x)=eG(x)e_{G}(x)=e_{G^{\prime}}(x) for all xBBx\in B\setminus B^{\prime}.

Hence,

xABC{u}dG(x)eG(x)xABC{u}dG(x)eG(x).\sum\limits_{x\in A\cup B\cup C\cup\{u\}}d_{G}(x)e_{G}(x)\geq\sum\limits_{x\in A\cup B\cup C\cup\{u\}}d_{G^{\prime}}(x)e_{G^{\prime}}(x).

Moreover,

  • dG(v)eG(v)+dG(w)eG(w)=2(|A|+|B|+2)+2(|C|+|B|+2)=2|A|+4|B|+2|C|+8d_{G}(v)e_{G}(v)+d_{G}(w)e_{G}(w)=2(|A|+|B|+2)+2(|C|+|B|+2)=2|A|+4|B|+2|C|+8;

  • dG(v)eG(v)+dG(w)eG(w)=2(|B|+2)+|A|+|B|+|C|+2.d_{G^{\prime}}(v)e_{G^{\prime}}(v)+d_{G^{\prime}}(w)e_{G^{\prime}}(w)=2(|B^{\prime}|+2)+|A|+|B|+|C|+2.

We therefore have

ξc(G)ξc(G)=xABC{u}dG(x)eG(x)+(dG(v)eG(v)+dG(w)eG(w))xABC{u}dG(x)eG(x)(dG(v)eG(v)+dG(w)eG(w))(2|A|+4|B|+2|C|+8)(2(|B|+2)+|A|+|B|+|C|+2)=|A|+|C|+3(|B|+|BB|)2|B|+2=|A|+|C|+|B|+3|BB|+2>0\begin{array}[]{rll}\xi^{c}(G)-\xi^{c}(G^{\prime})&=&\quad\sum\limits_{x\in A\cup B\cup C\cup\{u\}}d_{G}(x)e_{G}(x)+(d_{G}(v)e_{G}(v)+d_{G}(w)e_{G}(w))\\ &&-\sum\limits_{x\in A\cup B\cup C\cup\{u\}}d_{G^{\prime}}(x)e_{G^{\prime}}(x)-(d_{G^{\prime}}(v)e_{G^{\prime}}(v)+d_{G^{\prime}}(w)e_{G^{\prime}}(w))\\ &\geq&(2|A|+4|B|+2|C|+8)-(2(|B^{\prime}|+2)+|A|+|B|+|C|+2)\\ &=&|A|+|C|+3(|B^{\prime}|+|B\setminus B^{\prime}|)-2|B^{\prime}|+2\\ &=&|A|+|C|+|B^{\prime}|+3|B\setminus B^{\prime}|+2>0\\ \end{array}

This implies ξc(G)>ξc(G)ξc(𝖧n,p)\xi^{c}(G)>\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}).

Case 2: vv is not adjacent to ww, and both A(BB)A\cup(B\setminus B^{\prime}) and C(BB)C\cup(B\setminus B^{\prime}) are nonempty.

Let GG^{\prime} be the graph obtained from GG by adding an edge linking vv to ww, by replacing every edge linking vv to a vertex aAa\in A with an edge linking ww to aa, and by removing all edges linking vv to a vertex of BBB\setminus B^{\prime}. Clearly, GG^{\prime} is also a connected graph of order nn with pp pending vertices. As in the previous case, we have

xABC{u}dG(x)eG(x)xABC{u}dG(x)eG(x).\sum\limits_{x\in A\cup B\cup C\cup\{u\}}d_{G}(x)e_{G}(x)\geq\sum\limits_{x\in A\cup B\cup C\cup\{u\}}d_{G^{\prime}}(x)e_{G^{\prime}}(x).

Moreover, eG(v)2e_{G}(v)\geq 2 and eG(w)2e_{G}(w)\geq 2, while eG(v)2e_{G^{\prime}}(v)\leq 2 and eG(w)=1e_{G^{\prime}}(w)=1, which implies

  • dG(v)eG(v)+dG(w)eG(w)2(|A|+|B|+1)+2(|C|+|B|+1)=2|A|+4|B|+2|C|+4d_{G}(v)e_{G}(v)+d_{G}(w)e_{G}(w)\geq 2(|A|+|B|+1)+2(|C|+|B|+1)=2|A|+4|B|+2|C|+4;

  • dG(v)eG(v)+dG(w)eG(w)2(|B|+2)+|A|+|B|+|C|+2.d_{G^{\prime}}(v)e_{G^{\prime}}(v)+d_{G^{\prime}}(w)e_{G^{\prime}}(w)\leq 2(|B^{\prime}|+2)+|A|+|B|+|C|+2.

We therefore have

ξc(G)ξc(G)(2|A|+4|B|+2|C|+4)(2(|B|+2)+|A|+|B|+|C|+2)=|A|+|C|+|B|+3|BB|2.\begin{array}[]{rll}\xi^{c}(G)-\xi^{c}(G^{\prime})&\geq&(2|A|+4|B|+2|C|+4)-(2(|B^{\prime}|+2)+|A|+|B|+|C|+2)\\ &=&|A|+|C|+|B^{\prime}|+3|B\setminus B^{\prime}|-2.\\ \end{array}

If BBB\setminus B^{\prime}\neq\emptyset, ww is the only dominating vertex in GG^{\prime}, and ξc(G)ξc(G)>0\xi^{c}(G)-\xi^{c}(G^{\prime})>0. It then follows from Theorem 2 that ξc(G)>ξc(G)ξc(𝖧n,p)\xi^{c}(G)>\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}). So assume BB=B\setminus B^{\prime}=\emptyset. Since A(BB)A\cup(B\setminus B^{\prime})\neq\emptyset, and C(BB)C\cup(B\setminus B^{\prime})\neq\emptyset, we have AA\neq\emptyset and CC\neq\emptyset. Hence, once again, ww is the only dominating vertex in GG^{\prime}, and we know from Theorem 2 that ξc(G)ξc(𝖧n,p)\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}).

  • If |B|1|B^{\prime}|\geq 1, |A|2|A|\geq 2 or |C|2|C|\geq 2, then ξc(G)>ξc(G)ξc(𝖧n,p)\xi^{c}(G)>\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}).

  • If |B|=0|B^{\prime}|=0 and |A|=|C|=1|A|=|C|=1, there are two possible cases:

    • if the vertex in AA is not adjacent to the vertex in CC, then n=5n=5, p=2p=2, G𝖯5G\simeq{\sf P}_{5} and G𝖧5,2G^{\prime}\simeq{\sf H}_{5,2}. Hence, ξc(G)=24>16=ξc(𝖧n,p)\xi^{c}(G)=24>16=\xi^{c}({\sf H}_{n,p});

    • if the vertex in AA is adjacent to the vertex in CC, then n=5n=5, p=0p=0, G𝖢5G\simeq{\sf C}_{5} and G𝖧5,2G^{\prime}\simeq{\sf H}_{5,2}. Hence, ξc(G)=ξc(𝖧n,p)=20\xi^{c}(G)=\xi^{c}({\sf H}_{n,p})=20;

Case 3: vv is not adjacent to ww, and at least one of A(BB)A\cup(B\setminus B^{\prime}) and C(BB)C\cup(B\setminus B^{\prime}) is empty.

Without loss of generality, suppose A(BB)=A\cup(B\setminus B^{\prime})=\emptyset. We distinguish two subcases.

Case 3.1: B=B^{\prime}=\emptyset.

Since n4n\geq 4, CC\neq\emptyset. Also, since pn3p\leq n-3, there is a non-pending vertex rCr\in C. Let GG^{\prime} be the graph obtained from GG by removing the edge linking uu and vv and by linking vv to ww and to rr. Note that GG^{\prime} is a connected graph of order nn with pp pending vertices : while vv was pending in GG, but not uu, the situation is the opposite in GG^{\prime}. Note also that Theorem 2 implies ξc(G)ξc(𝖧n,p)\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}) since ww is the only dominating vertex in GG^{\prime}. We then have:

  • dG(u)=2d_{G}(u)\!=\!2, dG(u)=1d_{G^{\prime}}(u)\!=\!1 and eG(u)=eG(u)=2e_{G}(u)\!=\!e_{G^{\prime}}(u)\!=\!2, which gives dG(u)eG(u)dG(u)eG(u)=2d_{G}(u)e_{G}(u)-d_{G^{\prime}}(u)e_{G^{\prime}}(u)=2;

  • dG(v)=1d_{G}(v)\!=\!1, dG(v)=2d_{G^{\prime}}(v)\!=\!2 eG(v)=3e_{G}(v)\!=\!3 and eG(v)=2e_{G^{\prime}}(v)\!=\!2, which gives dG(v)eG(v)dG(v)eG(v)=1d_{G}(v)e_{G}(v)-d_{G^{\prime}}(v)e_{G^{\prime}}(v)=\!-\!1;

  • dG(w)=n2d_{G}(w)\!=\!n-2, dG(w)=n1d_{G^{\prime}}(w)\!=\!n-1 eG(w)=2e_{G}(w)\!=\!2 and eG(w)=1e_{G^{\prime}}(w)\!=\!1, which gives dG(w)eG(w)dG(w)eG(w)=n3d_{G}(w)e_{G}(w)-d_{G^{\prime}}(w)e_{G^{\prime}}(w)=n-3;

  • dG(r)=dG(r)+1d_{G^{\prime}}(r)\!=\!d_{G}(r)\!+\!1, eG(r)=3e_{G}(r)\!=\!3 and eG(w)=2e_{G^{\prime}}(w)\!=\!2, which gives dG(r)eG(r)dG(r)eG(r)=dG(r)2d_{G}(r)e_{G}(r)-d_{G^{\prime}}(r)e_{G^{\prime}}(r)=d_{G}(r)-2;

  • dG(c)=dG(c)d_{G^{\prime}}(c)\!=\!d_{G}(c) and eG(c)>eG(c)e_{G}(c)>e_{G^{\prime}}(c) for all c(C{r})c\in(C\setminus\{r\}). Since rr has a neighbor in CC of degree at least 2, we have cC{r}(dG(c)eG(c)dG(c)eG(c)2)\sum_{c\in C\setminus\{r\}}(d_{G}(c)e_{G}(c)-d_{G^{\prime}}(c)e_{G^{\prime}}(c)\geq 2).

Hence, ξc(G)ξc(G)21+n3>0+dG(r)20+2>0\xi^{c}(G)-\xi^{c}(G^{\prime})\geq 2-1+\underbrace{n-3}_{>0}+\underbrace{d_{G}(r)-2}_{\geq 0}+2>0, which implies ξc(G)>ξc(G)ξc(𝖧n,p)\xi^{c}(G)>\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}).

Case 3.2: BB^{\prime}\neq\emptyset.

Let b1,,b|B|b_{1},\ldots,b_{|B^{\prime}|} be the vertices in BB^{\prime}. Remember that the unique neighbors of these vertices are vv and ww. Let GG^{\prime} be the graph obtained from GG as follows. We first add an edge linking vv to ww. Then, for every odd i<|B|i<|B^{\prime}|, we add an edge linking bib_{i} to bi+1b_{i+1} and remove the edges linking vv to bib_{i} and to bi+1b_{i+1}. We then have

  • dG(x)=dG(x)d_{G}(x)=d_{G^{\prime}}(x) and eG(x)=eG(x)e_{G}(x)=e_{G^{\prime}}(x) for all xBC{u}x\in B^{\prime}\cup C\cup\{u\};

  • dG(v)=|B|+1d_{G}(v)=|B^{\prime}|+1, dG(v)3d_{G^{\prime}}(v)\leq 3, eG(v)2e_{G}(v)\geq 2, and eG(v)2e_{G^{\prime}}(v)\leq 2;

  • dG(w)=|B|+|C|+1d_{G}(w)=|B^{\prime}|+|C|+1, dG(w)=|B|+|C|+2d_{G^{\prime}}(w)=|B^{\prime}|+|C|+2, eG(w)=2e_{G}(w)=2, and eG(w)=1e_{G^{\prime}}(w)=1.

Hence,

ξc(G)ξc(G)=dG(v)eG(v)+dG(w)eG(w)dG(v)eG(v)+dG(w)eG(w)2(|B|+1)+2(|B|+|C|+1)6(|B|+|C|+2)=3|B|+|C|4.\begin{array}[]{rll}\xi^{c}(G)-\xi^{c}(G^{\prime})&=&d_{G}(v)e_{G}(v)+d_{G}(w)e_{G}(w)-d_{G^{\prime}}(v)e_{G^{\prime}}(v)+d_{G^{\prime}}(w)e_{G^{\prime}}(w)\\ &\geq&2(|B^{\prime}|+1)+2(|B^{\prime}|+|C|+1)-6-(|B^{\prime}|+|C|+2)\\ &=&3|B^{\prime}|+|C|-4.\end{array}

IF |B|2|B^{\prime}|\geq 2 or |C|2|C|\geq 2, then ξc(G)ξc(G)>0\xi^{c}(G)-\xi^{c}(G^{\prime})>0, and since ww is then the only dominating vertex in GG^{\prime}, we know from Theorem 2 that ξc(G)>ξc(G)ξc(𝖧n,p)\xi^{c}(G)>\xi^{c}(G^{\prime})\geq\xi^{c}({\sf H}_{n,p}). So, assume |B|=1|B^{\prime}|=1 and |C|1|C|\leq 1:

  • if |C|=0|C|=0 then n=4n=4, p=0p=0, G𝖢4G\simeq{\sf C}_{4} and G𝖧4,0G^{\prime}\simeq{\sf H}_{4,0} which implies ξc(G)=16>14=ξc(𝖧n,p)\xi^{c}(G)=16>14=\xi^{c}({\sf H}_{n,p});

  • if |C|=1|C|=1 then n=5n=5, p=1p=1, ξc(G)=23\xi^{c}(G)=23 and G𝖧5,1G^{\prime}\simeq{\sf H}_{5,1} which implies ξc(G)>20=ξc(𝖧n,p)\xi^{c}(G)>20=\xi^{c}({\sf H}_{n,p}).

We can now combine these results as follows. Assume GG is a connected graph of order nn with pp pending vertices. If p1p\geq 1, then GG has at most one dominating vertex, and it follows from Theorems 2 and 4 that 𝖧n,p{\sf H}_{n,p} is the only graph with maximum eccentric connectivity index. If p=0p=0 and n=4n=4, then GG cannot contain exactly one dominating vertex, and Theorems 3 and 4 show that 𝖪4{\sf K}_{4} is the only graph with maximum eccentric connectivity index. If p=0p=0 and n=5n=5, Theorems 2, 3 and 4 show that 𝖧5,0{\sf H}_{5,0}, 𝖲5,2{\sf S}_{5,2}, 𝖪5{\sf K}_{5} and 𝖢5{\sf C}_{5} are the only candidates to minimize the eccentric connectivity index, and since ξc(𝖧5,0)=ξc(𝖲5,2)=ξc(𝖪5)=ξc(𝖢5)=20\xi^{c}({\sf H}_{5,0})=\xi^{c}({\sf S}_{5,2})=\xi^{c}({\sf K}_{5})=\xi^{c}({\sf C}_{5})=20, the four graphs are the optimal ones. If p=0p=0 and n6n\geq 6 then we know from Theorems 2, 3 and 4 that 𝖲n,2{\sf S}_{n,2} and 𝖧n,0{\sf H}_{n,0} are the only candidates to minimize the eccentric connectivity index. Since ξc(𝖲6,2)=26<27=ξc(𝖧6,0)\xi^{c}({\sf S}_{6,2})=26<27=\xi^{c}({\sf H}_{6,0}), ξc(𝖲7,2)=32>30=ξc(𝖧7,0)\xi^{c}({\sf S}_{7,2})=32>30=\xi^{c}({\sf H}_{7,0}) and ξc(𝖲n,2)=6n10>5n3ξc(𝖧n,0)\xi^{c}({\sf S}_{n,2})=6n-10>5n-3\geq\xi^{c}({\sf H}_{n,0}) for n8n\geq 8, we deduce that 𝖲6,2{\sf S}_{6,2} is the only graph with maximum eccentric connectivity index when n=6n=6 and p=0p=0, while 𝖧n,0{\sf H}_{n,0} is the only optimal graph when n7n\geq 7 and p=0p=0. This is summarized in the following Corollary.

Corollary 5.

Let GG be a connected graph of order n4n\geq 4 with pn3p\leq n-3 pending vertices.

  • If p1p\geq 1 then ξc(G)ξc(𝖧n,p)\xi^{c}(G)\geq\xi^{c}({\sf H}_{n,p}), with equality if and only if G𝖧n,pG\simeq{\sf H}_{n,p};

  • If p=0p=0 then

    • if n=4n=4 then ξc(G)12\xi^{c}(G)\geq 12, with equality if and only if G𝖪4G\simeq{\sf K}_{4};

    • if n=5n=5 then ξc(G)20\xi^{c}(G)\geq 20, with equality if and only if G𝖧5,0G\simeq{\sf H}_{5,0}, 𝖲5,2{\sf S}_{5,2}, 𝖪5{\sf K}_{5} or 𝖢5{\sf C}_{5};

    • if n=6n=6 then ξc(G)26\xi^{c}(G)\geq 26, with equality if and only if G𝖲6,2G\simeq{\sf S}_{6,2};

    • if n7n\geq 7 then ξc(G)ξc(𝖧n,0)\xi^{c}(G)\geq\xi^{c}({\sf H}_{n,0}), with equality if and only if G𝖧n,0G\simeq{\sf H}_{n,0}.

4 Conclusion

We have characterized the graphs with smallest eccentric connectivity index among those of fixed order nn and fixed or non-fixed number of pending vertices. Such a characterization for graphs with a fixed order nn and a fixed size mm was given in [12]. It reads as follows.

Theorem 6.

Let GG be a connected graph of order nn with mm edges, where n1m<(n2).n-1\leq m<{{n}\choose{2}}. Also, let

k=2n1(2n1)28m2.k=\left\lfloor\frac{2n-1-\sqrt{(2n-1)^{2}-8m}}{2}\right\rfloor.

Then ξc(G)4mk(n1)\xi^{c}(G)\geq 4m-k(n-1), with equality if and only if GG has kk dominating vertices and nkn-k vertices of eccentricity 2.

It is, however, an open question to characterize the graphs with largest eccentric connectivity index among those of fixed order nn and fixed size mm. The following conjecture appears in [4], where 𝖤n,D,k{\sf E}_{n,D,k} is the graph of order nn constructed from a path u0u1uDu_{0}-u_{1}-\ldots-u_{D} by joining each vertex of a clique 𝖪nD1{\sf K}_{n-D-1} to u0u_{0} and u1u_{1}, and kk vertices of the clique to u2u_{2}.

Conjecture 7.

Let GG be a connected graph of order nn with mm edges, where n1m(n12).n-1\leq m\leq{{n-1}\choose{2}}. Also, let

D=2n+117+8(mn)2 and k=m(nD+12)D+1.D=\left\lfloor\frac{2n+1-\sqrt{17+8(m-n)}}{2}\right\rfloor\text{ and }k=m-{{n-D+1}\choose{2}}-D+1.

Then ξc(G)ξc(𝖤n,D,k)\xi^{c}(G)\leq\xi^{c}({\sf E}_{n,D,k}), with equality if and only if G𝖤n,D,kG\simeq{\sf E}_{n,D,k} or D=3D=3, k=n4k=n-4 and GG is the graph constructed from a path u0u1u2u3u_{0}-u_{1}-u_{2}-u_{3}, by joining 1in31\leq i\leq n-3 vertices of a clique 𝖪n4{\sf K}_{n-4} to u0,u1,u2u_{0},u_{1},u_{2} and the n4in-4-i other vertices of 𝖪n4{\sf K}_{n-4} to u1,u2,u3u_{1},u_{2},u_{3}.

References

  • [1] Cayley, A. On the mathematical theory of isomers. Philosophical Magazine, Series 5 47 (1874), 444–446.
  • [2] Dureja, H., Gupta, S., and Madan, A. Predicting anti-hiv-1 activity of 6-arylbenzonitriles: Computational approach using superaugmented eccentric connectivity topochemical indices. Journal of Molecular Graphics and Modelling 26, 6 (2008), 1020 – 1029.
  • [3] Gupta, S., Singh, M., and Madan, A. Eccentric distance sum: A novel graph invariant for predicting biological and physical properties. Journal of Mathematical Analysis and Applications 275, 1 (2002), 386 – 401.
  • [4] Hauweele, P., Hertz, A., Mélot, H., Ries, B., and Devillez, G. Maximum eccentric connectivity index of graphs with given diameter. ArXiv e-print 1808.10203 (2018).
  • [5] Ilić, A., and Gutman, I. Eccentric connectivity index of chemical trees. MATCH Commun. Math. Comput. Chem. 65 (2011).
  • [6] Karelson, M. Molecular descriptors in QSAR/QSPR. Wiley-Interscience. 2000.
  • [7] Kumar, V., Sardana, S., and Madan, A. K. Predicting anti-hiv activity of 2,3-diaryl-1,3-thiazolidin-4-ones: computational approach using reformed eccentric connectivity index. Journal of Molecular Modeling 10, 5 (Dec 2004), 399–407.
  • [8] Sardana, S., and Madan, A. Application of graph theory: Relationship of molecular connectivity index, wiener’s index and eccentric connectivity index with diuretic activity. MATCH Commun. Math. Comput. Chem. 43 (03 2001).
  • [9] Sharma, V., Goswani, R., and Madan, A.K. Eccentric Connectivity Index: A Novel Highly Discriminating Topological Descriptor for Structure Property and Structure Activity Studies. J. Chem. Inf. Comput. Sci. 37 (1997), 273 – 282.
  • [10] Todeschini, R., and Consonni, V. Handbook of molecular descriptors. Wiley-VCH, Weinheim, vol. 11. 01 2000.
  • [11] Wiener, H. Structural determination of paraffin boiling points. Journal of the American Chemical Society 69, 1 (1947), 17–20. PMID: 20291038.
  • [12] Zhou, B., and Du, Z. On eccenctric connectivity index. MATCH Commun. Math. Comput. Chem. 63 (2010), 181–198.