文艺平衡树(splay模板)
题干:splay模板,要求维护区间反转。
splay是一种码量小于treap,但支持排名,前驱后继等treap可求的东西,也支持区间反转的平衡树。
但是有两个坏处:
1.splay常数远远大于treap以及stl中的set。
2.没有可持久化splay,但有可持久化treap。
下面是代码:
1.pushup以及pushdown
pushup用于维护某点所在子树大小。
void pushup(int u)
{
tr[u].siz = tr[tr[u].ch[]].siz + tr[tr[u].ch[]].siz + ;
}
一行。
pushdown用于标记下推。
void pushdown(int u)
{
if(tr[u].mrk)
{
tr[u].mrk=;
swap(tr[u].ch[],tr[u].ch[]);
tr[tr[u].ch[]].mrk^=;
tr[tr[u].ch[]].mrk^=;
}
}
2.rotate
rotate相当于treap中的lturn和rturn,是将x点转到他的父节点处。
void rotate(int x)
{
int y = tr[x].fa;
int z = tr[y].fa;
int k = (tr[y].ch[]==x);
tr[x].fa = z,tr[z].ch[tr[z].ch[]==y]=x;
tr[y].ch[k] = tr[x].ch[k^],tr[tr[x].ch[k^]].fa = y;
tr[y].fa = x,tr[x].ch[k^]=y;
pushup(y),pushup(x);
}
注意改变父子关系时的顺序问题,还有两个pushup,应该先pushup儿子后pushup父亲。
3.splay(splay核心操作)
splay(a,b),将a旋转到b的儿子处。
下面是双旋splay:
void splay(int x,int goal)
{
while(tr[x].fa!=goal)
{
int y = tr[x].fa;
int z = tr[y].fa;
if(z!=goal)
((tr[z].ch[]==y)^(tr[y].ch[]==x))?rotate(x):rotate(y);
rotate(x);
}
if(goal==)rot=x;
}
代码中while中的if,机房普遍认为是为了维护整棵树的深度。
4.insert
码量比treap少很多:
void insert(int x)
{
int u = rot,fa;
while(u)fa=u,u=tr[u].ch[tr[u].v<x];
u=++tot;
if(fa)tr[fa].ch[x>tr[fa].v]=u;
tr[u].fa = fa,tr[u].v = x,tr[u].siz = ;
splay(u,);
}
5.查询排名
代码:
int query_kth(int k)
{
int u = rot;
while()
{
pushdown(u);
int t = tr[tr[u].ch[]].siz;
if(t==k-)return u;
else if(t>=k)u=tr[u].ch[];
else k-=t+,u=tr[u].ch[];
}
}
6.区间旋转
先查询前驱后继,然后把所在子树夹到前驱后继之间,一个标记解决问题。
void chg(int l,int r)
{
l = query_kth(l);//前驱
r = query_kth(r+);//后继
splay(l,);splay(r,l);
tr[tr[tr[rot].ch[]].ch[]].mrk^=;
}
最后:
推极大极小,推极大极小,推极大极小!!!
全代码就不粘了。
文艺平衡树(splay模板)的更多相关文章
- [洛谷P3391] 文艺平衡树 (Splay模板)
初识splay 学splay有一段时间了,一直没写...... 本题是splay模板题,维护一个1~n的序列,支持区间翻转(比如1 2 3 4 5 6变成1 2 3 6 5 4),最后输出结果序列. ...
- 【阶梯报告】洛谷P3391【模板】文艺平衡树 splay
[阶梯报告]洛谷P3391[模板]文艺平衡树 splay 题目链接在这里[链接](https://www.luogu.org/problemnew/show/P3391)最近在学习splay,终于做对 ...
- luoguP3391[模板]文艺平衡树(Splay) 题解
链接一下题目:luoguP3391[模板]文艺平衡树(Splay) 平衡树解析 这里的Splay维护的显然不再是权值排序 现在按照的是序列中的编号排序(不过在这道题目里面就是权值诶...) 那么,继续 ...
- BZOJ 3223: Tyvj 1729 文艺平衡树-Splay树(区间翻转)模板题
3223: Tyvj 1729 文艺平衡树 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 6881 Solved: 4213[Submit][Sta ...
- [bzoj3223]文艺平衡树(splay区间反转模板)
解题关键:splay模板题. #include<cstdio> #include<cstring> #include<algorithm> #include< ...
- BZOJ3223 文艺平衡树(splay)
题目背景 这是一道经典的Splay模板题——文艺平衡树. 题目描述 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作:翻转一个区间,例如原有序序列是5 4 3 2 1, ...
- BZOJ3223: Tyvj 1729 文艺平衡树 [splay]
3223: Tyvj 1729 文艺平衡树 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 3595 Solved: 2029[Submit][Sta ...
- Tyvj P1729 文艺平衡树 Splay
题目: http://tyvj.cn/p/1729 P1729 文艺平衡树 时间: 1000ms / 空间: 131072KiB / Java类名: Main 背景 此为平衡树系列第二道:文艺平衡树 ...
- BZOJ 3223: Tyvj 1729 文艺平衡树(splay)
速度居然进前十了...第八... splay, 区间翻转,用一个类似线段树的lazy标记表示是否翻转 ------------------------------------------------- ...
- bzoj3223Tyvj 1729 文艺平衡树 splay
3223: Tyvj 1729 文艺平衡树 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 5644 Solved: 3362[Submit][Sta ...
随机推荐
- 51nod 1225:余数之和
传送门 题意 略 分析 \(\sum_i^n(n\%i)=\sum_i^n(n-i*n/i)=n^2-\sum_i^ni*n/i\) \(=\sum r\sum_i^ni[n/i==r]\) 可以证明 ...
- HDU5213(容斥定理+莫队算法)
传送门 题意 给出n个数和幸运数k,m次询问,每次询问[l1,r1]和[l2,r2]有多少对数满足x+y=k,x∈[l1,r1],y∈[l2,r2] 分析 看到m只有3e4,可以考虑\(m\sqrt{ ...
- POJ2369【循环节】
题意: 给一个序列,他需要几步就能变成原来的序列. 思路: 那么就是找一下各个循环节(用dfs随便搞了-),求一下最小公倍数就好了. 贴一发挫code- //#include <bits/std ...
- 洛谷P3537 [POI2012]SZA-Cloakroom(背包)
传送门 蠢了……还以为背包只能用来维护方案数呢……没想到背包这么神奇…… 我们用$dp[i]$表示当$c$的和为$i$时,所有的方案中使得最小的$b$最大时最小的$b$是多少 然后把所有的点按照$a$ ...
- C# 中使用Image.FromFile(string path)后,提示该文件正在被另一进程使用XXX的问题
C# 中使用Image.FromFile(string path)后,提示该文件正在被另一进程使用XXX的问题 C# 中使用Image.FromFile(string path)后,提示该文件正在被另 ...
- smtplib报警模块
#!/usr/bin/env python # coding:utf-8 import time import subprocess import smtplib from email.mime.te ...
- python之商品操作小程序
要求:写一个添加商品的程序,商品信息写入txt文件中,以二维字典形式比如:{‘小米’:{‘价格’:‘1999元’,‘数量’:10}} 1.添加商品 #商品名称 #价格 #数量 2.查看商品 3.删除商 ...
- Selenium中验证码处理
验证码的主要实现方法 1.读取方式:在服务器目录下保存制作好的图片文件.然后在web页面上让用户识别,这种方式完全可以通过URL来破解图片的地址,通过图片地址可以间接的知道图片表示的验证码是什么所以这 ...
- mysql索引命中规则
转于:https://blog.csdn.net/claram/article/details/77574600 首先明确:为什么要用联合索引? 对于查询语句“SELECT E.* FROM E WH ...
- jsapi4加载的首个图层的范围被默认作为地图范围,且不能修改的解决
在map加载的第一个图层的图层范围(fullExtent),会被默认设置为map的全图范围,且不能更改,从一般地图控件角度来说,应该有fullExtent属性,作为地图的全图范围,但很遗憾jsapi4 ...