一、题目描述
二、算法分析说明与代码编写指导
以下内容是根据 https://oi-wiki.org/graph/mst/ 改写的:
瓶颈生成树
定义
无向图 G 的瓶颈生成树是这样的一个生成树,它的最大的边权值在 G 的所有生成树中最小。
性质
最小生成树是瓶颈生成树的充分不必要条件。 即最小生成树一定是瓶颈生成树,而瓶颈生成树不一定是最小生成树。
关于最小生成树一定是瓶颈生成树这一命题,可以运用反证法证明:
设最小生成树中的最大边权为 w。如果最小生成树不是瓶颈生成树的话,则瓶颈生成树的最大边权(所有边权)都小于 w,我们只需删去原最小生成树中的最长边,用瓶颈生成树中的一条边(这样的边一定存在,因为生成树确保图上的任意两点都在生成树上由唯一的简单路径连通)连接删去边后形成的两棵树,得到的新生成树一定比原最小生成树的权值和还要小,这样就产生了矛盾,原命题得证。
最小瓶颈路
定义
无向图
中 x 到 y 的最小瓶颈路是这样的一类简单路径,满足这条路径上的最大的边权在所有 x 到 y 的简单路径中是最小的。
性质
根据最小生成树的定义,x 到 y 的最小瓶颈路上的最大边权等于最小生成树上 x 到 y 路径上的最大边权。虽然最小生成树不唯一,但是每种最小生成树 x 到 y 路径的最大边权相同且为最小值。也就是说,每种最小生成树上的 x 到 y 的路径均为最小瓶颈路。
但是,并不是所有最小瓶颈路都存在一棵最小生成树满足其为树上 x 到 y 的简单路径。
由于最小瓶颈路不唯一,一般情况下会询问最小瓶颈路上的最大边权。
用 Kruskal 算法求解,在求解过程中只要在当要求最小瓶颈路的最大边权的两点被添加到生成树内就终止算法,返回找到的最大边权即可。
三、AC 代码
1、输出 double 采用 .f 会 WA,当然锅还是 POJ 的古董编译器的。
2、如果采用 C++ 提交,hypot 函数无法通过编译(LNK2019)。
3、类内重载 < 运算符时要在参数后加 const,否则 Compile Error。
#include<cstdio>
#include<vector>
#include<algorithm>
#include<cmath>
#pragma warning(disable:4996)
using namespace std;
template<size_t n> class union_find {
private:
unsigned root[n], rank[n];
public:
union_find<n>() {
init(); }
void init() {
fill(rank, rank + n, 0)