【精编】图论及其在数学建模中的应用.pptVIP

六、独立集、覆盖、支配集 独立集。 极大独立集。 覆盖。 极小覆盖。 a b d c f e 极大独立集 ： 极小覆盖： 称点数最多的独立集为最大独立集，点数最少的覆盖为最小覆盖。 命题：I 是独立集当且仅当 V \ I 是覆盖； I 是极大独立集当且仅当 V \ I 是极小覆盖。 命题：对于任意图，最大匹配的边数不超过最小覆盖 的点数；对于二分图，二者相等。 支配集 。 极小支配集 。 a b d c f e 等都是极小支配集。 称点数最少的支配集为最小支配集。 命题：若图 G = (V , E ) 没有孤立点(即度数为零的点), 且 D 是 G 的极小支配集，则 V \ D 也是 G 的 支配集。 命题：独立集 I 是极大独立集当且仅当 I 是支配集； 极大独立集必为极小支配集。 求极小覆盖、极小支配集的逻辑算法 逻辑变量只有“真、假”两个取值(也可以用“1、0”表示)。设 u、v、w 是逻辑变量，则它们之间的加法和乘法运算满足法则： 由于在 G 的任一覆盖中，对于 G 的每个点 v 而言，要么 v 属于覆盖，要么 v 的所有相邻点皆属于覆盖，因此由覆盖定义的逻辑变量取值应使得下述表达式为真： 其中 N(v) 表示与 v 相邻的点集，将该表达式展开