版权声明：欢迎评论交流，转载请注明原作者。 https://blog.csdn.net/m0_37809890/article/details/89377300
参考
最小割模型在信息学竞赛中的应用 胡伯涛
已知最大流，可计算的项有：
1. 最小割
- 定义：每条边都有割断它的代价，最小割即为使得s和t不连通的最小代价。
- 算法：最小割=最大流
2. 二分图最大匹配
- 定义：满足每两条边都没有公共点的边数最多的边集。
- 算法：源点到左侧点、左侧点到右侧点、右侧点到汇点都建立容量为1的边，最大流即为最大匹配。
3. 二分图最小顶点覆盖
- 定义：假如选了一个点就相当于覆盖了以它为端点的所有边。最小顶点覆盖就是选择最少的点来覆盖所有的边。
- 算法：最小顶点覆盖=二分图最大匹配(?)
4. 二分图最大独立集
- 定义：满足每两个点之间都无边相连的点数最多的点集。
- 算法：最大独立集=点数-最小顶点覆盖，两者恰为补集。
5. 有向图的最大权闭合子图
- 定义：闭合子图是指一个点集V，且V中的每个节点的子节点仍在V中。现在要求点集中点的权值之和最大，常用于有负点权的情况。
- 算法：建立（源点，正权点，对应权值）、（正权点，负权点，INF）、（负权点，汇点，对应权值的绝对值）的网络，最大权闭合子图 = 正权点权值之和 - 最小割。
6. 无向图的最大团
- 定义：点数最多的完全子图。
- 算法：最大团=补图的最大独立集(?)
7. 二分图最小边覆盖
- 定义：假如选了一条边就覆盖了它的端点，最小边覆盖集即为能覆盖图中所有点的最小边集。
- 算法：点数-二分图最大匹配（？）
8. 有向图最小路径覆盖
- 定义：最小路径覆盖是指一个最小的有向路径集合，且图中的每个节点恰好在其中的一条路径上（路径长度可以为0，即只包含1个点）。
- 算法：拆点最大流，最小路径覆盖=节点总数-最大流。