最大流最小割定理

title: 定义.
content: 令为一个网络(有向图),并且有一个起源点 s 和一个超汇点 t,代表 s 是所有流的源头,t 是所有流的终点。
title: 最大流.
content: 定义: 一条边的容量是一个映射,记做 或者,代表着能通过这条边的最大的流量。  定义: 一个流是一个映射,记做 或者 。每一条流有以下两个限定条件: 定义: 流的流量的定义是 s 为 N 的源点,代表着从源点流向目标点的流量。
title: 最小割.
content: 定义:一个 s-t 割 是一种 V 的划分使得 。"C "的割集是集合 因此如果 C 的割集是空集合,则.  定义: 一个s-t割的容量是 其中 formula_6 如果 formula_7 并且 formula_8, 0 反之。
title: 线性规划公式.
content: 最大流最小割问题可以被看做为一对线性规划对偶问题。 注意到在给定的 s-t 割 formula_9 中,如果 formula_7 那么 formula_11 并且 0 反之。 所以 formula_12 应该等于 1 并且 formula_13 应该等于0。由线性规划中的强对偶定理推得最大流最小割问题中的等式,也就是说如果原问题有一个最优解 "x"*,则对应问题也有一个最优解 "y"*,并且两个解相等。
title: 举例.
content: 上图是一个网络,上有流量为 7 的流。令 S 集合和 T 集合分别包含所有白色和灰色的点, 从而形成了一个割集包含图中虚线的 s-t 割,并且其容量为 7,与流量相同。故由大流最小割定理知,前述的流与 s-t 割皆达到流量及容量的极值。
title: 应用.
title: 广义最大流最小割定理.
content: 额外规定映射 formula_14为点的容量,记做 c(v),使得一个流 f 不只要满足边的流量限制与流量守恒,还要满足点的流量限制,即 换句话说,流过 v 点的总流量不能超过 v 的容量 c(v)。一个 "s-t 割" 的定义为一个包含一些点和边的集合,满足与任一条由 s 到 t 的路径皆不互斥。并且 s-t 割的"容量" 定义成所有点和边的容量总和。  在此定义之下,广义最大流最小割定理的叙仍为流量的最大值等于所有 s-t 割的容量最小值。
title: 门格尔定理.
content: 不共边路径问题为给定无向图 formula_16 及两顶点 s、t,求从 s 到 t 彼此没有共同边的路径数量的最大值。  门格尔定理的叙述为从 s 到 t 彼此没有共同边的路径数量的最大值等于在所有 G 的 s-t 割(以原本的定义)中,顶点分别在不同集合的边数的最小值。
title: 计划选择问题.
content: 计划选择问题叙述如下:当下有 n 个计划 formula_17可以被实施、m 种设备 formula_18 可以被购买,要执行计划必须拥有该计划要求的设备,执行计划 formula_19可获得 formula_20 的收益,但购买设备 formula_21 要支付 formula_22 的费用。如何选择执行计划并购买所需设备以获得净利的最大值?  设 P 为不被执行的计划的集合,Q 为所购买的设备,则问题变成求最大值 注意到 formula_24与 P、Q 的选择无关,故只需求后两项和的最小值,即 现在考虑一个网络,起源点 s 连接到 n 个点 formula_17,边的容量分别为 formula_20,超汇点 t 连接到 m 个点 formula_18,边的容量分别为 formula_22,若执行任务 formula_19需购买设备 formula_21,则在 formula_19、formula_21 之间连上一条容量为无限大的边,若不需购买设备,则不连上边。则 formula_34 对应到一个 s-t 割的容量,其中的两个集合是要执行的计划与要购买的设备和它的余集,也就是 在此,formula_36,formula_37。于是,原问题转成求该图的最大流问题,并且可以借由各种算法求得其极值。  以下给出一个计划选择问题的例子,右图是该问题对应到的网络。  该网络的最小 s-t 割是选择计划 、 与设备 、,容量为 250。三个计划的总收益是 450,因此最大净利为 450 − 250 = 200。  以上解法可以理解为将计划所给予的收益流过所需设备,如果无法流满设备至 t 的边,代表执行计划不合成本,最小割将选择穿过 s 到计划的边而非穿过设备到 t 的边。
title: 影像分割问题.
content: 设原图有 n 像素,想要把该图分割为前景和背景,并且将 i 像素归类为前景有效益,归类为背景有效益,但是若 i、j 像素相邻且被归类为不同块,则会减少 的效益。求将该图分割为前后景的最有效益方法。  令 P 为前景的集合,Q 为背景的集合,于是问题转化成求最大值 因为 、 的总合是与 P、Q的选取无关,因此等价于求以下最小值 以上的最小值问题可以被描述为一个网络的最小割问题,其中该网络如右图,以橘点为起源点;紫点为超汇点。各个像素被描述为网络的顶点,起源点至第 i 个像素连上一条容量为 的有向边;第 i 个像素至超汇点连上一条容量为 的有向边。相邻的像素 i、j 之间连上来回两条容量为 的有像边。则一个 s-t 割代表一种将部分像素归类为前景 P、其余归类为背景 Q 的安排。
title: 历史.
content: 最大流最小割问题最早在1956年被P. Elias, A. Feinstein,和 C.E. Shannon 证明, 并且L.R. Ford, Jr. 和 D.R. Fulkerson 也在同年证明了该定理。
title: 证明.
content: 同之前的设定, 是一个网络(有向图),s 点和 t 点分别为 G 的起源点和超汇点。  将所有流考虑成一个欧式空间的有界闭子集,满足流量限制与流量守恒,而流量是一个连续函数,因此有极大值 |f| 。  设 f 达到最大流,令 是 f 的残留网络,定义  换句话说,v∈A 当且仅当 s 可以流出更多流量到 v。  声称 formula_40,其中该 s-t 割的容量定义为 由于 formula_42 的大小等于所有流出集合 "A" 的流量总和减所有流入集合 "A" 的流量总和,故 formula_43,并且等号成立当且仅当 我们用反证法分别证明以上两点:  于是,声称得证。  由于流量恒不超过容量,|f| 是容量的下界,所以 formula_48 是容量的最小值,由声称知,最大流最小割定理得证。

Summary: 在最优化理论中,最大流最小割定理提供了对于一个网络流,从源点到目标点的最大的流量等于最小割的每一条边的和。即对于一个如果移除其中任何一边就会断开源点和目标点的边的集合的边的容量的总和。

Max-flow min-cut theorem: In computer science and optimization theory, the max-flow min-cut theorem states that in a flow network, the maximum amount of flow passing from the "source" to the "sink" is equal to the total weight of the edges in the minimum cut, i.e. the smallest total weight of the edges which if removed would disconnect the source from the sink.