左偏树(可并堆)
(神经病也可以写成右偏树 )
性质
1.左偏
具体左偏指左节点的距离
≥
\geq
≥右节点的距离
距离指离最近拥有空节点的节点的距离
2.堆
一个节点的值一定 ≤ ( 或 ≥ ) \leq (或\geq) ≤(或≥)其子节点的值
3.可并
由于左偏性质,每次可以合并至右边,维护左偏性质后就可以保证复杂度
被踩爆的板子(或者是我?)
#include<bits/stdc++.h>
#define ls lson[x]
#define rs rson[x]
using namespace std;
const int N=1e5+10;
int n,m;
int lson[N],rson[N],rt[N],f[N];
int dis[N],val[N];
int fa(int x){return x==f[x]?x:fa(f[x]);}
int mer(int x,int y)
{
if(!x||!y)return x+y;
if(val[x]>val[y]||(val[x]==val[y]&&x>y))swap(x,y);
f[rs=mer(rs,y)]=x;
if(dis[ls]<dis[rs])swap(ls,rs);
dis[x]=dis[rs]+1;
return x;
}
void del(int x)
{
val[x]=0;
x=mer(ls,rs);
f[x]=x;
}
int main()
{
scanf("%d%d",&n,&m);dis[0]=-1;
for(int i=1;i<=n;i++)
{
scanf("%d",&val[i]);f[i]=i;
}
while(m--)
{
int op,x,y;
scanf("%d",&op);
if(op==1)
{
scanf("%d%d",&x,&y);
int fx=fa(x),fy=fa(y);
if(!val[x]||!val[y]||fx==fy)continue;
mer(fx,fy);
}
else
{
scanf("%d",&x);
int fx=fa(x);
if(!val[fx])printf("-1\n");
else{
printf("%d\n",val[fx]);
del(fx);
}
}
}
}
交上去,惊喜的发现,TLE @QAQ!
因为我们要维护左偏树性质,所以
不能路径压缩
不能路径压缩
不能路径压缩
主要是因为在递归到最底层之后往上反的过程中,会用到它的直接父亲,而这时我们的路径压缩会覆盖子节点们的直接父亲,记录的只是他所在的树的根,而这样的话我们的递归就无法实现了QAQ
——某位大佬
但是这道题不用路径压缩就会凉
于是到处维护父节点,就可以路径压缩了(不知道其他题可以吗?)
#include<bits/stdc++.h>
#define ls lson[x]
#define rs rson[x]
using namespace std;
const int N=1e5+10;
int n,m;
int lson[N],rson[N],rt[N],f[N];
int dis[N],val[N];
bool dl[N];
int fa(int x){return x==f[x]?x:f[x]=fa(f[x]);}
int mer(int x,int y)
{
if(!x||!y)return x+y;
if(val[x]>val[y]||(val[x]==val[y]&&x>y))swap(x,y);
rs=mer(rs,y);
if(dis[ls]<dis[rs])swap(ls,rs);
dis[x]=dis[rs]+1;
f[ls]=f[rs]=f[x]=x;
return x;
}
void del(int x)
{
dl[x]=1;
f[ls]=ls;
f[rs]=rs;
f[x]=mer(ls,rs);
}
int main()
{
scanf("%d%d",&n,&m);dis[0]=-1;
for(int i=1;i<=n;i++)
{
scanf("%d",&val[i]);f[i]=i;
}
while(m--)
{
int op,x,y;
scanf("%d",&op);
if(op==1)
{
scanf("%d%d",&x,&y);
if(dl[x]||dl[y])continue;
int fx=fa(x),fy=fa(y);
if(fx==fy)continue;
f[fx]=f[fy]=mer(fx,fy);
}
else
{
scanf("%d",&x);
if(dl[x])printf("-1\n");
else{
int fx=fa(x);
printf("%d\n",val[fx]);
del(fx);
}
}
}
}
更多操作
1.删除根节点
2.得到根节点
3.插入新节点
4.删除任意已知节点(???)