第二章 5 生成树算法定义2·13 （1）图G 的每条边e 赋与一个实数)(e ω，称为e 的权。
图G 称为加权图。
（2）设1G 是G 的子图，则1G 的权定义为： ∑∈=)(11)()(G E e e G ωω定理2·10 Kruskal 算法选得的边的导出子图是最小生成树。
证：K r u s k a l 算法所得子图0T 显然是生成树，下证它的最优性。
设{}[]1210,,,-=υe e e G T 不是最小生成树，1T 是G 的任给定的一个生成树，)(T f 是{}121,,,-υe e e 中不在1T 又{}1210,,,)(-=υe e e T E ，故121,,,-υe e e 中必有不在)(T E 中的边。
设k T f =)(，即121,,,-k e e e 在T 与0T 上，而k e 不在T 上，于是k e T +中有一个圈C ，C 上定存在ke '，使k e '在T 上而不是在0T 上。
令k k e e T T '-+=')（，显然也是生成树，又)()()()(kk e e T T '-+='ωωωω，由算法知，k e 是使{}[]k e e e G ,,,21 无圈的权最小的边，又{}[]kk e e e e G ',,,,1-21 是T 之子图，也无圈，则有)()(k k e e ωω≥'，于是)()(T T ωω≤'，即T '也是最小生成树，但)()(T f k T f =>'与)(T f 之最大性矛盾。
证毕定理2·11 im Pr 算法产生的图)(0T G 是最小生成树。
证明与定理2·10类似，略。
第三章2 割边、割集、割点定理3·4 设G 是连通图，)(G E e ∈则e 是G 的割边的充要条件是e 不含在圈中。
证明 必要性 设e 是G 的割边，若e 在G 的一圈C 上，则e G -仍连通，这不可能。
