网络流(2)——最小割、最大权闭合图

啊，学渣苦，学渣累
在经过一系列鬼迷日眼的爆炸之后刷了几道网络流水题
趁自己遗忘之前赶紧甩一堆链接与结论

最小割

正如大家所知，最大流$=$最小割
简单地想一想：(完全不是证明)
在最大流的情况下，残量网络不存在从$S$到$T$的边。
所以最大流是一个割
那么为什么是最小割呢？
好问题。

先是因为流都小于等于割，emm…
同时因为最大流是一个割
设为$flow_{x}$与$cut_{x}$
显然有$flow_{x}=cut_{x}$
则对于任意流$flow$都有$flow\leq cut_{x}=flow_{x}$，所以$flow_x$是最大流
同时对于任意割$cut$都有$cut_{x}=flow_{x}\leq cut$，所以$cut_x$是最小割

最大权（此处切一刀）闭合图

正如大家所知，最大流$=$最小割
然后突然跳出一个最大权闭合图
那么什么是最大权闭合图呢？
我们定义一下闭合图：如果一个点集$G$中的所有单向边的出边指向的点均属于$G$，那么$G$是一个闭合图
显然，这里的最大权应该不是让你选最大的边权

我们考虑这样一种做法，新建源汇，从源向点权为正的点连流量为点权的边，从点权为负的点向汇连流量为点权绝对值的边。
原图的所有边流量为正无穷，求最大流后用正点权和减去最大流即答案

此处引入简单割的概念：如果一个割所有割边至少和源、汇中的一个相连，那么这是一个简单割。

首先我们思考：对于上述构图方式下构造的图，最小割$=$简单割
考虑一种割法，割去所有与源或汇相连的边，其容量$cut_{all}$一定小于正无穷
那么显然$cut_{min} \leq cut_{all}$，所以最小割中不包含原图(加源汇前)中的边

然后稍微难一点：在这种情况下，简单割一定对应一种闭合子图
如果一个闭合子图不是简单割，那么其一定包含一条容量为正无穷的边。
可以通过非严格的猜想（意淫）得知那条边指向的节点应该在闭合子图外
那么怎么证明简单割是一个闭合子图呢？
设$S$与闭合子图$G$构成点集