chapter支配集覆盖集独立集与匹配讲解.pptVIP

以本例，讲述交错圈、交错路径、增广路径，如何用增广路径得到更大的匹配 * * 在交错圈上,M与M1中的边相等. 因为M和M1都无可增广路径,假设在某个交错路径上,M中的边比M1中的边多1,那么该交错路径是M1的可增广路径. 故在交错路径上M与M1中的边相等。 另一种证明： 反证法，已知?1≤?0，假设?1?0，令|M|=?1,|V*|=?0，对于M中的每条边e,取一个关联点组成结点集合V1，则V1?V*,且(V(G[M])-V1)?V*=? 所以存在结点u?V*,但u?V1，与u关联的边e必不在M中,且e与M中的所有边不相邻，故与M是最大匹配矛盾。 * 饱和点,交错路径,增广路径 设M是G中匹配 饱和点: v与M中边关联 非饱和点: v不与M中边关联 交错路径: 在M和E-M中交替取边的路径 可增广交错路径: 两端都是非饱和点的交错路径 举例-交错路径 e1 e2 e3 e4 e5 e6 e7 e8 e1 e2 e3 e4 e5 e6 e7 e8 饱和点与非饱和点 交错路径 e1 e2 e3 e4 e5 e6 e7 e8 交错圈 举例-可增广交错路径 e1 e2 e3 e4 e5 e6 e7 e8 可增广交错路径 e1 e2 e3 e4 e5 e6 e7 e8 更长的匹配 最大匹配 定理13.7: 设M1,M2是G中2个不同匹配,则G[M1⊕M2]的每个连通分支是M1,M2中的边组成的交错圈或交错路径 证明: 设G1是G[M1⊕M2]的1个连通分支, ?v∈V(G1), 1 ≤ dG1(v)=dG[M1⊕M2](v)≤2, 即dG1(v)=1或2. 所以G1是交错圈或交错路径. # 最大匹配 定理13.8: 设M是G中匹配, Γ是M的可增广路径, 则M’=M⊕E(Γ)也是G中匹配, 且|M’|=|M|+1 证明: 显然M’是匹配. |M’|=|M⊕E(Γ)|=|M-E(Γ)|+|E(Γ)-M|=|M|+1.# 最大匹配 定理13.9(Berge,1957): M是G中最大匹配?G中无M可增广路径 证明: (?)(反证)定理13.8. (?)设M1是G的最大匹配, H=G[M1⊕M]. 若H≠?, H的连通分支是交错圈或交错路径. M和M1都无可增广路径, 所以|M|=|M1|.# 二部图的匹配 完备匹配 充要条件: Hall条件(相异性条件) 充分条件: t条件 k正则二部图: 有k个边不重(?)完美匹配 无孤立点二部图: ?0=?1 完备匹配(complete matching) G=V1,V2,E是二部图, |V1|≤|V2| 完备匹配: |M|=|V1| Hall条件: ?S?V1, |S|≤|N(S)|, 其中N(S) ={ u | ?v∈S,(v,u)∈E } = Uv∈SΓ(v) t(≥1)条件: ?v∈ V1, d(v)≥t; ?v∈V2, d(v)≤t t条件? ?完备匹配? Hall条件 Hall定理(证明) 定理13.11(Hall,1935): 二部图G有完备匹配? G满足Hall条件(|S|≤|N(S)|) 证明:(?)显然. (?)(反证)设M是G中一个最大匹配,但不是完备匹配,则?vx?V1是M的非饱和点,且?e?E-M与vx关联(否则vx是孤立点),且Γ(vx)中结点均是饱和点(否则, vy?Γ(vx)是非饱和点,则M?(vx. vy)是G中的匹配,与M是最大匹配矛盾). Hall定理(证明) 证明(续):从vx出发构造所有极长交错路径,由定理13.9知,这些交错路径都不是可增广的,即每条交错路径以饱和点结束.令 S={v|v?V1且v在vx出发的交错路径上} T={v|v?V2且v在vx出发的交错路径上} 各交错路径的始点和终点都在S中.(假设终点在T中,则终点必定是非饱和点,与最大匹配矛盾) 所以|S|=|T|+1.T=N(S),|S|N(S),矛盾. vx e Hall定理(证明?) 定理13.11(Hall,1935): 二部图G有完备匹配? G满足Hall条件(|S|≤|N(S)|) 证明:(?)显然. (?)(反证)设G=V1,V2,E是满足条件的极小子图, 则存在a1,a2∈V1,x∈V2, (a1,x),(a2,x)∈E. 删除(ai,x)将破坏条件, 则存在A1,A2?V1, ai∈Ai, 在Ai中只有ai与x相邻, |Γ(Ai)|=| Ai |. Hall定理(证明?) 证明:(?)(续) |Γ(A1)∩Γ(A2)| ≥ |Γ(A1-{a1})∩Γ(A2-{a2})|+1