青衫客36的博客

如果说mid取值更大，即在最优解右侧，也一定成立，因为最优解相当于把所有>mid的边都加进去了，它是一个二分图，那么我们从右边选点的话，相当于选择出来的边数变少了，一个二分图去掉一些边也是二分图。因此，右边的点都是满足这个性质的。对于左边的点都是不满足这个性质的，如果左边存在一个点满足（把所有大于这个值的边分到两个监狱的话，可以成功的话），那么我们的最优解应该是这个点，就矛盾了，因此左边的这些点都是不满足的。如果我们把仇恨值大于mid的边都保留，把所有

【代码】Acwing-860. 染色法判定二分图。

【代码】Acwing-861. 二分图的最大匹配。