二分图及匹配算法描述.pptVIP

二分图及匹配算法 Made by siang * 模板来自于 / * 模板来自于 * -这是个问题- 二分图现有若干大龄男女青年，要安排相亲，每位女青年只能和一位男青年结为对象，为了使得每位女青年都有对象，可供选择的男青年至少要和女青年一样多，可女青年不会草率地处理终生大事，她们都有一个自己认为可以接受的配偶的名单。那么： 1.每个女青年是否都可以和自己名单里的男青年结为对象？ 2.什么条件下可以满足所有女青年的心愿？如果不能满足，那么最多有几位女青年可以找到心仪的对象？ 3.如何匹配，才能使结为对象后的家庭最为美满？ 二分图概述 01 二分图最大匹配 02 二分图最佳匹配 03 二分图模型的应用 04 稳定婚姻问题 05 内容大纲 Chapter 1 二分图概述 -二分图概述- “二分”指中国人民银行在以前发行的一种钞票面值。 二分图又称作二部图，是图论中的一种特殊模型。 设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。 Chapter 2 二分图最大匹配 -二分图匹配- 给定一个二分图G，M为G边集的一个子集，如果M满足当中的任意两条边都不依附于同一个顶点，则称M是一个匹配。 极大匹配是指在当前已完成的匹配下,无法再通过增加未完成匹配的边的方式来增加匹配的边数。 最大匹配是所有极大匹配当中边数最大的一个匹配。选择这样的边数最大的子集称为图的最大匹配问题。 如果一个匹配中，图中的每个顶点都和图中某条边相关联，则称此匹配为完全匹配，也称作完备匹配。 -算法的前奏- 内容：图G的匹配M是最大匹配当且仅当G中没有M-增广路。 学习二分图匹配需要用到3个定理：Berge定理，Hall定理，Konig定理 给定图G的一个匹配M。如果一条路径的边交替出现在M中和不出现在M中，则这条路径为一条M-交错路径。路径的起始点和终点未被M匹配的M-交错路径称为M-增广路径。 设增广路径M 则|M‘|=|M|+1 1.Berge定理 2.Hall定理 对于G={V，E}，S?V，V中与S通过边直接相连的点称为S的邻集，记做N（S） 内容：在二分图G={X,Y;E}中，存在一个匹配M，使得X中所有点都被M匹配当且仅当对于任意S?V，都有|N（S）|=|S| -匈牙利算法- 匈牙利算法是由匈牙利数学家Edmonds于1965年提出，因而得名。匈牙利算法是基于Hall定理中充分性证明的思想，它是部图匹配最常见的算法，该算法的核心就是寻找增广路径，它是一种用增广路径求二分图最大匹配的算法。 算法轮廓： ⑴置M为空 ⑵找出一条增广路径P，通过异或操作获得更大的匹配M’代替M ⑶重复⑵操作直到找不出增广路径为止 -Hopcroft-karp算法- 为了降低时间复杂度，可以在增广匹配集合M时，每次寻找多条增广路径。这样就可以进一步降低时间复杂度，可以证明，算法的时间复杂度可以到达O（n^0.5*m） 看下面的还不如听我解释： （1）从G=(X,Y;E)中取一个初始匹配。 （2）若X中的所有顶点都被M匹配，则表明M为一个完美匹配，返回；否则，以所有未匹配顶点为源点进行一次BFS，标记各个点到源点的距离。 （3）在满足dis[v] = dis[u] + 1的边集v,u中，从X中找到一个未被M匹配的顶点x0，记S = {x0}，T = ￠。 （4）若N（S） = T，则表明当前已经无法得到更大匹配，返回；否则取一y0∈N(S) - T。 （5）若y0已经被M匹配则转步骤（6），否则做一条x0-y0的M-增广路径P（x0,y0）,取M = M△P（x0,y0）。 （6）由于y已经被M匹配，所以M中存在一条边（y0,z0）去S = S∪ {z0}，T = T∪{y0}，转步骤（2） -二分图多重匹配- 在二分图最大匹配中，每个点（不管是X方点还是Y方点）最多只能和一条匹配边相关联，然而，我们经常遇到这种问题，即二分图匹配中一个点可以和多条匹配边相关联，但有上限，或者说，n表示点i最多可以和多少条匹配边相关联。 解决一：利用网络流 解决二：改进匈牙利算法 1.从G={X,Y;E}中取一个初始值匹配M。设置上限下限 2.对最大限制n进行二分搜索 3.若x都被M匹配，则可行，转至2.否则若与yi匹配的数量小于n，则匹配xi，yi 4.如果yi匹配达到上限，那么在yi中选择一个元素增广，如果能让出位置，匹配xi，yi。转至2. Chapter 3 二分图最佳匹配 -二分图最佳匹配- Kuhn－Munkras算法：该算法是通过给每个顶点一个标号（叫做顶标）来把求最大权匹配的问题转化为求完