[数据结构] 左偏树

洛谷链接：https://www.luogu.org/problemnew/show/P3377

【模板】左偏树

题目描述

如题，一开始有N个小根堆，每个堆包含且仅包含一个数。接下来需要支持两种操作：

操作1： 1 x y 将第x个数和第y个数所在的小根堆合并（若第x或第y个数已经被删除或第x和第y个数在用一个堆内，则无视此操作）

操作2： 2 x 输出第x个数所在的堆最小数，并将其删除（若第x个数已经被删除，则输出-1并无视删除操作）

输入输出格式

输入格式：

第一行包含两个正整数N、M，分别表示一开始小根堆的个数和接下来操作的个数。

第二行包含N个正整数，其中第i个正整数表示第i个小根堆初始时包含且仅包含的数。

接下来M行每行2个或3个正整数，表示一条操作，格式如下：

操作1 ： 1 x y

操作2 ： 2 x

输出格式：

输出包含若干行整数，分别依次对应每一个操作2所得的结果。

输入输出样例

输入样例#1：

5 5
1 5 4 2 3
1 1 5
1 2 5
2 2
1 4 2
2 2

输出样例#1：

1
2

说明

当堆里有多个最小值时，优先删除原序列的靠前的，否则会影响后续操作1导致WA。

时空限制：1000ms,128M

数据规模：

对于30%的数据：N<=10，M<=10

对于70%的数据：N<=1000，M<=1000

对于100%的数据：N<=100000，M<=100000

样例说明：

初始状态下，五个小根堆分别为:{1}、{5}、{4}、{2}、{3}。

第一次操作，将第1个数所在的小根堆与第5个数所在的小根堆合并，故变为四个小根堆：{1,3}、{5}、{4}、{2}。

第二次操作，将第2个数所在的小根堆与第5个数所在的小根堆合并，故变为三个小根堆：{1,3,5}、{4}、{2}。

第三次操作，将第2个数所在的小根堆的最小值输出并删除，故输出1，第一个数被删除，三个小根堆为：{3,5}、{4}、{2}。

第四次操作，将第4个数所在的小根堆与第2个数所在的小根堆合并，故变为两个小根堆：{2,3,5}、{4}。

第五次操作，将第2个数所在的小根堆的最小值输出并删除，故输出2，第四个数被删除，两个小根堆为：{3,5}、{4}。

故输出依次为1、2。

题解

左偏树与平衡树的不同就在于平衡树为了使插入、查询等操作耗时尽可能少，所以使整个树的深度平均，避免退化成链的状况。而左偏树的目的与此不同，为了使堆的合并尽可能快，左偏树将右儿子离空节点的距离调整的较小以求快速合并（距离和深度不一样，左偏并不意味着左儿子的深度或大小一定大于右儿子）。

性质

以小根左偏树为例，妙妙的性质如下：

1.节点的权值小于其左右儿子的权值    
堆的性质，显然满足。

2.节点左儿子离空白节点的距离不小于右儿子离空白节点的距离
为了使合并尽可能快，需要这个性质。

3.节点离空白节点的距离等于右儿子的距离加1
也是特殊性质，供快速合并用。

4.节点的最大距离为$log_{2}^{n+1}-1$
人家可是一棵树呢，虽然有点歪。

具体操作

1.合并

我们假设左边的为被插入树，右边的为插入树（毕竟博主右撇子）。

首先，我们要保证A的权值小于B（不然就交换），然后，接下来我们就需要合并A的右儿子和B了。

每次我们都重复上述操作，构成一个递归，直到被插入树没有右儿子时，就可以插入了。合并完毕后，A右儿子离空节点的距离可能大于左儿子,破坏了性质2，这时我们只需交换左右儿子即可。最后，因为A右儿子的距离可能会变，我们需要更新距离。

盗一个动图：

合并操作是整个左偏树的精髓，需要大家深刻体会，再盗一些图帮助大家理解：

2.插入

实质上是合并一个点与一棵树，类比上面的操作。

3.删除

将要删除的节点拉出来，将其左右儿子合并即可。

4.查询根节点

记录个爸爸节点往上跳就好了。

代码

#include<bits/stdc++.h>
#define ls tree[x].son[0]
#define rs tree[x].son[1]
using namespace std;
const int M=100005;
struct node{
    int son[2],val,dis,dad;
};
node tree[M];
bool del[M];
int n,m;
void in()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;++i)
    scanf("%d",&tree[i].val),tree[i].dad=i;
}
int merge(int x,int y)
{
    if(!x||!y)return x+y;
    if(tree[x].val>tree[y].val)swap(x,y);
    rs=merge(rs,y);
    tree[rs].dad=x;
    if(tree[ls].dis<tree[rs].dis)swap(ls,rs);
    if(!rs)tree[x].dis=0;
    else tree[x].dis=tree[rs].dis+1;
    return x;
}
int pop(int x)
{
    int le=ls,ri=rs;
    tree[le].dad=le;
    tree[ri].dad=ri;
    ls=rs=tree[x].dis=0;
    return merge(le,ri);
}
int root(int x)
{
    while(tree[x].dad!=x)x=tree[x].dad;
    return x;
}
void ac()
{
    int ord,a,b;
    for(int i=1;i<=m;++i)
    {
        scanf("%d%d",&ord,&a);
        if(ord==1)
        {
            scanf("%d",&b);
            if(del[a]||del[b])continue;
            a=root(a);b=root(b);
            if(a==b)continue;
            merge(a,b);
        }
        else
        {
            if(del[a])
            {
                printf("-1\n");
                continue;
            }
            a=root(a);
            printf("%d\n",tree[a].val);
            pop(a);
            del[a]=1;
        }
    }
}
int main()
{
    in();ac();
    return 0;
}