最小点覆盖,指的是对于图中的边,至少覆盖多少个点才可以使得所有的边都满足至少有一个端点被覆盖。
最大独立集,指的是一个最大的点集合满足集合中任意两点没有边。
结论1:最小点覆盖=最大匹配
为什么最小覆盖等于最大匹配呢?首先,最大匹配一定是一个点覆盖 (没有说是最小),因为最大匹配就是二分图中两个点之间连线不重复匹配的最大数量,如果是完全匹配结果很显然,如果不是完全匹配,有一些点孤立,孤立的原因是自己的边的另一个端点被其他的匹配占用了,这说明另一个端点包含在了匹配中,那么覆盖这个重复的点就可以覆盖更多的点,把所有重复的点都覆盖一遍,就得到了全部的边的端点。(不会有例如一个边的两个端点都有另外的边连接,那样就多出了增广路,相当于求的的最大匹配并不是最大的,求错了)
结论2:最大独立集=点的总数-最大匹配
最大独立集,等价于去掉最少的点,使得剩下的点之间没有边,等价于去掉最小点覆盖(最少的点覆盖全部的边),所以就是点的总数-最小覆盖=点的总数-最大匹配