a计算机与信息科学系.ppt

离 散 数 学 Discrete Mathematics 计算机与信息科学系 Department of Computer and Information Science Copyright ? 《离散数学》精品课程小组 16.1 无向树及其性质 16.2 生成树 16.3 根树及其应用 16.1 无向树及其性质 定义16.1 连通无回路的无向图称为无向树, 或简称树, 常用T表示树(Tree);平凡图称为平凡树;若无向图G至少有两个连通分支, 每个连通都是树, 则称G为森林(Forest); 在无向图中, 悬挂顶点称为树叶(Leaf); 度数大于或等于2的顶点称为分支点(Node) 无向树有许多性质, 它们是树的充要条件, 因此它们都可看作是树的定义。 16.1 无向树及其性质 定理16.1 设G = V, E是n阶m条边的无向图, 则下面各命题是等价的: (1) G是树 (2) G中任意两个顶点之间存在唯一的路径 (3) G中无回路, 且m = n-1 (4) G是连通的, 且m = n-1 (5) G是连通的, 且G中任何边均为桥 (6) G中没有回路, 但在任何两个不同的顶点之间加一条新边, 在所得图中得到唯一一个含新边的圈 （证明如下） （接）证：(1) ? (2) 由G的连通性和定理14.5的推论可知: ?u,v?V, u与v之间存在路径。 若路径不是唯一的, 设?1与?2都是u到v的路径。 显然必存在由?1和?2上边构成的回路, 这就与G中无回路矛盾。 (2) ? (3) 先证明: G中无回路。 若G中存在关联某顶点v的环, 则v到v存在长为0和1的两条路经, 这与已知矛盾。 若G中存在长度大于或等于2的圈, 则圈上任何两个顶点之间都存在两条不同的路径, 这与已知条件矛盾。 （续） （接） 下面用归纳法证明: m = n-1。 1) n = 1时, G为平凡图, 结论显然成立。 2) 设n ? k(k ? 1)时, 结论成立。 3) 当n = k+1时 设e = (u, v)为G中的一条边, 由于G中无回路, 所以, G-e有两个连通分支G1和G2。 设ni和mi分别为Gi中的顶点数和边数, 则ni ? k(i = 1, 2)。 由归纳假设可知: mi = ni-1, 于是, m=m1+m2+1=n1+n2+1-2=n-1。 (3) ? (4) 假设: G不是连通的。 设G由s(s ? 2)个连通分支G1, G2, …, Gs, Gi中均无回路, 因此, Gi全为树(i=1..s)。 （续） （接） 由(1)?(2)?(3)可知: mi = ni-1。 于是, m = ?i=1..smi = ?i=1..sni - s = n - s。 由于s ? 2, 这显然与条件“m=n-1”相矛盾。 所以, G是连通的。 (4) ? (5) 证明G中每条边均为桥, ?e?E, 均有: E(G-e) = n-1-1 = n-2。 由“n阶m条边的无向连通图, 则m ? n-1”可知: G-e不是连通图, 故e为桥。 （续） （接）（5) ? (6) 由于G中每条边均为桥, 因此, G中无圈。 又由于G连通, 所以, G为树。 由(1)?(2)可知: ?u,v?V且u ? v, 则u与v之间存在唯一的路径?, 则?∪(u,v)为G中的圈, 显然该圈是唯一的。 (6) ? (1) 证明: G是连通的。 ?u, v?V且u ? v, 则(u,v)∪G产生唯一的圈, 显然, 有C - (u,v)为G中u到v的通路, 故, u ~ v。 由“u和v的任意性”可知: G是连通的。 16.1