Applied Mathematics
Vol.08 No.06(2017), Article ID:76975,9 pages
10.4236/am.2017.86062

On Graphs with Same Distance Distribution

Xiuliang Qiu1*, Xiaofeng Guo2,3

1Chengyi University College, Jimei University, Xiamen, China

2School of Mathematical Sciences, Xiamen University, Xiamen, China

3College of Mathematics and System Sciences, Xinjiang University, Urumchi, China

Copyright © 2017 by authors and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: April 18, 2017; Accepted: June 16, 2017; Published: June 19, 2017

ABSTRACT

In the present paper we investigate the relationship between Wiener number W , hyper-Wiener number R , Wiener vectors W V , hyper-Wiener vectors H W V , Wiener polynomial H , hyper-Wiener polynomial H H and dis- tance distribution D D of a (molecular) graph. It is shown that for connected graphs G and G * , the following five statements are equivalent: 1) D D ( G ) = D D ( G * ) , 2) W V ( G ) = W V ( G * ) , 3) H W V ( G ) = H W V ( G * ) , 4) H ( G ) = H ( G * ) , 5) H H ( G ) = H H ( G * ) ; and if G and G * have same dis- tance distribution D D then they have same W and R but the contrary is not true. Therefore, we further investigate the graphs with same distance distribution. Some construction methods for finding graphs with same distance distribution are given.

Keywords:

Distance Distribution, Distance Matrix, Wiener Vector, Hyper-Wiener Vector

1. Introduction

The Wiener index is one of the oldest topological indices of molecular structures. It was put forward by the physico-chemist Harold Wiener [1] in 1947. The Wiener index of a connected graph G is defined as the sum of distances between all pairs of vertices in G :

W = W ( G ) = { u , v } V ( G ) d G ( u , v ) .

where V ( G ) is the vertex set of G , and d G ( u , v ) is the distance between vertices u and v in G .

As an extension of the Wiener index of a tree, Randić [2] introduced Wiener matrix W and hyper-Wiener index R of a tree. For any two vertices i , j in T , let π ( i , j ) denote the unique path in T with end vertices i , j and the length d i j , let T 1, π ( i , j ) and T 2, π ( i , j ) denote the components of T E ( π ( i , j ) ) containing i and j , respectively, and let n 1, π ( i , j ) and n 2, π ( i , j ) denote the numbers of the vertices in T 1, π ( i , j ) and T 2, π ( i , j ) , respectively. Then the Wiener matrix W and the hyper-Wiener number R of T can be given by W = ( w i j ) , w i j = n 1 , π ( i , j ) n 2 , π ( i , j ) , and R = i < j w i j .

In Refs. [3] [4] , Randic and Guo and colleagues further introduced the higher Wiener numbers and some other Wiener matrix invariants of a tree T . The higher Wiener numbers can be represented by a Wiener number sequence 1 W , 2 W , 3 W , , where k W = d i , j = k , i < j w i j . It is not difficult to see 1 W = W , and R = k = 1 , 2 , k W .

After the hyper-Wiener index of a tree was introduced, many publications [5] - [11] have appeared on calculation and generalization of the hyper-Wiener index. Klein et al. [5] generalized the hyper-Wiener index so as to be applicable to any connected structure. Their formula for the hyper-Wiener index R of a graph G is

R = R ( G ) = 1 2 { u , v } V ( G ) ( d G 2 ( u , v ) + d G ( u , v ) ) .

The relation between Hyper-Wiener and Wiener index was given by Gutman [11] .

The Hosoya polynomial H ( G ) of a connected graph G was introduced by Hosoya [12] in 1988, which he named as the Wiener polynomial of a graph:

H = H ( G , x ) = k 0 d ( G , k ) x k ,

where d ( G , k ) is the number of pairs of vertices in the graph G that are distance k apart.

In Ref. [13] , Cash introduced a new hyper-Hosoya polynomial

H H = H H ( G , x ) = k 0 ( k + 1 ) 2 d ( G , k ) x k .

The relationship between the Hosoya polynomial and the Hyper-Hosoya polynomial was discussed [13] .

The sequence ( d ( G ,1 ) , d ( G ,2 ) , ) is also known (since 1981) as the dis- tance distribution of a graph G [14] , denoted by D D ( G ) . It is easy to see that W = k 0 k d ( G , k ) .

