浅谈网络流

网络流

流网络: G = ( V , E ) G=(V,E) G=(V,E)是一个有向图,网络中有两个特殊点:源点s与汇点t。容量用 c c c表示,流量用 f f f表示

流网络G中满足两个性质:1、容量限制(通过一条边的流量不会超过该边的容量),2、流量守恒(从源点s流出的量=最终到达汇点t的量;除了源点s和汇点t外,流入一个点的量=流出一个点的量)

因为不考虑负流量,所以对于 ∀ u , v ε V , f ( u , v ) = f ( v , u ) \forall u,v \varepsilon V, f(u,v)=f(v,u) u,vεV,f(u,v)=f(v,u)

f ( u , v ) f(u,v) f(u,v)为从 u u u v v v的流,流 f f f的值定义为:
∣ f ∣ = ∑ v ε V f ( s , v ) |f|=\sum_{v \varepsilon V}{f(s,v)} f=vεVf(s,v)
对于流网络 G = ( V , E ) G=(V,E) G=(V,E),设流 f f f G G G中的流。对于 G G G中的每条边 < u , v > ε E <u,v> \varepsilon E <u,v>εE,可以定义残留容量为在不超过容量限制的条件下,可以通过的额外的网络流量:
c f ( u , v ) = c ( u , v ) − f ( u , v ) c_{f}(u,v)=c(u,v)-f(u,v) cf(u,v)=c(u,v)f(u,v)
残留网络依然是一个流网络,容量由 c f c_{f} cf给出。设 f f f是流网络 G = ( V , E ) G=(V,E) G=(V,E)中的一个流, f ′ f' f是其残留网络 G f G_{f} Gf的一个流,则 f + f ′ f+f' f+f仍是网络 G G G的一个流。

增广路径:指的是残留网络 G f G_{f} Gf上源点 s s s到汇点 t t t的一条简单路径,该路径的残留容量为可以沿该路径增加的最多额外流量
c f ( p ) = m i n { c f ( u , v ) ∣ < u , v > ε p } c_{f}(p)=min\{c_{f}(u,v)|<u,v> \varepsilon p\} cf(p)=min{cf(u,v)<u,v>εp}
c f ( p ) > 0 c_{f}(p)>0 cf(p)>0

