浅谈有上下界的网络流问题

最新推荐文章于 2022-04-18 22:44:39 发布

偶耶XJX

最新推荐文章于 2022-04-18 22:44:39 发布

阅读量419

点赞数

分类专栏：竞赛经验总结文章标签：图论算法网络流

本文链接：https://blog.csdn.net/weixin_43960287/article/details/121147444

版权

竞赛经验总结专栏收录该内容

35 篇文章 6 订阅

订阅专栏

前言

因为我学得不深入，所以只能浅谈。强大的工具只要会用就行，并不需要很了解其中的原理（好比我用后缀自动机并不需要每次都把完全搞忘的原理复习一遍）。

提示：注意讲解中 $s, t, s^{'}, t^{'}, s s, t t$ 的区别。

可行流

一般的网络流模型中每条边容量都有上界，而满足所有边内流量不超过上界、非源汇的点出入流量相等、源点出去的流量等于汇点流入的流量的一个流就是可行流。

这个应该没必要讲吧，学过普通网络流的都知道，~~所以不明白为什么脑瘫作者要设一个一级标题来说这个~~ 。

注意最大流也是可行流，可行流不一定是最大流。当然，无下界时的0流也是可行流。

无源汇可行流

上面重申可行流的定义其实主要是为了强调：可行流不一定需要有源点汇点。

无源汇的可行流其实只需满足边内流量合法、每个点出入流量相等即可。

可是这也不需要搞一个大标题来说明吧。~~作者也太水了~~

无源汇有上下界可行流

巨佬的博客都是直接从这个开始讲的。~~居然不知道前面还有水的空间？~~

原本我们每条边的流量是由上界的，流量不能超过某个值，而现在我们规定每条边流量不能低于某个值，所以清楚点应该叫“有下界可行流”。

因为边的流量有下界，所以我们不妨假设所有边内初始就有下界这么多的流量，那么剩下能够流过的流量就是上界-下界， $c_i-l_i$ 。这个时候的流唯一不满足的条件就是流量不平衡，每个点出入流量不相等。怎么调节呢？用网络流（废话）！

如果一个点流入流量的下界（就是所有入边的下界流量之和） $in_i$ 大于流出流量的下界 $out_i$ ，那么所有入边内至少需要额外的流量为0的流，而所有出边内至少需要额外的流量为 $in_i-out_i$ 的流。
在这里插入图片描述

由于此时所有边已经默认流过了下界的流量，所以变成了下界为0、上界为原上界-原下界的边。出边内额外的流量并不能从入边里流入，所以需要新建一个源点 $s s$ ，从 $s s$ 向 $i$ 连一条容量为 $in_i-out_i$ 的边。

当 $in_i<out_i$ 的时候同理，入边内额外的流量不能从出边流出，我们需要建一个汇点 $t t$ ，从 $i$ 向 $t t$ 连一条容量为 $out_i-in_i$ 的边。

这个时候我们发现，原图存在可行流当且仅当从 $s s$ 出去的边能够全部满流。观察建边过程可以发现， $s s$ 出边容量的总和必然等于 $t t$ 入边容量的总和，所以 $s s$ 出边满流意味着 $t t$ 入边满流，也就是原图上所有边需要的额外流量都能顺利地流过。

梳理一下流程：

建出网络，每条边容量为 $c_i-l_i$ ，建立源汇点 $s s$ 、 $t t$ ；
统计每个点的出入流量下界 $in_i$ 、 $out_i$ ，若 $in_i>out_i$ 则连边 $ss\rightarrow i$ ，容量为 $in_i-out_i$ ；若 $in_i<out_i$ 则连边 $i\rightarrow tt$ ，容量为 $out_i-in_i$ ；
从 $s s$ 到 $t t$ 跑一遍最大流；
若最大流不满流则无解，否则存在可行流，每条边的流量为当前网络中的流量+该边的下界流量。

有源汇有上下界可行流

搞懂了上面的操作，其它的就比较简单了。

有源汇的可行流与无源汇唯一的区别就是，源点和汇点的出入流量不相等（因为原则上源点没有流入流量，汇点没有流出流量），但是源点流出流量等于汇点流入流量。我们从汇点向源点连一条容量为 $\inf$ 的边，那么就可以让“源点”、“汇点”也满足无源汇可行流的出入流量相等的条件，就可以转化为无源汇的可行流问题。

在有上下界的问题中，由于这条 $t\rightarrow s$ 的边下界为0，所以在跑完一遍最大流后，该边的流量就等于源点到汇点的可行流的流量。

但是直接这么做是有问题的，因为原图上可能本来就有 $t\rightarrow s$ 的边，这条边的分流会导致跑出来结果出问题。所以保险起见，我们需要新建源汇点 $s^{'}$ 、 $t^{'}$ ，从 $s^{'}$ 向 $s$ 连一条容量 $\inf$ 的边， $t$ 向 $t^{'}$ 连一条容量 $\inf$ 的边，然后原图的源汇点就变为了 $s^{'}$ 、 $t^{'}$ ，所以我们不再从 $t$ 向 $s$ 连 $\inf$ 的边，而是从 $t^{'}$ 向 $s^{'}$ 连这条边。

有源汇有上下界最大流

注意，像最大流最小流这种东西必须要有源汇的情况下才能被定义。

有源汇上下界最大流其实非常简单，只需要在做完有源汇上下界可行流之后，把原图到 $s s$ 、 $t t$ 的边去掉、把 $t^{'}$ 到 $s^{'}$ 的边去掉，然后从 $s^{'}$ 到 $t^{'}$ 增广，跑一遍最大流，那么答案就是该最大流流量+可行流的流量。因为增广的时候保证流量平衡，所以不会破坏掉之前跑上下界可行流做出的调整。