Later the definition of higher Wiener numbers is extended to be applicable to any connected structure by Guo et al. [15] . For a connected graph G with n vertices, denoted by 1,2, , n , let w i j , k = max { d i j k + 1 , 0 } where d i j is the distance between vertices i and j . Then k W = i < j w i j , k , k = 1 , 2 , , are called the higher Wiener numbers of G . The vector ( 1 W , 2 W , ) is called the hyper-Wiener vector of G , denoted by H W V ( G ) . The concept of the Wiener vector of a graph is also introduced in ref. [15] . For a connected graph G with n vertices, denoted by 1,2, , n , let W k = i < j , d ( i j ) = k d i j , k = 1 , 2 , . The vector ( W 1 , W 2 , ) is called the Wiener vector of G , denoted by W V ( G ) .

Moreover, a matrix sequence ( W ( 1 ) , W ( 2 ) , W ( 3 ) , ) , called the Wiener matrix sequence, and their sum k = 1 , 2 , W ( k ) = W ( H ) , called the hyper-Wiener matrix, are introduced, where W ( 1 ) = D is the distance matrix. A Wiener polynomial sequence and a weighted hyper Wiener polynomial of a graph are also in- troduced.

In this paper, based on the results in ref. [15] , we study the relation between Wiener number W , hyper-Wiener number R , Wiener vector W V , hyper- Wiener vector H W V , Hosoya polynomial H , hyper-Hosoya polynomial H H and distance distribution D D of a graph. It is shown that for connected graphs G and G * , the the contrary is not true. This means that the distance dis- tribution of a graph is an important topological index of molecular graphs. Therefore, we further investigate the graphs with same distance distribution. It is shown that the graphs with same vertex number, edge number, and diameter 2 have same distance distribution. Some construction methods for finding graphs with same distance distribution are given.

2. The Relation between W , R , W V , H W V , H , H H , D D

Let d i a m ( G ) denote the diameter of a graph G .

Theorem 2.1. Let G and G * be connected graphs. Then the following five statements are equivalent:

1) G and G * have same distance distribution D D ;

2) G and G * have same Wiener vector W V ;

3) G and G * have same hyper-Wiener vector H W V ;

4) G and G * have same Wiener polynomial H ;

5) G and G * have same hyper-Wiener polynomial H H .

Proof. We shall show the equivalent statements by (1)Þ(2)Þ(3)Þ(4)Þ(5)Þ(1).

(1)Þ(2). By the definitions of D D and W V ,

D D ( G ) = ( d ( G ,1 ) , d ( G ,2 ) , , d ( G , d i a m ( G ) ) ) , and

W V ( G ) = ( W 1 , W 2 , , W d i a m ( G ) ) = ( 1 d ( G ,1 ) ,2 d ( G ,2 ) , , d i a m ( G ) d ( G , d i a m ( G ) ) ) .

Clearly, if D D ( G ) = D D ( G * ) , then W V ( G ) = W V ( G * ) .

(2)Þ(3). If W V ( G ) = W V ( G * ) , then W k = i < j , d i j = k d i j = W k * = i < j , d i j * = k d i j * for k = 1 , 2 , , d i a m ( G ) . So k W = i < j w i j , k = i < j max { d i j k + 1 , 0 } = i < j max { d i j * k + 1 , 0 } = i < j w i j , k * = W k * for k = 1 , 2 , , d i a m ( G ) . Hence H W V ( G ) = H W V ( G * ) .

(3)Þ(4). Suppose H W V ( G ) = H W V ( G * ) . Then k W = W k * for k = 1 , 2 , , and d i a m ( G ) = d i a m ( G * ) .

If k = d i a m ( G ) = d i a m ( G * ) , then

k W = i < j max { d i j k + 1 , 0 } = d ( G , d i a m ( G ) ) = W k * = i < j max { d i j * k + 1 , 0 } = d ( G * , d i a m ( G * ) ) .

Assume, for 1 < l k d i a m ( G ) , d ( G , k ) = d ( G * , k ) . Let k = l 1 . Then

