算法合集之《偶图的算法及应用》.pptxVIP

偶图的算法及应用南京师范大学附属中学 孙方成

目录匹配的概念偶图的定义和判定偶图的最大匹配偶图的最小覆盖问题偶图的最佳匹配问题小结

匹配的概念(1)

匹配的概念(2)

偶图的定义PART1

偶图的判定PART1

偶图的最大匹配Edmonds于1965年提出了解决偶图的最大匹配的匈牙利算法：

偶图的最小覆盖问题一般图的最小覆盖问题是一个已被证明的NPC问题。换一句话说，一般图的最小覆盖问题，是没有有效算法的图论模型。所以，将一个实际问题抽象成最小覆盖问题，是没有任何意义和价值的。但是，如果问题可以抽象成偶图的最小覆盖问题，结局就不一样了。由于偶图的特殊性，偶图的最小覆盖问题存在多项式算法。

在证明这个定理的过程中，要用到Hall婚姻定理：1931年K?nig给出最大匹配与最小覆盖的关系定理如下：最大匹配与最小覆盖的关系

偶图的最佳匹配问题由于引入了权，所以最佳匹配不能直接套用最大匹配算法进行求解。同时，由于对最佳匹配的定义是建立在完全加权偶图的基础上的，对于不完全图，可以通过引入权为0（或是其他不影响最终结果的值），使得偶图称为完全偶图，从而使用最佳匹配算法来解决。

在介绍求最佳匹配的KM算法前，首先介绍一些相关的概念：以此为基础，1955年Kuhn，1957年Munkres给出修改顶标的方法，使新的相等子图的最大匹配逐渐扩大，最后出现相等子图的完备匹配。这就是KM算法。可