网站大量收购独家精品文档,联系QQ:2885784924

第九章 树.doc

  1. 1、本文档共14页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第九章 树.doc

第九章 树 树是一种极为简单而又非常重要的特殊图,它在计算机科学以及其它许多领域都有广泛的应用。? 9.1 树的基本概念 定义9.9 连通无回路的无向图称为无向树,简称为树(tree)。树中的悬挂点又称为树叶(leave),其它结点称为分支点(branched node)。单一孤立结点称为空树(null tree)。诸连通分支均为树的图称为森林(forest),树是森林。 例9.12 图9.21中(a),(b)为树,(c)为森林。 由于树无环也无重边(否则它有回路),因此树必定是简单图。树还有一些一目了然的性质,罗列如下,有的证明请读者完成。 ? ? ? ? ? 图9.1 定理9.12 树和森林都是可2-着色的,从而都是二分图。 定理9.13 树和森林都是平面图,其面数为1。 定理9.14 设图T为一树,其顶点数、边数分别是n, m, 那么 n – m = 1 或 m = n – 1 证 因T为树,故T为连通平面图。据欧拉公式和n – m +1 = 2, 即n – m = 1。 定理9.15 任何多于一个顶点的树都至少有两片叶。 证 设T为任一树,其顶点数、边数分别为n, m。又设T中至多只有一个顶点是叶,那么 2m = (vi) ≥ 2(n-1)+1 = 2n – 1 m ≥ n – n – 1 这与定理9.14矛盾。因此T至少有两片叶。 树还有下列5种等价定义形式。 定理9.16 命题“(n,m,)图T为树”与下列5命题中的每一命题等价: (1)T无回路且m = n – 1 。 (2)T连通且m = n – 1 。 (3)T无回路,但添加任一关联T中两顶点的边时,T中产生唯一的一条回路。 (4)T连通,但删去任一边时便不再连通(T的每一边均为割边)。 (5)任意两个不同顶点之间有且仅有一条通路。 证 记“T为树”即“T连通无回路”为命题(0)。为证(0)与(1),(2),(3),(4)(5)均等价,我们证 (0) ( (1) ( (2) ( (3) ( (4) ( (5) ( (0) (0) ( (1) 这由定理9.14立得。 (1) ( (2) 设T无回路,m = n – 1 ,欲证T连通。反设T有k个连通分支(k≥2),T1,T2, … ,Tk,它们的顶点数分别是n1, n2, … , nk,边数分别是m1, m2, … , mk,显然 n = , m = mi = ni – 1 (i=1,2,…,k) 于是 m = = = n – k n – 1 矛盾。因此T连通。 (2) ( (3) 设T连通且m = n – 1 。先证T无回路,为此对n归纳。 n = 1时显然T无回路,因这时m = n – 1 = 0。 设顶点数为n – 1 的满足题设的图无回路,考虑顶点数为n的图T。去掉T的一悬挂点(同定理9.15的证明可证,T至少有两个悬挂点)构成T’。显然T’仍连通,且m’= m –1 = n – 2 = n’ – 1 ,因此由归纳假设T’无回路。在T’上加回所删去的悬挂点得T,故T亦无回路。 再证(3)的第二部分,设在T的顶点vi, vj间添加边e。由于T连通,故原本有vi到vj的通路,此通路连同边e构成T∪{e}的一条回路。若此回路不唯一,那么去掉边e后T仍有回路,与以上证明冲突。这就是说,在T中添加任一边后,将产生唯一的一条回路。 (3) ( (4) 留给读者自行证明。 (4) ( (5) 留给读者自行证明。 (5) ( (0) 设T的任何两个顶点之间有且仅有一条通路,那么T显然连通。T也是无回路的,否则T中有回路上顶点vi,vj,使vi到vj有两条通路,与题设矛盾。 从以上特征性可以看出,树是“最小的连通图”,少一边便不连通;树又是“最大的无回路图”,多一边便有回路,因而树是以“最经济”的方式把其中各顶点连接起来的图。各类网络的主干网通常都是树的结构。 9.2 生成树 由树的特性使我们想到,一个连通图G的“最小连通生成子图”应当是一棵树。 定义9.10 图T称为无向图G的生成树(spanning tree),如果T为G的生成子图且T为树。 定理9.17 任一连通图G都至少有一棵生成树。 证 若G无回路,则G本身为一树。若G有回路。则删去回路上任一边e,G–e仍连通。对G–

文档评论(0)

gsgtshb + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档