网络流中最大流和最小割算法

学习顺序按照下图的改进历程

问题转化：寻找初始解，提升，达到条件停止

求解优化，加回溯边，画残差图，在残差图中寻找一条s可到t的路径

看最大流最小割问题，证明 除 ST外每个点的出度和入度相等，S和T两点出入度差为最大流f

根据图列线性规划

从对偶问题中理解FF算法

对偶问题转化：

转化后

变成对偶后还没有结束，还可以简化

（第一步中四者因为是最小割，图被切为两部分，S和T必然在两边，则二者之一不起作用，假设ys=0）


此时还有不等式，我们看345三个约束，
先科普一下，若A的任意子方阵的行列式等于0,1,-1,则称A为全单模矩阵。由定义容易得到全单模矩阵的元素只有0，-1，1。
345约束的系数矩阵为全单模矩阵，因此证明这个线性规划的解必然是整数点。