# On the Harary index of graph operations

- Kinkar C Das
^{1}, - Kexiang Xu
^{2}, - Ismail Naci Cangul
^{3}Email author, - Ahmet Sinan Cevik
^{4}and - Ante Graovac
^{5}

**2013**:339

https://doi.org/10.1186/1029-242X-2013-339

© Das et al.; licensee Springer 2013

**Received: **22 April 2013

**Accepted: **9 July 2013

**Published: **24 July 2013

## Abstract

The Harary index is defined as the sum of reciprocals of distances between all pairs of vertices of a connected graph. In this paper, expressions for the Harary indices of the join, corona product, Cartesian product, composition and disjunction of graphs are derived and the indices for some well-known graphs are evaluated. In derivations some terms appear which are similar to the Harary index and we name them the second and third Harary index.

**MSC:**05C05, 05C07, 05C90.

## Keywords

## 1 Introduction and preliminaries

*G*is a graph with vertex set $V(G)=\{{v}_{1},{v}_{2},\dots ,{v}_{n}\}$ and edge set $E(G)$. The distance between the vertices ${v}_{i}$ and ${v}_{j}$ of $V(G)$ is denoted by ${d}_{G}({v}_{i},{v}_{j})$ and it is defined as the number of edges in a minimal path connecting the vertices ${v}_{i}$ and ${v}_{j}$. The Harary index is one of very much studied topological indices and is defined as follows [1, 2]:

*G*. Mathematical properties and applications of

*H*are reported in [3–11]. We now propose two more members of the class of Harary indices, the second Harary index and the third Harary index, which are as follows:

*G*. The Wiener index of

*G*is defined as [12]

*G*, the distance of which is equal to

*k*, then the Wiener index of

*G*can be expressed as

The maximum value of *k*, for which $d(G,k)$ is non-zero, is the diameter of the graph *G*, and it will be denoted by $D(G)$. The Wiener index is of certain importance in chemistry [13]. It is one of the oldest and most thoroughly studied graph-based molecular structure-descriptors (the so-called topological indices) [12–14]. Numerous chemical applications of it have been reported (see, for instance, [15, 16]), and its mathematical properties are reasonably well understood [17–20]. The *degree* of ${v}_{i}\in V(G)$, denoted by ${d}_{G}({v}_{i})$, is the number of vertices in *G* adjacent to ${v}_{i}$. For other undefined notations and terminology from graph theory, the readers are referred to [21].

In [22], Khalifeh *et al.* computed some exact formulae for the hyper-Wiener index of the join, Cartesian product, composition, disjunction and symmetric difference of graphs. Some more properties and applications of graph products can be seen in the classical book [23].

The paper is organized as follows. In Section 2, we obtain lower and upper bounds on the Harary index of graphs. In Section 3, we give some exact expressions for the Harary index of various graph operations, such as join, corona product, Cartesian product, composition, disjunction, *etc.* Moreover, computations are done for some well-known graphs.

## 2 Bounds on the Harary index

where *t* is any non-negative real number. In this section we obtain lower and upper bounds on ${H}_{t}(G)$ of the graph *G*. From that we can find lower and upper bounds on the Harary index of graphs. These results are useful in the next section. We begin with the following lower and upper bounds on ${H}_{t}(G)$.

**Theorem 1**

*Let*

*G*($\ncong {K}_{|G|}$)

*be a connected graph of order*$|G|$, $\parallel G\parallel $

*edges and diameter*$D(G)$.

*Then*

*with equality holding if and only if*

*G*

*is isomorphic to a graph of diameter*2.

*Moreover*,

*with equality holding if and only if**G**is isomorphic to a graph of diameter* 2.

*Proof*For $({u}_{i},{u}_{k})\ne ({u}_{j},{u}_{\ell})$, $i\ne k$, $j\ne \ell $, $2\le {d}_{G}({u}_{i},{u}_{k})\le D(G)$, $2\le {d}_{G}({u}_{j},{u}_{\ell})\le D(G)$, we have

Using (4), (6) and (7) in the above, we get the lower bound in (1) and upper bound in (2) on ${H}_{t}(G)$ of the graph *G*.

