本文深入探讨了图论中的树结构，重点讲解了割集、基本割集及其组，以及定理12.8至12.12的内容。割集是使图不连通的边集合，基本割集是生成树中树枝和特定弦的组合。基本割集组由树的n-1个基本割集组成。定理12.8指出每个圈包含偶数条弦，定理12.9表明每个割集中必含树枝。基本圈组则是由生成树加任意弦形成的。
割
割的字面意思就是割开，不连通。割集是一些边的集合，从图中去掉这些边之后图就不连通了。
基本割集
生成树里的一条树枝和一些弦。
树是特殊的图，去掉树的每一个树枝都会导致树的两个子图A和B不连通，因此每一个树枝都是一个割集。
如果树是一颗生成树，去掉一根树枝就能让A和B不连通，但在原图单单这么做还不够。
在原图里面，还得再去掉一些生成树的弦才能使得AB不连通。这些弦和那根树枝组成的集合是一个关于原图和这颗树的某一个基本割集。
基本割集组
生成树有n个点，n-1个树枝，也就有n-1个基本割集，1个基本割集组。
定理12.8
每个圈中必有弦
显然，圈不可能都是树枝，不然树中就有圈了。
定理12.9
每个割集中必有树枝
不管是那颗生成树的树枝，割就是让AB不连通，而生成树必然有一根树枝让AB连通，所以割集必然会割到这条树枝。
定理12.10
任何圈和任何割集都有偶数条公共边。
假设把G割成A和B。
- 圈在A中或者圈在B中，圈和割没有公共边，0是偶数。 <
最低0.47元/天 解锁文章
扫一扫
6859
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
