在之前的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