题目

\(\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]单旋的更多相关文章

  1. P3721 [AH2017/HNOI2017]单旋

    题目:https://www.luogu.org/problemnew/show/P3721 手玩一下即可AC此题. 结论:插入x后,x要么会成为x的前驱的右儿子,要么成为x的后继的左儿子,这取决于它 ...

  2. 洛谷 P3721 - [AH2017/HNOI2017]单旋(LCT)

    洛谷题面传送门 终于调出来这道题了,写篇题解( 首先碰到这样的题我们肯定要考虑每种操作会对树的形态产生怎样的影响: 插入操作:对于 BST 有一个性质是,当你插入一个节点时,其在 BST 上的父亲肯定 ...

  3. luogu P3721 [AH2017/HNOI2017]单旋

    传送门 \(Spaly:\)??? 考虑在暴力模拟的基础上优化 如果要插入一个数,那么根据二叉查找树的性质,这个点一定插在他的前驱的右子树或者是后继的左子树,可以利用set维护当前树里面的数,方便查找 ...

  4. 洛谷P3721 [AH2017/HNOI2017]单旋(线段树 set spaly)

    题意 题目链接 Sol 这题好毒瘤啊.. 首先要观察到几个性质: 将最小值旋转到根相当于把右子树变为祖先的左子树,然后将原来的根变为当前最小值 上述操作对深度的影响相当于右子树不变,其他的位置-1 然 ...

  5. [AH2017/HNOI2017] 单旋 - Splay

    Splay 暴力维护节点信息即可 #include<iostream> #include<cstdio> #include<cstring> #include< ...

  6. bzoj 4825: [Hnoi2017]单旋 [lct]

    4825: [Hnoi2017]单旋 题意:有趣的spaly hnoi2017刚出来我就去做,当时这题作死用了ett,调了5节课没做出来然后发现好像直接用lct就行了然后弃掉了... md用lct不知 ...

  7. 【LG3721】[HNOI2017]单旋

    [LG3721][HNOI2017]单旋 题面 洛谷 题解 20pts 直接模拟\(spaly\)的过程即可. 100pts 可以发现单旋最大.最小值到根,手玩是有显然规律的,发现只需要几次\(lin ...

  8. 4825: [Hnoi2017]单旋

    4825: [Hnoi2017]单旋 链接 分析: 以后采取更保险的方式写代码!!!81行本来以为不特判也可以,然后就总是比答案大1,甚至出现负数,调啊调啊调啊调~~~ 只会旋转最大值和最小值,以最小 ...

  9. [BZOJ4825][HNOI2017]单旋(线段树+Splay)

    4825: [Hnoi2017]单旋 Time Limit: 10 Sec  Memory Limit: 256 MBSubmit: 667  Solved: 342[Submit][Status][ ...

随机推荐

  1. 转-C++之虚函数不能定义成内联函数的原因

    转自:https://blog.csdn.net/flydreamforever/article/details/61429140 在C++中,inline关键字和virtual关键字分别用来定义c+ ...

  2. Java学习之classpath

    要运行class文件,必须在class文件所在的目录下,那么是不是也可以通过设置系统变量来配置呢,当然有了classpath就来了 环境变量配置有两种 1.一劳永逸的 2.set 临时变量 我们用临时 ...

  3. ffs, fls

    linux内核中的宏ffs(x)   linux内核中ffs(x)宏是平台相关的宏,在arm平台,该宏定义在 arch/arm/include/asm/bitops.h #define ffs(x) ...

  4. Java传输对象模式

    当我们想要在客户端到服务器的一个传递具有多个属性的数据时,可使用传输对象模式.传输对象也称为值对象.传输对象是一个具有getter/setter方法的简单POJO类,并且是可序列化的,因此可以通过网络 ...

  5. Serializable 和Parcelable 详解

    序列化:为了保存在内存中的各种对象的状态,并可以把保存的对象的状态读出来 安卓中实现序列化的接口有两个,一个是serializable,一个是parcelable. 一.实现序列化: 1.是可以将对象 ...

  6. scala 基础笔记

    view bound:必须传入一个隐式转换函数 class [T <% Ordered [T]] content bound:必须传入一个隐式值 class [T : Ordering] !异步 ...

  7. 编写一个简单的内核驱动模块时报错 “/lib/modules/3.13.0-32-generic/bulid: 没有那个文件或目录。 停止。”

    编写一个简单的内核驱动模块 static int hello_init() { printk(“hello,I am in kernel now\n”); ; } void addfunc(int a ...

  8. Mysql 主从限制数据库

    主库配置 # For advice on how to change settings please see # http://dev.mysql.com/doc/refman/5.6/en/serv ...

  9. zmq利用protobuf通信

    protobuf序列化之后为二进制数据,数据中可能包含 ‘\0’,直接转换为char *类型会导致发送数据不完整.解决方法: void buildProtobufMsg(const string&am ...

  10. 打开桌面上的图标就会弹出"打开些文件可能会对您的计算机有害"解决方案

    问题截图 方案步骤 运行 gpedit.msc 用户配置--管理模板--windows组件--附件管理器 找到中等危险文件类型抱含列表后右键-编辑 在指定中等风险扩展名中加入你文件的扩展名 应用, 确 ...