1如果图G存在s-t流f,并且在剩余图Gf中没有s-t的路径, 存在一个s-t的分割cut(A, B), 且v(f) = cut(A, B),  并且f拥有最大的流值, 分割cut(A, B)拥有最小的负载能力
证明: 以上论断,声明存在一个分割满足特定的属性; 因此我们应该识别这个分割. A表示所有的点集, 在Gf中存在一个s-v的路径, B表示所有其他的点构成的集合.
首先证明,A, B是分割.
源s在A中, 因为总存在s-s的路径.
目的t不在A中, 因为由论断假设已知, 流f, 的G图中,Gf没有s-t路径.
因此, A, B 都非空.
接下来, 假设e = (u, v)是G中的边, 且起点在A中, 且终点在B中,  则f(e) = Ce, 因为若存在余量, 则在剩余图Gf中, 存在前进边e = (u, v), 而因为s-u存在路径, u-v存在路径, 所以 s-v存在路径, 矛盾于, v属于B, 不存在路径集合.
假设e = (u', v')且起点u' 在B, 终点v'在A中, 则f(e) = 0. 因为, 若不为0, 则在剩余图Gf中, 存在后退边 e' = (v', u'),而导致产生路径到u', 矛盾.
因此, 所有A中的输出边界边是完全充满流量, 而进入边界边完全为空.
 
2以上算法返回的流是最大的.

3给定一个最大流, 总能构造出一个最小分割.
证明: 通过构造s可达到的点的集合, 可以构造出最小分割.

可能存在多个最小负载的分割, 以上构造方法找到一个特定于最大流的分割.

4在每个流网络中, 存在一个流f 和分割cut(A, B), 且v(f) = c(A, B)
证明的关键在于存在最大s-t流, 因为如果存在更大的流f', 则违反了分割的限制原则, 即任何分割的负载能力, 都大于等于流量.
而如果存在更小的负载能力分割, 则当前获得的流同样违背了以上原则.

5在每个流网络中, s-t流的最大值等于s-t分割的最小负载能力.

作者:liyonghelpme 发表于2010/6/20 13:53:00 原文链接
阅读:783 评论:0 查看评论

转载于:https://www.cnblogs.com/liyonghelpme/archive/2010/06/20/4273541.html

[原]最大流, 最小分割分析相关推荐

  1. PCL 点云分割与分类 Segmentation RANSAC随机采样一致性 平面模型分割 欧氏距离分割 区域聚类分割算法 最小分割算法 超体聚类 渐进式形态学滤波器

    点云分割 博文末尾支持二维码赞赏哦 _ 点云分割是根据空间,几何和纹理等特征对点云进行划分, 使得同一划分内的点云拥有相似的特征,点云的有效分割往往是许多应用的前提, 例如逆向工作,CAD领域对零件的 ...

  2. 【C4AI-2022】基于飞桨的井下煤流视频智能分析系统

    2022百度人工智能创意赛-创新组作品 一.项目背景 1.煤炭行业发展现状 煤炭资源是我国广泛使用的能源之一,它被广泛应用于发电.制热及人们的日常生活中.现在,煤炭占我国能源生产和消费的比例长期在60 ...

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

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

  4. 网络语音流隐写分析全流程 (Steganalysis of VoIP Speech Streams)

    欢迎访问我的个人博客:https://hi.junono.com/ AMR隐写数据集地址(Kaggle) 网络语音流隐写分析全流程 隐写分析流程介绍: 基本知识 **基于网络语音(VoIP)流的隐写术 ...

  5. YOLOv3反向传播原理 之 全流程源码分析

    YOLOv3反向传播原理 之 全流程源码分析 1.YOLOv3网络训练中反向传播主体流程 1.1 初始化 1.2 batch内梯度累加 1.3 network和layer 中的关键变量 2.YOLO层 ...

  6. Java8 并行流(parallelStream)原理分析及注意事项

    文章目录 前言 一.parallelStream是什么 二.parallelStream原理分析 1.Fork/Join框架 1.1 work-stealing(工作窃取算法) 1.2 常用方法 2. ...

  7. SpringBoot2 | SpringBoot启动流程源码分析(一)

    首页 博客 专栏·视频 下载 论坛 问答 代码 直播 能力认证 高校 会员中心 收藏 动态 消息 创作中心 SpringBoot2 | SpringBoot启动流程源码分析(一) 置顶 张书康 201 ...

  8. 【源码分析】storm拓扑运行全流程源码分析

    [源码分析]storm拓扑运行全流程源码分析 @(STORM)[storm] 源码分析storm拓扑运行全流程源码分析 一拓扑提交流程 一stormpy 1storm jar 2def jar 3ex ...

  9. LMS Virtual Lab 流固模态分析

    LMS Virtual Lab 流固模态分析的主要步骤: 1.设置材料.属性.约束条件,进行结构有限元模态分析.注意:模态计算的频率范围不要太小,否则可能计算错误! 2.对流体进行模态分析 3.建立结 ...

最新文章

  1. 转录组测序技术和结果解读(二)——文库构建和测序策略
  2. 【正则表达式系列】一些概念(字符组、捕获组、非捕获组)
  3. python统计excel出现次数_Python读取Excel一列并计算所有对象出现次数的方法
  4. python的迭代器无法输出值_python迭代器和生成器
  5. php mysql 非空_MySQL非空约束(NOT NULL)
  6. 30张不明觉厉的照片,看几遍终于看懂了
  7. C语言输出最后一个空格去掉,新人提问:如何将输出时每行最后一个空格删除...
  8. Hystrix 简介和使用
  9. linux devops_DevOps原则与学生Linux程序产生共鸣
  10. java swing图书管理系统 java swing mysql实现的图书管理系统源码(1023)
  11. JAVA基础知识练习(减肥计划、逢七过、不死神兔、百钱百鸡、数组元素求和、数组内容相同、查找、反转、评委打分)
  12. 0x3f3f3f3f
  13. 基带信号及其眼图MATLAB仿真实现,Matlab通信仿真——带限系统下的基带信号
  14. 最新Python异步编程详解
  15. 互动游戏对战平台推荐:盘点很火的互动小游戏多人对战平台
  16. 计算机里s大小,Mbps和mb/s换算知识-电脑维护
  17. 全面解析马斯克的产业帝国
  18. 服务器上批量将.mp4格式的视频转化成.m3u8的shell脚本
  19. 海报设计素材|绝美纹理背景简直太实用了
  20. ehvierwer登录与不登录_《天涯明月刀手游》pc端手机端登录不进去如何解决 服务器已满快速解决方法...

热门文章

  1. 【破解】Flash Decompiler Trillix.4.1.1.720 破解补丁
  2. Ubuntu硬盘全盘备份tar和clonezilla两种方案
  3. 树莓派禁用SD卡上的swap交换空间
  4. 现实给了梦想多少时间?
  5. Kubernetes的Service外部访问方式:NodePort和LoadBalancer
  6. 手游接入Facebook的那些坑
  7. 服务器没有进行新建或修改数据的操作,14-认识DjangoRESTframework
  8. Spring 传播方式
  9. Linux防火墙开关命令
  10. Hive中类SQL语言中的where 与having