最大权闭合子图

个人理解

网络流最小割里最重要的一节,不是说应用有多广,而是思想重要

很多大家口中"最大权闭合子图拓展题",个人并不觉得有什么关联,每题都是不同的,相同的可能只是理解的思想,如果放在一起想,只会造成做题的混乱与局限

前置知识

闭合子图:一个点集(V),如果点(i)在集合中,其出边所连接的点也在此集合中

简单割:割集全部连接源点或汇点

定义

最大权闭合子图:在有向联通带点权图中(且为(DAG)),权值和最大的闭合子图

建模

定义源点汇点,按点权正负连接与其连接,源点(longrightarrow)正点,负点(longrightarrow)负点((0)点对结果没有影响,不需要处理())
并赋边权为点权

原图的边权置为(inf)

结论

求解最大权闭合子图是在三个结论基础上进行的,先来证明一下:

  • 图的最小割为简单割
    证明:仅原图的边为连接源点或汇点,而这些边已置为(inf),故不可能选择

  • 在原图去除最小割的前提下,含有(S)的闭合子图(在下方我们称为图(S))为最大权闭合子图
    证明:记割集的权值和为(X),连接源点的权值和为(x_1),连接汇点的权值和为(x_2),则(X=x_1+x_2)()
    记图(S)的点权和为(W),正点权和为(w_1),负点权和为(-w_2),则(W=w_1-w_2)()
    (X+W=w_1-w_2+x_1+x_2),而(w_2=x_2()负点与汇点连接,图(S)是与汇点不联通是由于割掉了连接汇点的边())
    (X+W=w_1+x_1),而(w_1+x_1)为原图正点权和,故(W=(w_1+x_1)-X),而正点权和可以理解为常数

做法

求出最小割,正点权减掉及是最大权闭合子图权值和

感性理解

2020.1.18 up:突然发现前面的证明好愚蠢,正确性显然嘛

原文地址:https://www.cnblogs.com/y2823774827y/p/10861142.html