流对偶及其算法-18433组合最优化.pdfVIP

18.433 组合最优化 流对偶及其算法 Sept 25 30 Santosh Vempala ， 授课教师： 1 简介 每条边都规定了方向的图称为有向图。一条边允许通过的最大流量称为容量，从顶点 到 的边容量记为 。 给定一个有向图 ，流是从一个发点 （源） 到一个收点 （汇） 的 路的总和。边不交路的集合指从 到 的路的集合，且其中任意两条路不共边。 设 是包含 但不包含 的一个顶点集， 是 在 中的补集。一个 割 的大小指从 到 的有向边的数目。 1.(Menger) s t 定理 有 条 到 的边不交路 是最小有向 － 割的大小。 证明. 充分性是显然的。 假设结论不成立。取一个最小的反例 ，即 的最小割大小为 但不包含 条从 到 的边不交路。因为 是最小的，删去任何一条边得到的图的最小边割会更小。特别地， s t 不含 的入弧和 的出弧，因为这些弧不会出现在任意的 － 割中。我们可以把问题分 成以下两种情况： ( i ) ，既不与 也不与 相邻。由 的最小性可知， 包含在某个最小割 中。集合 收缩成一个最小割大小至少为 的图 ，集合 收缩成一个最小割大小至少为 的图 。因为 是最小反例， 有从 到收缩了的顶点 的 条不交路，同时 有从 收缩了的顶点 到 的 条不交路。这两个 条不交路的集合仅在 割内相交，故它 们可以合并为 中从 到 的 条边不交路。这就得出了一个矛盾。 ( ii )每条边都与 或 相邻。把中间顶点（除了 和 以外的所有顶点）分成下面两组： 1、入度大于出度的所有顶点，和 。 2 、 出度大于入度的所有顶点，和 。 由定义，从第一组到第二组的边集中一定包含 条边。显然很容易找到从 到 的 条 边不交路。 □ 2、最大流－最小割定理 割中所有从 到 的弧的容量之和称为 的容量，记为 。令 为从 到 的一个流，下面我们也用 来表示这个流的流值。 引理 2. 令 s t 为图 中任意一个 － 割，则有 。 . 证明 我们已经知道 ，且对于任意的顶点 均有 成立。由此可知， 另外 是 和 的 并，因此 从而， □ 在有限图中一