具有k条割边图hosoya指数-ho soya index with k cut edge graph.docxVIP

第一章绪论1.1研究背景图论及其应用以图为研究对象，是组合数学的一个重要分支，它所研究的图是由若干给定的点及连接两点的线所构成的，经常用来描述事物之间的特定关系，用点代表事物，两点之间的连线代表相应事物之间的特定关系,将实际问题的研究转化为对具有某种关系的特定图形的研究使问题得到简化.例如用图论中的知识解决人员安排问题，城市之间的运输方案问题，印刷电路板的设计问题以及可靠通讯网络设计等实际问题.有关图论的问题开始几乎都是围绕着游戏产生的，最早的文章记载出现在1736年，欧拉的论著中，他考虑的原始问题是具有很强的实际背景的柯尼斯堡七桥问题，这可以说是图论的起源.英国数学家Hamilton于1859年提出Hamilton 问题，运筹学、计算机科学和编码理论中的很多问题最后都可以转化成为Hamilton 问题来解决，从而引起广泛的研究.图论还有很多著名的问题，如著名的四色猜想推动了图的着色理论，平面图理论，电网络方程组问题及化学图论等分支的发展形成了庞大的图论研究体系.当然图论的广泛应用也推动了其自身的发展，特别是20世纪40-60年代，代数图论，拓扑图论，拟阵理论等都有巨大的发展.分子图是用图中的每个顶点表示化学分子中的原子，每条边表示原子之间形成的化学键.分子图不仅是分子拓扑结构的直观表示形式，且分子图的拓扑量表达了分子的物理化学性质.近年来，科技的发展和进步使得分子的拓扑性质受到人们的重视，越来越多的科学家致力于研究分子的拓扑性质.一般地，在分子图或其矩阵表示中，不依赖于顶点标号方式而改变的量叫做分子图的拓扑不变量. 化学中通过计算分子图的某种拓扑指数的极值，统计地得出相应分子的某种物理化学性质.图的Hosoya指数是组合化学中重要的拓扑指标.1971年由日本化学家Hosoya给出[1]，是研究物质分子结构与物理和化学性质之间关系的拓扑参数. Hosoya指数与分子的总π-电子能，沸点等有密切的关系，被广泛应用到化学分子图的研究中.许多化学家和数学家通过对一些特殊图类的Hosoya 指数的极值进行研究并刻画取得极值时的极值图(文献[6]-[37])，从而进一步研究某类分子图的化学物理性质.文献[13,17]分别研究了不同限定条件下的树的Hosoya指数.已有作者刻画了具有最大和最小Hosoya 指数的单圈图.文献[31]研究了具有最小Hosoya 指数的双圈图.1.2常用记号与基本结论图是点集合和边集合的二元组，如果边带有方向则称为有向图（通常用D表示），没有方向的图称为无向图（通常用G表示），本文的研究对象都是无向图. 用到的符号和一些专业术语也是针对无向图而言的.一个图中的边和它的两个点称为关联的，与同一边关联的两个点或与同一点关联的两条边称为相邻的.有公共起点和终点的两条边称为是重边或平行边，起点终点相同的边称为环.无环并无平行边的图称为简单图,如未作说明本文讨论的均为简单无向图.用G=(V(G),E(G))表示顶点集是V(G)，边集是E(G)的简单无向图.令n(G)=V(G)，ε(G)=E(G)分别表示图的阶即图的顶点个数和图的边数.若图G的两条边没有公共的顶点，则称它们是独立的.E(G)的没有任何两条边相邻的子集称为独立边集.Hosoya 指数是独立边集的总数目,记为Z(G).即?n??2?Z(G)= ∑m(G,K),当k?=n?时,m(G,K)=0.其中,m(G,K)表示G中k-匹配????k=0??2??的数目且规定m(G,0)=1,m(G,1)=ε(G).如果W?V(G),用G?W表示G中删去W的顶点和与这些顶点关联的边得到的子图，如果E?E(G),用G?E表示G中删去E的边得到的子图，特别地，12如果W={v},E={xy},用G?v和G?xy来代替G?W和G?E.用P(v,v,L,vn)表示以v1，v2，L，vn为顶点的简单路.NG(v)={u|uv∈E(G)}表示G 中与v相邻的顶点集合.对任意的顶点v∈V(G)，G中与顶点v关联的边的数称作v的度，用dG(v)表示.树中顶点度≥3的点称为支点，一个悬挂点连接一个2-度点称为2- 分支.e(v)是图G的一条边(顶点)，若G?e(G?v)不连通，则称e(v)为图G的一条割边(割点)，无割边的连通图又称为2-边连通图.Pn,Sn和Cn分别表示具有n个顶点的路，星图和圈.其它未加说明的图论术语和符号请参考文献[8]. 意大利数学家Fibonacci 于1202年提出Fibonacci 数的概念.定理1.2.1[5]f 表示第n个Fibonacci 数，满足f=f =1,fn =n01fn?1+fn?2,n≥2.定理1.2.2[2，8]P，S分别表示n顶点的路和星，则对所有的n阶树有，nnn=Z(Sn)≤Z(Tn)≤Z(Pn)=fn.定理1.2.3[2]设G是连