l 1 W = i < j max { d i j l + 2 , 0 } = d ( G , l 1 ) + i < j , d i j > l 1 max { d i j l + 2 , 0 } = d ( G , l 1 ) + i < j , d i j = k > l 1 d ( G , k ) ( k l + 2 ) , and

l 1 W * = i < j max { d i j * l + 2 , 0 } = d ( G * , l 1 ) + i < j , d i j * > l 1 max { d i j * l + 2 , 0 } = d ( G * , l 1 ) + i < j , d i j * = k > l 1 d ( G * , k ) ( k l + 2 ) = W l 1 .

By induction hypothesis,

i < j , d i j = k > l 1 d ( G , k ) ( k l + 2 ) = i < j , d i j * = k > l 1 d ( G * , k ) ( k l + 2 ) . So we have

d ( G , l 1 ) = d ( G * , l 1 ) .

Now it follows that d ( G , k ) = d ( G * , k ) for k = 1 , 2 , , and so

H ( G , x ) = k 0 d ( G , k ) x k = k 0 d ( G * , k ) x k = H ( G * , x ) .

(4)Þ(5). By the definitions of Hosoya polynomial H and hyper-Hosoya polynomial H H , it is easy to see that, if H ( G , x ) = H ( G * , x ) , then H H ( G , x ) = H H ( G * , x ) .

(5)Þ(1). If H H ( G , x ) = H H ( G * , x ) , then d ( G , k ) = d ( G * , k ) for k = 1 , 2 , . Therefore D D ( G ) = D D ( G * ) . □

Theorem 2.2. Let G and G * be two graphs with same distance dis- tribution. Then G and G * have same W and R .

Proof: By the definitions of D D , W and R ,

D D ( G ) = ( d ( G ,1 ) , d ( G ,2 ) , , d ( G , d i a m ( G ) ) ) , W ( G ) = { u , v } V ( G ) d G ( u , v ) ,

and R ( G ) = 1 2 { u , v } V ( G ) ( d G 2 ( u , v ) + d G ( u , v ) ) .

Clearly, if D D ( G ) = D D ( G * ) , then W ( G ) = W ( G * ) and R ( G ) = R ( G * ) . ,

However, the contrary of the theorem doesn’t hold. For instance, the trees T 1 and T 1 * (resp. T 2 and T 2 * ) in Figure 1 have same W and R , but they have different distance distributions.

3. Graphs with Same Distance Distribution

From the above theorems, one can see that, if two graphs G and G * have

Figure 1. W ( T 1 ) = W ( T 1 * ) = 86 , R ( T 1 ) = R ( T 1 * ) = 166 , D D ( T 1 ) = ( 8 , 14 , 6 , 8 ) , D D ( T 1 * ) = ( 8 , 13 , 9 , 5 , 1 ) . W ( T 2 ) = W ( T 2 * ) = 98 , R ( T 2 ) = R ( T 2 * ) = 217 , D D ( T 2 ) = ( 8 , 10 , 8 , 5 , 4 , 1 ) , D D ( T 2 * ) = ( 8 , 11 , 6 , 5 , 6 ) .

same distance distribution D D , then they have same W , W W , W V , H W V , H and H H . So it is significant to study the graphs with same distance dis- tribution.

1) The minimum non-isomorphic acyclic graphs with same DD

By direct calculation, we know the minimum non-isomorphic acyclic graphs with same distance distribution are the following two pairs of trees in Figure 2 which have 9 vertices.

2) The minimum non-isomorphic cyclic graphs with same DD

The minimum non-isomorphic cyclic graphs with same distance distribution are the following graphs with 4 vertices (see Figure 3).

Note that, for the above graphs with same distance distribution, their Wiener matrix sequences and hyper-Wiener matrices are different.

The following theorem gives a class of graphs with same distance distribution.

Let G n , m be the set of all the graphs with n vertices and m edges.

Theorem 3.1. Let G , G * G n , m , and d i a m ( G ) = d i a m ( G * ) = 2 . Then D D ( G ) = D D ( G * ) .

Proof. Since G , G * G n , m and d i a m ( G ) = d i a m ( G * ) = 2 , we have

