支配集、覆盖集、独立集与匹配技术总结.pptVIP

第7章支配集、覆盖集、独立集与匹配 本讲内容会涉及以下容易相互混淆的内容： 点支配集, 极小点支配集, 最小点支配集, 点支配数?0(G); 支配的概念； 点独立集, 极大点独立集, 最大点独立集, 点独立数?0(G); 点覆盖集, 极小点覆盖集, 最小点覆盖集, 点覆盖数?0(G); 覆盖的概念； 边覆盖集, 极小边覆盖集, 最小边覆盖集, 边覆盖数?1(G); 边独立集(匹配), 极大边独立集(极大匹配), 最大边独立集(最大匹配), 边独立数(或匹配数)?1(G); 以上几个量存在以下关系： ?0 ＋ ?0 ＝ n，即：点覆盖数 + 点独立数 = n ?1 ＋ ?1 ＝ n，即：边覆盖数 + 边独立数 = n 对二部图，还有以下关系式： 二部图的最小点覆盖数?0 ＝等于最大匹配数?1。 ZOJ 1364 二部图的最大点独立数?0＝顶点个数n－最大匹配数?1。(前提是该二部图没有孤立顶点，如果有孤立顶点，对这些孤立顶点要单独考虑) ZOJ 1137 7.1 点支配集、点覆盖集、点独立集(都是顶点的集合) 支配集的性质 极小支配集的求解 参见吴文虎编著的《信息学奥林匹克竞赛指导－图论的算法与程序设计(PASCAL版)》P54 有电子版 定义7.2 点独立集 定义7.3 覆盖与点覆盖集 点支配集、点独立集、点覆盖集之间的联系 定理7.1：设G = V, E中无孤立点，则G的极