前置知识:
简要题意:
求图的二分图最大独立集。
二分图最大独立集指:最大的一个点集使得每两个点都不在同一边上的这个点集的大小。
你会发现,这和 二分图最大匹配 似乎是有联系的。
给出恒等式:
二分图最大独立集 = 图的点数 - 最小点覆盖 = 图的点数 - 最大匹配。
最小点覆盖指:最小的一个点集使得每一条边至少有一个端点在该点集中。
你会发现,最小点覆盖和最大匹配本质没有区别。你选边满足边不共点,就是选点满足每边有点啊。
所以,求一遍最大匹配然后减一下即可。
- 细节
匈牙利算法的模板似乎从 1 1 1 ~ n n n 扫一遍能过(尽管它题目说 的是 0 0 0 ~ n − 1 n-1 n−1),但是这题不行。所以,我们要考虑 0 0 0 的话,就得给 vis \text{vis} vis 和