知识点 - 左偏树
解决问题类型:
左偏树,一种可以合并的堆状结构,支持 i n s e r t / r e m o v e / m e r g e insert/remove/merge insert/remove/merge等操作。稳定的时间复杂度在 Θ ( l o g n ) Θ(logn) Θ(logn)的级别。对于一个左偏树中的节点,需要维护的值有 d i s t dist dist 和 v a l u e value value。其中value不必多说, d i s t dist dist记录这个节点到它子树里面最近的叶子节点的距离,叶子节点距离为0。
首先,他有以下几个喜闻乐见的性质:
- 一个节点的 v a l u e value value必定(或小于)左、右儿子的 v a l u e value value(堆性质)
- 一个节点的左儿子的 d i s t dist dist不小于右儿子的 d i s t dist dist(左偏性质)
- 一个节点的距离始终等于右儿子+1
那么这就可以推出以下性质:
- 推论:任何时候,节点数为n的左偏树,距离最大为 l o g ( n + 1 ) − 1 log(n+1)−1 log(n+1)−1
复杂度:
单次操作 O ( l o g N ) O(logN) O(logN)
例题
一开始有N个小根堆,每个堆包含且仅包含一个数。接下来需要支持两种操作:
操作1: 1 x y 将第x个数和第y个数所在的小根堆合并(若第x或第y个数已经被删除或第x和第y个数在用一个堆内,则无视此操作)
操作2: 2 x 输出第x个数所在的堆最小数,并将其删除(若第x个数已经被删除,则输出-1并无视删除操作)
代码
#include<bits/stdc++.h>
using namespace std;
const int mxn=1e5+10;
int n,m;
int f[mxn],v[mxn],ch[mxn][2],dis[mxn];
int get(int x){//不用路径压缩,不赋初值,所以他祖先没有父亲(为0
while(f[x])x=f[x];//一直找,直到这个节点没父亲即为祖先
return x;
}
int merge(int x,int y){//返回值为编号,是直接父亲的编号
if(x==0||y==0)return x+y;
if(v[x]>v[y]||(v[x]==v[y]&&x>y))swap(x,y);
ch[x][1]=merge(ch[x][1],y);
f[ch[x][1]]=x;
if(dis[ch[x][0]]<dis[ch[x][1]])swap(ch[x][1],ch[x][0]);//维持左偏性质
dis[x]=dis[ch[x][1]]+1;return x;
//因为是左偏树,所以右边的深度要小,左边深度要大
//所以维护距离时,以右儿子为标准统计深度
}
void pop(int x){
v[x]=-1;
f[ch[x][0]]=f[ch[x][1]]=0;
merge(ch[x][0],ch[x][1]);
}
int main(){
scanf("%d%d",&n,&m);
dis[0]=-1;
for(int i=1;i<=n;i++)scanf("%d",&v[i]);
for(int i=1;i<=m;i++){
int opt;
scanf("%d",&opt);
if(opt==1){
int x,y;
scanf("%d%d",&x,&y);
if(v[x]==-1||v[y]==-1)continue;//有一个节点被删除惹
int fx=get(x),fy=get(y);
if(fx==fy)continue;//本来就在一个堆里
merge(fx,fy);
}
else{
int x;
scanf("%d",&x);
if(v[x]==-1)puts("-1");
else{
int fx=get(x);
printf("%d\n",v[fx]);
pop(fx);
}
}
}
}