啊,学渣苦,学渣累
在经过一系列鬼迷日眼的爆炸之后刷了几道网络流水题
趁自己遗忘之前赶紧甩一堆链接与结论
最小割
正如大家所知,最大流 = 最小割
简单地想一想:(完全不是证明)
在最大流的情况下,残量网络不存在从
所以最大流是一个割
那么为什么是最小割呢?
好问题。
先是因为流都小于等于割,emm…
同时因为最大流是一个割
设为
显然有 flowx=cutx
则对于任意流 flow 都有 flow≤cutx=flowx ,所以 flowx 是最大流
同时对于任意割 cut 都有 cutx=flowx≤cut ,所以 cutx 是最小割
最大权(此处切一刀)闭合图
正如大家所知,最大流 = 最小割
然后突然跳出一个最大权闭合图
那么什么是最大权闭合图呢?
我们定义一下闭合图:如果一个点集
显然,这里的最大权应该不是让你选最大的边权
我们考虑这样一种做法,新建源汇,从源向点权为正的点连流量为点权的边,从点权为负的点向汇连流量为点权绝对值的边。
原图的所有边流量为正无穷,求最大流后用正点权和减去最大流即答案
此处引入简单割的概念:如果一个割所有割边至少和源、汇中的一个相连,那么这是一个简单割。
首先我们思考:对于上述构图方式下构造的图,最小割 = 简单割
考虑一种割法,割去所有与源或汇相连的边,其容量
那么显然 cutmin≤cutall ,所以最小割中不包含原图(加源汇前)中的边
然后稍微难一点:在这种情况下,简单割一定对应一种闭合子图
如果一个闭合子图不是简单割,那么其一定包含一条容量为正无穷的边。
可以通过非严格的猜想(意淫)得知那条边指向的节点应该在闭合子图外
那么怎么证明简单割是一个闭合子图呢?
设 S 与闭合子图