[AH2017/HNOI2017]单旋
\(\rm splay\)水平太差,于是得手玩一下才能发现规律
首先插入一个数,其肯定会成为其前驱的右儿子或者是后继的左儿子,进一步手玩发现前驱的右儿子或者是后继的左儿子一定只有一个是空的,我们找到这个空位置插入就好了
于是我们需要一个\(\rm std::set\)来查找前驱后继,同时我们还需要维护每个点的左右儿子和父亲
继续手玩发现由于只有对最大值和最小值的操作,所以对\(\rm splay\)的结构影响很小,于是这个过程中也能维护每个节点的父亲的左右儿子
深度看起来不能用几个数组来维护了,于是我们直接用lct维护这棵树的形态,深度查一下到当前根的路径上的节点个数即可
代码
#include<bits/stdc++.h>
#define re register
inline int read() {
char c=getchar();int x=0;while(c<'0'||c>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;
}
const int maxn=1e5+5;
struct LinkCutTree {
int fa[maxn],ch[maxn][2],sz[maxn],rev[maxn];
int st[maxn],top;
inline int nrt(int x) {return ch[fa[x]][1]==x||ch[fa[x]][0]==x;}
inline void pushup(int x) {sz[x]=sz[ch[x][0]]+1+sz[ch[x][1]];}
inline void rotate(int x) {
int y=fa[x],z=fa[y],w=ch[y][1]==x,k=ch[x][w^1];
if(nrt(y)) ch[z][ch[z][1]==y]=x;
ch[x][w^1]=y,ch[y][w]=k;
pushup(y),pushup(x);fa[k]=y,fa[y]=x,fa[x]=z;
}
inline void work(int x) {rev[x]^=1;std::swap(ch[x][0],ch[x][1]);}
inline void pushdown(int x) {
if(!rev[x]) return;rev[x]=0;
if(ch[x][0]) work(ch[x][0]);
if(ch[x][1]) work(ch[x][1]);
}
inline void splay(int x) {
int y=x;top=0;
st[++top]=x;
while(nrt(y)) y=fa[y],st[++top]=y;
while(top) pushdown(st[top--]);
while(nrt(x)) {
int y=fa[x];
if(nrt(y)) rotate((ch[y][1]==x)^(ch[fa[y]][1]==y)?x:y);
rotate(x);
}
}
inline void access(int x) {
for(re int y=0;x;y=x,x=fa[x])
splay(x),ch[x][1]=y,pushup(x);
}
inline void mrt(int x) {
access(x);splay(x);work(x);
}
inline void link(int x,int y) {
mrt(x);fa[x]=y;
}
inline void split(int x,int y) {
mrt(x),access(y),splay(y);
}
inline void cut(int x,int y) {
split(x,y);fa[x]=ch[y][0]=0;pushup(y);
}
inline int dis(int x,int y) {
split(x,y);return sz[y];
}
}lct;
struct RBT {
std::set<int> s;
#define It std::set<int>::iterator
inline int pre(int x) {
It it=s.find(x);
if(it==s.begin()) return 0;
--it;return *it;
}
inline int nxt(int x) {
It it=s.find(x);++it;
if(it==s.end()) return 0;
return *it;
}
inline void del(int x) {s.erase(x);}
inline void ins(int x) {s.insert(x);}
inline int Gmin() {It it=s.begin();return *it;}
inline int Gmax() {It it=s.end();--it;return *it;}
inline int empty() {return s.empty();}
}s;
int n,m,rt;
int a[maxn],b[maxn],son[maxn][2],op[maxn],fa[maxn];
inline int find(int x) {
int l=1,r=n;
while(l<=r) {
int mid=l+r>>1;
if(b[mid]==x) return mid;
if(b[mid]<x) l=mid+1;else r=mid-1;
}
return 0;
}
inline int ins(int x) {
s.ins(x);
if(!rt) {fa[x]=0;rt=x;return 1;}
int Pre=s.pre(x);
if(Pre&&!son[Pre][1])
lct.link(Pre,x),son[Pre][1]=x,fa[x]=Pre;
else {
int Nxt=s.nxt(x);
if(Nxt&&!son[Nxt][0])
lct.link(Nxt,x),son[Nxt][0]=x,fa[x]=Nxt;
}
return lct.dis(rt,x);
}
inline void move_min() {
int x=s.Gmin();
printf("%d\n",lct.dis(x,rt));
if(x==rt) return;
lct.cut(fa[x],x);
if(son[x][1]) lct.cut(x,son[x][1]);
lct.link(x,rt);
if(son[x][1]) lct.link(fa[x],son[x][1]);
fa[son[x][1]]=fa[x];fa[rt]=x;
son[fa[x]][0]=son[x][1];
son[x][1]=rt;fa[x]=0;rt=x;
}
inline void move_max() {
int x=s.Gmax();
printf("%d\n",lct.dis(x,rt));
if(x==rt) return;
lct.cut(fa[x],x);
if(son[x][0]) lct.cut(x,son[x][0]);
lct.link(rt,x);
if(son[x][0]) lct.link(fa[x],son[x][0]);
fa[son[x][0]]=fa[x],fa[rt]=x;
son[fa[x]][1]=son[x][0];
son[x][0]=rt,fa[x]=0;rt=x;
}
inline void pop(int x) {
if(son[x][0]) lct.cut(x,son[x][0]),rt=son[x][0];
if(son[x][1]) lct.cut(x,son[x][1]),rt=son[x][1];
son[x][0]=son[x][1]=fa[x]=0;
s.del(x);if(s.empty()) rt=0;
}
int main() {
m=read();
for(re int i=1;i<=m;i++) {
op[i]=read();
if(op[i]==1) a[i]=read(),b[++n]=a[i];
}
std::sort(b+1,b+n+1);
for(re int i=1;i<=m;i++) {
if(op[i]==1) printf("%d\n",ins(find(a[i])));
if(op[i]==2) move_min();
if(op[i]==3) move_max();
if(op[i]==4) move_min(),pop(rt);
if(op[i]==5) move_max(),pop(rt);
}
return 0;
}
[AH2017/HNOI2017]单旋的更多相关文章
- P3721 [AH2017/HNOI2017]单旋
题目:https://www.luogu.org/problemnew/show/P3721 手玩一下即可AC此题. 结论:插入x后,x要么会成为x的前驱的右儿子,要么成为x的后继的左儿子,这取决于它 ...
- 洛谷 P3721 - [AH2017/HNOI2017]单旋(LCT)
洛谷题面传送门 终于调出来这道题了,写篇题解( 首先碰到这样的题我们肯定要考虑每种操作会对树的形态产生怎样的影响: 插入操作:对于 BST 有一个性质是,当你插入一个节点时,其在 BST 上的父亲肯定 ...
- luogu P3721 [AH2017/HNOI2017]单旋
传送门 \(Spaly:\)??? 考虑在暴力模拟的基础上优化 如果要插入一个数,那么根据二叉查找树的性质,这个点一定插在他的前驱的右子树或者是后继的左子树,可以利用set维护当前树里面的数,方便查找 ...
- 洛谷P3721 [AH2017/HNOI2017]单旋(线段树 set spaly)
题意 题目链接 Sol 这题好毒瘤啊.. 首先要观察到几个性质: 将最小值旋转到根相当于把右子树变为祖先的左子树,然后将原来的根变为当前最小值 上述操作对深度的影响相当于右子树不变,其他的位置-1 然 ...
- [AH2017/HNOI2017] 单旋 - Splay
Splay 暴力维护节点信息即可 #include<iostream> #include<cstdio> #include<cstring> #include< ...
- bzoj 4825: [Hnoi2017]单旋 [lct]
4825: [Hnoi2017]单旋 题意:有趣的spaly hnoi2017刚出来我就去做,当时这题作死用了ett,调了5节课没做出来然后发现好像直接用lct就行了然后弃掉了... md用lct不知 ...
- 【LG3721】[HNOI2017]单旋
[LG3721][HNOI2017]单旋 题面 洛谷 题解 20pts 直接模拟\(spaly\)的过程即可. 100pts 可以发现单旋最大.最小值到根,手玩是有显然规律的,发现只需要几次\(lin ...
- 4825: [Hnoi2017]单旋
4825: [Hnoi2017]单旋 链接 分析: 以后采取更保险的方式写代码!!!81行本来以为不特判也可以,然后就总是比答案大1,甚至出现负数,调啊调啊调啊调~~~ 只会旋转最大值和最小值,以最小 ...
- [BZOJ4825][HNOI2017]单旋(线段树+Splay)
4825: [Hnoi2017]单旋 Time Limit: 10 Sec Memory Limit: 256 MBSubmit: 667 Solved: 342[Submit][Status][ ...
随机推荐
- js分割url提取参数
//分割url提取参数 var url = Window.location.search;//获取url地址?至结尾的所有参数 //key(需要检错的键) url(传入的需要分割的url地址) fun ...
- 杂项-笔记-VS:VS2019笔记
ylbtech-杂项-笔记-VS:VS2019笔记 1.返回顶部 1. http://www.ddooo.com/softdown/142335.htm 2. 2.返回顶部 3.返回顶部 4. ...
- ()centos7 安装python36
centos7 默认安装 python2.7 1.先安装python36和对应pip yum install python-pip #安装python2的pip yum install python3 ...
- js获取url中的中文参数出现乱码
解决方法 function getQueryString(key){ var reg = new RegExp("(^|&)"+key+"=([^&]*) ...
- Servlet源码分析
Servlet API的核心就是javax.servlet.Servlet接口,所有的Servlet 类(抽象的或者自己写的)都必须实现这个接口.在Servlet接口中定义了5个方法,其中有3个方法是 ...
- WPF 3D
参考MSDN内容:http://msdn.microsoft.com/zh-cn/library/ms747437(v=vs.110).aspx 概述 WPF使用Viewport3D元素,将三维场景显 ...
- 1022 Digital Library (30 分)
1022 Digital Library (30 分) A Digital Library contains millions of books, stored according to thei ...
- UVA - 10347 - Medians(由三中线求三角形面积)
AC代码: #include<cstdio> #include<cmath> #include<algorithm> #include<iostream> ...
- HTML5 placeholder实际应用经验分享及拓展
QQ邮箱登陆(http://mail.qq.com) 如下截图啦: 我在上面一个demo类似原理上做了下修改,制作了一个这样子交互效果的demo,希望对有兴趣的同行能帮上点忙,您可以狠狠地点击这里:透 ...
- Django-ORM初识
Django之ORM基础 一.ORM简介: ORM概念: 对象关系映射(Object Relational Mapping,简称ORM)模式是一种为了解决面向对象与关系数据库存在的互不匹配的现象的技术 ...