Thus *G* is isomorphic to a graph of diameter 2.

Conversely, one can see easily that both equalities hold in (1) and (2) for graphs of diameter 2. □

**Corollary 1**

*Let*

*G*($\ncong {K}_{|G|}$)

*be a connected graph of order*$|G|$, $\parallel G\parallel $

*edges and diameter*$D(G)$.

*Then*

*with equality holding if and only if*

*G*

*is isomorphic to a graph of diameter*2.

*Moreover*,

*with equality holding if and only if**G**is isomorphic to a graph of diameter* 2.

*Proof* Putting $t=1$ in (1) and (2), we get the required result. By Theorem 1, we have that both equalities hold if and only if *G* is isomorphic to a graph of diameter 2. □

**Corollary 2**

*Let*

*G*($\ncong {K}_{|G|}$)

*be a connected graph of order*$|G|$, $\parallel G\parallel $

*edges and diameter*$D(G)$.

*Then*

*with equality holding if and only if*

*G*

*is isomorphic to a graph of diameter*2.

*Moreover*,

*with equality holding if and only if**G**is isomorphic to a graph of diameter* 2.

*Proof* Putting $t=2$ in (1) and (2), we get the required result. By Theorem 1, we have that both equalities hold if and only if *G* is isomorphic to a graph of diameter 2. □

From the above Theorem 1, we get the lower and upper bounds on the Harary index of graphs.

**Theorem 2**

*Let*

*G*($\ncong {K}_{|G|}$)

*be a connected graph of order*$|G|$, $\parallel G\parallel $

*edges and diameter*$D(G)$.

*Then*

*with equality holding if and only if*

*G*

*is isomorphic to a graph of diameter*2.

*Moreover*,

*with equality holding if and only if**G**is isomorphic to a graph of diameter* 2.

*Proof* Putting $t=0$ in (1) and (2), we get the required result. By Theorem 1, we have that both equalities hold if and only if *G* is isomorphic to a graph of diameter 2. □

## 3 Harary index of graph operations

In this section, some exact formulae for the Harary index of some graph operations are presented.

Let ${G}_{1}$ and ${G}_{2}$ be two graphs with $|{G}_{1}|$ and $|{G}_{2}|$ vertices, and $\parallel {G}_{1}\parallel $ and $\parallel {G}_{1}\parallel $ edges, respectively. The join ${G}_{1}\vee {G}_{2}$ of graphs ${G}_{1}$ and ${G}_{2}$ with disjoint vertex sets $V({G}_{1})$ and $V({G}_{2})$, and edge sets $E({G}_{1})$ and $E({G}_{2})$ is the graph union ${G}_{1}\cup {G}_{2}$ together with all the edges joining $V({G}_{1})$ and $V({G}_{2})$. Thus, for example, ${\overline{K}}_{p}\vee {\overline{K}}_{q}={K}_{p,q}$, the complete bipartite graph.

**Theorem 3**

*Let*${G}_{1}$

*and*${G}_{2}$

*be two graphs*.

*Then*

*Proof*By the definition of the Harary index, we have

□

For two cycles ${C}_{m}$ and ${C}_{n}$, we have the following.

**Example 1**

*i*th vertex of ${G}_{1}$ to every vertex in the

*i*th copy of ${G}_{2}$, $i=1,2,\dots ,|{G}_{1}|$. Let ${G}_{1}=(V,E)$ and ${G}_{2}=(V,E)$ be two graphs such that $V({G}_{1})=\{{u}_{1},{u}_{2},\dots ,{u}_{{p}_{1}}\}$, ${p}_{1}=|{G}_{1}|$, $|E({G}_{1})|=\parallel {G}_{1}\parallel $ and $V({G}_{2})=\{{v}_{1},{v}_{2},\dots ,{v}_{{p}_{2}}\}$, ${p}_{2}=|{G}_{2}|$, $|E({G}_{2})|=\parallel {G}_{2}\parallel $. Then it follows from the definition of the corona that ${G}_{1}\circ {G}_{2}$ has $|{G}_{1}|(1+|{G}_{2}|)$ vertices and $\parallel {G}_{1}\parallel +|{G}_{1}|\parallel {G}_{2}\parallel +|{G}_{1}||{G}_{2}|$ edges, where

