#include <bits/stdc++.h>
using namespace std;
struct edge{int to,cap,rev;};
vector<edge>g[100003];//图的邻接表
bool used[100003];//DFS中用到的访问标记
//向图中增加一条从S到T容量为CAP的边
void add_edge(int from,int to,int cap){
g[from].push_back((edge){to,cap,g[to].size()});
g[to].push_back((edge){from,0,g[from].size()-1});
}//通过DFS寻找增广路
int dfs(int v,int t,int f){
if(v==t)return f;
used[v]=true;
for(int i=0;i<g[v].size();i++){
edge &e=g[v][i];
if(!used[e.to]&&e.cap>0){
int d=dfs(e.to,t,min(f,e.cap));
if(d>0){
e.cap-=d;
g[e.to][e.rev].cap+=d;
return d;
}
}
}
return 0;
}
//求最大流
int max_flow(int s,int t){
int flow=0;
for(;;){
memset(used,0,sizeof(used));
int f=dfs(s,t,0x3f3f3f3f);;
if(f==0)return flow;
flow+=f;
}
}
int main(){
add_edge(0,1,10);
add_edge(0,2,2); add_edge(1,2,6);
add_edge(1,3,6); add_edge(3,2,3);
add_edge(3,4,8); add_edge(2,4,5);
cout<<max_flow(0,4)<<endl;
}
最大流&最小割
——Ford-Fulkerson增广路算法
一个定理:
二分图的最小点权覆盖集对应最大点权独立集
最小点权覆盖集的建图方法:
1、增加源点 s,连接 s 到 x 集合中所有点,边权是相应点的点权
2、增加汇点 t,连接 y 集合中所有点到 t,边权是相应点的点权
3、对原图中的边,将边权变成无穷大。此图的最大流就是二分图的最小点权覆盖,所有点权和减去最大流就是此图的最大点权独立集