数学建模－图论.pptVIP

数学建模 图论方法专题 专题板块系列 图论方法专题 定义3 设f是一个可行流, μ是从vs到vt一条链. 如果满足 ① 当vivj∈μ+ 时, 0≤ f ij ＜Cij, 即 μ+ 中的每一条边都非饱和边; ② 当vivj∈μˉ时, 0＜ f ij ≤C ij, 即 μˉ中的每一条边都非零边. 则称μ为从vs到vt的关于f 的可增广链. 最大流问题 定义4 容量网络G = ( V, E, C ), 若点集V被剖分为两个非空集合S, S c = V \S, vs, vt分属于S, S c. 则把边集 (S, S c ) = {vivj | vivj∈E, vi∈S, vj∈S c }称为G的割集 . 若把一割集的边从网络中去掉, 则从vs到vt便不在相通, 所以割集是从vs到vt的必经之路.割集(S, S c )中所有边的容量之和, 称为这个割集的容量, 记为C (S, S c ). 最大流问题 定理1 设 f 为网络G = ( V, E, C ) 的任一可行流, (S, S c ) 是剖分vs , vt 的任一割集, 则有Wf ≤C (S, S c ). 若有可行流 f 和割集 (S, S c ), 使得Wf = C (S, S c ), 则f 一定是G的最大流, 而 (S, S c ) 必定是G 中所有割集中容量小的一个, 即最小割集. 例20：