运筹学第六章节幻灯片.pptVIP

OR3 * 2、流 在D=(V,A,C)中，如果实际通过每一弧（vi，vj）的流量是fij，则称集合f=｛fij｝为网络D=(V,A,C)上的一个流。 OR3 * 3、可行流 对给定的D=(V,A,C)，把满足下列两个条件1），2）的流称为可行流。 1）容量限制条件 : 对D中的每一条弧（vi，vj） ，有0≤ fij ≤cij; 2）平衡条件: 对中间点vi ，流入量等于流出量,即 ; 对发点vs，有 ; 对收点vt，有 . 是可行流的流量，是发点的净输出量，是收点的净入量。 注意：任一D=(V,A,C)都存在可行流。如零流就是一个可行流。如果D=(V,A,C)中没有给出弧上的流量fij，可认为fij＝0。 OR3 * 4、最大流 使得从网络发点到收点得总流量（W）达到最大得可行流f=｛fij｝称为最大流。 最大流问题就是求一个流f=｛fij｝使其流量 达到最大，并且满足： 注意：寻求网络中的最大流就相当于求线性规划模型的最优解。 OR3 * 5.截集、截量、最小截量 截量：截集（ ， ）中所有弧的容量之和称为该截集的截量，记为c（ ， ）. 最小截集：在D=(V,A,C)的所有截集中，截量最小的截集称为最小截集，记为( )。 OR3 * 注意：容量网络图D的截集不是唯一的，截集个数是有限的。如果在图D中把任何一个截集中的弧丢掉，那么从发点就不能通往收点。所以，截集是从发点到收点的必经之道。从而，有任何一个可行流的流量都不会超过任意截集的截量。 OR3 * 6、增广链 在容量网络D=(V,A,C)中，若 为网络中从vs到vt的一条链，给链 定方向为从vs到vt，上与 同方向的弧称为前向弧，与 反方向的弧称为后向弧，前向弧和后向弧的集合分别用 和 来表示。设 是一个可行流，如果满足： 则称 为从vs到vt的（关于f的）增广链。 OR3 * 增广链的实际意义： 沿着这条链从vs 到 vt输送的流，还有潜力可挖，只需按照定理证明中的调整方法，就可以把流量提高；调整后的流，在各点仍满足平衡条件及容量限制条件，即仍为可行流。这样，就得到了一个寻求最大流的方法：从一个可行流开始，寻求关于这个可行流的增广链，若存在，则可以经过调整，得到一个新的可行流，其流量比原来的可行流要大，重复这个过程，直到不存在关于该流的增广链时就的得到了最大流。 OR3 * 7、 最大流量最小截量定理 定理8：可行流 是最大流的充要条件是不存在从vs到vt的关于 的增广链。 重要结论： 任一容量网络D=(V,A,C)中，最大流的流量等于最小截集的截量。 可行流f 是最大流的充分必要条件是不存在从 到 可行流f 是最大流的充分必要条件是不存在从 到 可行流f 是最大流的充分必要条件是不存在从 OR3 * 定理8可行流 是最大流的充要条件是不存在从vs到vt的关于 的增广链证明： 先证明：若可行流 是最大流，则 中不存在关于 的增广链。 若 是最大流，设D是 的增广链。令： 由增广链的定义可知 ，令： 不难验证该流是一个可行流，且其最大流量比原流大 。 则，证明原可行流不是最大流，与假设矛盾。 OR3 * 再证明：若D中不存在关于 的增广链，则该流是最大流。 利用下面的方法来定义V1: OR3 * 求最大流的方法：标号法 方法很简单：首先找到一条增广链，沿此进行最大可能调整，再找增广链，再调整，直到没有增广链为止。 如何找增广链？ 如何调整？ 设已有一个可行流f（若网络中