刘杰《离散数学1》精品教学4.2-树-new.pptVIP

定理4.2.2 因为T*是最优树，所以T’也是最优树，但T’包括l1，…，lk+1，反复执行上述过程，最后可得一最优树包括了T的所有边，即T’=T，所以T是最优树。 作业：习题4.1-7(用Kruscal算法求最优树) 习题4.2-3.证明每一株恰好有两个点度是1的树必是一条简单路。 证明：只要证明G除了两个度为1的点，其余点的度都为2即可。设G=（P，L）是满足条件的一棵树，P(G)，L(G)的元数分别是n，m。 反证法，假设G不是一条简单路，则除两点的度为1，其它点的度都满足d(v)≥2，v∈P(G)并且至少有一个点的度大于2。则 1+1+2(n-2)=2+2n-4=2n-2=2(n-1)，而由已知G是树，必有 =2(n-1)。假设与已知矛盾。因此G必为一条简单路。 习题4.2-4 证明：若G为?≥k的树，其中?是G中点的最大度，则G最少有k个点的度是1. 证明： 反证法，树G中顶点数为n，假设G中点的度为1的个数为mK。由已知G中有一点v的度为?，则剩余的点为n-m-1，并且满足度≥2，≤?。则有: ≥m+?+2(n-m-1)=2n-2+?-m =2(n-1)+( ?-m) 2(n-1) 而由已知G是树，必有 =2(n-1)。 假设矛盾，所以至少有k个点的度为1。 习题4.2-5 证明：一个有限连通图G是一条非回路的简单路，当且仅当G中有两个点的度为1，且其余点的度均为2。 证明：必要性显然。 充分性：设G有K个顶点，对K进行数学归纳。 k=3时显然成立，假设k=n-1时，G是一条非回路的简单路。则当k=n时，设v1是路G中度为1的一点，v2是与v1相邻的另一点，把点v1及边v1v2从G中删去得G?，此时v2的度必为1。G’仍连通，具有两个度为1的点，其余点度为2。由假设知G?是一条非回路的简单路。把点v1及边v1v2加入到G?中得G显然仍成立，归纳法完成。 习题4.1-4 设G是图，?是G中点的最小度。如果k??，则G中有一条长度为k的简单路。 分析：只要证明G中有一条长度为?的简单路 证明：设点v0具有最小度?≥1，则从v0出发可以找到v0一相邻点设为v1, 由于dG (v1)≥?，如果dG (v1)=?=1则已找到长度为?=1的路(v0，v1)，此时命题得证。否则至少可以找到一个异于v0的点V2，现在假设已经找到vi（i≥1），由于dG (vi) ≥?，看vi相邻的点，至少有一个不同于v0，v1，…vi-1的相邻点，取为vi+1，这样下去一定能够找到点v?。则有一条长度为?的路(v0，v1，…v?)。对于k??，一定有长为?的简单路。 * 本引理的逆否命题：设G是（至少有一条边的）有限图，如果G中所有点的度都大于等于2，则G中有回路。 * 显然，无向图包括简单图，我认为，图的定义应该定义一般的图，目前的定义，实际上就是简单图 习题3.4-2 (1)?(?xP(x)??y?zQ(y，z))； =?(?(?xP(x)) ??y?zQ(y，z)) =?xP(x) ??(?y?zQ(y，z))) =?x(P(x) ? ?y?(?zQ(y，z))) =?x?y (P(x) ? ?z(?Q(y，z))) =?x?y ?z (P(x) ??Q(y，z)) 用f(x，y)代替z得Skolem范式: ?x?y(P(x) ??Q(y，f(x，y))) 习题3.4-2 (2)?x(?E(x,0)?(?y(E(y,g(x))??z(E(z,g(x))?E(y,z))))) ＝?x(?E(x,0)?(?y(E(y,g(x))??z(?E(z,g(x))?E(y,z))))) ＝?x(E(x,0) ? (?y(E(y,g(x))??z(?E(z,g(x))?E(y,z))))) ＝?x?y?z (E(x,0) ? (E(y,g(x))? (?E(z,g(x))?E(y,z)))) ＝?x?y?z ((E(x,0) ? E(y,g(x)) )? (E(x,0) ??E(z,g(x))?E(y,z))) 用f(x)代替y得Skolem范式: Skolem范式: ?x?z((E(x,0) ? E( f(x),g(x))) ? (E(x,0) ??E(z,g(x)) ? E( f(x),z))) 用形式演绎法证明A?B?C?D,D?E?F共同蕴涵 A?F。 证明A?B?C?D,D?E?F共同蕴涵 A?F。 (1) A?B→C?D 规则1 (2) (