It is clear that if ${G}_{1}$ is connected, then ${G}_{1}\circ {G}_{2}$ is connected, and in general ${G}_{1}\circ {G}_{2}$ is not isomorphic to ${G}_{2}\circ {G}_{1}$.

**Theorem 4**

*The Harary index of the corona product is computed as follows*:

*where*${H}_{1}({G}_{1})={\sum}_{{u}_{i},{u}_{k}\in V({G}_{1}),{u}_{i}\ne {u}_{k}}\frac{1}{{d}_{{G}_{1}}({u}_{i},{u}_{k})+1}$*and*${H}_{2}({G}_{1})={\sum}_{{u}_{i},{u}_{k}\in V({G}_{1}),{u}_{i}\ne {u}_{k}}\frac{1}{{d}_{{G}_{1}}({u}_{i},{u}_{k})+2}$.

*Proof*Note that

□

**Theorem 5**

*Let*${G}_{1}$ ($\ncong {K}_{|{G}_{1}|}$)

*and*${G}_{2}$

*be two connected graphs with diameter of*${G}_{1}$, $D({G}_{1})$.

*Then the lower and upper bounds on the Harary index of the corona product are as follows*:

*with equality holding if and only if*${G}_{1}$

*is isomorphic to a graph of diameter*2.

*Moreover*,

*with equality holding if and only if*${G}_{1}$*is isomorphic to a graph of diameter* 2.

*Proof* Using Corollaries 1 and 2 with Theorem 2, from Theorem 4, we get the lower and upper bounds on the Harary index of the corona product. Moreover, the equality holds if and only if ${G}_{1}$ is isomorphic to a graph of diameter 2. □

Given a graph *G* with vertex set $V=\{{v}_{1},{v}_{2},\dots ,{v}_{n}\}$, the thorn graph $G({p}_{1},{p}_{2},\dots ,{p}_{n})$ first introduced by Gutman [24], is a graph obtained by attaching ${p}_{i}$ pendent vertices to vertex ${v}_{i}$ for $i=1,2,\dots ,n$. In particular, if ${p}_{1}={p}_{2}=\cdots ={p}_{n}=p$, we denote by ${G}^{(p)}$ the thorn graph $G({p}_{1},{p}_{2},\dots ,{p}_{n})$ for short. Recall the definition of the corona product, the graph ${G}^{(p)}\cong G\circ \overline{{K}_{p}}$, where $\overline{{K}_{p}}$ denotes the complement of a complete graph ${K}_{p}$. Therefore, for a connected graph *G* of order *n*, we have the following.

**Example 2**

The Cartesian product ${G}_{1}\times {G}_{2}$ of graphs ${G}_{1}$ and ${G}_{2}$ has the vertex set $V({G}_{1}\times {G}_{2})=V({G}_{1})\times V({G}_{2})$ and $({u}_{i},{v}_{j})({u}_{k},{v}_{\ell})$ is an edge of ${G}_{1}\times {G}_{2}$ if ${u}_{i}={u}_{k}$ and ${v}_{j}{v}_{\ell}\in E({G}_{2})$, or ${u}_{i}{u}_{k}\in E({G}_{1})$ and ${v}_{j}={v}_{\ell}$.

**Theorem 6**

*Let*${G}_{1}$

*and*${G}_{2}$

*be two connected graphs with diameter*$D({G}_{2})$

*of the graph*${G}_{2}$.

*Then*

*where*

*Moreover*, *both sides of the equality hold in* (8) *if and only if*${G}_{2}$*is isomorphic to a complete graph of order*$|{G}_{2}|$.

*Proof*By the definition of the Harary index, we have

where ${H}_{D}({G}_{1})$ is given in the statement of the theorem. The first part of the proof is over.

