二分图匹配及其应用刘汝佳.pptVIP

二分图匹配及其应用 刘汝佳 目录 增广路定理与Hall定理 二分图最大基数匹配 二分图最大权匹配 应用 二分图最大匹配 二分图： 结点可以分为两部分X和Y，每部分内部无边相连 匹配：无公共点的边集合 未盖点：不与任何匹配边邻接的点 最大匹配：包含边数最多的匹配 增广路 从未盖点开始经过非匹配边、匹配边、非匹配边……序列，最终通过一条非匹配边到达另一个未盖点 非匹配边个数比匹配边个数多一 如果把匹配边和非匹配边互换… 增广路定理 匹配是最大匹配当且仅当不存在增广路 增广路定理的证明 必要性. 如果存在则增广后得到更大匹配. 充分性. 如果M不是最大匹配, 取最大匹配M’, 作M’和M的对称差G’, 则G’在M’中的边应比M’中更多. G’有三种可能的连通分支 孤立点. 当某边(u,v)同时属于两个匹配, 则u和v都是孤立点. 交互回路. 该回路中属于M和M’的边数相同 交互道路. 如果不存在增广路, 则|M’|=|M|, 与假设矛盾; 如果存在M关于M’的增广路, 又与M’是最大匹配矛盾, 因此存在M’关于M的增广路 Hall定理 在二分图(X,Y,E)中, X到Y存在完全匹配(X的结点全被匹配)的充要条件是对于X的任意子集A, 恒有 必要性. 若存在A使得右边左边, 则A无法全部匹配 充分性. 假设G的最大匹配M不是完全匹配, 一定存在结点X的结点x0关于M是非饱和点. 如果x0