Luogu P3376
最大流是网络流模型的一个基础问题。
网络流模型就是一种特殊的有向图。
概念:算法
对于网络流模型\(G=(V,E)\)(\(V\)为点集,\(E\)为边集)有以下性质:网络
最大流问题,用通俗的方式解释就是从源点S到汇点T输送流量,询问最多有多少流量能输送到汇点。
对于这样的问题,咱们引入一些新概念:函数
\(Ford-Fulkerson\)方法:每一次寻找一条增广路径。根据木桶原理,该增广路的最大流量\(f_{max}<=min(c(x,y)-f(x,y))\)。据此从源点发送流量至汇点并修改路径上全部弧的残量,直到没法找到增广路为止。
\(Edmons-Karp\)算法:基于\(Ford-Fulkerson\)方法的一种算法,核心就是利用\(BFS\)搜索源点到汇点的最短增广路,根据\(Ford-Fulkerson\)方法修改残量网络。复杂度最坏是\(O(nm^2)\)
因此其实咱们在求最大流相关问题时,其实只利用到了残量网络,流量和容量通常并不须要记录。
关键点:有时候在求最大流时咱们可能须要缩减一条边的流量,因此咱们引入了反向边。当咱们选用了一条反向边时,至关于缩减正向边的流量。很容易发现反向边的残量等于正向边的流量(最多刚好抵消正向流量)。
这样就能保证算法的正确性。spa
#include<cstdio> #include<algorithm> #include<queue> #include<cstring> using namespace std; struct data { int to,next,val; }e[2*100005]; int cnt,head[10005],prep[10005],pree[10005],flow[10005],ans; queue<int> que; int n,m,s,t,u,v,w; void add(int u,int v,int w) { e[++cnt].to=v; e[cnt].next=head[u]; head[u]=cnt; e[cnt].val=w; } int bfs(int s,int t) { while (!que.empty()) que.pop(); flow[s]=0x3f3f3f3f;//flow记录的是在增广路上通过该点的流量 que.push(s); for (int i=1;i<=n;i++) { prep[i]=-1;//用于记录前驱节点 pree[i]=0;//用于记录前驱边的编号 } prep[s]=0; while (!que.empty()) { int now=que.front(); que.pop(); if (now==t) break; for (int i=head[now];i;i=e[i].next) { if (e[i].val>0&&prep[e[i].to]==-1) { que.push(e[i].to); flow[e[i].to]=min(flow[now],e[i].val); pree[e[i].to]=i; prep[e[i].to]=now; } } } if (prep[t]!=-1) return flow[t]; else return -1; } void EK(int s,int t) { int delta=bfs(s,t);//寻找最短增广路的最大流量 while (delta!=-1) { ans+=delta; for (int j=t;j;j=prep[j]) { e[pree[j]].val-=delta; e[pree[j]^1].val+=delta; //链式前向星存边从编号2开始存储能够经过异或1快速取得反向边的编号。 } delta=bfs(s,t); } } int main() { scanf("%d%d%d%d",&n,&m,&s,&t); cnt=1; for (int i=1;i<=m;i++) { scanf("%d%d%d",&u,&v,&w); add(v,u,0); add(u,v,w); //加入正反边 } EK(s,t); printf("%d",ans); return 0; }