【学习笔记】最小割

ps：代码见最后

定义：

割集：再一个有向图 $(V,E)$ 上，将所有点分成两个集合 $S,T(T=V-S)$，则这种选择割集的方式 $f$ 记作 $(S,T)$

割集的权值：在有向图上，分出两个点集 $S,T$，$|f|={\sum }_{s\in S,t\in T}c[s][t]$ （注意是有向图，且权值算的是边的容量而不是流量）

---

---

求法

最小割等于最大流，所以计算最小割就是计算最大流。

理解：

相当于我们有许多条 $s⇝t$，为了让 $s,t$ 不连通，我们就要把这两个点之间的路径全部切断 （当然也有可能有两条路径有交叉，图上有这样的路径），这时候我们发现最小割可以翻译为：通过最少的流量阻塞所有 $s⇝t$ ，那么就是要阻塞所有 $s⇝t$ 的增广路（因为没有不为零的边联通 $s,t$，那么就表示不存在增广路），即是最大流。

注： 这只是便于记忆的感性证明（虽然听起来也没有漏洞），理性证明可以参考算法导论。

我们就可以用这个感性理解去做很多题了，不然理性证明会很麻烦，下面举两个例子就可以说明这个感性理解有多么有用了。

---

---

例题

例题题解（不过题解也摆在下面了，不想看到太多内容就分开了）：
0.
1.
2.
3.

---

0. 无

题意：给出一个图，问最少删多少个边使得图不连通。

枚举源点和汇点，相当于让这个图拆成两个点集，去除这两个点集之间的边的最小代价，发现这就是最小割。

发现可以不枚举源点。

证明：

假设最优解为 $(AS,AT)$。

考虑点一，不妨假设它在 $AS$ 里。

那么通过枚举 $t=2$ ~ $n$，我们必然会选到一个点属于 $AT$ 集合，这时最小割求出的就是答案了。

我只证明了可以通过只枚举汇点就能得到答案（充分性），没有证明这样枚举能包含所有情况（必要性），但是我们只要充分性就行了，这样就一定能正确求解（@DJ）。

---

1. SP300 CABLETV - Cable TV Network

题意：给出一个图，问最少删多少个点使得图不连通。

考虑转换为 $0.$

我们可以想到拆点：

把原图中点 $i$ 去掉就先当于，在新图中把 $i\to i^{\prime }$ 删掉了，这样通过 $i$ 的路径就不复存在了。

我们用 $0.$ 的套路，枚举 $u,v$ 不连通。

构造好了，我们来看看怎么从原图转化到新构造的图，结论就是不存在 $u^{\prime }⇝v$。

理解：

如图，例如存在 $u⇝v$ 的路径为如下图

相当于我们要阻塞这条增广路，但是我们发现如果这样增广的话，可以选择将 $u\to u^{\prime },v\to v^{\prime }$ 两边删去，这样的话就不满足要求了（即在原图中删掉了我们钦定的不在同一联通块的点），所以我们选择 $u^{\prime },v$ 作源汇点。

但是还有一种情况，它饶了一圈然后经过了 $u\to u^{\prime }$, $v\to v^{\prime }$ 呢？，这个时候分两种情况：

一、这个路径上存在一条非 $u\to u^{\prime }$, $v\to v^{\prime }$ 的路径，那么我们选择删去这条边而不选择 $u\to u^{\prime }$ 就行了（当然我们实际打代码时不需要管这条增广路到底删去了哪条边，只要知道它一定能构造出来就行了）。

二、这个路径上没有非 $u\to u^{\prime }$, $v\to v^{\prime }$ 的路径 （即只有 $u^{\prime }\to v$）

这个时候增广路为 $+\infty$，我们就可以不用特判了。

所以其实最后代码非常简单，但是思维难度还是挺大的。（逻辑链条短，但是思维很非人……）

---

2. 文理分科

ps：由于画图不好画有向边，这里的边的方向都是从左（源点）到右（汇点）， 看不懂也没办法了。

首先把找最大贡献改为去掉最少的贡献。

还是先用最小割的套路，连接 $s$ 的边断了表示选择理科，连接 $t$ 的边断了表示选择文科。

所以 $s\to a$ 的边权为 $art[a]$ （选择理科就没有选择文科的贡献）， $a\to t$ 的边权为 $science[a]$（同理）。

如图（a[1~4]表示a的相邻点）。

现在考虑怎么连边可以处理需要去掉全为理科（或文科）的贡献。

拿全选理科的贡献举例。

相当于当有一条 a[0~4] $\to$ t的边没有被断掉，那么表示五个人中有人选择了文科，这时就需要减去全选理科的贡献。

考虑如下图的连边。

如果没断掉 $a[i]\to t$，那么相当于 $a[i]$ 选择了文科，那么这时有两条增广路 $s\to a[i]\to a^{\prime }\to t$， s → a ′ ′ →