离散数学第六章图论.pptVIP

离散数学 西安交通大学 电子与信息工程学院 计算机软件所 刘国荣 离散数学 §10 树 (tree)　  ?自由树 (无向树) ?生成树 (支撑树) ?最优树 (最小生成树) ?有根树 (有向树) 离散数学 §10.自由树 (无向树) 　树概念产生于1875年，最初由大化学家A.Cayley在研究化学分子式的同分异构体—衍生物时提出。 树是图论中应用最广泛的一类图。它在物理学、化学及量子化学、管理学、运筹学、组合学、社会学等中都起着重要的作用，尤其是在计算机科学中起着非常重要的作用。 　树概念及树理论在诸如数据库理论、数据结构、数据挖掘等这些研究数据的组织、关联和层次等模型的理论中都占有重要的地位。 　树模型算法，尤其是分类、排序算法是算法设计中很重要的一大类算法。 　树模型也是计算机科学中经常采用的重要设计模型； 离散数学 在人工智能及机器人设计、软件体系结构设计、层次控制结构设计、VLSI-设计理论、总线设计理论及网络设计理论中都有相应的树模型设计理论。 定义1.自由树(free tree)　无向树(undirected tree) 设G=(V, E) 是无向图。若图G 是连通的且是无圈的，则称图G为自由树或无向树，简称树(tree) 。 注：?树是连通的、无圈的无向图； 　　?树中度为1的结点(悬挂点)称为树叶(tree leaf) ； 　　?树中度大于1的结点称为分枝点或树杈(crotch of a tree) ； 　　?树中的边称为树枝(tree branch) 。 例1.图1所示的图G是一棵树。 离散数学 定理1.设G=(V, E)是无向图， |V|=n，|E|=m 。则下面六种 说法是等价的： (1)G是一棵树(连通，无圈)； (2)G 中任一对结点间有且 只有一条路可达； (3)G连通，且m=n-1； (4)G无圈，且m=n-1； (5)G无圈，且给G中任一对结点间增加一条边时，G中恰形成一圈； (6)G连通，且在G中删去任一条边时，G成为两个连通分图。 离散数学 [证].证明的步骤如右图所示： (1)?(2)： 先证：?方向 　首先，由于图G是连通的，故 显然G的每一对结点间都至少应 有一条路可通； 其次，由于图G是无圈的，故G的每一对结点间都最多只能有一条路可通；采用反证法证明如下： 　否则，图G中必至少有某一对结点，不妨设是u,v，其间有两条不同的初级路： P1=(u,x2,?,xp-1,v)， P2=(u,y2,?,yq-1,v) ， 设xi与yi是这两条路上的第一个分叉点，又设xj1与yj2是这 离散数学 两条路上在xi (即yi )点之后的第一个重合点。于是,我们就在G中得到一条初级圈： 　　C=(xi,xi+1,?,xj1 ( yj2 ), yj2-1,?, yi ( xi)) (如图2所示) ，这与已知条件(1)：图G是无圈的矛盾！ 因此，综合“至多”和“至少”，我们就证明了图G中任一对结点间有且只有一条路可达； 次证：?方向 首先，由于图G中任一对结点间有一条路可达，即G的每一对结点间都有路可通，故G是连通的； 离散数学 其次，由于图G中任一对结点间只有一条路可达，即G的每一对结点间都只能有一条路可通，故G是无圈的；采用反证法证明如下： 　否则，图G中必至少有一条初级圈，设是 　　C=(v1,v2,?,vp, v1) 于是P1=(v1,v2,?,vp)及P2=(v1,vp)就是从v1到vp的两条不同的初级路，这与已知条件(2)：G的每对结点间都只有一条路可通矛盾！ 　因此，综合首先和其次，我们就证明了图G是连通的，无圈的； 　(1)?(5)： 只要证明给树的任意一对结点间增加一条边时，都恰形成一条圈即可； 离散数学 　设u,v是图G中的任意两个结点，由树的连通性可知：其间必有一条初级路可通，现在给它们之间增加一条边，就必得一条初级圈；若u,v间出现的圈不止一个，则删除给u,v间增加的那条边，此时G中应仍有圈存在(参见图3所示) ，这就与已知条件(1)：树的 无圈性矛盾了！ 　由此可见，给树的任意一对结点 间增加一条边时，都恰形成一条圈； 　(5)?(1)： 只要证明G是连通的即可；采用反证法证明如下：