四川大学计算机学院离散数学(第22讲).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 树与生成树 Kruskal算法 根树 完全二叉树 Huffman算法 * 计算机学院 * 树 定义11.1　连通而不含圈的无向图称为无向树，简称树。树中度数为1的结点称为树叶；度数大于1的结点称为枝点或内点。常用T表示树。 　　若图G不含圈，则称G为林。 　　若图G是林，则G的每个连通分支都是树。 * 计算机学院 * 例11.1 (a) (b) (c) (d) (e) 显然：(a)、(b)、(c)、(d)都是树. (e)是林。 (c)是平凡图，称之为平凡树，其结点度数为0。 而在任何非平凡树中，都无度数为0的结点。 * 计算机学院 * 树的性质 定理11.1设T是非平凡图﹙n,m﹚，则以下关于树的命题都是等价的： T连通且无圈； T无圈且m＝n-1； T连通且m＝n-1； T无圈，但在T中任何二结点之间增加一条新边后有且仅有一个圈； T连通的，但删除T中的任意一条边后，便不连通；(n?2) T中每一对结点之间有且仅有一条道路(n?2)。 常用结论 * 计算机学院 * 证明 采用循环论证方法。 即只需证1)?2)?3)?4)?5)?6)?1)即可。 1)?2)用数学归纳法证明，对n作归