离散数学第11章_几类重要的图教材教学课件.pptVIP

(1) 若V1中每个结点是M—饱和的，停止。否则，令v是V1中M—不饱和结点，作 S={v}和T=? (2) 若N(S)=T，因为|T|=|S|-1，则|N(S)|＜|S|，由Hall定理知，不存在使V1中每个结点都是饱和的匹配，停止，否则，令y∈N(S)-T。 (3) 若y是M—饱和的，令〔y，z〕∈M，作 S←S∪{z}和T←T∪{y} 并转到(2)；否则，令CM是以v为始结点和y为终结点的M—增广链，作M←MΔE(CM)并转到(1)。其中E(CM)表示CM中所有边的集合。 11.3 树 定义11.3.1 一个无圈的连通图，称为树。 显然，由定义可知，树是个简单图，即它无环和无平行边。 在树中，度为1的结点称为叶或悬挂结点；度数大于的结点称为内结点或分枝结点；而与叶或悬挂结点所关联的边，称为叶边或悬挂边。 若图中的每个连通分图是树，则称该图为森林。 定理11.3.1 树T中任两个结点间恰有一条链。 定理11.3.2 若图G中每对结点间有且仅有一条链，则G为树。 定理11.3.3 具有n个结点的树中有n-1条边，即树T=V，E中，|E|=|V|-1。 注意，具有n个结点和恰有n-1条边的图未必是树，但有下面两个定理： 定理11.3.4 给定连通图G=V，E，若|E|=|V|-1，则G是树。 定理11.3.5 给定图G=V，E，|E|=|V|-1且G中无圈，则G是树。 连通无圈完全刻划了树，这是树的一个特性；树还有另外一个重要性质是：它以最少的边使结点可达或连通。这便导出下面的最小连通的概念。 定义11.3.2 给定连通图G=V，E，若对任意e∈E，均使G-e不连通，则称连通图G是最小连通的。 显然，最小连通图不可能有圈。因为删去圈中的一条边后仍使图连通。于是，最小连通图是树。反之， 如果一个连通图G不是最小连通的，则必存在G中一条边ei，使G-ei连通。所以ei位于一圈中，这意味着G不是树。故可得到下面定理： 定理11.3.6 图G是树?G是最小连通的。 上面的六个定理可以总结为下面五个不同的但却是等价的树的定义。给定图G=V，E，G是树的等价定义是： ① G是连通且无圈 ② G是连通且|E|=|V|-1 ③ G是无圈且|E|=|V|-1 ④ G中每对结点间恰有一条链 ⑤ G是最小连通图 定理11.3.7 给定树T=V，E，若|V|≥2，则T中至少存在两个悬挂结点。 对于一些图，它本身未必是树，但它的子图是树。一个图可能有多个子图是树，其中很重要的一类树是生成树。 定义11.3.3 给定图G=V，E。若G的生成子图T是树，则称T是G的生成树。T中的边称为枝，是G中的边但不为T中的边称为弦。 定理11.3.8 图G=V，E有生成树T=VT，ET?G是连通的。 假设图G=V，E是连通图，G的一个生成树是T=V，ET，则|ET|=|V|-1。因此，要确立G的一棵生成树必须从G中删去|E|-(|V|-1)条边。称数(|E|-|V|+1)为图G的基本圈的秩，它表现打破全部基本圈所必须从G中删去的最小边数，即由G产生的生成树应删去弦的数目。例如，对于图11.3.3所示的图，其圈秩是3。 定理11.3.9 若T是图G的一棵生成树，e=[u，v]是弦，则存在唯一的由e和T中某些边构成的基本圈C。若f是C上与e不同的边且由f替换e而得到图T1，则T1也是G的一棵生成树。 定理11.3.10 设T1和T2是图G的两棵生成树。若f是T1的边但不为T2的边。则存在一条是T2但不为T1的边e，使得用e代替T1中的一条边而得到图G的一棵生成树T3。 下面讨论利用生成树为讨论加权图的最小连接问题。 设G=V，E，W是加权的连通图，对任意边e?，其权w(e)≥0。令T=VT,ET,WT是G的一查枷权生成树，其所有枝上的权的总和 (e)，称为树T的权，记为w(T)。一般说来，对于G的不同生成树T，w(T)也是不同的。可以知道，其中必有一个最小者，而这正是人们最为感兴趣的。因此，有如下定义。 定义11.3.4 给定连通加权图G=V，E，W，T0=V，ET0，WT0是G的加权生成树，w(T0)为T0的权。若对G的任意加权生成树T均有w(T0)≤w(T)，则称T0是G的最小生成树。 下面给出一种求最小生成树的方法——Kruskal算法(1956)，它的本质是树生成过程，因此得名避圈法。 定理11.3.11 设G是有n个结点的连通图，下面算法产生的是最小生成树。 (1) 选取具有尽可能小的权的边e1；假定i＜n-1和已选取边为e1，e2，…，ei。 (2) 在G中选取不同于e1，e2，…，ei的边ei+1，使{e1，e2，…，ei，ei+1}的诱导子图无圈且ei+1是满足此条件的权尽可能小的边。重复作下去直至