Suppose that both sides of the equality hold in (8). Then we must have ${d}_{{G}_{2}}({v}_{j},{v}_{\ell})=1$, ${v}_{j}\ne {v}_{\ell}$, for all ${v}_{j},{v}_{\ell}\in V({G}_{2})$ or ${d}_{{G}_{2}}({v}_{j},{v}_{\ell})=D({G}_{2})$, ${v}_{j}\ne {v}_{\ell}$, for all ${v}_{j},{v}_{\ell}\in V({G}_{2})$. Hence ${G}_{2}$ is isomorphic to a complete graph of order $|{G}_{2}|$.

Conversely, one can see easily that (8) holds for ${G}_{2}$, a complete graph of order $|{G}_{2}|$. This completes the proof. □

**Theorem 7**

*Let*${G}_{1}$ ($\ncong {K}_{|{G}_{1}|}$)

*and*${G}_{2}$ ($\ncong {K}_{|{G}_{2}|}$)

*be two connected graphs with diameter*$D({G}_{1})$

*of the graph*${G}_{1}$

*and*$D({G}_{2})$

*of the graph*${G}_{2}$.

*Then*

*Moreover*,

*Proof* Using Theorems 1 and 2 with Corollary 1 in Theorem 6, we get the lower and upper bounds on the Cartesian product ${G}_{1}\times {G}_{2}$ of the graphs ${G}_{1}$ and ${G}_{2}$. Moreover, both inequalities are strict as ${G}_{1}\ncong {K}_{|{G}_{1}|}$, ${G}_{2}\ncong {K}_{|{G}_{2}|}$ and by Theorem 6. □

**Theorem 8**

*Let*${G}_{1}$

*and*${G}_{2}$

*be two connected graphs with diameter*$D({G}_{1})$

*of the graph*${G}_{1}$.

*Then*

*where*

*Moreover*, *both sides of the equality hold in* (10) *if and only if*${G}_{1}$*is isomorphic to a complete graph of order*$|{G}_{1}|$.

*Proof* Since $1\le {d}_{{G}_{1}}({u}_{i},{u}_{k})\le D({G}_{1})$, $i\ne k$, from (9) we get the required result in (10). Moreover, both sides of the equality hold in (10) if and only if ${G}_{1}$ is isomorphic to a complete graph of order $|{G}_{1}|$. □

**Theorem 9**

*Let*${G}_{1}$ ($\ncong {K}_{|{G}_{1}|}$)

*and*${G}_{2}$ ($\ncong {K}_{|{G}_{2}|}$)

*be two connected graphs with diameter*$D({G}_{1})$

*of the graph*${G}_{1}$

*and*$D({G}_{2})$

*of the graph*${G}_{2}$.

*Then*

*Moreover*,

*Proof* Using Theorems 1 and 2 with Corollary 1 in Theorem 8, we get the lower and upper bound on the Cartesian product ${G}_{1}\times {G}_{2}$ of graphs ${G}_{1}$ and ${G}_{2}$. Moreover, both inequalities are strict as ${G}_{1}\ncong {K}_{|{G}_{1}|}$, ${G}_{2}\ncong {K}_{|{G}_{2}|}$ and by Theorem 8. □

**Corollary 3**

*Let*

*G*

*be a connected graph of order*$|G|$.

*Then*

*where*${H}_{1}(G)={\sum}_{{v}_{i},{v}_{j}\in V(G),i\ne j}\frac{1}{{d}_{G}({v}_{i},{v}_{j})+1}$.

*Proof* Choosing ${G}_{1}=G$ and ${G}_{2}={K}_{2}$ in Theorem 6, this theorem follows immediately. □

The lattice graph ${L}_{2,n}$ (see [25]) is just ${P}_{n}\times {K}_{2}$. It is well known that [2]$H({P}_{n})=n{\sum}_{i=1}^{n-1}\frac{1}{i}-n+1$. So, we have the following example.

**Example 3**

