ACM算法设计与竞赛II第课.pptVIP

ACM算法设计与竞赛II 第6章 图论算法 6.1 最短路径 6.2 最小生成树 6.3 最大匹配—匈牙利算法 6.4 最优权匹配问题 6.5 割点、割边以及连通分量 6.6 网络流 6.7 实例分析 6.8 小结 6.3 最大匹配—匈牙利算法 匈牙利算法是由匈牙利数学家Edmonds于1965年提出，因而得名。匈牙利算法是基于Hall定理中充分性证明的思想，它是二部图匹配最常见的算法，该算法的核心就是寻找增广路径，它是一种用增广路径求二分图最大匹配的算法。 6.3 最大匹配—匈牙利算法（续） 一、最大匹配 1. 二部图（二分图） 设G=V,E是一个无向图。若顶点集V可分割为两个互不相交的子集V1,V2之并，并且图中每条边关联的两个顶点都分属于这两个不同的子集。则称图G为二部图（二分图）。 二部图也可记为G=V1,V2,E。 定理 无向图G是二部图当且仅当G中没有奇数长度的回路。 6.3 最大匹配—匈牙利算法（续1） 二部图在“资源分配”、“工作安排”等问题的求解中有重要应用。 利用二部图分析解决问题时，需要用到二部图的匹配等概念。 6.3 最大匹配—匈牙利算法（续2） 2. 匹配、完全匹配、最大匹配 设G=V,E是二部图，M是E的子集，如果M的任意两条边没有共同的顶点，则称M是一个匹配。 若顶点v与匹配M的边关联，则称v关于M是饱和的；否则称v关于M是非饱和的。 若G中所有顶点都是关于M饱和的，则称M是G的完全匹配。 如果M是一个匹配，而不存在其他匹配M1，使得|M1||M|，则称M为最大匹配。 6.3 最大匹配—匈牙利算法（续3） 3. 交错路、可增广路 交错路：设P是G的一条通路，如果P中的边为属于M中的边与不属于M但属于G中的边交替出现，则称P是一条交错路。 可增广路：设P是一条交错路，如果P的起点和终点都是关于M的非饱和点，则称P为可增广路。 6.3 最大匹配—匈牙利算法（续4） 【注】 1）交错路P的长度必定为奇数，第一条边和最后一条边都不属于M。 2）将M和P进行取反操作可以得到一个更大的匹配M’。 3） M为最大匹配的充分必要条件是不存在关于M的可增广路。 6.3 最大匹配—匈牙利算法（续5） 二、匈牙利算法 算法轮廓： 1）置M为空； 2）找出一条增广路径P，通过异或操作获得更大的匹配M’代替M； 3）重复2）操作直到找不出可增广路为止。 6.3 最大匹配—匈牙利算法（续6） 输入： 第1行3个整数：V1的节点数目n1,V2的节点最大编号n2,G的边数m。 随后的m行，每行两个整数t1,t2,代表V1中编号为t1的点和V2中编号为t2的点之间有边相连。 输出： 1个整数ans,代表最大匹配数。 6.3 最大匹配—匈牙利算法（续7） 样例输入： 6 12 13 1 7 1 9 1 10 2 8 2 10 3 7 3 8 4 9 4 11 4 12 5 8 6 10 6 11 6.3 最大匹配—匈牙利算法（续8） 样例输出： 6 6.3 最大匹配—匈牙利算法（续9） 参考程序： hungary.cpp * *