小Hi:在上一周的Hiho一下中我们初步讲解了网络流的概念以及常规解法,小Ho你还记得内容么?

小Ho:我记得!网络流就是给定了一张图G=(V,E),以及源点s和汇点t。每一条边e(u,v)具有容量c(u,v)。网络流的最大流问题求解的就是从s到t最多能有多少流量。

小Hi:那这个问题解决办法呢?

小Ho:解决网络流的基本思路就是寻找增广路,不断更新残留网络。直到找不到新的增广路,此时得到的流就是该网络的最大流。

小Hi:没错,看来你记得很牢嘛。

小Ho:哎嘿嘿,不过这里我有一个问题,为什么找不到增广路时就已经找到了最大流呢?

小Hi:这一次我就来解决你的疑惑,首先我们要从网络流的割开始讲起。

对于一个网络流图G=(V,E),其割的定义为一种点的划分方式:将所有的点划分为S和T=V-S两个部分,其中源点s∈S,汇点t∈T。

对于一个割(S,T),我们定义净流f(S,T)表示穿过割(S,T)的流量之和,即:

f(S,T) = Σf(u,v) | u∈S,v∈T

举个例子(该例子选自算法导论):

净流f = f(2,4)+f(3,4)+f(3,5) = 12+(-4)+11 = 19

同时我们定义割的容量C(S,T)为所有从S到T的边容量之和,即:

C(S,T) = Σc(u,v) | u∈S,v∈T

同样在上面的例子中,其割的容量为:

c(2,4)+c(3,5)=12+14=26

小Ho:也就是说在计算割(S,T)的净流f(S,T)时可能存在反向的流使得f(u,v)<0,而容量C(S,T)一定是非负数。

小Hi:你这么说也没错。实际上对于任意一个割的净流f(S,T)总是和网络流的流量f相等。比如上面例子中我们改变一下割的方式:

可以计算出对于这两种情况净流f(S,T)仍然等于19。

一个直观的解释是:根据网络流的定义,只有源点s会产生流量,汇点t会接收流量。因此任意非s和t的点u,其净流量一定为0,也即是Σ(f(u,v))=0。而源点s的流量最终都会通过割(S,T)的边到达汇点t,所以网络流的流f等于割的静流f(S,T)。

严格的证明如下:

f(S,T) = f(S,V) - f(S,S)

从S到T的流等于从S到所有节点的流减去从S到S内部节点的流

f(S,T) = f(S,V)

由于S内部的节点之间存在的流一定有对应的反向流,因此f(S,S)=0

f(S,T) = f(s,V) + f(S-s,V)

再将S集合分成源点s和其他属于S的节点

f(S,T) = f(s,V)

由于除了源点s以外其他节点不会产生流,因此f(S-s,V)=0

f(S,T) = f(s,V) = f

所以f(S,T)等于从源点s出来的流,也就是网络的流f。

小Ho:简单理解的话,也就是说任意一个割的净流f(S,T)都等于当前网络的流量f。

小Hi:是这样的。而对于任意一个割的净流f(S,T)一定是小于等于割的容量C(S,T)。那也即是,对于网络的任意一个流f一定是小于等于任意一个割的容量C(S,T)。

而在所有可能的割中,存在一个容量最小的割,我们称其为最小割。

这个最小割限制了一个网络的流f上界,所以有:

对于任一个网络流图来说,其最大流一定是小于等于最小割的。

小Ho:但是这和增广路又有什么关系呢?

小Hi:接下来就是重点了。利用上面讲的知识,我们可以推出一个最大流最小割定理:

对于一个网络流图G=(V,E),其中有源点s和汇点t,那么下面三个条件是等价的:

1. 流f是图G的最大流

2. 残留网络Gf不存在增广路

3. 对于G的某一个割(S,T),此时f = C(S,T)

首先证明1 => 2:

我们利用反证法,假设流f是图G的最大流,但是残留网络中还存在有增广路p,其流量为fp。则我们有流f'=f+fp>f。这与f是最大流产生矛盾。

接着证明2 => 3:

假设残留网络Gf不存在增广路,所以在残留网络Gf中不存在路径从s到达t。我们定义S集合为:当前残留网络中s能够到达的点。同时定义T=V-S。

此时(S,T)构成一个割(S,T)。且对于任意的u∈S,v∈T,有f(u,v)=c(u,v)。若f(u,v)0,s可以到达v,与v属于T矛盾。

因此有f(S,T)=Σf(u,v)=Σc(u,v)=C(S,T)。

最后证明3 => 1:

由于f的上界为最小割,当f到达割的容量时,显然就已经到达最大值,因此f为最大流。

这样就说明了为什么找不到增广路时,所求得的一定是最大流。

小Ho:原来是这样,我明白了。

输入

第1行:2个正整数N,M。2≤N≤500,1≤M≤20,000。

第2..M+1行:每行3个整数u,v,c(u,v),表示一条边(u,v)及其容量c(u,v)。1≤u,v≤N,0≤c(u,v)≤100。

给定的图中默认源点为1,汇点为N。可能有重复的边。

输出

第1行:2个整数A B,A表示最小割的容量,B表示给定图G最小割S集合的点数。

第2行:B个空格隔开的整数,表示S集合的点编号。

若存在多个最小割可以输出任意一个的解。

样例输入

6 7

1 2 3

1 3 5

2 4 1

3 4 2

3 5 3

4 6 4

5 6 2

样例输出

5 4

1 2 3 5

