离散数学图解析.ppt

  1. 1、本文档共237页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
例10.7.1 在图10-31中,(a)和(b)是树,(c)是森林。 由定义不难得出,树一定是连通的简单平面图。 定理10.7.1 设T=V, E是n阶m条边的无向图,则下面命题等价: (1)T是树。(2)T无回路且m=n-1。 (3)T连通且m=n-1。 (4)T连通且T的每条边都是割边。 (5)T无回路,但任意增加一条边产生惟一一条回路。 (6)T中每对结点间恰有一条基本路。 证明: (1)?(2)。只需证m=n-1。因为T是树,所以T是连通平面图,且T只有一个无限面,由欧拉公式得n-m+1=2,即m=n-1。 (2)?(3)。只需证T连通。对n用数学归纳法证明。 若n=2,则命题显然成立。 假设当n=k时命题成立。则当n=k+1时,由于G无回路且m=n-1,所以一定存在度为1的结点(否则G中除了孤立结点之外,其他结点的度数都至少是2。从而G一定存在基本回路,得出矛盾)。 不妨设v是G的度为1的结点,删去v及以v为端点的边得到图G1。图G1有k个结点且k-1条边,从而由归纳假设可知,图G1连通。从而G也连通。 (3)?(4)。只需证T的每条边都是割边。任取T的边e,则T-{e}的边数为m-1,结点数为n,于是m-1=n-2<n-1,所以T-{e}是不连通的,因而e是割边。故T的每条边都是割边。 (4)?(5)。由于T的每条边都是割边,因而T中无回路。在T中添加新边[u, v],由T是连通的,则存在u到v的一条路Γ,于是Γ+[u, v]构成一回路。若得到的回路不惟一,不妨记为Γ1和Γ2,则Γ1-{[u, v]}与Γ2-{[u, v]}构成一回路,其经过的边都不是割边,矛盾。故在T中任意增加一条边产生惟一一条回路。 (5)?(6)。若T中存在两个结点u和v,它们之间不存在路,则添加边[u, v]不产生回路,矛盾。所以T中任意两个结点之间存在基本路。若u和v之间存在两条不同的基本路Γ1和Γ2,则由Γ1和Γ2可以得到一条基本回路,矛盾。所以T中每对结点间恰有一条基本路。 (6)?(1)。因为T中每对结点间恰有一条基本路,所以T是连通的。若T有回路,则回路经过的任意两个结点之间存在两条路,矛盾,所以T没有回路。因此,T是树。 □ 由于树少一边就不连通,多一边就有回路,所以树是以“最经济”的方式把各结点连接起来的图。因此,它可以用作典型的数据结构,各类网络的主干网也通常都是树结构。 定理10.7.2 若T=V, E是树,且|V|≥2,则T中至少存在两片树叶。 证明: 由T是树得,|E|=|V|-1。设T有k片树叶,应用握手定理可得2|E|=2(|V|-1)= ≥k+2(|V|-k),于是k≥2。 □ 定义10.7.2 若T是连通无向图G的生成子图且是树,则称T是G的生成树(支撑树,Spanning tree)。G在T中的边称为T的树枝,G不在T中的边称为T的弦。 例10.7.2 在图10-32中,(b)是(a)的生成树,而(c) 不是。 定理10.7.3 无向图G=V, E有生成树当且仅当G是连通的。 证明: 必要性。设T=VT, ET是G的生成树,则有VT=V。由于T是连通的,所以G是连通的。 充分性。若G中无回路,则G本身就是一棵生成树。若G中有回路,删去回路上的一条边得到图G1,G1仍是连通的且与G有相同的结点集。若G1还有回路,就再删去此回路上的一条边得到图G2,G2是连通的且与G有相同的结点集。续行此法,直到得到连通图T,它无回路且与G有相同的结点集,T就是G的生成树。 □ 定理10.7.4 若T是连通图G的任意生成树,则G的每个边割集和T至少有一条公共边。 证明: 若G的边割集与T没有公共边,那么删去这个边割集后所得子图必包含该生成树,这意味着删去边割集后G仍然是连通的,与边割集的定义矛盾。 □ 定义10.6.1 如把无向图G画在平面上,任意两条边除端点外均不相交,称G为平面图(Planar graph)。 例10.6.1 K2、K3、K4都是平面图,完全二部图K1,n(n≥1)、K2,n(n≥2)也是平面图。 在研究平面图理论中有两个十分重要的图,就是被称为库拉图斯基图的完全二部图K3,3和完全图K5,它们都不是平面图。其中,K3,3是边数最少的非平面图,K5是结点数最少的非平面图。 由定义我们不难得出:平面图的任何子图都是平面图;非平面图的任何母图都是非平面图;图中的平行边和环并不影响图的平面性。

您可能关注的文档

文档评论(0)

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

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

1亿VIP精品文档

相关文档