bzoj2229 [Zjoi2011]最小割（分治+最小割树）

bzoj2229 [Zjoi2011]最小割

原题地址：http://www.lydsy.com/JudgeOnline/problem.php?id=2229

题意：
T组数据。
每组数据给定一个n个节点的无向图，有若干个询问，每个询问给出x，询问图中有多少对点它们的最小割的容量不超过x，注意（p,q），(q，p）算相同的点对。

数据范围
T<=10,n<=150,m<=3000,q<=30，x在32位有符号整数类型范围内

题解：
关于最小割树（Gomory-Hu Tree）的相关定理及证明见2016年集训队论文 ：王文涛《浅谈无向图最小割问题的一些算法及应用》。
其实并没有看懂论文。

一个相当清晰的构造方法：

Gomory-Hu tree是一颗代表了所有源目节点对间的最小割的树。求解出Gomory-Hu tree就可以了解两两节点对之间的最大流（最大流最小割定理）。举例：
　
下图左侧为一无向图，右侧为初始Gomory-Hutree（所有点在统一集合中），下面进行Gomory-Hu tree的求解。

步骤一：任意选定一个源节点和一个目的节点。在本例中不失一般性选择节点1为源节点(s)，5为目的节点（t）。则可得最大流为6，且最小割相应的将点分为如下图右侧所示的两个集合。

步骤二：任意选定与之前步骤不同的一个源节点和一个目的节点。在本例中不失一般性选择节点3为源节点(s)，5为目的节点（t）。由于0124四个节点已经被视作一个集合，则可得最大流为8，且最小割相应的将点分为如下图右侧所示的三个集合。

步骤三：任意选定与之前步骤不同的一个源节点和一个目的节点。在本例中不失一般性选择节点1为源节点(s)，2为目的节点（t）。同上可得最大流为6，且最小割相应的将点分为如下图右侧所示的四个集合。

重复以上步骤可以将原无向图划分为一棵Gomory-Hutree，如下图所示。