c图论(存档)(北邮信通院陈鑫林教授授课)精选.ppt

可增流路（增广链）：从vs到vt的链中，所有 前向弧都未饱和，所有后向弧都有非零流量。 可增流量为 定理(Ford-Fulkerson):网路中由发点s到收点t的 最大流量值等于最小截集的容量: V(F*)=C*(V,VC) 证明： 令 是源宿间容许的最大流量。 表示源宿间最小截集。 首先 设可行流 已使源宿间的流量最大.从源开 始，令 按以下条件一步步扩大X： 若 间有边,当满足 或 时则把 併入X,这样扩大直到X为 X’,已无端可併入. 则vt必不在 中而在 中.否则vs,vt间必有 可增流的路,与 是最大流矛盾. 按X的扩大条件,若 的前向边上必有 反向边上必有 如在一网路的发端与收端之间,能找到这样的链: 前向弧的流量小于容量,后向弧上的流量大于0, 这样的链叫增广链.因此增广链是可增加流量的 链.各弧上可增的流量为 令θ=Min(θij)并把前向弧上的流量