最大流最小割模型

参考
最小割模型在信息学竞赛中的应用 胡伯涛

已知最大流，可计算的项有：

1. 最小割

1. 定义：每条边都有割断它的代价，最小割即为使得s和t不连通的最小代价。
2. 算法：最小割=最大流

2. 二分图最大匹配

1. 定义：满足每两条边都没有公共点的边数最多的边集。
2. 算法：源点到左侧点、左侧点到右侧点、右侧点到汇点都建立容量为1的边，最大流即为最大匹配。

3. 二分图最小顶点覆盖

1. 定义：假如选了一个点就相当于覆盖了以它为端点的所有边。最小顶点覆盖就是选择最少的点来覆盖所有的边。
2. 算法：最小顶点覆盖=二分图最大匹配(?)

4. 二分图最大独立集

1. 定义：满足每两个点之间都无边相连的点数最多的点集。
2. 算法：最大独立集=点数-最小顶点覆盖，两者恰为补集。

5. 有向图的最大权闭合子图

1. 定义：闭合子图是指一个点集V，且V中的每个节点的子节点仍在V中。现在要求点集中点的权值之和最大，常用于有负点权的情况。
2. 算法：建立（源点，正权点，对应权值）、（正权点，负权点，INF）、（负权点，汇点，对应权值的绝对值）的网络，最大权闭合子图 = 正权点权值之和 - 最小割。
3. 例题：洛谷 P2805 [NOI2009]植物大战僵尸

6. 无向图的最大团

1. 定义：点数最多的完全子图。
2. 算法：最大团=补图的最大独立集(?)

7. 二分图最小边覆盖

1. 定义：假如选了一条边就覆盖了它的端点，最小边覆盖集即为能覆盖图中所有点的最小边集。
2. 算法：点数-二分图最大匹配（？）

8. 有向图最小路径覆盖

1. 定义：最小路径覆盖是指一个最小的有向路径集合，且图中的每个节点恰好在其中的一条路径上（路径长度可以为0，即只包含1个点）。
2. 算法：拆点最大流，最小路径覆盖=节点总数-最大流。