最小割

定义

• 网络的割：对于一个网络，存在一个边集，满足：删除这些边之后使得原网络不再连通。
• S-T割：首先是一个网络的割，然后满足源点和汇点在两个不同的连通块里面。

最大流=最小割

先证明任意割>=任意流
- 最小割中，源点s在的集合记作S，汇点t在的集合记作T，那么在原网络中存在这些边:从S出发指向T。
- 这些边一定不存在前驱后继的关系
- 那么这些边的流量之和<=容量（即割）

然后证明最小割=最大流
那些满流的弧，从中取出没有交集的几个弧，那就是一个最大流，同时去掉之后，两边不再连通。所以最小割=最大流。