码迷,mamicode.com
首页 > 其他好文 > 详细

浅谈左偏树

时间:2019-01-09 21:46:57      阅读:206      评论:0      收藏:0      [点我收藏+]

标签:clu   cpp   等于   swap   algo   har   getchar   ons   logs   

可并堆

可并堆顾名思义就是可以合并的堆。

这里不讲二项堆和斐波那契堆,只讲左偏树。

左偏树

左偏树顾名思义就是向左偏的树。

给每个点定义一个\(dist\),满足下面三个条件:

1、空结点的\(dist\)等于\(-1\)

2、每个结点的左儿子的\(dist\)都大于右儿子的\(dist\)

3、每个结点的\(dist\)都等于右儿子的\(dist+1\)

根据上面这些性质,我们可以推出左偏树中根结点的\(dist\)最大不超过\(logsize\)

合并

左偏树合并非常简单,假设我要合并\(a,b\)两颗树并且\(val_a<val_b\)(为了满足小根堆性质,不满足就交换\(a,b\)

如果\(a\)\(b\)为空返回另一个结点

否则合并\(a\)的右儿子和\(b\),如果这个时候右儿子的\(dist\)大于左儿子的\(dist\)就交换\(a\)的左右儿子,更新\(a\)\(dist\)然后返回\(a\)

由于每一层递归的\(dist_a+dist_b\)都会比上一层小\(1\),最小可以到\(-1\),所以时间复杂度是\(O(logsize_a+logsize_b)\)的。

模板题传送门:https://www.luogu.org/problemnew/show/P3377

时间复杂度:\(O(mlogn)\)

空间复杂度:\(O(n)\)

代码如下:

#include <cstdio>
#include <algorithm>
using namespace std;

const int maxn=1e5+5;

int n,m;
int son[maxn][2];
int v[maxn],fa[maxn],dist[maxn];

int read() {
    int x=0,f=1;char ch=getchar();
    for(;ch<'0'||ch>'9';ch=getchar())if(ch=='-')f=-1;
    for(;ch>='0'&&ch<='9';ch=getchar())x=x*10+ch-'0';
    return x*f;
}

int find(int x) {
    while(fa[x])x=fa[x];
    return x;//由于树型结构会改变所以不敢路径压缩
}

int merge(int a,int b) {
    if(!a||!b)return a+b;
    if(v[a]>v[b])swap(a,b);
    son[a][1]=merge(son[a][1],b);
    fa[son[a][1]]=a;
    if(dist[son[a][1]]>dist[son[a][0]])
        swap(son[a][1],son[a][0]);
    dist[a]=dist[son[a][1]]+1;
    return a;
}

void pop(int u) {
    printf("%d\n",v[u]);v[u]=-1;
    fa[son[u][0]]=fa[son[u][1]]=0;
    merge(son[u][0],son[u][1]);
    son[u][0]=son[u][1]=0;
}

int main() {
    n=read(),m=read();
    for(int i=1;i<=n;i++)
        v[i]=read();
    for(int i=1;i<=m;i++) {
        int opt=read();
        if(opt==1) {
            int x=read(),y=read();
            if(v[x]==-1||v[y]==-1)continue;
            x=find(x),y=find(y);
            if(x==y)continue;
            merge(x,y);
        }
        else {
            int u=read();
            if(v[u]==-1) {puts("-1");continue;}
            u=find(u),pop(u);
        }
    }
    return 0;
}

浅谈左偏树

标签:clu   cpp   等于   swap   algo   har   getchar   ons   logs   

原文地址:https://www.cnblogs.com/AKMer/p/10246635.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!