预流推进算法.pdfVIP

15.082 和6.855J 2003年3月11 日 最大流3 预流推进算法 (Preflow-Push Algorithm) 1 增广路径回顾 在每次迭代中：维持一个流x 令G(x) 是剩余网络 在每次迭代中，在G(x)中找到一条从s到t 的路径 在最短增广路径算法中，我们保持距离标号d( )，我们 在G(x)中沿着最短路径发送流. 2 预流(preflows) 在每个中间状态，我们允许到达结点的流大于离开结点 的流(除了s 以外) 预流(preflows) 是函数：x: A →R 受限于0 ≤x ≤u 且 e(i) = Σ x - Σ x ≥0, j ∈N ji j ∈N ij 对于所有的i ∈N –{s, t}. 例如，e(i)= 在i的超额= 到结点i的净超额流. 超额要求是 非负的. 3 可行的预流 在每个结点j ≠s, t 的超额e(j) 是流入的流减去流出的流. 注释：总的超额＝从s 流出的流减去流入t 的流. 4 活动结点 带有正的超额的结点称为活动的. 预流推进算法(Preflow push algorithm) 试图把流从活动 结点推向漏结点，这依赖于d( ). 5 距离标号回顾 距离标号d( ) 对G(x)是有效的，如果 i. d(t) = 0 ii. d(i) ≤d(j) + 1 对所有的(i,j) ∈G(x) 定义弧(i,j) 是可进入的，如果rij 0 且d(i) = d(j) + 1. 引理令d( )是有效距离标号. 那么d(i) 是在剩余网络中 从i到t 在距离上的下界. 6 推进/重标号，基本子例程 假设我们已经选择了一个活动结点i. Procedure Push/Relabel(i) begin if 网络包含了可进入弧(i,j) 那么 从i推进δ: = min{ e(i), rij} 单位流到j; else 用min{d(j) + 1 : (i,j) ∈A(i) 且r 0} 替换d(i) ij end; 7 使用当前弧推进 尾 头 剩余容量 可进入？ 假设结点4是活动的， 且有超额. 使用“当前弧”每次扫描在