最小割定理.PPT

两极相通 芜湖一中 周冬 max_zd@163.com 引入 我们在信息学竞赛中经常会遇到一些涉及一个最大化问题和一个最小化问题的定理 怎样利用这些定理帮助我们解题呢？ K?nig定理 主要内容 在任何一个二部图G中，最大匹配数r(G)等于最小覆盖数c(G) K?nig定理 证明 最大匹配数不超过最小覆盖数 任取一个最小覆盖Q，一定可以构造出一个与之大小相等的匹配M K?nig定理 应用 二部图最小覆盖和最大匹配的互相转化 [例一] Muddy Fields 最大流—最小割定理 近年来，网络流尤其是最大流问题越来越多的出现在各类信息学竞赛当中 最大流—最小割定理是整个最大流问题的基础与核心，其主要内容是： 最大流的流量不超过最小割的容量 存在一个流x和一个割c，且x的流量等于c的容量 [例二] Moving the Hay 一个牧场由R*C个格子组成 牧场内有N条干草运输通道，每条连接两个水平或垂直相邻的方格，最大运输量为Li (1,1)内有很多干草，Farmer John希望将最多的干草运送到(R,C)内 求最大运输量 [例二] Moving the Hay 一个R=C=3的例子，最大运输量为7 数据规模：R,C ≤ 200 分析 直接求最大流 以每个方格为点，每条通道为边，边的容量就是它的最大运输量 从(1,1)到(R,C)的最大运输量就是将这两个方格对应的点分别作为流网络中的源和汇求出的最大流量 效率？？？ 点数最大40000，边数最大80000！ 分析 效率低下的原因 没有利用题目的特点，直接套用经典算法 特点 题目中给出的是一个平面图 图中的一个点为源点s，另外一个点为汇点t，且s和t都在图中的无界面的边界上 分析 分析 效率低下的原因 没有利用题目的特点，直接套用经典算法 特点 题目中给出的是一个平面图 图中的一个点为源点s，另外一个点为汇点t，且s和t都在图中的无界面的边界上 我们称这样的平面图为s-t平面图 平面图的性质 平面图性质 （欧拉公式）如果一个连通的平面图有n个点，m条边和f个面，那么f=m-n+2 每个平面图G都有一个与其对偶的平面图G* G*中的每个点对应G中的一个面 对偶图举例 平面图的性质 平面图性质 （欧拉公式）如果一个连通的平面图有n个点，m条边和f个面，那么f=m-n+2 每个平面图G都有一个与其对偶的平面图G* G*中的每个点对应G中的一个面 对于G中的每条边e e属于两个面f1、f2，加入边(f1*， f2*) 对偶图举例 平面图的性质 平面图性质 （欧拉公式）如果一个连通的平面图有n个点，m条边和f个面，那么f=m-n+2 每个平面图G都有一个与其对偶的平面图G* G*中的每个点对应G中的一个面 对于G中的每条边e e属于两个面f1、f2，加入边(f1*， f2*) e只属于一个面f，加入回边(f*， f*) 对偶图举例 平面图与其对偶图的关系 平面图G与其对偶图G*之间存在怎样的关系呢？ G的面数等于G*的点数，G*的点数等于G的面数，G与G*边数相同 G*中的环对应G中的割一一对应 s-t平面图上最大流的快速求法 如何利用这些性质？ 直接求解 仍然困难 利用最大流—最小割定理转化模型 根据平面图与其对偶图的关系，想办法求出最小割 利用最短路求最小割 对于一个s-t平面图，我们对其进行如下改造： 连接s和t，得到一个附加面 利用最短路求最小割 一条从s*到t*的路径，就对应了一个s-t割！ 更进一步，如果我们令每条边的长度等于它的容量，那么最小割的容量就等于最短路的长度！ 分析一下时间复杂度 新图中的点数和边数都是O(n)的 使用二叉堆优化的Dijkstra算法求最短路，时间复杂度为O(nlog2n) 利用最短路求最大流 我们可以利用最短路算法得到的距离标号构造一个最大流 [定理2.1] 可以在O(nlog2n)的时间内求出s-t平面图上的最大流。 小结 回顾 得到简单的最大流模型 利用最大流—最小割定理进行模型转化 根据平面图的性质解决最小割问题 构造得到最大流 最大—最小定理 对比以上两个定理 [定义3.1] 最大—最小定理是一类描述同一个对象上的一个最大化问题的解和一个最小化问题的解之间的关系的定理。 最大—最小定理 共同点 考察的两个最优化问题互为对偶问题 证明的过程 最大化问题M的任何一个解m的值都不超过最小化问题N的任何一个解n的值 可以找到M的一个解p和N的一个解q，且它们的值相等 p和q分别为各自问题的一个最优解 简洁的最优性证明 总结 参考文献 Introduction to Graph Theory, Second Edition by Douglas