块为三角形的简单图的最小Hosoya指数

2015-12-12 08:17张深林
福建江夏学院学报 2015年6期
关键词:教研部子图数目

张深林

(福建江夏学院数理教研部,福建福州,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—),女,福建闽清人,福建江夏学院数理教研部教师。

猜你喜欢
教研部子图数目
移火柴
国家教育行政学院成立六十五周年系列
——社会科学教研部
中共中央党校(国家行政学院)中共党史教研部
临界完全图Ramsey数
A Study of Blended-teaching Model in CollegeEnglishTeaching
新形势下我国腐败问题分析以及治理策略
基于频繁子图挖掘的数据服务Mashup推荐
《哲对宁诺尔》方剂数目统计研究
牧场里的马
不含2K1+K2和C4作为导出子图的图的色数