《运筹》教学课件图论与网络第六章（四）最大流问题.pptVIP

最大流问题 引例：如下输水网络，南水北调工程，从vs到vt送水，弧旁数字为管道容量，问应当如何输水使得流量最大？ 算法出现的问题 算法出现的问题 算法出现的问题 算法出现的问题 算法出现的问题 * the Maximum Flow Problem 一、最大流问题(the Maximum Flow Problem) 许多系统包含了流量问题。例如，公路系统的车辆流，控制系统中的的信息流、金融系统的现金流。 最大流问题就是指一个出发点最多能发送多少流量到一个接受点。 v2 v4 5 1 v1 v6 v3 v5 10 8 5 3 3 17 11 3 6.4.1 基本概念与基本定理 定义1 给定一个有向图D(V, A), 在V中指定一个点作为发点，记为Vs；指定另外一个点作为收点，记为Vt ；其余的点称为中间点。 定义2 对于有向图D(V, A)中的每一个弧(Vi, Vj), 对应有一个值c(Vi, Vj), 称为弧的容量。对于赋权的有向图D(V, A, C) ,特称为网络, 记为D(V, A, C)。 6.4.1 基本概念与基本定理 定义3 网络上的流，是指定义在弧集合A上的一个函数 f = { f (Vi, Vj) }。并称为f(Vi, Vj)为弧(Vi, Vj)上的流量。 6.4.1 基本概念与基本定理 网络流的两个性质： 性质1 每个弧上的流量不能超过该弧的最大通过能力即容量。 性质2 中间点的流量为0。 6.4.1 基本概念与基本定理 定义4 满足下述条件的流成为可行流 容量限制条件。对任意一弧(Vi, Vj), 均有 0≤f (Vi, Vj) ≤c (Vi, Vj) 平衡条件 1. 对于中间点：流入量等于流出量，流量为0； 2. 对于发点: 只有流出量, 流量为可行流的流量为v(f) 3. 对于收点: 只有流入量, 流量为可行流的流量为-v(f) 6.4.1 基本概念与基本定理 定义5 容量最大的可行流成为最大流. 6.4.1 基本概念与基本定理 v2 v4 5 1 v1 v6 v3 v5 10 8 5 3 3 17 11 3 1 2 6.4.1 基本概念与基本定理 v2 v4 5 4 v1 v6 v3 v5 10 8 5 3 3 17 11 3 5 1 3 2 3 3 2 6 6.4.1 基本概念与基本定理 增广链的形式 v2 v4 5 vs vt 10 11 5 2 6 v2 v4 5 vs vt 10 11 5 2 6 1 2 6.4.1 基本概念与基本定理 v2 v4 5 4 v1 v6 v3 v5 10 8 5 3 3 17 11 3 5 1 3 2 3 3 2 6 8 5 0 5 6.4.1 基本概念与基本定理 6.4.1 基本概念与基本定理 1 v2 v4 1 vs vt v1 v3 3 5 2 3 2 5 1 3 1 1 3 2 0 1 3 4 6.4.1 基本概念与基本定理 6.4.1 基本概念与基本定理 6.4.2 标号法(Ford-Fulkerson算法） 算法思想: 首先得到一条可行流。 然后在可行流的基础上,寻找增广链.如果找到,得到新的流量更大的可行流; 如果找不到，说明当前的可行流就是最大流。 由于可行流的流量不能无限增大，因而总可以得到最大流。 6.4.2 标号法(Ford-Fulkerson算法） 第一步：构建一条可行流 1 v2 v4 1 vs vt v1 v3 3 5 2 3 2 5 1 3 1 1 3 2 0 1 3 4 6.4.2 标号法(Ford-Fulkerson算法） 第二步：寻找增广链——标号过程 6.4.2 标号法(Ford-Fulkerson算法） 第二步：寻找增广链——标号过程 6.4.2 标号法(Ford-Fulkerson算法） 第二步：寻找增广链——标号过程 (-v2, 1) 6.4.2 标号法(Ford-Fulkerson算法） 第二步：寻找增广链——标号过程 1 v2 v4 1 vs vt v1 v3 3 5 2 3 2 5 1 3 1 1 3 2 0 1 3 4 (0, M) (vs, 4) (-v1, 1) (v2, 1) (v4, 1) 6.4.2 标号法(Ford-Fulkerson算法） 第三步：调整过程 6.4.2 标号法(Ford-Fulkerson算法） 1 v2 v4 1 vs vt v