网络流问题详解

1. 网络最大流

1.1 容量网络和网络最大流 

1.1.1 容量网络

设 G(V, E)是一个有向网络,在 V 中指定了一个顶点,称为源点(记为 Vs),以及另一个顶点,称为汇点(记为 Vt);对于每一条弧<u, v>∈ E,对应有一个权值c(u, v)>0,称为弧的容量(capacity)。通常把这样的有向网络 G 称为容量网络。 

1.1.2 弧的流量  

通过容量网络 G 中每条弧<u, v>上的实际流量(简称流量), 记为 f(u, v)

1.1.3 网络流 

所有弧上流量的集合 f = { f(u, v) },称为该容量网络 G 的一个网络流。 

每条弧旁边括号内的两个数值( c(u, v), f(u, v) ),第 1 个数值表示弧容量,第二个数值表示通过该弧的流量。例如,弧<Vs, V1>上的两个数字(8, 2),前者是弧容量,表示通过该弧最大流量为 8,后者表示目前通过该弧的实际流量为 2。 

从上图中可见:

  • 通过每弧的流量均不超过弧容量;

  • 源点 Vs 流出的总量为 3 + 2 = 5,等于流入汇点 Vt 的总量 2 + 3 = 5;

  • 其他中间顶点的流出流量等于其流入流量。例如,中间顶 V2 的流入流量为 3,流出流量为: 2 + 1 = 3。 

1.1.4 可行流 

在容量网络 G(V, E)中,满足以下条件的网络流 f,称为可行流。 

  • 弧流量限制条件: 0 ≤ f(u, v) ≤ c(u, v), <u, v>∈ E 

  • 平衡条件

     

1.1.5 零流

对于任何一个容量网络,可行流总是在存在的,如 f = { 0 },即每条弧上的流量为 0,该网络流称为零流。 

1.1.6 伪流

如果一个网络流只满足弧流量限制条件,不满足平衡条件,则这种网络流称为伪流,或称为容量可行流。 

1.1.7 可行流

在容量网络 G(V, E)中,满足弧流量限制条件和平衡条件、且具有最大流量的可行流,称为网络最大流,简称最大流。 

1.2 链与增广路 

在容量网络 G(V, E)中,设有一可行流 f = { f(u, v) },根据每条弧上流量的多少、以及流量和容量的关系,可将弧分四种类型: 

  • 饱和弧, 即 f(u, v) = c(u, v);

  • 非饱和弧,即 f(u, v) < c(u, v);

  • 零流弧, 即 f(u, v) =0;

  • 非零流弧,即 f(u, v) > 0。 

在上图中,弧<V1, V4>、 <V1, V3>是饱和弧;弧<Vs, V2>、 <V2, V1>等是非饱和弧;弧<V2, V4>、 <V3, V4>是零流弧;弧<V1, V4>、 <V3, Vt>等是非零流弧。 

1.2.1 链 

在容量网络中,称顶点序列(u, u1, u2, …, un, v)为一条链,要求相邻两个顶点之间有一条弧,如< u, u1 >或< u1, u >为容量网络中一条弧。 

设 P 是 G 中从 Vs 到 Vt 的一条链,约定从 Vs 指向 Vt 的方向为该链的正方向。注意,链的概念不等同于有向路径的概念,在链中,并不要求所有的弧都与链的正方向同向。 

沿着 Vs 到 Vt 的一条链,各弧可分为两类: 

  • 前向弧(方向与链的正方向一致的弧),其集合记为 P+;

  • 后向弧(方向与链的正方向相反的弧),其集合记为 P–。

注意,前向弧和后向弧是相对的,即相对于指定链的正方向。同一条弧可能在某条链中是前向弧,而在另外一条链中是后向弧。 

例如在图下中,指定的链为: P = { Vs , V1 , V2 , V4 , Vt },这条链在图(a)中用粗线标明。则P+和 P–分别为:

  • P+ = { <Vs , V1>, <V2 , V4>, <V4, Vt> }。

  • P– = { <V2, V1> }。 

1.2.1 增广路

设 f 是一个容量网络 G 中的一个可行流, P 是从 Vs 到 Vt 的一条链,若 P 满足下列条件: 

  • 在 P 的所有前向弧<u, v>上, 0 ≤ f(u, v) < c(u, v),即 P+中每一条弧都是非饱和弧

  • 在 P 的所有后向弧<u, v>上, 0 < f(u, v) ≤ c(u, v),即 P–中每一条弧是非零流弧。 

