最大流的Ford-Fulkerson方法初步

2024-06-22 18:58

本文主要是介绍最大流的Ford-Fulkerson方法初步,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

     网络或者网络流是一种基本的数据结构,而最大流则是网络流上的基本问题。网络本质上是一个符合一定条件的有向带权图。而最大流是最大可行流的简称,可行流是一个定义在网络流上的符合一定条件的函数。这些定义条件对于算法的正确性是不可缺少的,不过本文不描述可行流的数学条件,只介绍最大流最常用的Ford-Fulkerson方法的原理。


    如上左的权图称作容量网络,边权值表示该边的容量。上中的权图称为流量网络,边权值表示该边经过的流量(这显然是一个可行流)。上右的图称为残量网络,边权值表示该边还能容纳多少流量。很显然,当可行流完全取0的时候,残量网络就是容量网络。

    为了方便描述,给出增广路径的概念。增广路径就是残量网络上从源到汇的一条可行路径,可行就是边权值均为正。最大流算法的基本理论就是:最大流的充要条件是残量网络中不存在增广路径。因此,当可以在残量网络中找到一条增广路径时,就说明当前流不是最大流,同时也说明当前流至少可以加上增广路径的最小权值形成新的可行流。所以,最大流的基本算法就是在残量网络是寻找增广路径,然后累加即可;直到不存在增广路径即可。寻找增广路径可以使用搜索。


    此时仍然有一个技术问题,关于反向边。考虑上图左的容量网络,假设第一次搜索到的增广路径如上中所示,则残量网络如上右所示。此时我们发现该残量网络已经不存在增广路径了,于是达到了最大流,答案为2。但很明显正确答案是4。此现象出现的原因是中间那条边。这个网络上要达到最大流就不能选用中间那条边,但是搜索时并不知道这一点。为了处理这个问题,加上反向边,初始时反向边容量均为0;反向边一样能够参与增广路径的搜索;搜索时,正向边每减去一个值,反向边就加上一个值。如下所示,与之前一模一样的搜索过程,得到了下右所示的残量网络。在这个网络上,经过中间的反向边仍然能搜索到增广路径。最后可以得到正确答案。所以,正向边、反向边各用一次,实际上就相当于没有选用。但使用反向边,就不必在搜索过程中回溯。技术上,反向边提供了“反悔”的机会。


    明白增广路径与反向边后,理论上就能实现最大流了。最大流中经常说的FF方法就是指的基于此原理的方法。在此原理上,又有一些新的算法用于提高增广路径搜索的效率,但原理上仍然是基于FF方法的,包括EK、Dinic算法等。这些算法平衡性比较好,既能够满足绝大部分题目的需要,编码上也不过于复杂,因此FF类方法是最常用的最大流解法。hdu1532是一道基本的最大流,这里展示了FF方法的原理,使用了没有任何优化的增广路径搜索。

#include <cstdio>
#include <vector>
#include <algorithm>
using namespace std;
#define SIZE 205typedef int weight_t;int N,M;//边的结构
struct edge_t{int node;weight_t c;//c为容量edge_t* next;edge_t* redge;//指向反向边bool isU;//正向边
}Edge[SIZE*2];
int ECnt;//图的邻接表
edge_t* Ver[SIZE];void init(){ECnt = 0;fill(Ver+1,Ver+M+1,(edge_t*)0);
}//生成双向边
void mkEdge(int a,int b,weight_t c){int t1 = ECnt++;int t2 = ECnt++;Edge[t1].node = b;Edge[t1].c = c;Edge[t1].next = Ver[a];Edge[t1].redge = Edge + t2;Edge[t1].isU = true;Ver[a] = Edge + t1;Edge[t2].node = a;Edge[t2].c = 0;Edge[t2].next = Ver[b];Edge[t2].redge = Edge + t1;Edge[t2].isU = false;Ver[b] = Edge + t2;
}bool read(){if ( EOF == scanf("%d%d",&N,&M) )return false;init();for(int i=0;i<N;++i){int a,b,c;scanf("%d%d%d",&a,&b,&c);mkEdge(a,b,c);}return true;
}
bool F[SIZE];
//u当前节点,f为当前流
int dfs(int u,int f){if ( u == M ) return f;F[u] = true;for(edge_t*p=Ver[u];p;p=p->next){int v = p->node;if( F[v] ) continue;weight_t c = p->c;if ( c > 0 ){int t = dfs(v,min(c,f));if ( 0 == t ) continue;p->c -= t;p->redge->c += t;return t;}}return 0;
}int solve(){int ret = 0;while(1){fill(F+1,F+M+1,false);int t = dfs(1,INT_MAX);if ( 0 == t ) return ret;ret += t;}
}int main(){while( read() )printf("%d\n",solve());return 0;
}




