图论基本概念中.pptVIP

最大独立集、最小顶点覆盖 定理（Gallai，1959）：设MIS为图G的一个最大独立集，VC为G的最小顶点覆盖，则|MIS|+|VC|=|V| 证明：首先，V-MIS一定是G的顶点覆盖。这是因为对任一 ｅ＝（ｕ，ｖ）∈V，或者ｕ∈ V-MIS，或者ｖ∈ V-MIS ；否则有ｕ，ｖ∈ MIS，矛盾！因ＭＩＳ为最大独立集，｜Ｖ－MIS｜＝｜Ｖ｜－｜MIS｜为最小覆盖。　 证明： 最大匹配，最小顶点覆盖 定理（Konig）令G为二部图，M为G的最大匹配， VC为G的最小顶点覆盖。则|M|=|VC|。 推论：令Ｇ为二部图，　则｜MIS｜＋｜Ｍ｜＝｜Ｖ｜。 推论：令Ｇ为二部图，　则最大匹配有多项式时间算法，则最大独立集也有。（事实上，两者都属于Ｐ） 注：Konig定理对一般图不成立 一道智力思考题 一个8x8的棋盘，去掉两个对角的正方形后， 能否被1x2的长方形所完全覆盖？ 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 Thanks, End 图论基本概念（续）