则称 P 为关于可行流 f 的一条增广路,简称为增广路(或称为增广链、 可改进路)。

那么,为什么将具有上述特征的链 P 称为增广路呢?原因是可以通过修正 P 上所有弧的流量f(u, v)来把现有的可行流 f 改进成一个值更大的流 f1。 沿着增广路改进可行流的操作称为增广。 

下面具体地给出一种方法,利用这种方法就可以把 f 改进成一个值更大的流 f1。这种方法是:

不属于增广路 P 的弧<u, v>上的流量一概不变,即 f1(u, v) = f(u, v);

增广路 P 上的所有弧<u, v>上的流量按下述规则变化: (始终满足可行流的 2 个条件) 

  • 在前向弧<u, v>上, f1(u, v) = f(u, v) +α ; 

  • 在后向弧<u, v>上, f1(u, v) = f(u, v) -α 。

称 α 为可改进量,它应该按照下述原则确定: α 既要取得尽量大, 又要使变化后 f1 仍满足可行流的两个条件 - 容量限制条件和平衡条件。

不难看出,按照这个原则, α 既不能超过每条前向弧的 c(u, v)– f(u, v),也不能超过每条后向弧的 f(u, v)。 因此 α 应该等于每条前向弧上的 c(u, v)– f(u, v)与每条后向弧上的 f(u, v)的最小值。 即: 

1.3 残留容量与残留网络 

1.3.1 残留容量 

给定容量网络 G(V, E)及可行流 f,弧<u, v>上的残留容量记为c'(u, v)= c(u, v)– f(u, v)。每条弧的残留容量表示该弧上可以增加的流量。 

1.3.2 残留网络

设有容量网络 G(V, E)及其上的网络流 f, G 关于 f 的残留网络(简称残留网络)记为 G'(V', E'),  其中 G'的顶点集 V'和 G 的顶点集 V 相同,即 V'=V,对于 G 中的任何一条弧<u, v>,如果 f(u, v) < c(u, v),那么在 G'中有一条弧<u, v>∈ E',其容量为 c'(u, v) = c(u,  v)– f(u, v)如果 f(u, v) > 0,则在 G'中有一条弧<v, u>∈ E',其容量为 c'(v, u) = f(u, v)。 从残留网络的定义可以看出,原容量网络中的每条弧在残留网络中都化为一条或两条弧(如果G中弧<u, v>有残留容量,则在G'中将化为两条弧,一条<u, v>,容量为c(u, v) - f(u, v),一条<v, u>,容量为f(u, v))。 

设 f 是容量网络 G(V, E)的可行流, f'是残留网络 G'的可行流,则 f + f'仍是容量网络 G 的一个可行流。 (f + f'表示对应弧上的流量相加)。 

1.4  割与最小割 

1.4.1 割

在容量网络 G(V, E)中,设 E'⊆ E,如果在 G 的基图中删去 E'后不再连通,则称 E'是 G 的割。割将 G 的顶点集 V 划分成两个子集 S 和 T( V - S)。将割记为(S, T)。

1.4.2 s - t 割

更进一步,如果割所划分的两个顶点子集满足源点 Vs∈ S,汇点 Vt∈ T,则称该割为s-t 割。 s-t 割(S, T)中的弧<u, v>(u∈ S, v∈ T)称为割的前向弧, 弧<u, v>( u∈ T, v∈ S)称为割的反向弧。 

1.4.3 割的容量 

设(S, T)为容量网络 G(V, E)的一个割, 其容量定义为所有前向弧的容量总和, 用 c(S, T)表示。即: 

  • c(S, T)=∑ c(u, v)  u∈ S, v∈ T, <u, v>∈ E

例如在下图中,如果选定 S = { Vs, V1, V2, V3 },则 T = { V4, Vt }, (S, T)就是一个 s-t 割。其容量 c(S, T)为图中粗线边<V2, V4>, <V1, V4>, <V3, V4>, <V3, Vt>的容量总和,即:

  • c(S, T) = C24 + C14 + C34 + C3t = 4 + 2 + 6 + 9 = 21

1.4.4 最小割

容量网络 G(V, E)的最小割是指容量最小的割。 

1.4.5 割的净流量

设 f 是容量网络 G(V, E)的一个可行流, (S, T)是 G 的一个割, 定义割的净流量 f(S, T)为:

  • f(S, T)=∑f(u, v)  u∈ S, v∈ T, <u, v>∈ E 或<v, u>∈ E。 

