离散数学(7.7树与生成树)ppt课件.ppt





《离散数学(7.7树与生成树)ppt课件.ppt》由会员分享,可在线阅读,更多相关《离散数学(7.7树与生成树)ppt课件.ppt(24页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、7.5 树与生成树(Trees and Spanning Trees)7.5.1 无向树无向树(Undirected Trees)7.5.2无无向向图图中中的的生生成成树树与与最最小小生生成成树树(Spanning Trees and Minimal Spanning Trees)7.5.1 无向树(Undirected Trees)树树是是图图论论中中的的一一个个重重要要概概念念。早早在在1847年年克克希希霍霍夫夫就就用用树树的的理理论论来来研研究究电电网网络络,1857年年凯凯莱莱在在计计算算有有机机化化学学中中2H2n+2的的同同分分异异构构物物数数目目时时也也用用到到了了树树的的理理
2、论论。而而树树在在计计算算机机科科学学中中应应用用更更为为广广泛泛。本本节节介介绍绍树树的的基基本本知识,知识,其中谈到的图都假定是简单图。其中谈到的图都假定是简单图。定定义义7.5.1 一一个个连连通通无无圈圈无无向向图图称称为为无无向向树树(简简称称为为树树)。记记作作T。树树中中度度数数为为1的的结结点点称称为为树树叶叶(或或终终端端结结点点),度度数数大大于于的的结结点点称称为为分分枝枝点点(或或内内点点,或或非非终终端端结结点点)。一一个个无无圈圈图图称为森林。称为森林。显显然然若若图图G是是森森林林,则则G的的每每个个连连通通分分支支是是树树。如如图图7.5.1(a)所所示示的的是
3、一棵树;是一棵树;(b)所示的是森林。所示的是森林。图图 7.5.1 树和森林示意图树和森林示意图 【例例7.5.1】判判断断图图 7.5.2中中各各图图是是否否为树为树.图图 7.5.2 证证:因因为为 T是是一一棵棵n的的(n,m)树树,所以由定理所以由定理7.5.1,有有若若T中的无树叶,中的无树叶,则则T中每个顶点的度数中每个顶点的度数2,则则 deg(vi)2n,(2)若若T中中只只有有一一片片树树叶叶,则则T中中只只有有一一个个结结点点度度数数为为1,其其它它结结点度数点度数2,所以所以 (1)(3)(2),(3)都与都与(1)矛盾。所以矛盾。所以T中至少有两片树叶。证毕。中至少有
4、两片树叶。证毕。定理定理7.5.1 任一树任一树T中中,至少有两片树叶至少有两片树叶(n2时时)。定理定理7.5.2一个无向图(一个无向图(n,m)图)图T是树是树,当且仅当下列当且仅当下列5条之一成立。条之一成立。(或者说或者说,这这5条的任一条都可作为树的定义。条的任一条都可作为树的定义。)(1)无圈且无圈且m=n-1。(2)连通且连通且m=n-1。(3)无无圈圈,但但增增加加任任一一新新边边,得得到到且且仅仅得得到一个圈。到一个圈。(4)连连通通但但删删去去任任一一边边,图图便便不不连连通通(n2)。(5)每每一一对对结结点点间间有有唯唯一一的的一一条条通通路路。(n2)。证证:(1)证
5、证明明由由树树的的定定义义可可知知T无无圈。下证圈。下证m=n-1。对对n作归纳。作归纳。n=1时时,m=0,显然显然m=n-1。假假 设设 n=k时时 命命 题题 成成 立立,现现 证证 明明n=k+1时也成立。时也成立。由于树是连通而无圈由于树是连通而无圈,所以至少有所以至少有一个度数为一个度数为1的结点的结点v,在在T中删去中删去v及其关及其关联边联边,便得到便得到k个结点的连通无圈图。由个结点的连通无圈图。由归纳假设它有归纳假设它有k-1条边。再将顶点条边。再将顶点v及其及其关联边加回得到原图关联边加回得到原图T,所以所以T中含有中含有k+1个顶点和个顶点和k条边条边,符合公式符合公式
6、m=n-1。所以树是无圈且所以树是无圈且m=n-1的图。的图。(2)证明由第证明由第(1)条可推出第条可推出第(2)条。条。用反证法。若图不连通用反证法。若图不连通,设设T有有k个连个连通分支通分支(k2)T1,T2,Tk,其结点其结点数分数分别别是是n1,n2,nk,边边数分数分别为别为m1,m2,mk,于是于是得出矛盾。所以得出矛盾。所以T是连通且是连通且m=n-1的图。的图。(3)证明由第证明由第(2)条可推出第条可推出第(3)条。条。首先证明首先证明T无圈。对无圈。对n作归纳证明。作归纳证明。n=1时时,m=n-1=0,显然无圈。显然无圈。假设结点数为假设结点数为n-1时无圈时无圈,今
7、考察结今考察结点数是点数是n的情况。此时至少有一个结点的情况。此时至少有一个结点v其度其度数数deg(v)=1。我们删去。我们删去v及其关联边得到新及其关联边得到新图图T,根据归纳假设根据归纳假设T无圈无圈,再加回再加回v及其关联及其关联边又得到图边又得到图T,则则T也无圈。也无圈。其次其次,若在连通图若在连通图T中增加一条新边中增加一条新边(vi,vj),则由于则由于T中由中由vi到到vj存在一条通路存在一条通路,故必有故必有一个圈通过一个圈通过vi,vj。若这样的圈有两个,则。若这样的圈有两个,则去掉去掉(vi,vj),T中必存在通过中必存在通过vi,vj的圈,与的圈,与T无圈矛盾。故加上
8、边无圈矛盾。故加上边(vi,vj)得到一个切仅得到一个切仅一个圈。一个圈。(4)证明由第证明由第(3)条可推出第条可推出第(4)条。条。若图不连通若图不连通,则存在两个结点则存在两个结点vi和和vj,在在vi和和vj之间没有路之间没有路,若加边若加边(vi,vj)不会产不会产生简单回路(圈)生简单回路(圈),但这与假设矛盾。由于但这与假设矛盾。由于T无圈无圈,所以删去任一边所以删去任一边,图便不连通。图便不连通。(5)证明由第证明由第(4)条可推出第条可推出第(5)条。条。由连通性知由连通性知,任两点间有一条路径任两点间有一条路径,于是有一条通路。若此通路不唯一于是有一条通路。若此通路不唯一,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 7.7 生成 ppt 课件

限制150内