第八篇_一些特殊的图1.pptVIP

第八章一些特殊的图 8.1 二部图 8.1 二部图 定义8.1 若能将无向图G=V,E的顶点集V分成两个子集V1和V2,且V=V1∪V2，V1∩V2=?。使得G中任何一条边的两个端点一个属于V1，另一个属于V2 ，则称G是二部图或偶图，记作G=V1,V2,E，称V1和V2为互补顶点子集，或称V1，V2是V 的划分。 完全二部图 在一个二部图G=V1, V2 , E 中，若|V1|=m，|V2|=n，且对任意的u∈V1，v∈V2均有(u,v)∈E，则称G为完全二部图，记为Km,n。 此两图均是K3,3, 因而是同构的 二部图判定定理 定理8.2.1 简单无向图G为二部图?G中无奇数长度的回路。 说明：二部图G中所有基本圈/初级回路的长度为偶数。 证明　必要性：设图G是偶图G＝V1, V2, E，令 C＝v0,v1,v2,…,vk,v0是G的一条回路，其长度为k+1。 不失一般性，假设v0∈V1，由偶图的定义知 v1∈V2，v2∈V1。 由此可知，v2i∈V1且v2i+1∈V2。 又因为v0∈V1，所以vk∈V2，因而k为奇数，故C的长度为偶数。 充分性：设G中每条回路的长度均为偶数， 若G是连通图，任选v0∈V，定义V的两个子集如下 V1＝{vi|d(v0,vi)为偶数} V2＝V-V1 现证明V1中任两结点间无边存在。 假若存在一条边(vi,vj)∈E，其中vi,vj∈V1， 则由v0到vi间的短程线（长度为偶数）以及边(vi,vj）再加上vj到v0间的短程线（长度为偶数）所组成的回路的长度为奇数，与假设矛盾。 同理可证V2中任两结点间无边存在。 故G中每条边(vi,vj)， 必有vi∈V1，vj∈V2或vi∈V2，vj∈V1， 因此G是具有互补结点子集V1和V2的偶图。 若G中每条回路的长度均为偶数，但G不是连通图，则可对G的每个连通分支重复上述论证，并可得到同样的结论。 匹配 设G=V,E为无向图，E*?E，若E*中任何两条边均不相邻，则称E*为G中的匹配(或称边独立集）． 若M中再加入任何一条边后，所得集合都不是G中匹配了，则称M为G中极大匹配． 如果G中没有匹配M1，使|M1|＞|M|，则称M是最大匹配。最大匹配中边的条数称为G的匹配数(或边独立数）记作β1（G), 令M是G的一个匹配，若结点v与M中的边关联，则称v是M—饱和点；否则，称v是M—非饱和点； 若G中的每个结点都是M—饱和点，则称M是完美匹配。 显然,若M是G的一个匹配,则在M中饱和点的个数等于M中边的个数的两倍,因匹配中两条边不可能同时与一个点关联。 因而一个图存在完美匹配的必要条件是其顶点数为偶数。 图中{e8, e3}是一个极大匹配,其他任一条边加入均会有边相邻了,但它不是最大匹配. {e8, e6, e4}也是极大匹配, {e1, e7, e5, e4}是极大匹配同时也是个最大匹配。∴匹配数为4 {e1, e4}是极大匹配, {e3, e8}是极大匹配, {e1, e3,e5}是最大匹配又是完美匹配,3条边,6个点,每个点均饱和了。 ∴匹配数为=3 说明: 每个完美匹配是最大匹配，但反之不真。最大匹配不唯一，但最大匹配数唯一。 二部图的完备匹配 设G=V1, V2 , E 为一个二部图，M为G中一个最大匹配，若|M|=min{|V1|,|V2|}，则称M为G中的一个完备匹配． 在图a给出了一个偶图，它的互补结点子集为V1和V2， 图b是从V1到V2的一个完备匹配。 图c中的偶图虽然满足条件|V1|≤|V2|，但是却没有完备匹配。 {e2}是一个极大匹配。 {e1,e3}是个最大匹配,也是完备匹配, 称为V1到V2的一个匹配, V1的点均饱和了,但V2点均未饱和。 {e1,e3}是个最大匹配,但它不是完备匹配,也不存在完美匹配, {e1,e3,e5}是个最大匹配, 完备匹配,也是完美匹配, Hall(霍尔)定理“相异性条件” 定理8.2．设二部图G=V1, V2 , E ， |V1|≤|V2|，G中存在从V1到V2的完备匹配当且仅当V1中任意k个顶点（k=1，2，…， |V1| ）至少与V2中k个顶点相邻． 这个定理中的条件通常称为相异性条件，是充要条件。 t条件 定理8.3 在二部图G=V1, V2 , E 中，若 （1） V1中每个顶点至少关联t条边； （2）V2中每个顶点至多关联t条边， 则G中存在V1到V2的完备匹配. 其中t为正整数。 这个定理中的条件通常称为t条件，仅是存在完备匹配的充分条件。 t条件?Hall条件?完备匹配 证明　由条件1）知，V1中k个结点至少关联tk条边（1≤k≤|V1|）， 由条件2）知，这tk条边至少与V2中k个结点相关联， 于是V1