最大权封闭子图证明及方案输出

这里复现胡伯涛的论文《最小割模型在信息学竞赛中的应用》的证明

给定一个有向图G(V,E),对一个子图G_1(V_1,E_1),若满足对\forall u \in V_1,\forall <u,v>\in E,必有v\in V_1,我们称G_1为G的一个封闭子图

求最大权封闭子图的过程如下:

对点权为正的点u,S与u连边,容量为权值

对点权为负的点v,v与T连边,容量为权值的相反数

对原图G中的所有边<u,v>,u与v连边,容量为无穷

设最小割为c[S,T]

c[S,T]为简单割

证明:若c[S,T]不是简单割,必定包含容量无穷的边,必定不为最小割

S对应封闭子图V_1

证明:若\exists u\in S,v\in T,<u,v>\in E,必有残余流经过S-u-v-T,此时与最小割c[S,T]假设矛盾,故S符合V_1的定义

故求方案时只需将S中的点选取即可,即从S出发,沿有残余流的边跑bfs,能够到达的点均为闭合子图中的点

下证通过最小割可以选取最大权封闭子图

设V1的补集为V2,同样可以证明T对应V2

\sum_{u\in V_1}w_u+c[S,T]\\=\sum_{u\in V_1^+}w_u+\sum_{u\in V_1^-}w_u+\sum_{u\in V_1^-}(-w_u)+\sum_{v \in V_2^+}w_v\\= \sum_{u\in V^+}w_u

移项得

\sum_{u\in V_1}w_u= \sum_{u\in V^+}w_u-c[S,T]

即用所有正点权减去最小割即求得封闭子图的点权,当c[S,T]最小时,封闭子图的点权最大,即最小割对应最大权封闭子图

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值