循环图中生成树的个数.pdfVIP

2OO3年 9月 湖南师范大学 自然科学学报 v01．26 No．3 第26卷 第3期 JourNatSeieHunanNorm Univ S印 ．，2OO3 循环图中生成树的个数 张远平 ，张智勇2 (1．湖南师范大学 数学与计算机科学学院 信息与计算机科学系，中国，长沙 410081； 2．湖南师范大学网络中心，中国，长沙 410081) 摘 要：一般图中生成树的计数 目前还没有简单有效的方法．对循环图中生成树的个数给出了简单的在线性 时间内即可实现的计算方法，并应用到若干个具体的循环图． 关键词：循环图；生成树个数； eby8bev多项式 中图分类号：O1．15 文献标识码：A 文章编号：1000-2537(2003)03．0014-05 FormulasfortheNumberofSpanningTreesinCirculantGraphs ZHANG Yua~ping ，ZHANG Zhi-yong ， (1． 血 哪 ofIrfformafionandc0 Science，Collegeof地吐eIIIat andComputerScience，HunanNormalUniversity， 咄 410081，China；2．CenterofNetworks，HunanNormalUniversiyt， 咄 410081，China) Al瑚Id：No p1eandefficientmethodea~tstocounttheW~mnigtreesingeneralgraphs．Foreireulant ， mehtodsrLlll- Ilinginlineartimeweregivnehere．Theintho~wereappliedotseveraleireulantgraphsfor旺8口1ples． 1e【ywords：eiznelantgraphs；眦mberofW~mnigtreesiQleby8he、rpolynomials 1 简介 图(或网络)中生成树的个数是评估图的可靠性的一个既重要且被广泛研究的量…．对于图G，记G的邻 接矩阵为A(G)或简记为A， 为由G的所有顶点的度数所构成的对角矩阵，(G)为G中生成树的个数 ．经 典理论矩阵树定理 (MatrixTreeTheorem[)说明， (G)等于矩阵 —A的任何代数余子式．该定理给出了一 种计算任意图中生成树个数的方法 ．但是在实际中，这种通过计算矩阵行列式的方法对于计算一个大图的生 成树个数是不适用的． 对某些特殊类型的图，给出生成树个数简单精确的公式是完全可能的．对于完全图 ，Cayley树公式 (Cayley’streeforumla3【)说明，(K)=7／,．在[4～6]中还可以找到一些其他的特例．下面就循环图来考虑 这个 问题 ． 假设 1≤s≤s：≤…≤sI．(无向)循环图 ’S2tt定义为：有 7／,个顶点分别标记为0，1，2，…，n一1， 对于每个 f(1≤J≤k)和 i(0≤i≤ 7／,一1)在 i和i+srrood7／,之间有一条边相连．故 …’是2缸正 则图．因为在实际的网络设计中两个工作站之间有多重连接是经常可见的，而圈对生成树没有影响，所以在 本文中允许多重边和圈的存在．文中未加定义的基本术语可参见[3]． 记 (Q …’)是(无向)循环图Q ’…’中生成树的个数．公式 (c )=nF ，其中 是Fibonaeei 数，最早 由Bedrosian 猜测，后来被 Kleitman和 Golden8‘证明．同样 的公式还被Boesch和wang[所猜测(未 收稿 日期：2003-03-14 作者简介：张远平(1966-)，男，安徽无为人，湖南师范大学副教授，博士．主要研究计算算法设计与分析及组合论． 第3期 张远平等：循环图中生成树的个数