支配集-点独 立集-点覆盖集-团边覆盖--边独 立集(匹配).pptVIP

? Peking University 3-2 第13章 推论: 无向图G无孤立点, V*是极(最)小点覆盖?V-V*是极(最)大独立集.?0+?0=n.# ?0 ?0 γ0 ?0 极大独立集是极小支配集 γ0≤β0 ?0+?0=n (无孤立点). ?0(G)=?0(G). ?0, ?0, ?0三者互相确定, 但都是难解的(目前都没有多项式时间算法) 推论 无向图G无孤立点, M是匹配, W是边覆盖, 则|M| ≤|W| 等号成立时, M是完美匹配, W是最小边覆盖. 证: 由定理13.5证明(1)可知β1 ≤α1, 于是|M| ≤β1 ≤α1 ≤|W|, 当|M|=|W| 时, 得|M| = β1 = α1 = |W|, 因而M是最大匹配, W是最小边覆盖, 再由定理13.5(3)可知α1+β1= 2β1= n, 所以M是完美匹配. # α0, β0, γ0, ν0, α1, β1 无向图G无孤立点, ν0(G)=β0 ≤α1(定理13.4推论,13.6推论) n = α1+ β1(定理13.5) β1 ≤α1, α0(定理13.5, 定理13.6推论) α1, β1是容易计算的(tractable, easy) 推论 推论: 无向图G无孤立点, 则 ?1 ? ?0, ?0 ? ?1. # 完全二部图Kr,s: ?1=?0=min{r,s},