网络流最大流java,网络流（五）有上下限的最大流

最新推荐文章于 2024-02-03 23:40:48 发布

困困龙龙

最新推荐文章于 2024-02-03 23:40:48 发布

阅读量231

点赞数

文章标签：网络流最大流java

传送门：

问题模型：

给定一个加权的有向图，满足：

(1)容量限制条件：

(2)流量平衡条件：

(2)中的

即除了源汇外，所有点都满足流量平衡条件，则称G为有源汇网络；否则

，即不存在源汇，所有点都满足流量平衡条件，则称G为无源汇网络。

将这类问题由易到难一一解决：

问题[1] 求无源汇的网络有上下界的可行流

由于下界是一条弧上的流必需要满足的确定值。下面引入必要弧的概念：必要弧是一定流要满的弧。必要弧的构造，将容量下界的限制分离开了，从而构造了一个没有下界的网络G’：

1．将原弧(u,v)分离出一条必要弧：

。(红色表示)

2．原弧：

。

由于必要弧的有一定要满的限制，将必要弧“拉”出来集中考虑：

添加附加源x, 附加汇y。想像一条不限上界的(y, x)，用必要弧将它们“串”起来，即对于有向必要弧(u, v)，添加(u, y)，(x, v)，容量为必要弧容量。这样就建立了一个等价的网络。

一个无源汇网络的可行流的方案一定是必要弧是满的。若去掉(y, x)后，附加源x到附加汇y的最大流，能使得x的出弧或者y的入弧都满，充要于原图有可行流。

算法：

1. 按上述方法构造新网络(分离必要弧，附加源汇)

2. 求附加源x到附加汇y的最大流

3. 若x的出弧或y的入弧都满，则有解，将必要弧合并回原图；否则，无解。

问题[2] 求有源汇的网络有上下界的可行流

加入边(t, s)，下界为0(保证不会连上附加源汇x, y)，不限上界，将问题[2]转化为问题[1]来求解。

调用dinic算法

1 bool lowbound_flow(int n, int source, intsink)2 {3 init(n + 2);4 vectortot_in(n + 1), tot_out(n + 1);5 for(int i = 0; i < (int)u.size(); i++)6 {7 if(U[i] < L[i])return false;8 tot_in[v[i]] +=L[i];9 tot_out[u[i]] +=L[i];10 addedge(u[i], v[i], U[i] -L[i]);11 }12 addedge(sink, source, 100000000);13 int super_source = n + 1;14 int super_sink = n + 2;15 for(int i = 0; i < n; i++)16 {17 addedge(super_source, i, tot_in[i]);18 addedge(i, super_sink, tot_out[i]);19 }20 int ans =Maxflow(super_source, super_sink);21 //cout<

22 for(int i = 0; i < G[super_source].size(); i++)23 {24 edge& tmp =e[G[super_source][i]];25 if(tmp.f != tmp.c)return false;//判断是否满流不满流则错误

26 }27 return true;28 }