Figure 2. W ( T 3 ) = W ( T 3 * ) = 82 , R ( T 3 ) = R ( T 3 * ) = 149 , D D ( T 3 ) = D D ( T 3 * ) = ( 8 , 13 , 12 , 3 ) . W ( T 4 ) = W ( T 4 * ) = 92 , R ( T 4 ) = R ( T 4 * ) = 188 , D D ( T 4 ) = D D ( T 4 * ) = ( 8 , 10 , 10 , 6 , 2 ) .

Figure 3. W ( G 1 ) = W ( G 1 * ) = 8 , R ( G 1 ) = R ( G 1 * ) = 10 , D D ( G 1 ) = D D ( G 1 * ) = ( 4 , 2 ) .

d ( G , 1 ) = d ( G * , 1 ) = m , d ( G , 2 ) = d ( G * , 2 ) = ( n 2 ) m , d ( G , k ) = d ( G * , k ) = 0

for k 3 , and so D D ( G ) = D D ( G * ) .

Corollary 3.2. If ( n 2 ) > m > ( n 2 ) n + 1 , then all graphs in G n , m have same

distance distribution.

Proof. For G G n , m with ( n 2 ) > m > ( n 2 ) n + 1 , clearly d i a m ( G ) 2 .

We assert that d i a m ( G ) = 2 .

Otherwise, there exist two vertices u , v V ( G ) such that d ( u , v ) 3 . Let P be a shortest ( u , v ) -path. Then any vertex not on P is not adjacent to at least one of u and v , and the number of pairs of non-adjacent vertices on P is equal to ( | V ( P ) | 2 ) + ( | V ( P ) | 3 ) + + 1 = ( | V ( P ) | 2 ) ( | V ( P ) | 1 ) / 2 . So

m ( n 2 ) ( n | V ( P ) | ) ( | V ( P ) | 2 ) ( | V ( P ) | 1 ) / 2 = ( n 2 ) n [ ( | V ( P ) | 2 ) ( | V ( P ) | 3 ) 4 ] / 2 ( n 2 ) n + 1 , contradicting that m > ( n 2 ) n + 1 .

Hence, by Theorem 3.1, if m > ( n 2 ) n + 1 , all graphs in G n , m have same

distance distribution. □

Let G V H denote the graph obtained from vertex-disjoint graphs G and H by connecting every vertex of G to every vertex of H .

Corollary 3.3. Let G 1 1 , G 2 1 G n 1 , m 1 and G 1 2 , G 2 2 G n 2 , m 2 . Then G 1 1 V G 1 2 and G 2 1 V G 2 2 have same distance distribution.

Proof. Obviously, | V ( G 1 1 V G 1 2 ) | = | V ( G 2 1 V G 2 2 ) | = n 1 + n 2 , d i a m ( G 1 1 V G 1 2 ) = d i a m ( G 2 1 V G 2 2 ) = 2 , and

| E ( G 1 1 V G 1 2 ) | = | E ( G 2 1 V G 2 2 ) | = m 1 + m 2 + n 1 n 2 . By Theorem 3.1,

D D ( G 1 1 V G 1 2 ) = D D ( G 2 1 V G 2 2 ) .

For graphs with diameter greater than or equal to 2, we will give some construction methods for finding graphs with same distance distribution.

Let G be a connected graph with vertices set { v 1 , v 2 , , v n } , and let D ( G ) = ( d i j ) be the distant matrix of the graph G. Let d k G ( v i ) denote the number of the vertices at distance k from a vertex v i in G , and let D D G ( v i ) = ( d 1 G ( v i ) , d 2 G ( v i ) , , d d i a m ( G ) G ( v i ) ) ) be the distance distribution of v i in G .

Theorem 3.4. Let G 1 and G 2 (resp. G 1 and G 2 ) be the connected graphs with n 1 (resp. n 2 ) vertices and with same distance distribution. For v 1 V ( G 1 ) , v 2 V ( G 2 ) , v 1 V ( G 1 ) , and v 2 V ( G 2 ) , let G (resp. G * ) be the graph ob- tained from G 1 and G 1 (resp. G 2 and G 2 ) by identifying v 1 and v 1 (resp. v 2 and v 2 ). If D D G 1 ( v 1 ) = D D G 2 ( v 2 ) and D D G 1 ( v 1 ) = D D G 2 ( v 2 ) , then G and G * have same distance distribution.

Proof. It is enough to prove d ( G , k ) = d ( G * , k ) for k = 1 , 2 , .

