代码来自刘汝佳紫书上的代码,最大流使用EK算法,最短路径使用算法为SPFA。
解释:
继承寻找最大流算法的思路,在一个网络当中,最大流的值是唯一的,但是路径可以有不同,寻找最大流的算法是每次从起点寻找一条到终点的增广路径,每次把这条路径经过的边都添加增广路径找到的流量,然后更改每条边上的流量以及反向变的值,直到找不到这样一条增广路径,就算是找完最大流了。之前找增广路径的方法是随机找的,如果是最小费用,我们就把费用看做边上的另外一个权值,以这个权值按照最短路径的方式去找增广路径。最后得到最大流的同时也得到了最小的费用。
const int maxn=10001;
struct Edge//边
{
int from,to,cap,flow,cost;//出点,入点,容量,当前流量,费用(也就是权值)
Edge(int u,int v,int c,int f,int w):from(u),to(v),cap(c),flow(f),cost(w){}
};
struct MCMF
{
int n,m;
vector<Edge> edges;//保存表
vector<int> G[maxn];//保存邻接关系
int inq[maxn];//判断一个点是否在队列当中(SPFA算法当中要用)
int d[maxn];//起点到d[i]的最短路径保存值
int p[maxn];//用来记录路径,保存上一条弧
int a[maxn];//找到增广路径后的改进量
void init(int n)//初始化
{
this->n=n;
for(int i=0;i<=n;i++)
G[i].clear();
edges.clear();
}
void AddEdge(int from,int to,int cap,int cost)//添加边
{
edges.push_back(Edge(from,to,cap,0,cost));//正向
edges.push_back(Edge(to,from,0,0,-cost));//反向
m=edges.size();
G[from].push_back(m-2);//按照边的编号保存邻接关系
G[to].push_back(m-1);
}
bool BellmanFord(int s,int t,int& flow,long long& cost)//最短路径算法
{
for(int i=0;i<=n;i++)
d[i]=INT_MAX;
memset(inq,0,sizeof(inq));
d[s]=0;
inq[s]=1;
p[s]=0;
a[s]=INT_MAX;
queue<int> Q;
Q.push(s);
while(!Q.empty())
{
int u=Q.front();
Q.pop();
inq[u]=0;
for(int i=0;i<G[u].size();i++)
{
Edge& e=edges[G[u][i]];
if(e.cap>e.flow&&d[e.to]>d[u]+e.cost)//寻找满足容量大于流量的可松弛边
{
d[e.to]=d[u]+e.cost;
p[e.to]=G[u][i];
a[e.to]=min(a[u],e.cap-e.flow);
if(!inq[e.to])//是否在队列当中
{
Q.push(e.to);
inq[e.to]=1;
}
}
}
}
if(d[t]==INT_MAX)//如果d[t]没有被更新,相当于没找到增广路径,则没有最大流也没有最小费用
return false;
flow+=a[t];//更新最大流
cost+=(long long )d[t]*(long long)a[t];//单位流量乘以单位路径长度用来计算消耗
for(int u=t;u!=s;u=edges[p[u]].from)//通过使用p[]保存的上一个边的值来对刚刚找到的增广路径上面的流量进行更新
{
edges[p[u]].flow+=a[t];//正向变更新
edges[p[u]^1].flow-=a[t];//反向变更新(用位运算实现的)
}
return true;
}
int MincostMaxflow(int s,int t,long long& cost)//计算从s到t的最小消耗cost,返回最大流
{
int flow = 0;
cost=0;
while(BellmanFord(s,t,flow,cost));//不断寻找最短增广路径,直到找不到为止
return flow;
}
};