注意:

  • 在统计割的净流量时:反向弧的流量为负值,即如果<v, u>∈ E,那么在统计割的净流量时 f(u, v)是一个负值。 

  • 在统计割的容量时:不统计反向弧的容量。

例如,在下图中, S = { Vs, V1 },则 T = { V2, V3, V4, Vt }。

  • 割(S, T)的容量 c(S, T)为: c(S, T) = Cs2 + C14 + C13 = 4 + 2 + 2 = 8

  • 割(S, T)的净流量为: f(S, T) = fs2 + f21 + f14 + f13 = 3 + (-2) + 2 + 2 = 5

2. 最大流最小割定理

如何判定一个网络流是否是最大流?有以下两个定理。 

2.1 增广路定理 

设容量网络 G(V, E)的一个可行流为 f, f 为最大流的充要条件是在容量网络中不存在增广路。 

2.2 最大流最小割定理 

对容量网络 G(V, E),其最大流的流量等于最小割的容量。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/932.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

基于java+springboot+vue实现的校园一卡通系统(文末源码+Lw+ppt)23-26

摘 要 近些年来&#xff0c;随着科技的飞速发展&#xff0c;互联网的普及逐渐延伸到各行各业中&#xff0c;给人们生活带来了十分的便利&#xff0c;校园一卡通利用计算机网络实现信息化管理&#xff0c;使整个校园一卡通管理的发展和服务水平有显著提升。 本文拟采用java技…

Aws Nat Gateway

要点 NAT网关要能访问外网&#xff0c;所以需要部署在有互联网网关的Public子网中。 关键&#xff1a; NAT网关创建是选择子网&#xff0c;一定要选择公有子网&#xff08;有互联网网关子网&#xff09; 特别注意&#xff1a; 新建nat网关的时候&#xff0c;选择的子网一定…

【C++】哈希结构

目录 一&#xff0c;哈希结构的认识 1-1&#xff0c;哈希思想 1-2&#xff0c;哈希函数 1-3&#xff0c;哈希冲突 1-3-1&#xff0c;闭散列 1-3-2&#xff0c;开散列 二&#xff0c;哈希结构的封装实现 2-1&#xff0c;闭散列封装实现 ​编辑 2-2&#xff0c;开散列封…

genetic algorithm

genetic algorithm 遗传算法

C++入门5.内联函数,auto关键字,基于范围的for循环(C++11),指针空值nullptr(C++11)

本篇是C过度C初始的最后一篇&#xff0c;快快对入门须知的知识有个印象后&#xff0c;就可以顺顺利利的学习C的类了。 目录 内联函数&#xff1a; 内联函数的特性&#xff1a; auto关键字(C11)&#xff1a; auto简介&#xff1a; 使用细则&#xff1a; auto不能推导的场…

基于java+springboot+vue实现的物业管理系统(文末源码+Lw+ppt)23-23

摘 要 快速发展的社会中&#xff0c;人们的生活水平都在提高&#xff0c;生活节奏也在逐渐加快。为了节省时间和提高工作效率&#xff0c;越来越多的人选择利用互联网进行线上打理各种事务&#xff0c;通过线上物业管理系统也就相继涌现。与此同时&#xff0c;人们开始接受方…

K8S基础概念

一、MASTER Kubernetes里的Master指的是集群控制节点&#xff0c;在每个Kubernetes集群里都需要有一个Master来负责整个集 群的管理和控制&#xff0c;基本上 Kubernetes的所有控制命令都发给它&#xff0c;它负责具体的执行过程&#xff0c;我们后 面执行的所有命 令基本都…

idea2024.1发布,lambda多语句的内联断点,增强spring图标等新特性,你没玩过的全新版本

这里是weihubeats,觉得文章不错可以关注公众号小奏技术 简述 2024-04-04 idea官方宣布发布了 一些重大更新 随后我便下载了你没玩过的全新版本IntelliJ IDEA Ultimeate版本试玩 然后脑子里面想到这个 开玩笑 实际下载完是这样 更新内容 更新的内容比较多 关键亮点主要有如下…

Redis入门到通关之数据结构解析-RedisObject

文章目录 ☃️概述☃️源码 ☃️概述 RedisObject 是 Redis 中表示数据对象的结构体&#xff0c;它是 Redis 数据库中的基本数据类型的抽象。在 Redis 中&#xff0c;所有的数据都被存储为 RedisObject 类型的对象。 RedisObject 结构体定义如下&#xff08;简化版本&#xf…

MDC搭配ttl

