最小瓶颈生成树

一、定义

给出带权无向图，求一棵最大边权值尽量小的生成树。

二、结论

可以转化为最小生成树问题，最小生成树不仅可以得到最小的权值之和，其最大边权也为生成树中最大边权最小的。

但是要注意的是最小瓶颈生成树不一定是最小生成树，但最小生成树一定是最小瓶颈生成树。如下图：

三、推广

之后可以引入最小瓶颈路，定义为：给出带权图的两个结点u和v，求从u到v的一条路径，使得路径上最大边权在所有路径中最小。

有一个重要的结论：无向图中，任意两个结点的最小瓶颈路肯定在最小生成树上。

因此，在求出最小生成树后可以从生成树上dfs，从起点遍历到终点的树链就是最小瓶颈路，其中的最大边权就是所有路径中的最小的最大边权。另外，如果是用prim算法求最小生成树的话这个过程可以简化，不需要再dfs一遍，过程中就可以求出起点到其他各点的最小瓶颈路，只需要在往集合中加点时更新一下最大边权值即可，该最大边权值就是从起点到该点的最大边权最小值。考虑prim的构造过程并结合反证法，加入一个点后最大边权值一定出现在从起点到该点的树链上，也就是从起点到该点最小瓶颈路上的最大边权。

其实还有另外一种方式求最小瓶颈路，那就是用最短路变形，松弛条件改为dis[to] > max（dis[now], edge[i].w）时dis[to] = max（dis[now], edge[i].w）。这种方法的详细介绍见[最短路变形]Heavy Transportation POJ1797这篇博客。另外还需要知道有向图的最小瓶颈路没法用最小生成树来求（无向图有最小生成树），只能用最短路变形。

最后推荐一篇不错的博客：关于生成树的拓展，讲得十分详细。