网络流经典模型——最大权闭合子图

网络流经典模型——最大权闭合子图

1. 什么是闭合子图

   闭合子图的概念 : 通俗点说就是选出一个图的子图，使得子图中的所有点出度指向的点依旧在这个子图内，则说明此子图是闭合子图。如下图

   

2. 最大权闭合子图 : 假设每个点具有点权值，在一个图的所有闭合子图中，点权之和最大的即是最大权闭合子图

3. 最大权闭合子图与最小割的关系

   这里我们要证明最大权闭合子图的权值之和与最小割的关系

   结论：最小割所产生的两个集合中，其源点S所在集合(除去S)为最大权闭合图

   • 证明:最小割为简单割。

     因为除S和T之外的点间的边的容量是正无穷，最小割的容量不可能为正无穷。所以，得证

   • 证明网络中的简单割与原图中闭合图存在一一对应的关系

     证明闭合图是简单割：如果闭合图不是简单割(反证法)。那么说明有一条边是容量为正无穷的边，则说明闭合图中有一条出边的终点不在闭合图中，矛盾。

     证明简单割是闭合图：因为简单割不含正无穷的边，所以不含有连向另一个集合(除T)的点，所以其出边的终点都在简单割中，满足闭合图定义。得正。

   • 证明最小割所产生的两个集合中，其源点S所在集合(除去S)为最大权闭合图

     证明比较简单，记录结论就好了