张深林
(福建江夏学院数理教研部,福建福州,350108)
块为三角形的简单图的最小Hosoya指数
张深林
(福建江夏学院数理教研部,福建福州,350108)
一个图G的Hosoya指数是指图G中所有匹配的计数。用ζ表示块为三角形的简单连通图的集合,Gr∈ζ是ζ中块数为r的图,Wr∈ζ是ζ中直径为2,块数为r的图。利用边收缩法和数学归纳法可证Wr是Gr∈ζ中Hosoya指数最小的图。该结论在连通分支数大于1的图中也是成立的。
匹配;Hosoya指数;块
Hosoya指数由日本化学家Hosoya[1]于1971年首次提出,它被看作是研究分子的物理特性和化学特性的一个重要指标,与分子的熔点、沸点、熵[2][3]都有密切关系。匹配是组合图论中的重要分支,Hosoya指出了图的匹配数作为拓扑指数在化学上的作用,并以此来描述饱和碳氢化合物的热力学性质。因此,确定一个图的最大或最小Hosoya指数是非常有意义的。
除特别说明外,本文假设G=(V,E)是简单连通图。设e=(u,v)是G的一条边(方便起见,有时也记为e=uv),G-u-v表示G中删去顶点u与v得到的顶点导出子图,G-e表示G中删去边e得到的G的边导出子图。图G的一个边子集M称为一个匹配(matching),如果G中的每个顶点与M中的至多一条边相关联;M称为G的一个完美匹配(perfect matching),如果G中的每个顶点恰好与M中的一条边相关联。记m(G,j)为G中含j条边的匹配的数目,习惯上总假定G的零匹配为1,即m(G, 0)=1,于是m(G,1)为图G的边数;而当n为偶数时,m(G,)则为G的完美匹配的数目。用Z(G)表示图G中所有匹配的数目,即Z(G)=m(G,0)+m(G,1)+…m(G,),图G中所有匹配的数目也称为Hosoya指数。
图G=(V,E)的顶点v称为割点,如果E可划分为两个非空子集E1和E2,使得G[E1]和G[E2]恰有一个公共顶点v。没有割点的连通图称为块。若图G的子图B是块,且G中没有真包含B的子图也是块,则称B是G的块[4]。
用ζ表示块为三角形的简单连通图的集合,Gr∈ζ是ζ中块数为r的图,Wr∈ζ是ζ中直径为2,块数为r的图,在一些地方也被称为风车图[4][5](windmill graph)。图1给出了r=1,2,3,4的所有Gr∈ζ图。其中的a,b,c,e为r≤4的Wr。
图1
在Gr∈ζ的块中,我们称恰有2个2度点的三角形为第一类三角形,数目为s1;恰有1个2度点的三角形为第二类三角形,数目为s2;有0个2度点的三角形为第三类三角形,数目为s3。显然
设顶点c∈V(Gr),则以c为顶点的块三角形称为c关联的三角形。
下面介绍与本文有关的引理。
引理3.1[6]设G是一个图,e=(u,v)是G的一条边,则
其中G-uv和G-u-v分别表示G中删去边e及删去顶点u与v的边导出子图与顶点导出子图。引理3.2[6]设v是图G的一个顶点,NG(v)表示v的邻点集,则
引理3.3[6]设图G有分支G1,G2,…,Gk,则
引理3.4[6]Cn表示有n个顶点的圈,Pn表示有n个顶点的路,Fn表示第n个斐波那契数(Fibonacci number),则
引理3.5[7]设Gr∈ζ是满足s3=0的简单图,从Gr图中的每个三角形都删去一个2度的顶点后得到的图记为Tr+1,且d1,d2,…,dr+1是图Tr+1的顶点的度序列,则
引理3.6[7]设G是有n个顶点的简单图,a是G的一个顶点。构造一个n+2个顶点的新图G',使得G'的顶点集为V(G)=V(G')∪{x,y},边集为E(G')=E(G)∪{ax,ay,xy},其中x,y∈/V(G),则
引理4.1 设Wr∈ζ是如上定义的简单图,则
证明 因为Wr∈ζ也是满足s3=0的图,由引理3.5可知,Wr所对应的度序列为d1=d2=…=dr=1,dr+1=r,从而Z(Wr)=2r(r+1).
图2
引理4.2 用Gr1(+)Gr2表示用一条边连接Gr1和Gr2的某一顶点所成的图,Gr1,Gr2∈ζ,用Gr1+r2表示把Gr1(+)Gr2中唯一不在三角形块中的边收缩成连接Gr1,Gr2的公共顶点的图(如图2所示),则
证明 显然,Gr1+r2的匹配都是Gr1(+)Gr2的匹配,反之则不然。
定理4.1 假设Gr∈ζ,r∈N+,则
等号成立当且仅当Gr=Wr
证明 设Gr∈ζ,对块数r做数学归纳法。
(1)当r=1,2时,容易验证命题成立。现在假设命题对于r≤m成立,现考虑当r=m+1时。
(2)当r=m+1时,若Gr中的块都是第一类三角形,由引理4.1,命题成立。
若Gr中的块不全是第一类三角形,则必存在第二类或第三类三角形。任意选取图Gr的某一个非第一类三角形,考虑它的非2度顶点所联接的三角形是否第一类三角形,重复这个过程,直到找到这个第一类三角形为止(因为块数是有限的,所以寻找第一类三角形的过程也是有限的)。接着,考虑该第一类三角形的非2度顶点所关联的三角形,是否除了一个非第一类三角形外,其余都是第一类三角形,如果不是,则重复以上步骤,直到找到为止。则Gr中必存在一点c,除了关联一个非第一类三角形外,其余关联的三角形都是第一类三角形。设该点上关联p(1≤p≤r-2)个第一类三角形,分别是△1,△2,…,△p,记Gr-p=Gr-△1-△2-…-△p。由引理3.6及归纳假设可得,
即命题对于r=m+1也成立。
综上所述,命题对于一切正整数都成立。
定理4.2 设1≤r1≤r2,则
证明
应用上述引理和定理,可以得到更一般的结果。
[1] Hosoya H.Topolpgical index,a newly proposed quantity charaterizing the topological nature of structural isomers of saturated hydrocarbons[M].Bull Chem Soc Jpn,1971,44:2332-2339.
[2] Gutmani,Polanskyor.Mathematical concepts in chemistry[M].Berlin:Spring,1986.
[3] Merrifield R.E.,Simmons H.E.,Topological methods in chemistry[M].New York:Wiley,1989.
[4] 张先迪,李正良,图论及其应用[M].北京:高等教育出版社,2005:277.
[5] Gallian,J.A."Dynamic Survey DS6:Graph Labeling."Electronic J.Combinatorics[J].DS6,1-58,Jan.3,2007.
[6] Godsil C.D.,Algebraic Combinatorics[M].New York. Chapman and Hall,1993.
[7] 晏卫根,叶永南.一类运算图的匹配数[J].中国科学,2006,(9):1014-1022.
(责任编辑 王魏红)
Smallest Hosoya Index in Triangle-Block Graphs
ZHANG Shen-lin
(Department of Mathematics and Physics,Fujian Jiangxia University,Fuzhou,350108,China)
The Hosoya index of a graph G is defined as the number of matching in the graph G. Denoteζas the set of simple connected graph with triangle blocks. Wr∈ζis a graph consisting of r blocks. Wr∈ζis a graph consisting of r blocks and with diameter of 2.By using the method of edge contraction and mathematical induction, the paper proves that Wris the graph with the minimum Hosoya index in Gr∈ζ.This statement is also valid for a graph with the number of connected component greater than 1.
matching;Hosoya index;block
0157.5
A
2095-2082(2015)06-0112-04
2015-06-24
张深林(1979—),女,福建闽清人,福建江夏学院数理教研部教师。