The composition (also called *lexicographic product* [26]) $G={G}_{1}[{G}_{2}]$ of graphs ${G}_{1}$ and ${G}_{2}$ with disjoint vertex sets $V({G}_{1})$ and $V({G}_{2})$ and edge sets $E({G}_{1})$ and $E({G}_{2})$ is the graph with vertex set $V({G}_{1})\times V({G}_{2})$ and $({u}_{i},{v}_{j})$ is adjacent with $({u}_{k},{v}_{\ell})$ whenever ${u}_{i}$ is adjacent with ${u}_{k}$, or ${u}_{i}={u}_{k}$ and ${v}_{j}$ is adjacent with ${v}_{\ell}$.

**Theorem 10**

*Let*${G}_{1}$

*and*${G}_{2}$

*be two connected graphs*.

*Then*

*Proof*By the definition of the Harary index, we have

□

The double graph of a given graph *G*, denoted by ${G}^{\u229b}$, is constructed by making two copies of *G* (including the initial edge set of each), denoted by ${G}_{1}$ and ${G}_{2}$, and adding edges ${u}_{1}{v}_{2}$ and ${u}_{2}{v}_{1}$ for every edge *uv* of *G*. From the definition of composition, we conclude that ${G}^{\u229b}\cong G[{K}_{2}]$ for any connected graph *G*. Therefore the following corollary can be easily obtained.

**Corollary 4**

*Let*

*G*

*be a connected graph*.

*Then*

For a complete graph ${K}_{n}$, we find that ${K}_{n}^{\u229b}$ is a graph obtained by deleting a perfect matching from the complete graph ${K}_{2n}$, which is just the well-known cocktail party graph (see [27]).

**Example 4**

The disjunction ${G}_{1}\otimes {G}_{2}$ of graphs ${G}_{1}$ and ${G}_{2}$ is the graph with vertex set $V({G}_{1})\times V({G}_{2})$ and $({u}_{i},{v}_{j})$ is adjacent with $({u}_{k},{v}_{\ell})$ whenever ${u}_{i}{u}_{k}\in E({G}_{1})$ or ${v}_{j}{v}_{\ell}\in E({G}_{2})$.

**Theorem 11**

*Let*${G}_{1}$

*and*${G}_{2}$

*be two connected graphs*.

*Then*

*Proof*In [22], it has been proved that

□

The construction of the extended double cover was introduced by Alon [28] in 1986. For a simple graph *G* with vertex set $V=\{{v}_{1},{v}_{2},\dots ,{v}_{n}\}$, the extended double cover of *G*, denoted by ${G}^{\star}$, is the bipartite graph with bipartition $(X;Y)$ where $X=\{{x}_{1},{x}_{2},\dots ,{x}_{n}\}$ and $Y=\{{y}_{1},{y}_{2},\dots ,{y}_{n}\}$, in which ${x}_{i}$ and ${y}_{j}$ are adjacent if and only if $i=j$ or ${v}_{i}$ and ${v}_{j}$ are adjacent in *G*. Note that for a graph *G*, ${G}^{\star}\cong G\otimes {K}_{2}$. So, the corollary below follows immediately.

**Corollary 5**

*Let*

*G*

*be a connected graph of order*

*n*.

*Then*

For a complete graph ${K}_{n}$, by the definition listed above, we find that ${K}_{n}\otimes {K}_{2}$ is just ${K}_{n,n}$.

**Example 5**

Let $G=(V,E)$ be a connected graph of $|G|$ vertices with $\parallel G\parallel $ edges. If we put two similar graphs *G* side by side, and any vertex of the first graph *G* is connected by edges with those vertices which are adjacent to the corresponding vertex of the second graph *G* and the resultant graph is denoted by ${K}_{2}\uplus G$, then we have $|{K}_{2}\uplus G|=2|G|$ and $\parallel {K}_{2}\uplus G\parallel =\parallel G\parallel +\parallel G\parallel +2\parallel G\parallel =4\parallel G\parallel $. Moreover, ${K}_{2}\uplus G$ is the graph of ${K}_{2}$ and *G* with the vertex set $V({K}_{2}\times G)=V({K}_{2})\times V(G)$ and $({u}_{i},{v}_{j})({u}_{k},{v}_{\ell})$ is an edge of ${K}_{2}\times G$ whenever (${u}_{i}={u}_{k}$ and ${v}_{j}$ is adjacent with ${v}_{\ell}$) or (${u}_{i}\ne {u}_{k}$ and ${v}_{j}$ is adjacent with ${v}_{\ell}$).