所以在残留网络中满足
c f ( u , v ) = { c ( u , v ) − f ( u , v ) , (u,v)  ε  E f ( v , u ) , (v,u)  ε  E c_{f}(u,v)= \begin{cases} c(u,v)-f(u,v), & \text{(u,v) $\varepsilon$ E} \\ f(v,u), & \text{(v,u) $\varepsilon$ E} \end{cases} cf(u,v)={c(u,v)f(u,v),f(v,u),(u,v) ε E(v,u) ε E
意思就是残留网络分为两种边,一种是原图中的边, c f ( u , v ) c_{f}(u,v) cf(u,v)就是表示这条边还能再流过多少流量,另一种是原图中的边的反向边, c f ( u , v ) c_{f}(u,v) cf(u,v)就是表示通过反向边能往回退多少流量

例:

p9tpSZF.jpg

上图为原图中每条边流量/容量

p9tpnde.jpg

上图为残留网络中正向边和反向边容量的情况。通过增广路径的定义,我们可知无法从残留网络中找到一条可以从源点s走到汇点t并且边的容量大于0的路径

一个网络中的最大流也称为最大可行流。

流网络 G = ( V , E ) G=(V,E) G=(V,E)的割 [ S , T ] [S,T] [S,T]将点集 V V V划分为 S S S T ( T = V − S ) T(T=V-S) T(T=VS)两部分,使得源点 s ε S s \varepsilon S sεS且汇点 t ε T t \varepsilon T tεT。符号 [ S , T ] [S,T] [S,T]代表一个边集合 { < u , v > ∣ < u , v > ε E , u ε S , v ε T } \{<u,v>|<u,v> \varepsilon E,u \varepsilon S,v \varepsilon T\} {<u,v><u,v>εE,uεS,vεT}。穿过割 [ S , T ] [S,T] [S,T]的流量定义为 f ( S , T ) f(S,T) f(S,T),割 [ S , T ] [S,T] [S,T]的容量定义为 c ( S , T ) c(S,T) c(S,T)
割的容量: c ( S , T ) = ∑ u ε S ∑ v ε T c ( u , v ) 割的流量: f ( S , T ) = ∑ u ε S ∑ v ε T f ( u , v ) − ∑ u ε T ∑ v ε S f ( u , v ) 割的容量:c(S,T)=\sum_{u \varepsilon S}\sum_{v \varepsilon T}c(u,v)\\ 割的流量:f(S,T)=\sum_{u \varepsilon S}\sum_{v \varepsilon T}f(u,v) - \sum_{u \varepsilon T}\sum_{v \varepsilon S}f(u,v) 割的容量:c(S,T)=uεSvεTc(u,v)割的流量:f(S,T)=uεSvεTf(u,v)uεTvεSf(u,v)
一个网络的最小割也就是该网络中容量最小的割。

割与流的关系:在一个流网络 G = ( V , E ) G=(V,E) G=(V,E)中,设其任意一个流为 f f f,且 [ S , T ] [S,T] [S,T] G G G的一个割,则通过割的流量为 f ( S , T ) = ∣ f ∣ f(S,T)=|f| f(S,T)=f。(从源点s流出的流量=流入汇点t的流量,所有流量一定通过某些边流过去)

推论:在一个流网络 G = ( V , E ) G=(V,E) G=(V,E)中,设其任意一个流为 f f f,任意一个割为 [ S , T ] [S,T] [S,T],必有 ∣ f ∣ ≤ c [ S , T ] |f| \leq c[S,T] fc[S,T]

最大流最小割定理:如果 f f f是具有源点s和汇点t的流网络 G = ( V , E ) G=(V,E) G=(V,E)中的一个流,则下列条件是等价的:
( 1 ) f 是 G 的一个最大流 ( 2 ) 残留网络 G f 不包含增广路径 ( 3 ) 对 G 的某个割 [ S , T ] , 有 ∣ f ∣ = c [ S , T ] (1)\quad f是G的一个最大流\\ (2)\quad 残留网络G_{f}不包含增广路径\\ (3)\quad 对G的某个割[S,T],有|f|=c[S,T] (1)fG的一个最大流(2)残留网络Gf不包含增广路径(3)G的某个割[S,T],f=c[S,T]
在求最大流算法中时间复杂度均为上限,与实际差距较大,可以简单认为EK算法可以求解点+边的和为 1 0 3 − 1 0 4 10^{3}-10^{4} 103104大小的数据量,Dinic算法可以求解点+边的和为 1 0 4 − 1 0 5 10^{4}-10^{5} 104105大小的数据量,求最大流时,EK算法和Dinic算法维护的都是残留网络。网络流问题的题目关键在于如何建图,怎么求只需要拉板子即可。

EK算法

时间复杂度上限 O ( n m 2 ) O(nm^{2}) O(nm2)

算法步骤:1、找增广路,2、更新残留网络( G f − > G f + f ′ G_{f}->G_{f+f'} Gf>Gf+f),一直到找不到增广路为止

更新残留网络:若正向边容量为 c 1 c_{1} c1,反向边容量为 c 2 c_{2} c2,假如多流了 k k k,所以正向边容量为 c 1 − k c_{1}-k c1k,反向边容量为 c 2 + k c_{2}+k c2+k

用邻接表的好处就是,如果边的下标从0开始,根据二进制运算的性质,它的反向边^1=它的正向边.

模板题

AC代码:
#include <bits/stdc++.h>
using namespace std;
using LL = long long;
int n, m, s, t;
int head[210], e[10010], ne[10010], idx, pre[210];
LL f[10010], w[210];
//f记录的是容量
//w数组是指从源点s开始走到第i点路径上所有边的容量的最小值
bool vis[210];
void add(int u, int v, int c) {
    //正向边
    e[idx] = v;
    f[idx] = c;
    ne[idx] = head[u];
    head[u] = idx++;
	//反向边
    e[idx] = u;
    f[idx] = 0;
    ne[idx] = head[v];
    head[v] = idx++;
}
bool bfs() {
    memset(vis, false, sizeof(vis));
    queue<int> q;
    q.push(s);
    vis[s] = true;
    w[s] = 1e18;
    while (!q.empty()) {
        int u = q.front();
        q.pop();
        for (int i = head[u]; ~i; i = ne[i]) {
            int v = e[i];
            if (!vis[v] && f[i]) {
                vis[v] = true;
                pre[v] = i;//前驱边
                w[v] = min(w[u], f[i]);//到当前结点的最小容量=min(上一个点的最小容量,当前边的容量)
                if (v == t) {
                    return true;
                }
                q.push(v);
            }
        }
    }
    return false;
}
LL EK() {
    LL ans = 0;
    while (bfs()) {
        //由于每次只走一条增广路的边,所以每次都要加上w[t]
        //表示每一条增广路上从源点s走到汇点t这条路径上边的容量的最小值
        ans += w[t];
        for (int i = t; i != s; i = e[pre[i] ^ 1]) {//下一个点是前驱边的反向边所到达的点
            //前驱边所到达的点对应的流量减
            f[pre[i]] -= w[t];
            //前驱边的反向边所到达的点对应的流量加
            f[pre[i] ^ 1] += w[t];
        }
    }
    return ans;
}
int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cin >> n >> m >> s >> t;
    memset(head, -1, sizeof(head));
    for (int i = 0; i < m; i++) {
        int u, v, c;
        cin >> u >> v >> c;
        add(u, v, c);
    }
    cout << EK() << '\n';
    return 0;
}

Dinic算法

时间复杂度上限 O ( n 2 m ) O(n^2m) O(n2m)

步骤:1、bfs->建立分层图,判断有没有增广路2、dfs->找出所有能增广的路径,因为dfs不回溯,所以时间复杂度不是指数级别

Dinic算法对各种优化非常敏感,需要谨慎优化,少加一个优化都可能会TLE

AC代码:
#include <bits/stdc++.h>
using namespace std;
using LL = long long;
int n, m, s, t;
int e[10010], ne[10010], head[210], idx;
int d[210], cur[210];
LL f[10010], w[10010];
void add(int u, int v, int c) {
    e[idx] = v;
    f[idx] = c;
    ne[idx] = head[u];
    head[u] = idx++;
    e[idx] = u;
    f[idx] = 0;
    ne[idx] = head[v];
    head[v] = idx++;
}
bool bfs() {
    memset(d, -1, sizeof(d));
    queue<int> q;
    q.push(s);
    d[s] = 0;
    cur[s] = head[s];
    while (!q.empty()) {
        int u = q.front();
        q.pop();
        for (int i = head[u]; ~i; i = ne[i]) {
            int v = e[i];
            if (d[v] == -1 && f[i]) {
                //d[]建立分层图,强制把u的下一个点连到v上
                d[v] = d[u] + 1;
                //cur[]记录当前点应该从所有连出去的边的哪一条开始遍历
                //因为在dfs的时候会删掉分层图上的边且永远不会用到了
                cur[v] = head[v];
                if (v == t) {
                    return true;
                }
                q.push(v);
            }
        }
    }
    return false;
}
LL dfs(int u, LL limit) {
    if (u == t) {
        return limit;
    }
    LL flow = 0;
    for (int i = cur[u]; ~i && flow < limit; i = ne[i]) {
        int v = e[i];
        cur[u] = i;
        if (d[v] == d[u] + 1 && f[i]) {
            LL now = dfs(v, min(f[i], limit - flow));
            if (now == 0) {
                //说明v这个点已经流满了 以后绝对用不到了 所以从分层图上删掉
                d[v] = -1;
            }
            f[i] -= now;
            f[i ^ 1] += now;
            flow += now;
        }
    }
    return flow;
}
LL Dinic() {
    LL ans = 0, flow;
    while (bfs()) {//每一次尽可能多的建立分层图 找到增广路
        while (flow = dfs(s, 1e18)) {//每一次求得新的增广路的流量
            ans += flow;
        }
    }
    return ans;
}
int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cin >> n >> m >> s >> t;
    memset(head, -1, sizeof(head));
    for (int i = 0; i < m; i++) {
        int u, v, c;
        cin >> u >> v >> c;
        add(u, v, c);
    }
    cout << Dinic() << '\n';
    return 0;
}

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

音视频技术开发周刊 | 291

每周一期&#xff0c;纵览音视频技术领域的干货。 新闻投稿&#xff1a;contributelivevideostack.com。 谷歌将 AI 芯片团队并入云计算部门 追赶微软和亚马逊 OpenAI推出的ChatGPT获得一定成功&#xff0c;微软是OpenAI的重要投资者&#xff0c;它将ChatGPT植入必应搜索&#…

基于STATCOM的风力发电机稳定性问题仿真分析(Simulink)

&#x1f4a5;&#x1f4a5;&#x1f49e;&#x1f49e;欢迎来到本博客❤️❤️&#x1f4a5;&#x1f4a5; &#x1f3c6;博主优势&#xff1a;&#x1f31e;&#x1f31e;&#x1f31e;博客内容尽量做到思维缜密&#xff0c;逻辑清晰&#xff0c;为了方便读者。 ⛳️座右铭&a…

thinkphp6 JWT报错 ‘“kid“ empty, unable to lookup correct key‘解决办法

文章目录 JWT简介安装问题先前的代码解决办法修改后的完整代码 JWT简介 JWT全称为Json Web Token&#xff0c;是一种用于在网络应用之间传递信息的简洁、安全的方式。JWT标准定义了一种简洁的、自包含的方法用于通信双方之间以JSON对象的形式安全的传递信息。由于它的简洁性、可…

关于SpringBoot整合Websocket实现简易对话聊天窗

前言 官网链接&#xff1a;Websocket Websocket 是什么&#xff1f;它可以将两个独立的浏览器窗口作为通信的两端。 这种形式的通信与传统的 HTTP、TCP 所不同。传统的 HTTP 请求—响应协议是无法实现实时通信的&#xff0c;也就是说&#xff0c;只能由客户端向服务端发送请求…

英语中主语从句的概念及其用法,例句(不断更新)

主语从句的原理 主语从句是一种充当整个句子主语的从句&#xff0c;主语从句构成的句子&#xff0c;是要以引导词开头的。它可以用名词性从属连词、关系代词或关系副词引导。主语从句通常位于谓语动词之前&#xff0c;用于表示动作、状态或事件的主体。 以下是一些常用的引导主…

MiniGPT-4,开源了!

上个月GPT-4发布时&#xff0c;我曾写过一篇文章分享过有关GPT-4的几个关键信息。 当时的分享就提到了GPT-4的一个重要特性&#xff0c;那就是多模态能力。 比如发布会上演示的&#xff0c;输入一幅图&#xff08;手套掉下去会怎么样&#xff1f;&#xff09;。 GPT-4可以理解…

推荐几个可以免费使用的ChatGPT工具

在ChatGPT相关API推出之后&#xff0c;各种工具如雨后春笋一般层出不穷&#xff0c;这篇文章就列举一些日常使用到的工具。 工具列表 OpenAI 在线读取任意网页内容包括视频&#xff08;YouTube&#xff09;&#xff0c;并根据这些内容回答你提出的相关问题或总结相关内容支持…

Mysql-视图

视图 视图介绍视图的语法视图的检查选项CASCADEDLOCAL 视图的更新视图的作用 视图介绍 视图&#xff08;View&#xff09;是一种虚拟存在的表。视图中的数据并不在数据库中实际存在&#xff0c;行和列数据来自定义视图的查询中使用的表&#xff0c;并且是在使用视图时动态生成的…

【配电网优化】基于串行和并行ADMM算法的配电网优化研究(Matlab代码实现)

&#x1f4a5;&#x1f4a5;&#x1f49e;&#x1f49e;欢迎来到本博客❤️❤️&#x1f4a5;&#x1f4a5; &#x1f3c6;博主优势&#xff1a;&#x1f31e;&#x1f31e;&#x1f31e;博客内容尽量做到思维缜密&#xff0c;逻辑清晰&#xff0c;为了方便读者。 ⛳️座右铭&a…

2023年值得关注的20大网络安全趋势

随着围绕所有企业的数字革命&#xff0c;无论大小&#xff0c;企业、组织甚至政府都依赖计算机化系统来管理他们的日常活动&#xff0c;从而使网络安全成为保护数据免受各种在线攻击或任何未经授权访问的主要目标。 随着数据泄露、勒索软件和黑客攻击的新闻成为常态&#xff0…

java获取文件夹下所有文件名

在进行 Java编程的过程中&#xff0c;我们会经常使用到文件夹下的所有文件名。有时候可能不太熟悉 Java编程的小伙伴们会发现&#xff0c;在代码中没有获取到所有的文件名&#xff0c;那么这个时候我们应该怎么去获取到这些文件呢&#xff1f;在进行 Java编程的过程中&#xff…

深度学习卷积神经网络学习小结

————————————————————————————————————————————— 学习小结&#xff1a; 1&#xff09;深度学习综述&#xff1b;&#xff08;2&#xff09;对卷积神经网络&#xff08;CNN&#xff09;的认识&#xff1b;&#xff08;3&#xff0…

08 Kubernetes应用配置管理

课件 在 Kubernetes 中&#xff0c;secret 是一种用于存储敏感信息的对象。Kubernetes 支持以下三种类型的 secret&#xff1a; Opaque&#xff1a;这是默认的 secret 类型&#xff0c;可以用于存储任何类型的数据&#xff0c;包括字符串、二进制数据等。 Service Account&…

Python研究生组蓝桥杯(省二)参赛感受

为什么参加蓝桥杯&#xff1f; 今年是读研的第一年&#xff0c;看着我简历上的获奖经历“优秀学生干部”“优秀志愿者”“优秀毕业生”......大学四年&#xff0c;我竟然没有一次竞赛类的经历&#xff0c;也没有拿得出手的项目&#xff0c;我陷入了深深的焦虑。 听说蓝桥杯的…

[架构之路-183]-《软考-系统分析师》-13-系统设计 - 高内聚低耦合详解、图解以及技术手段

目录 第1章 什么是高内聚低耦合 1.1 概念 1.2 目的 1.3 什么时候需要进行高内聚低耦合 1.4 什么系统需要关注高内聚、低耦合 第2章 分类 2.1 内聚的分类 2.2 耦合的分类 第3章 增加高内聚降低耦合度的方法 3.1 增加高内聚 3.2 降低耦合度 第1章 什么是高内聚低耦…

超详细的R语言svykm函数绘制复杂抽样设计数据cox回归生存曲线(Kaplan-Meier)

我们在既往的文章《R语言绘制复杂抽样设计数据cox回归生存曲线(Kaplan-Meier)》中介绍了怎么使用jskm包的svykm函数绘制复杂抽样设计数据cox回归生存曲线(Kaplan-Meier)&#xff0c;但是有粉丝觉得讲得不够详细&#xff0c;希望讲得详细一点&#xff0c;今天我们继续来介绍一下…

排序算法 — 归并排序

文章目录 归并排序介绍从下往上的归并排序从上往下的归并排序 归并排序实现从上往下的归并排序从下往上的归并排序 归并排序的时间复杂度和稳定性归并排序时间复杂度归并排序稳定性 代码实现核心&总结 每日一道算法&#xff0c;提高脑力。第五天(时隔7天&#xff0c;终于回…

Mybatis 框架 ( 一 ) 基本步骤

1.概念 1.1.什么是Mybatis框架 &#xff08;1&#xff09;Mybatis是一个半ORM&#xff08;Object Relation Mapping 对象关系映射&#xff09;框架&#xff0c;它内部封装了JDBC&#xff0c;开发时只需要关注SQL语句本身&#xff0c;不需要花费精力去处理加载驱动、创建连接、…

【工具使用】- git实现gitee托管代码以及检出代码

1. 下载Git工具 git下载地址1&#xff1a;https://git-scm.com/download/win git下载2&#xff1a;https://mirrors.tuna.tsinghua.edu.cn/github-release/git-for-windows/git/Git%20for%20Windows%202.40.1/ 下载完成后安装 安装直接执行exe可执行程序&#xff0c;下一步…

Packet Tracer - 配置 RIPv2

Packet Tracer - 配置 RIPv2 目标 第 1 部分&#xff1a;配置 RIPv2 第 2 部分&#xff1a;验证配置 拓扑图 背景信息 尽管在现代网络中极少使用 RIP&#xff0c;但是作为了解基本网络路由的基础则十分有用。 在本活动中&#xff0c;您将使用适当的网络语句和被动接口配置…