个人理解
网络流最小割里最重要的一节,不是说应用有多广,而是思想重要
很多大家口中"最大权闭合子图拓展题",个人并不觉得有什么关联,每题都是不同的,相同的可能只是理解的思想,如果放在一起想,只会造成做题的混乱与局限
前置知识
闭合子图:一个点集(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:突然发现前面的证明好愚蠢,正确性显然嘛