**Theorem 12**

*Let*

*G*

*be a connected graph*.

*Then*

*Proof*By the definition of the Harary index, we have

□

Let $G=(V,E)$ be a connected graph of $|G|$ vertices with $\parallel G\parallel $ edges. If we put two similar graphs *G* side by side, and any vertex of the first graph *G* is connected by edges with those vertices which are nonadjacent to the corresponding vertex (including the corresponding vertex itself) of the second graph *G* and the resultant graph is denoted by ${K}_{2}\bigsqcup G$, then we have $|{K}_{2}\bigsqcup G|=2|G|$ and $\parallel {K}_{2}\bigsqcup G\parallel =\parallel G\parallel +\parallel G\parallel +{|G|}^{2}-2\parallel G\parallel ={|G|}^{2}$. Moreover, ${K}_{2}\bigsqcup G$ is the graph of ${K}_{2}$ and *G* with the vertex set $V({K}_{2}\bigsqcup G)=V({K}_{2})\times V(G)$ and $({u}_{i},{v}_{j})({u}_{k},{v}_{\ell})$ is an edge of ${K}_{2}\times G$ whenever (${u}_{i}={u}_{k}$ and ${v}_{j}$ is adjacent with ${v}_{\ell}$) or (${u}_{i}\ne {u}_{k}$ and ${v}_{j}$ is nonadjacent with ${v}_{\ell}$).

**Theorem 13**

*Let*

*G*

*be a connected graph of order*$|G|$.

*Then*

*Proof*In ${K}_{2}\bigsqcup G$, for each vertex $({u}_{i},{v}_{j})$, there are ${d}_{G}({v}_{j})+|G|-1-{d}_{G}({v}_{j})+1=|G|$ neighbors, and ${d}_{G}({v}_{j})+n-1-{d}_{G}({v}_{j})=|G|-1$ vertices with the distance 2 from itself. By the definition of the Harary index, we have

□

## Declarations

### Acknowledgements

KCD was supported by the Faculty research Fund, Sungkyunkwan University, 2012, and National Research Foundation funded by the Korean government with the grant no. 2013R1A1A2009341; and KX was supported by China Postdoctoral Science Foundation (2013M530253) and the NNSF of China with the number 11201227. Moreover, INC and ASC were supported by the Scientific Project Office Funds (BAP) of Uludag (with Project Code F2012/15, F2012/19 and F2012/20) and Selcuk (with Project Code 13701071) Universities, respectively.

## Authors’ Affiliations

## References

