有上下界的网络流

有上下界的网络流

 

这几天看了周源的《一种简易的方法求解流量有上下界的网络中网络流问题》，并完成了SGU 194&ZOJ 2314Reactor cooling，SGU 176 Flow construction和HOJ 2135&POJ 2396Budget三道题。 　　作为周源文章中提到的求解上下界网络的最小流和最大流问题中的入门题就是Reactor cooling这道求解无源汇网络的可行流，且在这个网络中，需要满足B(u, v) <= f(u, v) <= C(u, v)这个条件，即这个无源汇的网络流量带有上下界的约束。 　　设f(u, v ) = B(u, v) + g(u, v ) (*)，显然0 <= g(u, v ) <= C(u, v) - B(u, v)。将(*)代入流量平衡条件中，则得到∑[B(u, i) + g(u, i)] = ∑[ B(i, v) + g(i, v)] => ∑g(i, v) - ∑g(u, i) = ∑B(u, i) - ∑B(i, v)。如果设M(i) = ∑B(u, i) - ∑B(i, v)，即M(i)为流入结点i的下界总和减去流出i的下界总和。 　　至此，可如此构造一个只有流量上界的附加网络：增加附加源S'和附加汇T'，原网络中M(i)非负，则C'(S', i) = M(i)，否则C'(i, T') = -M(i)；原网络中任意有弧相连的结点u和结点v在附加网络中的弧C'(u, v) = C(u, v) - B(u, v)。 　　这样，如果附加网络满流，则在原网络中就存在一个与之对应的可行流。而想判断附加网络能否满流可通过求解附加网络的最大流进行判断。如果满流，则有解；否则无解。 　　这个问题弄明白后，就可以进行下一步的求解有上下界网络中的最大流和最小流问题了。 　　增加一条弧(T, S)，使原网络变成一个无源汇的网络。如果求最大流，则B(T, S) = a，C(T, S) = inf；如果求解最小流，则B(T, S) = 0，C(T, S) = a。可以通过二分法枚举a，按上文提到的方法构造附加网络，判断附加网络中是否有可行流即可。最终，a即为所求。 　　这种方法实现起来较为简单，所需的代价是多次求解最大流。复杂度为O(logF Maxflow(V, E))。