最大流最小割经典例题_最大流最小割基本相关推荐

  1. 最大流最小割经典例题_最大流, 最小割问题及算法实现

    本博客采用创作共用版权协议, 要求署名.非商业用途和保持一致. 转载本博客文章必须也遵循署名-非商业用途-保持一致的创作共用协议. 由于博文中包含一些LaTex格式数学公式, 在简书中显示不好, 所以 ...

  2. 最大流最小割经典例题_算法: 最大流与最小割

    什么是最大流 最大流要解决的问题是从 S 到 T 怎么才能最大地将数据运到另一边.这个"数据"可以是水,或者网络数据包.举个例子 在上面这个图中将数据从 S 运到 T,其中边的权值 ...

  3. 复杂电路简化经典例题_【中考物理】电路简化的10大原则和7大步骤

    电路问题是初中物理比较难的知识,也是中考很重要的一部分.很多同学遇到电路类的题目,摆在面前的第一个问题就是不会简化电路图. 今天给大家分享电路简化的10大原则和7大步骤,希望能够帮你解决这个难题! 电 ...

  4. 复合函数求导经典例题_【2017年整理】多元函数求导经典例题.ppt

    [2017年整理]多元函数求导经典例题 多元函数习题课;一 学习要求;(3) 理解偏导数和全微分的概念,会求全微分,了解全微分存在的必要和充分条件,了解全微分形式不变性;;偏导数的应用;二.主要内容; ...

  5. 最大流最小割经典例题_C/C++知识点之最大流最小割C++实现

    using namespace std; const int MAX=100; const int inf=1<<30; queueQ; int ShortestAugmentingPat ...

  6. 复杂电路简化经典例题_一天搞定考试系列之电路原理(3)

    经过了前两章对阅读理解学习法的实践运用,想必大家知道该怎么做了,至于效果,我不敢保证对每个人都有效,欢迎大家实践后给予反馈,大家一起寻找更好的方法. 下面进入第三章,需要说明的是前两章虽然简单但是很重 ...

  7. 幂级数和函数经典例题_幂级数和函数的几种常见解法

    幂级数和函数的几种常见解法 * 方 艳 1 程 航 2 [摘 要] [ 摘要 ] 无穷级数是微积分学的重要组成部分,在数学理论研究和工程 实际应用上起着举足轻重的作用.有关无穷级数里最常见的一类函数项 ...

  8. 复杂电路简化经典例题_复杂电路的简化题库.ppt

    教学目标 1 掌握复杂电路的简化方法,能够熟练对复杂电路进行分析简化. 2 掌握电路的动态分析的基本思路,能够对 电路的动态变化进行熟练的分析. 3 进一步强化基础知识的重要性,强调基 础知识的理解程 ...

  9. 复杂电路简化经典例题_《复杂电路的简化》PPT课件.ppt

    <<复杂电路的简化>PPT课件.ppt>由会员分享,可在线阅读,更多相关<<复杂电路的简化>PPT课件.ppt(12页珍藏版)>请在装配图网上搜索. 1 ...

  10. 复杂电路简化经典例题_复杂电路简化练习题

    <复杂电路简化练习题>由会员分享,可在线阅读,更多相关<复杂电路简化练习题(4页珍藏版)>请在人人文库网上搜索. 1.复杂电路简化练习题一.单选题(共10道,每道10分)1.如 ...

最新文章

  1. javascript 实现模拟滚动条,但不支持鼠标滚轮
  2. LeetCode 86. 分隔链表 中等难度
  3. solidworks热分析_solidworks解决管道流体问题,原来可以如此轻松
  4. 监听Hierachy、Project等视图结构变化的事件
  5. 一代经典框架 Layui 落幕,是否预示着一个时代的结束?
  6. python函数定义参数类型和返回值类型
  7. GPU、TPU买起来,新政策让1亿研发费用可多减税375万元
  8. 图:智能手机Android系统的评委专用的比赛打分客户端,开发进行中...
  9. bat之长ping保存在文本
  10. 【系统架构】类图怎么画
  11. matlab能打开mdl文件吗,simulink打开mdl文件的问题
  12. vue+elementui 房贷计算器
  13. 美国程序员平均工资排行榜
  14. php 触摸键盘,window_Win10正式版新增键盘快捷键和触摸手势汇总篇,  微软在新一代操作系统Win1 - phpStudy...
  15. 求职经验贴-描述笔者当时找工作情形
  16. Logitech G系鼠标脚本编程,实现鼠标自动定位控制
  17. Java正则表达式通过User-Agent获取IOS版本
  18. 一、安装docker
  19. 怎么查看电脑内存的型号
  20. 最优化理论与方法-第二讲-凸集

热门文章

  1. shark恒破解笔记3-EAX决定胜负
  2. 获取人脸图片和训练人脸
  3. 单片机热敏电阻测温度c语言,单片机实现热热敏电阻测温电路
  4. 雷达多普勒频率计算公式_雷达导论PART-III.5 脉冲雷达的工作机理
  5. Android opencv 检测屏幕是否有坏点/检测一个颜色是否有杂点
  6. 风压和功率计算公式轴流式_风机风压计算公式
  7. python微信抢红包脚本_这个Python脚本牛逼了,秒抢红包就算了,还能无视撤回消息...
  8. 在Linux下安装软件
  9. ALTOVA XMLSPY使用,建xml文件,构建xpath和XQuery查询,xml和json格式转换
  10. codeblocks17.12安装及汉化