网络流与二分图.ppt

网络流与二分图问题;主要涉及内容;在农夫约翰的农场上，每逢下雨，Bessie最喜欢的三叶草地就积聚了一潭水。这意味着草地被水淹没了，并且小草要继续生长还要花相当长一段时间。因此，农夫约翰修建了一套排水系统来使贝茜的草地免除被大水淹没的烦恼（不用担心，雨水会流向附近的一条小溪）。作为一名一流的技师，农夫约翰已经在每条排水沟的一端安上了控制器，这样他可以控制流入排水沟的水流量。 农夫约翰知道每一条排水沟每分钟可以流过的水量，和排水系统的准确布局（起点为水潭而终点为小溪的一张网）。需要注意的是，有些时候从一处到另一处不只有一条排水沟。 根据这些信息，计算从水潭排水到小溪的最大流量。对于给出的每条排水沟，雨水只能沿着一个方向流动，注意可能会出现雨水环形流动的情形 交点1是水潭，交点M是小溪;一个简单的例子-网络的最大流问题;网络与流;求最大流的上些算法;Ford-Fulkerson Demo;Ford-Fulkerson Method;Ford-Fulkerson Method;Ford-Fulkerson Method;0;Ford-Fulkerson Method;Ford-Fulkerson Method;Ford-Fulkerson Method;Ford-Fulkerson Method;基于Ford-Fulkerson的Edmonds-Karp;改进的最短增广路算法（SAP）;使用距离标号的方法;算法实现;练习;最大流问题的应用;2．匹配：;3．最大匹配问题：;用最大流的方法解二分图匹配;二部图中最大匹配问题，可以转化为最大流问题求解。在 二部图中增加两个新点 分别作为发点，收点。并用 有向边把它们与原二部图中顶点相连，令全部边上的容量 均为1。当网络流达到最大时，如果 上的流量为1， 就让 作 工作，此即为最大匹配方案。;Place the Robots（ZOJ1654）;Place the Robots（ZOJ）;Place the Robots（ZOJ）;;;由于每条边表示一个空地，有冲突的空地之间必有公共顶点，所以问题转化为二部图的最大匹配问题。;比较前面的两个模型：模型一过于简单，没有给问题的求解带来任何便利；模型二则充分抓住了问题的内在联系，巧妙地建立了二部图模型。为什么会产生这种截然不同的结果呢？其一是由于对问题分析的角度不同：模型一以空地为点，模型二以空地为边；其二是由于对原型中要素的选取有差异：模型一对要素的选取不充分，模型二则保留了原型中“棋盘”这个重要的性质。由此可见，对要素的选取，是图论建模中至关重要的一步。;例题：棋盘上的骑士;二分图最大独立集;棋盘上的骑士;最小路径覆盖;最小路径覆盖;最小路径覆盖; 最小费用流的问题;特别的，当最大流不惟一时，在所有最大流中求一个流f, 使总费用最低。;求最费用最大流的基本思想是：从零流 开 始，以费用作为边的长度，在残留网络中用求最短路的方法，求出可增广链，调整流量，使其流量逐步达到要求的数量（连续最短增广路算法）。;先假设此网络是空架子，即0-流。然后，逐步调整流量 到10，在什么路线上增加流量？在费用最小的路线上调 流量。为简单，把费用网络先拿出来。借费用最短路作 为可行流的可增广链，从而在保证流量的同时，又保证 费用最低。看下图：;;①;上图为0流图，边上的括号内为;此时，网络流量为 =5?10，此流的费用为：;返回到费用网络中，继续找最短路，进而继续调整。在下 面流量的调整中，注意到图（c)有些边的流量已饱和，只能 降低，不能再升，如 。而有些边可降，可升。 如 。直到最小费用路不存在，算法停止。;小结;小结;Thank you very much!