赞
踩
概念: 如果称选了一个点的话, 就覆盖了所有与这点相连的边. 现在要选出最小的点, 来覆盖二分图中所有边.
结论: 最小顶点覆盖 = 二分图最大匹配.
证明: Click
概念: 选出一些点, 使两两之间没有边, 包含顶点数最多的集合称之为最大独立集.
结论: 所有顶点数-最小顶点覆盖.
证明: 因为最小顶点覆盖后。 剩下没匹配的点, 相互之间一定没有边, 否则就可以相连多一条匹配边, 与最大匹配相矛盾. 同时因为最小顶点覆盖已经是最小, 所以剩下的点一定是最大独立集.
概念: 选出一些点, 使两两之间都有边, 包含顶点数最多的集合称之为最大团.
结论: 所有顶点数-补图里的最小顶点覆盖.
证明: 由于是最大独立集的反概念, 所以在补图中最大团就是最大独立集.
补图就是指原来没边的有边, 原来有边的没边了.
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。