Clearly, d ( G , k ) = d ( G 1 , k ) + d ( G 1 , k ) + 1 i , j k , i + j = k d i G 1 ( v 1 ) d j G 1 ( v 1 ) . Similarly,

d ( G * , k ) = d ( G 2 , k ) + d ( G 2 , k ) + 1 i , j k , i + j = k d i G 2 ( v 2 ) d j G 2 ( v 2 ) . Because

D D ( G 1 ) = D D ( G 2 ) , D D ( G 1 ) = D D ( G 2 ) , D D G 1 ( v 1 ) = D D G 2 ( v 2 ) , D D G 1 ( v 1 ) = D D G 2 ( v 2 ) , we have d ( G , k ) = d ( G * , k ) for k = 1 , 2 , . Hence D D ( G ) = D D ( G * ) . □

Theorem 3.5. Let G i G n , m , i = 1 , 2 , and let S i V ( G i ) such that any two vertices in S i have distance less than or equal to 2 in G i , and | S 1 | = | S 2 | . Let G i { S i } denote the graph obtained from G i by contracting vertices in S i to a vertex s i . Let G i * be the graph obtained from G i by adding a new vertex x i and connecting x i to every vertex in S i . If D D ( G 1 ) = D D ( G 2 ) and D D G 1 { S 1 } ( s 1 ) = D D G 2 { S 2 } ( s 2 ) , then D D ( G 1 * ) = D D ( G 2 * ) .

Proof. Clearly, by the conditions of the theorem, D D ( G i * ) = D D ( G i ) + D D G i * ( x i ) = D D ( G i ) + ( | S i | , 1 + d 1 G i { S i } ( x i ) , 1 + d 2 G i { S i } ( x i ) , ) , i = 1 , 2 . So, if D D ( G 1 ) = D D ( G 2 ) and D D ( G 1 ) = D D ( G 2 ) and

D D G 1 { S 1 } ( s 1 ) = D D G 2 { S 2 } ( s 2 ) , then D D G 1 * = D D G 2 * . □

From Theorem 3.4, we have the following corollary:

Corollary 3.6. Let G 1 , G 2 G n , m and D D ( G 1 ) = D D ( G 2 ) . Let H be a con- nected graph vertex-disjoint with G 1 and G 2 . For v 1 V ( G 1 ) , v 2 V ( G 2 ) , and u V ( H ) , let G (resp. G * ) be the graph obtained from G 1 (resp. G 2 ) and H by identifying v 1 and u (resp. v 2 and u ). If D D G 1 ( v 1 ) = D D G 2 ( v 2 ) , then G and G * have same distance distribution.

From Theorem 3.5, one can obtain graphs with same distance distribution in G n , m from graphs in G n 1, m s with same distance distribution by adding a new vertex and some edges.

Figure 4 shows two pairs of graphs with 5 vertices and 5 edges and with same D D , one of which has diameter 2 and the other has diameter 3.

Figure 5 shows three pairs of graphs with 6 vertices and 6 edges and with

Figure 4. W ( G 2 ) = W ( G 2 * ) = 15 , R ( G 2 ) = R ( G 2 * ) = 20 , D D ( G 2 ) = D D ( G 2 * ) = ( 5 , 5 ) . W ( G 3 ) = W ( G 3 * ) = 16 , R ( G 3 ) = R ( G 3 * ) = 23 , D D ( G 3 ) = D D ( G 3 * ) = ( 5 , 4 , 1 ) .

Figure 5. W ( G 4 ) = W ( G 4 * ) = 26 , R ( G 4 ) = R ( G 4 * ) = 39 , D D ( G 4 ) = D D ( G 4 * ) = ( 6 , 7 , 2 ) . W ( G 5 ) = W ( G 5 * ) = 27 , R ( G 5 ) = R ( G 5 * ) = 42 , D D ( G 5 ) = D D ( G 5 * ) = ( 6 , 6 , 3 ) . W ( G 6 ) = W ( G 6 * ) = 29 , R ( G 6 ) = R ( G 6 * ) = 49 , D D ( G 6 ) = D D ( G 6 * ) = ( 6 , 5 , 3 , 1 ) .

same D D , two of which have diameter 3 and the other has diameter 4.

