Sleepy_chord's Domain

反思说起二分图匹配大家都会自然而然地想到匈牙利算法，因为它太出名了。之所以有名，我想很大程度上是因为它简单，而简单更多的是指代码简单。然而站在巨人肩膀上的我们，真正遇到这个问题，如果没有接触过，能在短时间内推出这个算法么？我想未必。 更何况学会匈牙利算法，我们有是否考虑过如何推广到一般图，如何优化时间复杂度，与网络流等其他方法在本质上有什么相通之处呢？恐怕与Zvi Galil的差距就来源于此吧。

缘由机缘巧合地读到计算机科学家 Zvi Galil 的关于匹配的文章，重温了一下匹配算法，也深深地被他强大的叙述能力与对算法设计的深刻理解所折服。 Efficient Algorithms for Finding Maximal Matching in Graphs这篇文章共讲了4种算法：二分图的最大基数匹配一般图的最大基数匹配二分图的最大权匹配一般图的最大权匹配 作者为文本意是以此为例

启发上文介绍了二分图的最大匹配，自然而然地想到，这个算法能否推广到一般图？ 在一般图中，找到一个matching，使得它包含的边数最多。我们发现上文算法中的基本概念augmenting path并非依赖于二分图的性质，这是一个好消息。 那么二分图特殊在哪儿呢？ G为二分图的充要条件是|G|>2且图中没有奇长度的环。那么这个性质有什么影响呢？能否在原算法的基础上通过修改解决这个问题呢？如