网络流经典模型——最大权闭合子图
-
什么是闭合子图
闭合子图的概念 : 通俗点说就是选出一个图的子图,使得子图中的所有点出度指向的点依旧在这个子图内,则说明此子图是闭合子图。如下图
-
最大权闭合子图 : 假设每个点具有点权值,在一个图的所有闭合子图中,点权之和最大的即是最大权闭合子图
-
最大权闭合子图与最小割的关系
这里我们要证明最大权闭合子图的权值之和与最小割的关系
结论:最小割所产生的两个集合中,其源点S所在集合(除去S)为最大权闭合图
-
证明:最小割为简单割。
因为除S和T之外的点间的边的容量是正无穷,最小割的容量不可能为正无穷。所以,得证
-
证明网络中的简单割与原图中闭合图存在一一对应的关系
证明闭合图是简单割:如果闭合图不是简单割(反证法)。那么说明有一条边是容量为正无穷的边,则说明闭合图中有一条出边的终点不在闭合图中,矛盾。
证明简单割是闭合图:因为简单割不含正无穷的边,所以不含有连向另一个集合(除T)的点,所以其出边的终点都在简单割中,满足闭合图定义。得正。
-
证明最小割所产生的两个集合中,其源点S所在集合(除去S)为最大权闭合图
证明比较简单,记录结论就好了
-
-
如果对最大权闭合子图建模
首先,我们有结论,