仅仅用于自己理解,若有共鸣,别太吐槽就行哈~
首先是匈牙利算法的本质:(图参考了zxy的)
这个图要详细看完,那么刚开始我想的“找小三”实际上就是递归找增广路的过程,如果找到增广路,匹配数就一定可以加一。(代码就不上了,都是一个模板)
理解到这里其实才只是个开始,我想解决的是最大匹配与最小顶点覆盖数、最小边覆盖数、最大点独立集之间的关系是怎么得来的。首先是结论:
在任意图中:(《挑战》里的结论)
(a)、对于不存在孤立点的图,最大匹配+最小
仅仅用于自己理解,若有共鸣,别太吐槽就行哈~
首先是匈牙利算法的本质:(图参考了zxy的)
这个图要详细看完,那么刚开始我想的“找小三”实际上就是递归找增广路的过程,如果找到增广路,匹配数就一定可以加一。(代码就不上了,都是一个模板)
理解到这里其实才只是个开始,我想解决的是最大匹配与最小顶点覆盖数、最小边覆盖数、最大点独立集之间的关系是怎么得来的。首先是结论:
在任意图中:(《挑战》里的结论)
(a)、对于不存在孤立点的图,最大匹配+最小