最大二分图匹配(见挑战)
最小点覆盖
最小点覆盖==最大二分图匹配的个数
证明: 在二分图最大匹配的基础上存在的情况
一: 独立没边的点 ,没变所以不考虑
二:匹配的点不只一条边,但这增多的边不增加点去多覆盖
综上可证