割是什么

割的定义就是,在一个图中取出一些有向的边。把图一分为二,使得,再也没有办法,使得能从S到达T的流量。

我们有好多种,拿走边的方案,我们把拿走这些边的值加在一起,那么称作割的Value,现在记作ValuecutValue_{cut}Valuecut​。
如果把图中所有的边,都拿走的话,图好像被分割成了,好多部分,就不再是S和T两大集合了,但是这样的取走方法那么Valuecut=∑Edgevalue∈GValue_{cut}=\sum Edge_{value} \isin GValuecut​=∑Edgevalue​∈G。(意思是,图中每一个边权值相加就可以了)

那么,我们就正常的割,把S和T割开。

推导

因为割开的,就像一个个管道,你把管道里能流的值相加,这是最理想的情况了。但是往往,是达不到,割里面,所有的管道,都是挤满的。

如果最大流记作fff那么我们就会有f<=Valuecutf <= Value_{cut}f<=Valuecut​。

同样的,如果我们割到了一个最小的割,那么假设这个最小割的所有管道都是占满流量的,那么我们可以直接发现,最小割的这种流发,满足比它大的割中的那些管道,因为你已经是最小的了,无论怎么流,大家都在一张图,所以,其他比它大的割,容得下这个最小割的所有的流量。

另外,如果最小割满足不了,它所有管道,反证法很轻松得到,那它应该不是最小割,一定存在比它还要小的割,来满足它的流量可以全部流走。

结论

最大流 等于 最小割 大于 除最小割,其它的割。

最大流=最小割 简单证明相关推荐

  1. 学习笔记:网络流基础:理解最大流/最小割定理 (蒋炎岩)

    网络流基础:理解最大流/最小割定理 蒋炎岩 课程链接 有向图的基本概念: 问题引入 直观感受反例 引入重要概念: 割的示例 小结 再来一个问题 例子 可以找到一条路径的情况 可以找到两条路径的情况 问 ...

  2. 网络流 最大流 最小割 费用流

    [腾讯文档]网络流初步 网络流初步 文章目录 网络流初步 一.网络流简介 1. 网络 2. 流 3. 再次理解网络流 二.常见题型(三种) 三.相关问题对应算法介绍 1.最大流 (1) FF算法 - ...

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

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

  4. 【图割】最大流/最小割算法详解(Yuri Boykov and Vladimir Kolmogorov,2004 )

    本博客主要翻译了Yuri Boykov and Vladimir Kolmogorov在2004年发表的改进最大流最小割算法用于计算机视觉的论文:An Experimental Comparison ...

  5. P2774-方格取数问题【网络流,最大流,最小割】

    正题 链接: https://www.luogu.org/problemnew/show/P2774 题意 在一个n*m的数字矩阵中取数,取得数不能相邻,求能取到的最大价值. 解题思路 最大价值,那么 ...

  6. [ZJOI2009]狼和羊的故事【网络流】【最大流(最小割)】

    >Description 羊狼圈是一个n*m个矩阵格子,这个矩阵的边缘已经装上了篱笆.在羊狼圈中再加入一些篱笆,将羊狼分开.狼和羊都有属于自己领地,若狼和羊们不能呆在自己的领地,那它们就会变得非 ...

  7. Dinic求最大流/最小割

    o(v^2*E) 建图时建一条流量为0的反向边,正向边每减去流量f,反向边增加流量f.对于无向图当做两条边. cap:每条边最大流量 建图后: 调用DINIC():用bfs()为每个节点进行层次编号, ...

  8. Cops and Robbers(最大流 最小割)

    https://vjudge.net/problem/Kattis-copsandrobbers 题意: 将某些位置堵上,不能使得B出去,不同字母不同花费,求最小花费. 解析: 使B与外面分离,就是最 ...

  9. 最小割树:证明与例题

    Definition 对于一张图(有向/无向),都能建立一棵Gomory-Hu Tree,树中节点对应图中节点,树上两点间的最小割等于图中两点间的最小割. Algorithm 1.任取两个点s,t求出 ...

最新文章

  1. HTML5 INPUT placeholder及兼容性处理
  2. Apache Flink 漫谈系列 - JOIN 算子
  3. 数组排序c语言函数_C语言如何写出返回数组最大最小值之差的函数(C primer plus 10-5)...
  4. SpringBoot+Thymeleaf+Jquery实现模态框的显示与数据填充
  5. boost::hana::intersection用法的测试程序
  6. 今日代码(200624)--缺失值处理
  7. Run Length Encoding
  8. java遍历子目录_Java遍历文件夹及子目录代码实例
  9. 程序员终结者还是“白嫖”开源代码?GitHub推出的AI编程辅助工具陷入争议
  10. Spark RDD概念学习系列之Pair RDD的分区控制
  11. iOS CoreData (二) 版本升级和数据库迁移
  12. 英语词根词缀+联想法记忆单词
  13. Windows 无法卸载IE9怎么办
  14. 计算机专业对于英语水平的要求,英语对计算机专业的重要性及如何提高英语水平...
  15. 创建oracle自增序列
  16. vue 对象提供的属性功能、通过axio请求数据(2)
  17. 计算机毕业论文指导,计算机毕业论文指导
  18. 南阳oj 题目127 星际之门(一)
  19. MBP TouchBar自定义使用
  20. ES6_1.块级作用域绑定_临时死区TDZ

热门文章

  1. usaco 2008 oct pwalk
  2. 管程的应用--读者写者问题(伪代码)
  3. 创业是一种心态、信念和坚持,是一种生活方式
  4. python文本编辑器怎么运行_Python 开发者如何正确使用 RStudio 编辑器
  5. UDP全双工通信的实现
  6. 大话设计模式1 简单工厂模式 策略模式
  7. 请打印出昨天的此时此刻
  8. SSH+Mysql实现的作业批改管理系统(功能包含分学生、教师、管理员三种角色登录,作业上传、给老师留言、学习内容下载、作业评分、给学生留言、教师学生管理、公告管理、学习资源管理、作业管理等)
  9. IDEA:插件系列:GsonFormat插件的具体使用与介绍
  10. 【专业扫盲】集成电路领域的核心会议与期刊