二分图(匈牙利,KM算法详解).pptVIP

二分图匹配 Bi-partite graph 二分图的定义： 二分图是这样的一个图，它的顶点可以分为两个集合X和Y。所有的边关联的两个顶点中，恰好一个属于集合X，一个属于集合Y。 1 2 3 4 5 6 二分图的匹配： 给定一个二分图G，M为G边集的一个子集，如果M满足当中的任意两条边都不依附于同一个顶点，则称M是一个匹配。 二分图的最大匹配 定义： 图中包含边数最多的匹配称为图的最大匹配。 如右图所示：蓝色部分 就构成一个最大匹配， 同时它也是一个完美匹 配 完美匹配： 如果所有点都在匹配边上，称这个最大 匹配是完美匹配。 二分图的最大匹配 匈牙利算法（时间复杂度O(nm)） 其思想是用宽度优先搜索来找增广路径（和floodfill算法类似 转化为单位容量简单网络的最大流问题 在二分图的基础上，加入源点s和汇点t，让s与每个X结点连一条边，每个Y结点和t连一条边，所有弧的容量为1。这样，饱和弧就对应着匹配边。 二分图的最大匹配 匈牙利算法： 寻找增广路： 初始时最大匹配为空  for 二分图左半边的每个点i ??? do 从点i出发寻找增广路径