一般图最大匹配——带花树算法 学习小记

Text 一般图的最大匹配仍然是基于寻找增广路的 增广路的定义是这样的一条路径，它不经过重复的点，并且路径两端均没有匹配，且整条路径是非匹配边-匹配边-非匹配边这样交错的。 类比二分图最大匹配的增广路算法，如果我们找到了一条增广路，那么将这条增广路的边取反（匹配的变成非匹配，非匹配的变成匹配），那么匹配数会恰好+1，如果全图不存在增广路，也就说明当前已经是一个最大匹配了。（证明略） 一般图和二分图

>>阅读原文<<