这篇关于最大流的Ford-Fulkerson方法初步的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1085134

相关文章

Python中注释使用方法举例详解

《Python中注释使用方法举例详解》在Python编程语言中注释是必不可少的一部分,它有助于提高代码的可读性和维护性,:本文主要介绍Python中注释使用方法的相关资料,需要的朋友可以参考下... 目录一、前言二、什么是注释?示例:三、单行注释语法:以 China编程# 开头,后面的内容为注释内容示例:示例:四

一文详解Git中分支本地和远程删除的方法

《一文详解Git中分支本地和远程删除的方法》在使用Git进行版本控制的过程中,我们会创建多个分支来进行不同功能的开发,这就容易涉及到如何正确地删除本地分支和远程分支,下面我们就来看看相关的实现方法吧... 目录技术背景实现步骤删除本地分支删除远程www.chinasem.cn分支同步删除信息到其他机器示例步骤

在Golang中实现定时任务的几种高效方法

《在Golang中实现定时任务的几种高效方法》本文将详细介绍在Golang中实现定时任务的几种高效方法,包括time包中的Ticker和Timer、第三方库cron的使用,以及基于channel和go... 目录背景介绍目的和范围预期读者文档结构概述术语表核心概念与联系故事引入核心概念解释核心概念之间的关系

在Linux终端中统计非二进制文件行数的实现方法

《在Linux终端中统计非二进制文件行数的实现方法》在Linux系统中,有时需要统计非二进制文件(如CSV、TXT文件)的行数,而不希望手动打开文件进行查看,例如,在处理大型日志文件、数据文件时,了解... 目录在linux终端中统计非二进制文件的行数技术背景实现步骤1. 使用wc命令2. 使用grep命令

Python中Tensorflow无法调用GPU问题的解决方法

《Python中Tensorflow无法调用GPU问题的解决方法》文章详解如何解决TensorFlow在Windows无法识别GPU的问题,需降级至2.10版本,安装匹配CUDA11.2和cuDNN... 当用以下代码查看GPU数量时,gpuspython返回的是一个空列表,说明tensorflow没有找到

XML重复查询一条Sql语句的解决方法

《XML重复查询一条Sql语句的解决方法》文章分析了XML重复查询与日志失效问题,指出因DTO缺少@Data注解导致日志无法格式化、空指针风险及参数穿透,进而引发性能灾难,解决方案为在Controll... 目录一、核心问题:从SQL重复执行到日志失效二、根因剖析:DTO断裂引发的级联故障三、解决方案:修复

C++ 检测文件大小和文件传输的方法示例详解

《C++检测文件大小和文件传输的方法示例详解》文章介绍了在C/C++中获取文件大小的三种方法,推荐使用stat()函数,并详细说明了如何设计一次性发送压缩包的结构体及传输流程,包含CRC校验和自动解... 目录检测文件的大小✅ 方法一:使用 stat() 函数(推荐)✅ 用法示例:✅ 方法二:使用 fsee

Java继承映射的三种使用方法示例

《Java继承映射的三种使用方法示例》继承在Java中扮演着重要的角色,它允许我们创建一个类(子类),该类继承另一个类(父类)的所有属性和方法,:本文主要介绍Java继承映射的三种使用方法示例,需... 目录前言一、单表继承(Single Table Inheritance)1-1、原理1-2、使用方法1-

SpringBoot中使用Flux实现流式返回的方法小结

《SpringBoot中使用Flux实现流式返回的方法小结》文章介绍流式返回(StreamingResponse)在SpringBoot中通过Flux实现,优势包括提升用户体验、降低内存消耗、支持长连... 目录背景流式返回的核心概念与优势1. 提升用户体验2. 降低内存消耗3. 支持长连接与实时通信在Sp

Conda虚拟环境的复制和迁移的四种方法实现

《Conda虚拟环境的复制和迁移的四种方法实现》本文主要介绍了Conda虚拟环境的复制和迁移的四种方法实现,包括requirements.txt,environment.yml,conda-pack,... 目录在本机复制Conda虚拟环境相同操作系统之间复制环境方法一:requirements.txt方法