定义7.5设图G的顶点非空真子集为V1V,在G中一个端1.pptVIP

定义7.5:设图G的顶点非空真子集为V1?V, 在G中一个端点在V1中, 另一端点在V(G)-V1中的所有边组成的集合称为G的一个断集或称边割,记为 E(V1?(V(G)-V1)), 简记为(V1, V(G)-V1)。 当|(V1, V(G)-V1)|=1时, (V1, V(G)-V1)中的那条边称为割边或 桥。 对于连通图G(V,E), 删去一个割集D, 得到两个分支, 顶点集分别为V1和V(G)-V1, 割集D是G中一个端点在V1中, 另一端点在V(G)-V1中的边的全体。 如果在连通图G中, 删去一个断集而不是一个割集, 那么将得到多于两个分支。 三、割集与回路 定理7.4：任何一条回路和任何生成树的余树至少有一条公共边。 证明：如果一条回路和一棵生成树的余树没有公共边, 则这回路含在该生成树中, 这是不可能的。 定理7.5：任何一个割集和任何生成树至少有一条公共边。 证明：如果一个割集和一棵生成树没有公共边, 则删去该割集后留下一棵完整的生成树, 也就是说, 删去一个割集后, 不能将图G分为两个分支, 这与割集的定义相矛盾。 定理7.6：任何一个回路和任何一个割集有偶数条公共边。 证明：从连通图G中删去一个割集D后, 得到两个顶点子集V1和V2, 考察G中任一条回路C : (1) 如果C中所有顶点在V1(或V2)中, 则C与D没有公共边。 (2)如果C中顶点既有一些