最大流最小割定理

首先定义一个有向图的割{S,T}的大小为S连向T的边数。
那么使s在S中，t在T中，如果存在一个割大小为0，就说明不存在任何s到达t的路径。
也就是说，割的大小是s->t路径（不经过相同边，并且以下路径指的都是不经过相同边）数目的上界，记为r。
如果我们不断寻找从s->t的路径，已经找到的路径是l，那么l是路径数的下界。
假设最多可以找到的路径为k，那么有l<=k<=r，当l=r时就找到了
接下来证明几个点：
1.通过反向边增广路径以后得到的边不会重复。
2.因为残余网络中{S,T}大小为0时，{T,S}大小一定为k，所以最大流等于最小割