hihoCoder1378 (最大流最小割)
#1378 : 网络流二·最大流最小割定理
描述
小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)<c(u,v),则有Gf(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 分析:题目中的S集合就是包含源点s的集合,先跑一遍最大流(dinic),求出残余网络再bfs分层,此时从源点能遍历到的点都是S集中的点,因为最小割的边一定是满流的,即残余流量为0。
#include<cstdio> #include<cstring> #include<algorithm> #include<queue> #define INF 999999999 using namespace std; int map[502][502]; int N,M; int dis[502],p[502];int bfs() {memset(dis,-1,sizeof(dis));dis[1]=0;queue<int> q;q.push(1);while(!q.empty()){int u=q.front();q.pop();for(int i=1;i<=N;i++)if(dis[i]==-1&&map[u][i]>0){dis[i]=dis[u]+1;q.push(i);}}if(dis[N]>0) return 1;return 0; }int dfs(int cur,int m) {if(cur==N) return m;int f,res=0;for(int i=1;i<=N;i++){if(dis[i]==dis[cur]+1&&map[cur][i]>0&&(f=dfs(i,min(m,map[cur][i])))){map[cur][i]-=f;map[i][cur]+=f;res+=f;m-=f;if(!m) break;}}if(res) return res;dis[cur]=-1;return 0; }int main() {scanf("%d%d",&N,&M);for(int i=0;i<M;i++){int s,t,c;scanf("%d%d%d",&s,&t,&c);map[s][t]+=c;}int ans=0,res;while(bfs())while(res=dfs(1,INF))ans+=res;int cnt=0;for(int i=1;i<=N;i++)if(dis[i]!=-1) p[cnt++]=i;printf("%d %d\n",ans,cnt);for(int i=0;i<cnt;i++) printf("%d ",p[i]);printf("\n");return 0; }
View Code
转载于:https://www.cnblogs.com/ACRykl/p/8858617.html
hihoCoder1378 (最大流最小割)相关推荐
- hihocoder 网络流二·最大流最小割定理
网络流二·最大流最小割定理 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 小Hi:在上一周的Hiho一下中我们初步讲解了网络流的概念以及常规解法,小Ho你还记得内容么? ...
- nyoj 677 碟战(最大流最小割定理)
碟战 时间限制:2000 ms | 内存限制:65535 KB 难度:4 描述 知己知彼,百战不殆!在战争中如果被敌人掌握了自己的机密,失败是必然的.K国在一场战争中屡屡失败,就想到自己的某些城市 ...
- 洛谷 - P2598 [ZJOI2009]狼和羊的故事(最大流最小割)
题目链接:点击查看 题目大意:给出一个 n * m 的矩阵,每个格子都有三种状态:狼.羊和空地,现在需要在相邻方格之间添加篱笆,问最少需要添加多少篱笆才能使得狼和羊分开 题目分析:最大流最小割,建图方 ...
- matlab实现图割算法中的最大流最小割Max-flow/min-cut问题(一)
转载自:http://blog.csdn.net/on2way/article/details/43276155 本篇主要介绍matlab实现Max-flow/min-cut的方法,介绍一种只实现了M ...
- 算法小白理解最大流最小割(Maximum flow Minimum cut)问题
网上流传的关于最大流最小割问题的全都是索然无味 的一些讲课视频,当然如果你英语能力很强,直接看外国的视频也十分好理解,但于我这种理工科渣渣来说,看懂那种专业的讲课视频是不可能的,不存在的,所以把自己对 ...
- 最大流最小割定理(max flow/min cut theory)
百度文库里面有个地址,讲的比较详细. http://wenku.baidu.com/link?url=gPXhYCduLNgZaOkKIltNDAgPGwuMTpRX7a0utvVFuqDAP9o1j ...
- matlab求最小割,matlab實現圖割算法中的最大流最小割Max-flow/min-cut問題(一)
本篇主要介紹matlab實現Max-flow/min-cut的方法,介紹一種只實現了Max-flow/min-cut的工具箱Bk_matlab. 一:最大流最小割的由來 了解這個問題之前先說說這個問題 ...
- 网络流 最大流最小割与最小费用流
目录 [镇楼] [引入] [基本定义和概念] [最大流算法] [最小割] [最小费用最大流] [引用] [镇楼] 天啦真的好好懂!!!麻麻再也不用担心我的网络流学习啦!!! [引入] 首先,我们来 ...
- 图论:最大流最小割详解
最大流与最小割是十分重要且应用广泛的内容,本文用"水流"与"水管"类比,先讨论最大流问题,然后再说明最大流与最小割的特殊关系,我们还将讨论一些实际中会使用的相关 ...
- GraphCut、最大流最小割定理
G=(V,E):V为点集,E为边集: 节点集V中的节点分为: (1)终端节点.不包含图像像素,用S和T表示.S为源点,T为汇点.图像分割中通常用S表示前景目标,标签设为1:T表示背景,标签为0. (2 ...
最新文章
- Win7系统分区(C盘)扩容的一种可行的解决方案
- 结构化的网络故障检测与排除方法
- mongodb--常用命令
- 如何在SAP的的凭证流浏览器(DRB)中显示客户自定义的凭证
- tomcat处理图片或者文件不在项目里
- Delphi动态调用C++写的DLL
- Python核心编程第三版
- termux android api,Termux API
- 美团外卖离线数仓建设实践
- java并发编程第十二课 java内存模型
- mom和mes系统有哪些异同点?
- 酒店(宾馆)客房管理系统
- oracle日期函数大全一(Date)
- 转行产品经理怎样才能少走弯路?新手必看!
- 马斯洛的五大需求层次理论
- 黑羽压测 比 jmeter、locust、loadrunner 更简便,性能更强
- 8.13无限火力服务器维护到什么时候,LOL2019无限火力10月开放时间 无限乱斗回归时间确定_蚕豆网新闻...
- python怎么编写流氓软件_自己用python写个删除软件可好?
- 初识分布式架构及意义
- Android 适配 64 位架构
热门文章
- 华中科技大学计算机免试,华中科技大学计算机学院2015年接收推荐免试研究生待录取结果公示...
- 第七章 浮动(制作京东登录页面)
- PHP开发基础(一)
- python 头条视频_Python视频爬虫实现下载头条视频
- 测试眼睛距离的手机软件,早教APP哪款护眼功能最完善?这几款可检测宝宝坐姿和观看距离...
- 宇宙无敌第一IED Visual studio 常用快捷键使用
- 社交网络关系 mysql架构_社交网络海量用户关系(关系链)设计思考
- 安卓实现仿系统设置界面
- 淘宝直通车可以退款吗?怎么退?
- 日语动词的13种变形