二分图中对最小顶点覆盖、最小边覆盖、最大独立集的理解

仅仅用于自己理解，若有共鸣，别太吐槽就行哈~

首先是匈牙利算法的本质：(图参考了zxy的)

这个图要详细看完，那么刚开始我想的“找小三”实际上就是递归找增广路的过程，如果找到增广路，匹配数就一定可以加一。(代码就不上了，都是一个模板)

理解到这里其实才只是个开始，我想解决的是最大匹配与最小顶点覆盖数、最小边覆盖数、最大点独立集之间的关系是怎么得来的。首先是结论：

在任意图中：(《挑战》里的结论)
(a)、对于不存在孤立点的图，最大匹配+最小