1.MDC 1.简介 MDC 介绍​ MDC&#xff08;Mapped Diagnostic Context&#xff0c;映射调试上下文&#xff09;是 log4j 和 logback 提供的一种方便在多线程条件下记录日志的功能。MDC 可以看成是一个与当前线程绑定的Map&#xff0c;可以往其中添加键值对。MDC 中包含的内容可…

CSS实现广告自动轮播

实现原理 该广告轮播功能的实现主要依靠HTML和CSS。HTML负责搭建轮播框架&#xff0c;而CSS则控制样式和动画效果。通过CSS中的关键帧动画&#xff08;Keyframes&#xff09;&#xff0c;我们可以定义图片在容器内的滚动效果&#xff0c;从而实现轮播功能。 HTML结构 首先&am…

如何搭建线下陪玩系统(本地伴游、多玩圈子)APP小程序H5多端前后端源码交付,支持二开!

一、卡顿的优化方法 1、对陪玩系统源码中流媒体传输的上行进行优化&#xff0c;通过提升推流端的设备性能配置、推流边缘CDN节点就近选择等方式解决音视频数据源流的卡顿。 2、对陪玩系统源码中音视频数据的下载链路进行优化&#xff0c;通过选择更近更优质的CDN边缘节点来减少…

Navicat导入sql文件图文教程

本文使用的MySQL工具为:Navicat.默认已经连接数据库!! 步骤: 1.右键自己的数据库,选择新建数据库. 2.输入数据库名称&#xff0c;字符集选择“utf8”&#xff0c;排序规则选择“ utf8_general_ci”,确定. 3.双击新建好的“数据库”。右键点击“运行SQL文件”。 4.选择本地的s…

linux信号相关概念

signal 信号引入什么是信号&#xff1f;如何产生信号&#xff1f;通过按键产生信号调用系统函数向进程发信号系统调用函数发送信号的流程: 由软件条件产生信号软件发送信号的流程&#xff1a; 硬件异常产生信号硬件异常的流程&#xff1a; Deliver、Pending、Block概念信号在内…

Vue 查看真实请求地址

当你在项目中配置了proxy代理&#xff0c;前端在浏览器开发调试的时候&#xff0c;是看不到真是的请求地址的。 这时候&#xff0c;后端要说话了&#xff1a;你这连的是我的地址吗&#xff1f;网络里这显示的也不对吧~ 前端: 额、不是在这里看的。既然你不相信我&#xff0c;…

替代普通塑料吸头的PFA移液吸头

目前市场上的规格&#xff1a;0.01ml、0.05ml、0.1ml、0.2ml、0.5ml、1ml、2ml、5ml、10ml等均可定制加工PFA材质枪头&#xff0c;可以适配市场上大部分移液枪&#xff0c;普兰德&#xff0c;大龙&#xff0c;赛默飞&#xff0c;赛多利斯&#xff0c;力辰、吉尔森&#xff0c;瑞…

K8S哲学 - probe 探针

探针分类&#xff1a; liveness probe readiness probe startup probe Liveness Probe&#xff1a;用于检查容器是否还在运行。如果 Liveness Probe 失败&#xff0c;Kubernetes 会杀死容器&#xff0c;然后根据你的重启策略来决定是否重新启动容器。常见的做法是使用与 Readin…

error解决expression before ‘static‘

问题现象 报警如下 跳转到提示第125行&#xff0c;但是这行明显是没有问题的。 问题分析 经过排查可以看到&#xff0c;是120行的末尾\在S32DS编译器里面被认为是“接下一行”的意思&#xff0c;120行注释掉之后&#xff0c;后面的121行、122行、123行均被注释掉&#xff0c;…

2024年3月 青少年软件编程(图形化) 等级考试试卷(一级)

2024.3青少年软件编程&#xff08;图形化&#xff09; 等级考试试卷&#xff08;一级&#xff09; 一、 单选题(共 25 题&#xff0c; 共 50 分) 1.单击下列哪个按钮&#xff0c; 能够让舞台变为“全屏模式” &#xff1f; &#xff08; &#xff09; A. B. C. D. 标准答案&am…

Redis系列3:高可用之主从架构

1 主从复制介绍 上一篇《Redis系列2&#xff1a;数据持久化提高可用性》中&#xff0c;我们介绍了Redis中的数据持久化技术&#xff0c;包括 RDB快照 和 AOF日志 。有了这两个利器&#xff0c;我们再也不用担心机器宕机&#xff0c;数据丢失了。 但是持久化技术只是解决了Redi…