- Ivanciuc O, Balaban TS, Balaban AT: Reciprocal distance matrix, related local vertex invariants and topological indices.
*J. Math. Chem.*1993, 12: 309–318. 10.1007/BF01164642MathSciNetView ArticleGoogle Scholar - Plavšić D, Nikolić S, Trinajstić N, Mihalić Z: On the Harary index for the characterization of chemical graphs.
*J. Math. Chem.*1993, 12: 235–250. 10.1007/BF01164638MathSciNetView ArticleGoogle Scholar - Das KC, Zhou B, Trinajstić N: Bounds on Harary index.
*J. Math. Chem.*2009, 46: 1369–1376. 10.1007/s10910-009-9520-xMathSciNetView ArticleMATHGoogle Scholar - Das KC, Xu K, Gutman I: On Zagreb and Harary indices.
*MATCH Commun. Math. Comput. Chem.*2013, 70(1):301–314.MathSciNetMATHGoogle Scholar - Ilić A, Yu G, Feng L: The Harary index of trees.
*Util. Math.*2012, 87: 21–32.MathSciNetMATHGoogle Scholar - Lučić B, Miličević A, Nikolić S, Trinajstić N: Harary index - twelve years later.
*Croat. Chem. Acta*2002, 75: 847–868.Google Scholar - Xu K: Trees with the seven smallest and eight greatest Harary indices.
*Discrete Appl. Math.*2012, 160: 321–331. 10.1016/j.dam.2011.08.014MathSciNetView ArticleMATHGoogle Scholar - Xu K, Das KC: Extremal unicyclic and bicyclic graphs with respect to Harary index.
*Bull. Malays. Math. Soc.*2013, 36(2):373–383.MathSciNetMATHGoogle Scholar - Xu K, Das KC: On Harary index of graphs.
*Discrete Appl. Math.*2011, 159: 1631–1640. 10.1016/j.dam.2011.06.003MathSciNetView ArticleMATHGoogle Scholar - Xu K, Trinajstić N: Hyper-Wiener and Harary indices of graphs with cut edges.
*Util. Math.*2011, 84: 153–163.MathSciNetMATHGoogle Scholar - Zhou B, Cai X, Trinajstić N: On the Harary index.
*J. Math. Chem.*2008, 44: 611–618. 10.1007/s10910-007-9339-2View ArticleMATHGoogle Scholar - Wiener H: Structural determination of paraffin boiling points.
*J. Am. Chem. Soc.*1947, 69: 17–20. 10.1021/ja01193a005View ArticleGoogle Scholar - Gutman I, Polansky OE:
*Mathematical Concepts in Organic Chemistry*. Springer, Berlin; 1986.View ArticleMATHGoogle Scholar - Todeschini R, Consonni V:
*Handbook of Molecular Descriptors*. Wiley, Weinheim; 2000.View ArticleGoogle Scholar - Needham DE, Wei IC, Seybold PG: Molecular modeling of the physical properties of alkanes.
*J. Am. Chem. Soc.*1988, 110: 4186–4194. 10.1021/ja00221a015View ArticleGoogle Scholar - Rücker G, Rücker C: On topological indices, boiling points, and cycloalkanes.
*J. Chem. Inf. Comput. Sci.*1999, 39: 788–802. 10.1021/ci9900175View ArticleMATHGoogle Scholar - Das KC, Gutman I: Estimating the Wiener index by means of number of vertices, number of edges, and diameter.
*MATCH Commun. Math. Comput. Chem.*2010, 64(3):647–660.MathSciNetMATHGoogle Scholar - Dobrynin AA, Entringer R, Gutman I: Wiener index of trees: theory and applications.
*Acta Appl. Math.*2001, 66: 211–249. 10.1023/A:1010767517079MathSciNetView ArticleMATHGoogle Scholar - Liu H, Pan XF: On the Wiener index of trees with fixed diameter.
*MATCH Commun. Math. Comput. Chem.*2008, 60: 85–94.MathSciNetMATHGoogle Scholar - Zhang XD, Xiang QY, Xu LQ, Pan RY: The Wiener index of trees with given degree sequence.
*MATCH Commun. Math. Comput. Chem.*2008, 60: 623–644.MathSciNetGoogle Scholar - Bondy JA, Murty USR:
*Graph Theory with Applications*. Macmillan Press, New York; 1976.View ArticleMATHGoogle Scholar - Khalifeh MH, Azari HY, Ashrafi AR: The hyper-Wiener index of graph operations.
*Comput. Math. Appl.*2008, 56: 1402–1407. 10.1016/j.camwa.2008.03.003MathSciNetView ArticleMATHGoogle Scholar - Imrich W, Klavžar S:
*Product Graphs: Structure and Recognition*. Wiley, New York; 2000.MATHGoogle Scholar - Gutman I: Distance in theory of graphs.
*Publ. Inst. Math. (Belgr.)*1998, 63: 31–36.MATHGoogle Scholar - Brouwer AE, Cohen AM, Neumaier A:
*Distance-Regular Graphs*. Springer, Berlin; 1989.View ArticleMATHGoogle Scholar - Harary F:
*Graph Theory*. Addison-Wesley, Reading; 1994. p. 22MATHGoogle Scholar - Biggs NL:
*Algebraic Graph Theory*. 2nd edition. Cambridge University Press, Cambridge; 1993. pp. 17 and 68MATHGoogle Scholar - Alon N: Eigenvalues and expanders.
*Combinatorica*1986, 6: 83–96. 10.1007/BF02579166MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.