二分图 的匹配 问题.PDFVIP

二分图的匹配问题 Loading Loading LLooaaddiinngg 子明 楚昊 赛 1 1 11：匈牙利算法（求最大匹配） 这是一种用增广路求二分图最大匹配的算法。 它由匈牙利数学家Edmonds于1965年提出，因 而得名。 未盖点 未盖点 【定义】未未盖盖点点：设Vi是图G的一个顶点， 如果Vi 不与任意一条属于匹配M的边相关 联，就称Vi 是一个未盖点。 交错路 交错路：设 是图 的一条路，如果 的任意两条相邻的边一 交交错错路路 P G P 定是一条属于 而另一条不属于 ，就称 是一条交错路。 M M P 可增广路：两个端点都是未盖点的交错路叫做可增广路。 可增广路 可可增增广广路路 流程图 流程图 流流程程图图 百度商业产品市场部隆重出品 伪代码 伪代码 伪伪代代码码 百度商业产品市场部隆重出品 演示 演示 演演示示 百度商业产品市场部隆重出品 先看一个问题： 有N个人跟N个房子,每个人跟房子都有一定的距离, 现在要让这N个人全部回到N个房子里面去,要求所 有人回去的距离最短. 现在我们假设要求的是最大距离。那么就是求最大 权匹配. 下面我们先介绍一下KM算法： 2.KM（Kuhn-Munkras）算法 （求最优匹配） � 基本概念：可行顶标和相等子图 � 可行顶标： 是一个关于结点的函数， L L(x) 是顶点 对应的顶标值。可行顶标对于图 x 中的每条边(x,y)都有L(x)+L(y)=w(x,y) � 相等子图：只包含L(x)+L(y)=w(x,y)的边的 子图 百度商业产品市场部隆重出品 � 定理：如果一个相等子图中包含完备匹 配，那么这个匹配就是最优匹配 � 证明：由于在算法过程一直保持顶标的 可行性，所以任意一个匹配的权值和肯 定小于等于所有结点的顶标之和，则相 等子图中的完备匹配肯定是最优匹配 百度商业产品市场部隆重出品 � 算法流程 设顶点 的顶标为