Figure 1.
Some unicyclic graphs and bicyclic graphs with
m-matching
图
1.一些具有m-匹配的单圈图和双圈图
OPEN ACCESS
42
卓玛措
|一类图的第二小和第三小 Hosoya 指标
也是有一个公共顶点的
t
个三角形构成的图,并且在此公共顶点上粘上
2
mt−−
条长度为
2的路和
21
nm−+
条
悬挂边,最后将从
( )
1
,,
G ntm
中取出的一条长度为
2的路作为悬挂点粘在任意一个三角形的另外两个端点上(如
图
1)。简而言之,我们可以分别用
( )
2
,1,
Gnm
和
(
)
2
,2,
Gn m
表示
(
)
2
,
U nm
和
(
)
2
,
B nm
(
如图 1)。设
( )
3
,,
G ntm
是有
一个公共顶点的
t
个三角形构成的图,并且在此公共顶点上粘上
3
mt−−
条长度为
2的路和
21
nm−+
条悬挂边,
最后将从
( )
2
,,
G ntm
中取出的长度为
2的路粘在此处取出的长度为
2的路的 2度点上(如图1)。同理,我们可以
分别用
(
)
3
,1,
Gnm
和
( )
3
,2,
Gn m
表示
( )
3
,U nm
和
( )
3
,
B nm
(
如图 1)。
若
( )
W VG
⊆
,则用
GW
−
表示
G
的子图,这个子图是通过删去
W
中的所有点以及与这些点相关连的边而
得到的
。类似地,若
( )
E EG
′
⊆
,则
GE
′
−
是
G
的子图,这个子图是通过删去
E
′
中的所有边以后得到的
。若
{
}
Wv
=
且
{
}
E xy
′
=
,
则记作:
Gv
−
和
G xy
−
。用
( )
G
Nv
表示图
G
中点
v
和点
v
的邻点组成的集合。
引理
1.[7]设
G
是一个图且
(
)
v VG
∈
,设
12
,,,
t
vv v
⋅⋅⋅
是
v
的邻点,则有:
( )()
{ }
( )
1
,
t
i
i
ZGZG vZGvv
=
= −+−
∑
引理
2.[7]设
G
是一个图且
uv
是图
G
的一条边,则有:
( )(){}
( )
,
ZGZG uvZGuv=−+ −
由引理
2可得:
推论
1. 设
G
是一个图。若
(
)
u VG
∈
是
G
的一个悬挂点且
v
是
u
的唯一的邻点,
则有:
( )(){}
( )
,
ZGZG uZGuv=−+ −
引理
3.[7]设图
G
是由
12
, ,,
t
GG G
⋅⋅⋅
t
个分支构成的,则有:
( )
(
)
1
t
i
i
ZGZG
=
=
∏
引理
4.[7]设
n
P
和
n
S
分别是
n
个点的路和星,则对于所有
n
个点的树
T
有:
( )
( )
( )
1
n nn
n ZSZTZPF
+
=≤≤ =
其中
n
F
是第
n
个
Fibonacci 数且:
0
0F=
,
1
1
F=
。
引理
5.[10]设
G
是一个图,并且
1
G
是图
G
的子图,则有:
( )()
1
ZG ZG
≥
,并且更进一步有:若
()()
1
EG EG
<
,
则有:
()( )
1
ZG ZG
<
。
引理
6.[10]设
G
是一个图且
( )()
1
G kk
α
′
= ≥
,并且
( )
12
0
G lKkKl≠≥
,则有:
( )
2
52
k
ZG
−
≥⋅
等号成立当且仅当
( )()
4 21
2 ,0
G PkKlKl
′′
≅− ≥
。
引理
7.[9]设
()
( )
,2,4
GU nmnmm∈ ≥≥
,则有:
( )()
2
223 4
m
ZGn m
−
≥ −+
等号成立当且仅当
( )
1
,
GU nm≅
(
如图 1)。
引理
8.[9]设
() ()
,2, 4
GUnmnmm
∈ ≥≥
,
( )
1
,
G U nm∉
,则有:
( )()
4
210 1513
m
ZGn m
−
≥ −+
等号成立当且仅当
( )
2
,
G U nm≅
(
如图 1)。
引理
9.[10]设
( )( )( )
{ }
( )
12
,\, ,,2,4
GU nmUnmUnmnmm∈ ≥≥
,则有:
( )()
4
210 1514
m
ZGn m
−
≥ −+
OPEN ACCESS
43
卓玛措
|一类图的第二小和第三小 Hosoya 指标
等号成立当且仅当
()( )()
{ }
3 45
,,8,4 ,10,5
GUnmUU∈
(
如图 1)。
引理
10.[9]设
() ()
,2, 4
G Bnmnmm
∈ ≥≥
,则有:
( )()
2
223 5
m
ZGn m
−
≥ −+
等号成立当且仅当
( )
1
,
GB nm≅
(
如图 1)。
引理
11.[9]设
( )
,,
GG ntm∈
,其中
2
nm≥
,并且
01
tm≤≤ −
。则有:
( )()
2
2 233
m
ZGnm t
−
≥− ++
等号成立当且仅当
( )
1
,,
GGntm≅
(
如图 1)。
3.
主要结果和证明
3.1.
( )
,
B nm
中具有第二小和第三小
Hosoya指标的图
定理
1.设图
( )
,
G Bnm
∈
,
() ()
1
,2,4GB nmnmm∉ ≥≥
,则有:
( )()
4
210 1518
m
ZGn m
−
≥ −+
等号成立当且仅当
(
)
2
,
GB nm
≅
。
证明:设图
() ()
,2, 4
G Bnmnmm∈ ≥≥
,并且
M
是图
G
的一个
m
-
匹配。我们总可以从图
G
的圈中找出一
条边
uv
,使得
uv M
∉
,则
G uv
−
是一个
n
个点的连通单圈图。此外
,
( )
G uvm
α
′
−=
(
因为
G uv
−
是
G
的一个
子图,
由引理 5,我们有
()
()
G uvGm
αα
′′
−≤ =
,注意到
M
是
G uv
−
的一个
m
-
匹配,我们有:
( )
G uvm
α
′
−≥
,
因此,
( )
G uvm
α
′
−=
)
。因此
( )
,
GuvUn m−∈
,下面我们将分以下三种情形讨论:
1)
( )
1
,
GuvUn m
−≅
,且
(
)
1
,
GB nm
≅
,则
( )
{ }
2 1234
, ,,,,
GBnmG GGG
∈
(
1234
,,,
GGGG
见图
2)。
n
−2m+ 1
n
−2m+ 1
m
−4
m
−4
n
−2m
n
−2m
m
−3
m
−3
G
1
G
2
G
3
G
4
Figure 2. Some bicyclic graphs with
m-matching
图
2.一些具有m-匹配的双圈图
由引理
1直接计算可得:
( )
( )
( )
4
2
,210 1518
m
Z Bnmnm
−
= −+
OPEN ACCESS
44
卓玛措
|一类图的第二小和第三小 Hosoya 指标
( )()
4
1
210 1522
m
ZGn m
−
= −+
( )()
4
2
210 1520
m
ZGn m
−
= −+
( )
( )
4
3
212 1818
m
ZGnm
−
= −+
( )()
4
4
212 1822
m
ZGn m
−
= −+
由此,
由上可知:
(
)
( )
( )
(
)
2
,, 1,2,3,4
i
Z GZBnmi
>=
。
2)
( )
1
,
GuvUn m−≠
,且
( )
1
,
GB nm≠
。
由引理 8得:
( )()
4
210 1513
m
Z Guvnm
−
−≥−+
等号成立当且仅当
( )
2
,
GuvUn m−≅
。
注意到:
{ }
,
Guv−
是
( )
2
m
−
-
匹配,则有:
{ }
( )
2
,2
m
Z Guv
−
−≥
等号成立当且仅当
{}()()
12
, 222
G uvnmKmK−≅−+−
。容易看出
:
uv
必有一点是
( )
2
,
Unm
中的一个
( )
nm
−
度点
,另一个是
( )
2
,
Unm
中的一个
3度点,这种情形是不可能出现的。由引理 6得:
{ }
( )
4
, 52
m
Z Guv
−
− ≥⋅
等号成立当且仅当
{}()()
24 1
, 422
G uvmKPnmK− ≅−−+
。
由引理
2得:
(
) (){ }
( )
(
)
( )
(
)
( )
44
4
2
,
21015135 2
2101518
,
mm
m
ZGZG uvZGuv
nm
nm
Z Bnm
−−
−
= −+ −
≥−+ +⋅
= −+
=
等号成立当且仅当
( )
2
,
GuvUn m−≅
,且
{}()()
24 1
, 222
G uvmKPnmK− ≅−−+
。容易看出
uv
中的一个
端点是
( )
2
,
Unm
中的一个
( )
nm
−
度点,另一个端点是
(
)
2
,
Unm
中一个邻接于
2度点的悬挂点,因此等号成立当
且仅当
( )
2
,
GBnm≅
。
3)
() () ()()
{ }
1 245
,,,,8,4, 10,5
GuvUnmUnm UU−∉
。
由引理 9得:
( )()
4
210 1514
m
Z Guvnm
−
−≥−+
等号成立当且仅当
( )
3
,
GuvUn m−≅
。
注意到:
{
}
,
G uv
−
是
(
)
2
m−
-
匹配,则有:
{ }
( )
2
,2
m
Z Guv
−
−≥
等号成立当且仅当
{}(
) ()
12
, 222
G uvnmKmK−≅−+−
。
从而有:
( )(){}
( )
( )
( )
( )
( )
42
4
2
,
2101514 2
2101518
,
mm
m
ZGZG uvZGuv
nm
nm
Z Bnm
−−
−
= −+ −
≥−++
= −+
=
等号成立当且仅当
( )
3
,
GuvUn m−≅
,且
{}()()
21
, 222
G uvmKnmK−≅−−+
,此时
uv
的一个端点必是
( )
3
,
U nm
的一个
( )
nm
−
度点,另一个是邻接于一个
3度点的 2度点,从而此时:
( )()
( )
2
,Z GZBnm≥
。综上所
述,定理得证。
类似定理
1的证明,并且根据引理 5、引理 6、引理 8、引理5和定理 1可得下面的结果:
定理
2.
( )
,
G Bnm∈
,
( )( )
{ }
( )
12
, ,,2,4
GB nmBnmnmm∉ ≥≥
,则:
( )()
4
210 1519
m
ZGn m
−
≥ −+
OPEN ACCESS
45
卓玛措
|一类图的第二小和第三小 Hosoya 指标
等号成立当且仅当
( )
3
,
GBnm≅
。
3.2
.
( )
,,
G ntm
中具有第二小和第三小
Hosoya指标的图
对于图
( )
,,
Gntm
,我们根据引理
8和定理 1可以得到下面的一般结果:
定理
3.设
G
是
( )
,,
Gntm
中的一个图,并且
( )
1
,,
GG ntm∉
,其中
2
nm≥
,并且
11
tm≤≤ −
。则:
( )()
4
2101558
m
ZGnm t
−
≥− ++
等号成立当且仅当
( )
2
,,
GGntm≅
(
如图 1)。
证明:
根据引理 8可知结论对所有的
21
tm≤≤ −
均成立
。我们将对
t
进行归纳来证明以上结论。
当
2
t=
时,
根据定理 1可知结论成立,现在我们假设当
( )
3
t kk
= ≥
时结论成立。
设图
G
是
() ()
,1,2, 32
G nkmnmkm+≥≤≤ −
中的一个图并且
M
是图
G
的一个
m
-
匹配。我们总可以在
G
的
一个圈中找到一条边
uv
使得
uv M
∉
。很容易得
() ()
, ,2,32
GuvGn kmnmkm−∈≥≤≤ −
。
(因为
G uv
−
是
G
的一
个子图
,所以有
()( )
G uvGm
αα
′′
−≤ =
。注意到
M
是
G uv
−
的一个
m
-
匹配,则有
( )
G uvm
α
′
−≥
。因此
( )
G uvm
α
′
−=
。
)
根据归纳假设可得:
( )
( )
4
210 1558
m
Z Guvnmk
−
− ≥−++
①
等号成立当且仅当
( )
2
,,
GuvGn km−≅
。注意到
{ }
,
Guv−
有一个
( )
2
m−
-
匹配,则有:
{ }
( )
2
,2
m
Z Guv
−
−≥
。
等号成立当且仅当
{ }
()( )
2 12
, 222
GuvGnmKUmK
−≅−+−
,容易看出
uv
中必有一个点是
( )
2
,,
Gnkm
中的
一个
( )
1
nmk− +−
度点,另一个端点是
( )
2
,,
Gnkm
中的一个
3度点,这种情形是不可能的。由引理 6得:
{
}
(
)
4
, 52
m
Z Guv
−
− ≥⋅
②
等号成立当且仅当
{}
( )()
241
, 422
G uvmKPnmK
− ≅−−+
。
由引理 2和不等号①和②得:
( )(){}
( )
( )
( )
( )
( )
44
4
2
,21015585 2
210 155 13
, 1,
mm
m
ZGZGuvZGuvnmk
n mk
G nkm
−−
−
=−+−≥−++ +⋅
=− ++
= +
③
③的等号成立当且仅当①和②中的等号同时成立。①中的等号成立当且仅当
( )
2
,,
GuvGnkm
−≅
。②
中的等
号成立当且仅当
{}()()
24 1
, 422
G uvmKPnmK− ≅−−+
。
注意到
: 若
( )
, 1,
GG nkm∈+
,
( )
2
,,
GuvGn km−≅
,
{}()()
24 1
, 422
G uvmKPnmK− ≅−−+
。
根据
32
km
≤≤ −
,容易看出
uv
中必有一个端点是
( )
2
,,
Gnkm
中的一个
( )
1
nmk− +−
度点,另一个端点是
( )
2
,,
Gnkm
的一个与
2度点相邻接的悬挂点。于是③的等号成立当且仅当
( )
2
, 1,
GG nkm≅+
。定理得证。
类似定理
3的证明,并且根据引理 9和定理 2可得下面的结果:
定理
4.设
G
是
( )
,,
Gntm
中的一个图,并且
()()
{ }
12
,, ,,,
GGntm Gntm∉
,其中
2
nm
≥
,并且
11
tm
≤≤ −
。则:
( )()
4
2101559
m
ZGnm t
−
≥− ++
等号成立当且仅当
( )
3
,,
GG ntm
≅
。
参考文献
(References)
[1]
Hosoya, H. (1971)Topological index,a newly propo sed quantity character izing th e topo logical natu re of structu ral iso mers of satu rated h ydro-
OPEN ACCESS
46
卓玛措
|一类图的第二小和第三小 Hosoya 指标
carbons
. Bulletin of the Chemical Society of Japan, 44, 2332
-2339.
[2]
Cyvin,S.J.and Gutman,I.(1989)Hosoya index of fused molecules. MATCH:Communications in Math ematical and in Computer Chemistry,
23
, 89-94.
[3]
Cyvin,S.J., Gutman, I.and Kolakovic, N.(1989)Hosoya index of some polymers.MATCH:Communications in Mathematical and in Com-
puter Chemistry
, 24, 105-117.
[4]
Gutman, I.(1988)On the Hosoya index of very large molecules . MATCH:Communications in Mathematical a nd in Computer Chemistry, 23,
95
-103.
[5]
Turker,L.(2003)Contemplation on the Hosoya indices. Journal of Molecular St r ucture: Theochem, 623, 57-77.
[6]
Bondy,J.A.and Murty,U.S.R. (1976) Graph theory with applications. North-Holland, Amsterdam.
[7]
Zhang,L.Z. and Tian, F. (2003) Extremal catacondensed benzenods. Journal of Mathematical Chemistry, 34, 111-122.
[8]
Hou, Y.P. (2002) On acyclic systems with minimal Hosoya index. Discrete Applied Mathematics, 119, 251-257.
[9]
Yu, A.M. and Tian, F. (2006) A Kind of graphs with minimal Hosoya i ndices and maximal Merrifield-Si mmons indices. MATCH: Communi-
cations in Mathematical and in Computer Chemistry
, 55, 103-118.
[10]
Ye, C.F. (2012
) Unicyclic graphs with the third smallest to sixth smallest Hosoya Index. MATCH: Communications in Mathematical and in