图论——二分图——最大独立集

一、什么是最大独立集：

百度百科给的定义（不容易懂，不推荐）

简单的说：
独立集就是，就是一个点集，点集中的各点没有关系。
最大独立集就是，点的个数最多的独立集。

最大独立集 == 点的总数 - 最小点覆盖。

这是为什么呢？

简单证明：
最大独立集合的定义 是 最大无关系点的集合。

而最小点覆盖的定义是，二分图中每个边至少一个端点在该点集中 的 最小点集。

如果去掉这些点， 相应的关系（边）也都没有了。剩下的点之间就相互没有关系，变成了独立集。

因为去掉的是 最少的点的集合， 所以剩下的就是最大独立集合。

最大独立集 就可以通过匈牙利算法来做。

相应资源链接：

https://www.cnblogs.com/jianglangcaijin/p/6035945.html
https://blog.csdn.net/qq_41730082/article/details/81456611