来写一下对于最小割建模正确性的理解，困扰了好几天，今天算是看懂了。
前置知识：闭合子图，即一张图，图中边的终点也在该图中（可以选某点，但是不选它连接的边），其实就是割开一些边拿到一张闭合子图。
首先，明确一点，最初始的情况是只有点权，边代表关系$i \rightarrow j$表示选i必须选j如此云云。一般的套路就是：正权点和S相连，而负权点和T相连，容量均为点权绝对值，而原本的边照连，但是容量为INF。
其次：正确性证明，假设我们已经将S、T割开，并且S肯定是一张闭合子图（不然顺着某边biubiubiu就溜到T了），那么我们可以得到如下的一些关系式（C是割，W是我们需要的价值，$S_+$、$S_-$表示目前S所在图中的正（负）权点之和，T同理）：
$$sm = \sum_{i \in V, vak[i]>0} val[i]$$
$$C = T_{+} + \vert S_{-} \vert$$
$$W = S_{+} - \vert S_{-} \vert$$
$$C+W = S_{+} + T_{+} = sm$$
最后合并，发现$C+W=sm \rightarrow W=sm-C=sm-maxflow$，即我们想要的价值，是总的正权点和减去我们建出来图的最小割（即最大流），于是乎就可以解释为什么是上述所说一般套路的建图方式了。
一般来说，正权点就表示拿这个点可以得到收益，但是拿这个点必须拿一些别的点，此时必须拿的这些点会带来花费。
模板：线性代数，我就是从这题理解的
标签：vert,子图,建模,最小,闭合,正确性,权点,sm 来源： https://www.cnblogs.com/FormerAutumn/p/11254415.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。