ACM讲课之二分图匹配(匈牙利算法).pptVIP

ACM讲课之二分图匹配(匈牙利算法)

什么是二分图？在离散数学中，我们都学过偶图，而偶图就是二分图。二分图：给你一个图，它的顶点可以分为两个集合，集合V1和V2，所有关联边的一个顶点在V1中，另一个顶点则在V2中。v1v2v3v4v5v1v2v3v4二分图非二分图2

什么是二分图匹配？二分图匹配：给定一个二分图G，在G的一个子图M中，M的边集中的任意两条边都不依附于同一个顶点，则称M是一个匹配。v1v2v3v4v5v1v2v3v4v5匹配1匹配23

二分图的最大匹配最大匹配：图中包含边数最多的匹配称为图的最大匹配。今天我要讲的是无权二分图的最大匹配问题，采用匈牙利算法。4

匈牙利算法必备知识：1.盖点：有被M中的边关联到的节点，未盖点则相反。2.增广路径：若二分图中有一条路径p，其起始点和结束点都是未盖点，其间属于M的边和不属于M的边交替出现，则称路径p是一条关于M的增广路径。匈牙利算法：计算二分图最大匹配就是应用增广路径的概念，每次寻找一条关于M的增广路径p，通过M和增广路径进行异或，使得M中的匹配数增加1。以此类推，直至二分图中不存在关于M的增广路径为止。此时得到匹配M就是图G的一个最大匹配。注：M为一个边集，M就是二分图的匹配5

结合增广路径的定义和下图所示，我们可以理解以下结论：1.增广路径的长度必定