zz:https://blog.csdn.net/ouqingliang/article/details/81206050
Kruskal重构树基于Kruskal算法。在执行算法过程中,Kruskal算法会把u,v两点所在的连通块连一条边。而这里会
新建一个节点,点权为原来的图中这条边的边权,并把此节点与u,v的祖先分别连边。最终便会得到一棵Kruskal重
构树。
很明显有如下结论:
1,这是一棵二叉树;
2,叶子节点代表原图的点,非叶子节点表示原图的一条边;
3,对于所有非叶子节点,其点权<父亲节点的点权。举个栗子:
原图:

重构树

例题:BZOJ3732(Network)
题意:给定一个图,对于每个询问求u到v的所有路径中,边的最大值最小多少?
分析:Kruskal重构树模板题。每个询问实际上就是询问在最小生成树中的u,v之间的路径的最大值。
对结论3扩展一下,可以知道:lca(u,v)的点权即为所求。
时间复杂度O(N*logN)
#include <cstdio>
#include <algorithm>
#include <iostream>
#include <cstring>
#include <cmath>
#include <vector>
using namespace std;
#define N 15010
int n,m,k,num,logn;
struct Edge{
int x,y,val;
};
bool operator < (const Edge a,const Edge b)
{
return a.val<b.val;
}
Edge e[N<<1];
int fa[N<<1];
int find(int x)
{
return (fa[x]==x)?x:fa[x]=find(fa[x]);
}
vector<int> tr[N<<1];
void AddEdge(int x,int y)
{
tr[y].push_back(x);
}
int dep[N<<1];
int f[N<<1][20];
int w[N<<1];
void dfs(int pre,int u)
//从u点开始dfs,pre为其父亲点
{
dep[u] = dep[pre]+1;
f[u][0] = pre;
for(int i=1;i<=logn && f[u][i-1];i++)
f[u][i] = f[f[u][i-1]][i-1];
int len = tr[u].size();
for(int i=0;i<len;i++)
dfs(u,tr[u][i]);
}
int lca(int u,int v)
{
if(dep[u]<dep[v]) swap(u,v);
for(int i=logn;i>=0;i--)
if(dep[f[u][i]] >= dep[v])
u = f[u][i];
for(int i=logn;i>=0;i--)
if(f[u][i] != f[v][i])
{
u = f[u][i]; v = f[v][i];
}
if(u!=v) u = f[u][0];
return u;
}
int main()
{
scanf("%d%d%d",&n,&m,&k);
num = n;
for(int i=1;i<=m;i++)
scanf("%d%d%d",&e[i].x,&e[i].y,&e[i].val);
sort(e+1,e+m+1);
for(int i=1;i<=(n<<1);i++)
fa[i] = i;
int fx,fy;
for(int i=1,sum = 0;i<=m&&sum<n-1;i++)//建重构树
{
fx = find(e[i].x);
fy = find(e[i].y);
if(fx != fy)
{
w[++num] = e[i].val;
fa[fx] = fa[fy] = num;
AddEdge(fx,num);
AddEdge(fy,num);
sum++;
}
}
logn = log(num)/log(2);
int x,y;
dfs(0,num);//在重构树上跑次dfs,后面再来求lca
while(k--)
{
scanf("%d%d",&x,&y);
printf("%d\n",w[lca(x,y)]);
}
return 0;
}