It is easy to see that the graphs in Figure 5 can be obtained from graphs in Figure 3, Figure 4 by the construction methods given in Theorems 3.4, 3.5.

However, the construction methods are not complete. There might be some graphs with same D D which could not be obtained by the above construction methods.

Open Problem. Is there a construction method for finding all graphs with same distance distribution?

Acknowledgements

This work is jointly supported by the Natural Science Foundation of China (11101187, 61573005, 11361010), the Scientific Research Fund of Fujian Provincial Education Department of China (JAT160691).

Cite this paper

Qiu, X.L. and Guo, X.F. (2017) On Graphs with Same Distance Distribution. Applied Mathematics, 8, 799- 807. https://doi.org/10.4236/am.2017.86062

References

  1. 1. Wiener, H. (1947) Structural Determination of Paraffin Boiling Points. Journal of the American Chemical Society, 69, 17-20. https://doi.org/10.1021/ja01193a005

  2. 2. Randic, M. (1993) Novel Molecular Descriptor for Structure-Property Studies. Chemical Physics Letters, 211, 478-483. https://doi.org/10.1016/0009-2614(93)87094-J

  3. 3. Randic, M., Guo, X.F., Oxley, T. and Krishnapriyan, H. (1993) Wiener Matrix: Source of Novel Graph Invariants. Journal of Chemical Information and Computer Sciences, 33, 709-716. https://doi.org/10.1021/ci00015a008

  4. 4. Randic, M., Guo, X.F., Oxley, T., Krishnapriyan, h. and Naylor, L. (1994) Wiener Matrix Invariants. Journal of Chemical Information and Computer Sciences, 34, 361-367. https://doi.org/10.1021/ci00018a022

  5. 5. Klein, D.J. and Gutman, I. (1995) On the Definition of the Hyper-Wiener Index for Cycle-Containing Structures. Journal of Chemical Information and Computer Sciences, 35, 50-52. https://doi.org/10.1021/ci00023a007

  6. 6. Lukovits, I. and Linert, W. (1995) A Novel Definition of the Hyper-Wiener Index for Cycles. Journal of Chemical Information and Computer Sciences, 34, 899-902. https://doi.org/10.1021/ci00020a025

  7. 7. Klein, D.J. and Randic, M. (1993) Resistance Distance. Journal of Mathematical Chemistry, 12, 81-95. https://doi.org/10.1007/BF01164627

  8. 8. Li, X.H. (2003) The Extended Hyper-Wiener Index. Canadian Journal of Chemistry, 81, 992-996. https://doi.org/10.1139/v03-106

  9. 9. Klavzar, S., Gutman, I. and Mohar, B. (1995) Labeling of Benzenoid Systems which Reflects the Vertex-Distance Relations. Journal of Chemical Information and Computer Sciences, 35, 590-593. https://doi.org/10.1021/ci00025a030

  10. 10. Cash, G.G., Klavzar, S. and Petkovsek, M. (2002) Three Methods for Calculation of the Hyper-Wiener Index of Molecular Graphs. Journal of Chemical Information and Computer Sciences, 42, 571-576. https://doi.org/10.1021/ci0100999

  11. 11. Gutman, I. (2002) Relation between Hyper-Wiener and Wiener Index. Chemical Physics Letters, 364, 352-356. https://doi.org/10.1016/S0009-2614(02)01343-X

  12. 12. Hosoya, H. (1998) On Some Counting Polynominals in Chemistry. Discrete Applied Mathematics, 19, 239-257.

  13. 13. Cash, G.G. (2002) Relationship between the Hosoya Polynominal and the Hyper-Wiener Index. Applied Mathematics Letters, 15, 893-895.

  14. 14. Buckley, F. and Superville, L. (1981) Distance Distributions and Mean Distance Problem. Proceedings of Third Caribbean Conference on Combinatorics and Computing, University of the West Indies, Barbados, January 1981, 67-76.

  15. 15. Guo, X.F., klein, D.J., Yan, W.G. and Yeh, Y.-N. (2006) Hyper-Wiener Vector, Wiener Matrix Sequence, and Wiener Polynominal Sequence of a Graph. International Journal of Quantum Chemistry, 106, 1756-1761. https://doi.org/10.1002/qua.20958