模拟费用流总结

模拟费用流 总结

学习自https://www.luogu.com.cn/blog/command-block/mu-ni-fei-yong-liu-xiao-ji

可以系统地解决一系列贪心问题的思想。

操作步骤

• 首先对于一个问题建立费用流模型，注意这时候可以得到问题的凸性(convexity)，可以用一些其它方法对问题进行简化（如wqs二分），然后观察费用流模型的特殊性，考虑快速算费用流。

• 一般而言，可以考虑图的增量对答案的贡献，或者按照EK算法以某种顺序求增广路，注意反向边的贡献（比如负环）。一般用堆来维护，也有时候可以直接维护出一些东西然后做。

• 将费用流模型和原问题结合起来考虑，往往会比较容易得到一些性质。

---

例题

CF865D Buy Low Sell High（老鼠进洞·壹）

题意：已知接下来$n$天的股票价格，每天你可以买进一股股票，卖出一股股票，或者什么也不做。假设你拥有无限本金，求$n$天之后能得到的最大利润。

容易得到费用流模型：相邻点双向$(+\infty,0)$，源点向每个点$(1,c_i)$，每个点向终点$(1,-c_i)$求最小费用可行流。

考虑增量贡献，第一种情况是选择某天买进今天卖出，第二种情况是选择之前卖出的某天换到今天卖出，对应到费用流上就是一条普通的增广路和负环，那么维护一个堆就做完了。

---

洛谷 P1484 种树

题意：一条直线上$n$个坑，可以在坑里面种一棵树，不能在相邻两个坑内种树，每个坑内种树有价值$a_i$，求k个点最大价值。

费用流建模就考虑相邻不能同时选的限制，把间隔变成点，分奇数间隔和偶数间隔中间连边，边就是坑，然后中间边就是$(1,a_i)$，其它边都是$(1,0)$，流量限制为$k$

这样就证明了原问题是关于$k$的凸函数，可以wqs二分+dp求解，比较经典。

当然这里讲的是模拟费用流。

考虑模拟EK算法，找增广路。

显然除了源点和汇点连的边，只会经过中间的边，也就是一段连续区间状态取反。

这样的话对应回原问题，两边的两个坑一定是空。那么给我们一个思路：维护两边都是空的区间，每次增广相当于合并三个区间，用双向链表+堆维护即可。

---

[[Lydsy1708月赛]跳伞求生（老鼠进洞·贰）

题意：老鼠进洞·壹之中选洞有额外贡献。

费用流建图类似。依旧考虑增量，两种情况：

• 源点连出来的边之前的源点连出来的边形成负环
• 多一条增广路

随便用堆维护一下就好了。

---

[NEERC2016]Mole Tunnels（老鼠进树洞）

题意：老鼠上树进洞，对所有$k$求前$k$只老鼠全部进洞最小代价。

建图就是源点向老鼠点连$(1,-\infty)$，这样所有老鼠必选。

按照询问顺序考虑增量。因为必须满流所以不存在负环，那么只需考虑新的增广路，那么就很简单了，在完全二叉树上维护到当前子树最近的点和距离，然后每次加一只老鼠就跳父亲去找，然后跳父亲更新，由于完全二叉树的优良性质复杂度就是$O(n \log n)$的了。

---

[NOI2019] 序列

题意：$n$对数$(a_i,b_i)$，$[1,n]$中选两个大小为$k$的集合$A,B$，使得$|A \cap B| = L$求$\max\{\sum_{i \in A} a_i + \sum_{i \in B} b_i\}$。

建图需要稍微思考一下，很难满足$|A \cap B| = L$的条件，那么不妨反过来，满足$A$和$B$不同的对数至多为$k-L$。

连边$(S, A_i, 1, a_i), (A_i, B_i, 1, 0), (B_i, T, 1, b_i), (A_i, P, 1, 0), (P, Q, k - L, 0), (Q, B_i, 1, 0)$。

考虑模拟EK算法，有下列合法情况：

1. $S \rightarrow A \rightarrow B\rightarrow T$
2. $S \rightarrow A \rightarrow P \rightarrow A' \rightarrow B' \rightarrow T$
3. $S \rightarrow A \rightarrow B \rightarrow Q \rightarrow B' \rightarrow T$
4. $S \rightarrow A \rightarrow B \rightarrow Q \rightarrow P \rightarrow A' \rightarrow B' \rightarrow T$
5. $S \rightarrow A \rightarrow P \rightarrow Q \rightarrow B \rightarrow T$

事实上还有一类情况形如$S \rightarrow A \rightarrow B \rightarrow Q \rightarrow B' \rightarrow A' \rightarrow P \rightarrow A'' \rightarrow B'' ......$

然而可以发现出现这样情况的前提已经是不优的了，所以可以不用考虑。

剩下就是考虑这$5$种情况的实际贡献，就是连着$S$和$T$的两个点。

于是维护$5$个堆即可。

细节：增广优先顺序是$1 \rightarrow 4 \rightarrow 2 \rightarrow 3 \rightarrow 5$，否则会出现其它边没有流满$L$且下标相等的数对用了$P \rightarrow Q$的情况，这样就不优了。