SAP标号法模拟过程（附高清大图:D）

在之前的blog中，我们系统详细地学习了SAP算法，但是SAP的核心部分——重标号虽然写起来很简洁，但是初学者理解起来略有困难（当时笔者学的时候一直理解错了……持续了一整年啊有木有啊……前几天再拿出来看的时候才真正理解了……Orz蒟蒻）

图1

在图1中没有标出边的流量值，为了模拟方便，假设均为1.

初始，每个结点的标号(红色)如图2：

图2

PS：理论上初始标号要用一遍反向BFS求得，但实际证明一开始全部设为0，既不对运行结果造成影响，也不会改变渐进时间复杂度。

第一遍遍历时，找到了1->2->9这样一条增广路以后，更新边上流量值，得到图3：

图3

棕色字体为边上的流量值。这时按照标号再搜一遍,发现从1出发已经找不到增广路了，因为flow(1,2)等于0不可以走，h[1]=2,h[3]=2≠h[1]+1,h[5]=4≠h[1]+1，所以这时更新1的标号，按照min{h[next]|Flow(now,next)>0}+1，修改后h[1]=h[3]+1=3.

第二遍遍历以后找到了这样一条增广路：1->3->4->9,做完这条路以后又发现无法找到可行边了，这时再更新标号使图中有路可走，如上文所说的那样做，再次修改后h[1]=h[5]+1=5，就这样搜索并更新直到变成图4：

这时再更新h[1]发现没有点可以用来更新h[1]了，于是此时h[1]=∞，使程序退出。

以上便是一个完整的SAP重标号过程，如有疑惑或讲的不详尽的地方，还是欢迎指出~

轻敲这里返回SAP讲解：http://blog.csdn.net/ycdfhhc/article/details/42580751