洛谷3377 左偏树（可并堆）学习笔记

qwq左偏树真是个神奇的东西

我还是wei的啊

首先可并堆，顾名思义，就是支持合并的堆。这里我们用左偏树来实现这个过程。

我们定义$dis[i[$表示$i$这个节点最近的一个叶子距离这个点的长度是多少。
那么左偏树满足一个节点的左儿子的$dis$大于等于右儿子。

除此之外，左偏树还具有一些别的性质
1.具有堆的性质
2.当前节点的距离等于右儿子的距离+1。（因为左偏树，且左儿子的$dis$一定不如右儿子的$dis$，所以一定是右儿子的距离+1 ，而且可以说一定是一个向右的链）

那么知道了性质，我们来考虑合并。
以小根堆为例子

对于每次合并，我们选择两个堆中根的权值较小的当做是新的根，然后去合并右儿子和新的子树。对于每一层来说，我们考虑当前的左儿子的距离是否大于等于右儿子，如果不满足，就交换。
之所以是合并右儿子，是因为右儿子能保证复杂度，可以发现，一定是$log$级别的。因为每次对于一个节点，我们选择向右走，不会超过log层（可以理解为完全二叉树是右儿子距离最大的，但是就算是这种情况，也就是$log$）而已。

那么剩下的细节直接去代码里面看吧

// luogu-judger-enable-o2
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<vector>
#include<queue>
#include<cmath>
#include<map>
#include<set>
#define pb push_back
#define mk make_pair
#define ll long long
#define lson ch[x][0]
#define rson ch[x][1]

using namespace std;

inline int read()
{
  int x=0,f=1;char ch=getchar();
  while (!isdigit(ch)) {if (ch=='-') f=-1;ch=getchar();}
  while (isdigit(ch)) {x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
  return x*f;
}

const int maxn = 1e6+1e2;

int fa[maxn];
int ch[maxn][2];
int n,m,q;
int val[maxn]; 
int out[maxn];
int dis[maxn];

int find(int x)
{
    if (fa[x]!=x) return find(fa[x]);
    return fa[x];
}

int merge(int x,int y)
{
    if (x==0 || y==0) return x+y;
    if (val[x]>val[y] ||  (val[x]==val[y] && x>y)) 
      swap(x,y);
    ch[x][1]=merge(ch[x][1],y);
    fa[ch[x][1]]=x;
    if (dis[ch[x][0]]<dis[ch[x][1]]) 
      swap(ch[x][0],ch[x][1]);
    dis[x]=dis[ch[x][1]]+1;
    return x;
}

void pop(int x)
{
    out[x]=1;
    val[x]=-1;
    fa[ch[x][0]]=ch[x][0];
    fa[ch[x][1]]=ch[x][1];
    merge(ch[x][0],ch[x][1]);
}

int main()
{
  n=read(),m=read();
  for (int i=1;i<=n;i++) fa[i]=i,val[i]=read();
  for (int i=1;i<=m;i++)
  {
  	 int opt=read();
  	 if (opt==1)
  	 {
  	 	int x=read(),y=read();
  	 	if (out[x] || out[y]) continue;
  	 	int f1 = find(x);
  	 	int f2 = find(y);
  	 	if (f1==f2) continue;
  	 	merge(f1,f2);
     }
     else
     {
        int x=read();
        if (out[x])
        {
            cout<<-1<<"\n";
            continue;
        }
        int f1 = find(x);
        cout<<val[f1]<<"\n";
        pop(f1);
     }
  }
  return 0;
}