第25讲 支配,覆盖,独立,匹配 北京大学计算机系离散数学讲义(ppt版).ppt

《集合论与图论》第26讲 第25讲 支配,覆盖,独立,匹配 支配集,独立集,点覆盖,团 边覆盖, 边独立集(匹配) 最大匹配, Berge定理 完备匹配, Hall条件, t条件 完美匹配, Tutte定理 支配集(dominating set) 无向图G=V,E, V*?V 支配集: ?u(u?V-V*??v(v?V*?(u,v)?E)) 或 ?u?V-V*, ?v?V*, uEv 极小支配集: V*是支配集, 其真子集都不是 最小支配集: |V*|最小的支配集 支配数: ?0(G)=|V*|, V*是最小支配集 支配集(例) 星形图Sn: {v0},{v1,v2,…,vn-1}, ?0(Sn)=1 轮图Wn: {v0},{v1,v3,v5…,vn-2}, ?0(Wn)=1 定理13.1 定理13.1: 无向图G无孤立点,V1*是极小支配集,则存在V2*也是极小支配集,且V1*?V2*=?. 证明: V1*是极小支配集,则V-V1*也是支配集.(反证: 否则, ?u?V1*, ?v?V-V1*, (u,v)?E, V1*-{u}还是支配集,矛盾.) V-V1*是支配集,则V-V1*中有子集是极小支配集,设为V2*. 则V1*?V2*=?. # 独立集(independent set) 无向图G=V,E, V*?V 独立集: ?u,v?V*, (u,v)?E 极大独立集: V*是独立集, 其真母集都不是 最大独立集: |V*|最大的独立集 独立数: ?0(G)=|V*|, V*是最大独立集 独立集(例) {v0}, {v1,v4}, {v1,v3,v5}, ?0=3 定理13.2 定理13.2: 无向图G无孤立点,V*是极大独立集,则V*也是极小支配集. 证明: V*是极大独立集,则V*也是支配集.(反证: 否则, ?u?V-V*, ?v?V*, (u,v)?E, V*?{u}还是独立集,矛盾.) V*是极小支配集(反证: 否则, ?u?V*, V*-{u}是支配集, 则?v?V*, (u,v)?E, 与V*是独立集相矛盾.) # 定理13.2(讨论) 定理13.2: (无孤立点图)极大独立集是极小支配集 逆命题不成立 反例: {v2,v3}是极小支配集,但不是独立集, 更不是极大独立集 点覆盖(vertex cover) 无向图G=V,E, V*?V 点覆盖: ?e(e?E??v(v?V*?v关联e)) 或 ?e?E, ?v?V*, v关联e 极小点覆盖: V*是点覆盖, 其真子集都不是 最小点覆盖: |V*|最小的点覆盖 点覆盖数: ?0(G)=|V*|, V*是最小点覆盖 点覆盖(例) {v0,v1,v3,v5}, {v1,v2,v3,v4,v5,v6}, ?0=4 讨论 (连通图)点覆盖是支配集 极小点覆盖不一定是极小支配集.反例: {v0,v1, v3,v5}是极小点覆盖, {v1,v3,v5}是极小支配集 支配集不一定是点覆盖. 反例: {v1,v4}是支配集,不是点覆盖 定理13.3 定理13.3: 无向图G无孤立点, V*?V, V*是点覆盖 ? V-V*是独立集. 证明: (?) (反证) 否则, ?u,v?V-V*, (u,v)?E, V*不是点覆盖,矛盾. (?) V-V*是独立集, ?(u,v)?E, u?V-V*? v?V-V*, u?V* ? v?V*, V*是点覆盖. # 推论: 无向图G无孤立点, V*是极(最)小点覆盖?V-V*是极(最)大独立集.?0+?0=n.# 团(clique) 无向图G=V,E, V*?V 团: G[V*]是完全子图 极大团: V*是团, 其真母集都不是 最大团: |V*|最大的团 团数: ?0(G)=|V*|, V*是最大团 团(例) {v0,v1,v2}, {v1,v2}, {v1}, ?0=3 定理13.4 定理13.4: 无向图G, V*是G的团 ? V*是G的独立集. # 推论: 无向图G, V*是G的极(最)大团?V*是G的极(最)大独立集. ?0(G)=?0(G). # 总结: ?0+?0=n(无孤立点). ?0(G)=?0(G). 所以 ?0, ?0, ?0三者互相确定, 但都是难解的(目前都没有多项式时间算法) 例13.1 例13.1: 求全体极小支配集,极小点覆盖,极大独立集 解: (1)极小支配集. ?v?V(v+?u??(v)u) =(a+b)(b+a+c+d)(c+b+d)(d+c+b) =ac+ad+b. (幂等: a+a=a,a?a=a, 逻辑加乘) {a,c}, {a,d}, {b}是全体极小支配集. ?0=1. 例13.1(