经过一系列的学习,明白了一些东西记录一下备忘
割:是指删除一些边,使剩下的网络中没有增光路,那么可以得出max_flow <= c(s,t)(割);
为什么呢?首先我们明白知道最大流一定是根据增光路得到i的,那么割就是包含增光路的一个集合,
那么sum_c(s,t)一定是在在这个 基础上得到的,也就是割中一定包含了这些增光路的一条路径,并且这条路径不一定是最小的
因为对于一条增光路来说,流量是越来越小的也就是f(j)>= f(j+1) 那么也就证明了f <= c(s,t);
最小割最大流定理:根据上面我们就能推导出来了是的,,当这些增光路在割中的每一条都恰好是容量的时候,我们就说此时的流一定是最大流,那么此时
的割一定是最小割。。