bzoj1503 [NOI2004]郁闷的出纳员 splay

Description

OIER公司是一家大型专业化软件公司，有着数以万计的员工。作为一名出纳员，我的任务之一便是统计每位员工的工资。这本来是一份不错的工作，但是令人郁闷的是，我们的老板反复无常，经常调整员工的工资。如果他心情好，就可能把每位员工的工资加上一个相同的量。反之，如果心情不好，就可能把他们的工资扣除一个相同的量。我真不知道除了调工资他还做什么其它事情。工资的频繁调整很让员工反感，尤其是集体扣除工资的时候，一旦某位员工发现自己的工资已经低于了合同规定的工资下界，他就会立刻气愤地离开公司，并且再也不会回来了。每位员工的工资下界都是统一规定的。每当一个人离开公司，我就要从电脑中把他的工资档案删去，同样，每当公司招聘了一位新员工，我就得为他新建一个工资档案。老板经常到我这边来询问工资情况，他并不问具体某位员工的工资情况，而是问现在工资第k多的员工拿多少工资。每当这时，我就不得不对数万个员工进行一次漫长的排序，然后告诉他答案。好了，现在你已经对我的工作了解不少了。正如你猜的那样，我想请你编一个工资统计程序。怎么样，不是很困难吧？

HINT

I命令的条数不超过100000 A命令和S命令的总条数不超过100 F命令的条数不超过100000 每次工资调整的调整量不超过1000 新员工的工资不超过100000

Solution

题目要求资瓷全体加上/减去一个数，查询第k大，删除低于某个限制的所有数字，容易想到用SBT。用splay写的，感觉还ok

全体加减就用一个变量记录即可，这样所有数字都能表示成x+delta的形式

可以发现删除一定删掉了某个节点的全部左子树节点+一部分右子树中的左子树部分

对于根本进入不了的员工不算在离开员工之中，大概只有我被这一点坑了吧 ;-p

打splay要注意旋转操作的正确性

Code

#include <stdio.h>
#include <string.h>
#define rep(i,st,ed) for (int i=st;i<=ed;++i)
#define fill(x,t) memset(x,t,sizeof(x))
#define N 200005
struct treeNode{int fa,key,son[2],size;}t
;
int delta=0,root=0,cnt=0,ans=0,n,m;
void update(int &x,int fa,int key) {
t[x=++cnt]=(treeNode){fa,key,{0,0},1};
}
void rrotate(int x) {
int y=t[x].fa; int z=t[y].fa;
t[y].son[0]=t[x].son[1];
if (t[x].son[1]) {t[t[x].son[1]].fa=y;}
t[x].fa=z;
t[x].son[1]=y; t[y].fa=x;
if (z) {
if (t[z].son[0]==y) {t[z].son[0]=x;}
else {t[z].son[1]=x;}
}
t[y].size=t[t[y].son[0]].size+t[t[y].son[1]].size+1;
t[x].size=t[t[x].son[0]].size+t[t[x].son[1]].size+1;
}
void lrotate(int x) {
int y=t[x].fa; int z=t[y].fa;
t[y].son[1]=t[x].son[0];
if (t[x].son[0]) {t[t[x].son[0]].fa=y;}
t[x].fa=z;
t[x].son[0]=y; t[y].fa=x;
if (z) {
if (t[z].son[0]==y) {t[z].son[0]=x;}
else {t[z].son[1]=x;}
}
t[y].size=t[t[y].son[0]].size+t[t[y].son[1]].size+1;
t[x].size=t[t[x].son[0]].size+t[t[x].son[1]].size+1;
}
void splay(int x) {
while (t[x].fa) {
int y=t[x].fa,z=t[y].fa;
if (!z) {
if (t[y].son[0]==x) {rrotate(x);}
else {lrotate(x);}
} else {
if (t[z].son[0]==y&&t[y].son[0]==x) {rrotate(y); rrotate(x);}
else if (t[z].son[0]==y&&t[y].son[1]==x) {lrotate(x); rrotate(x);}
else if (t[z].son[1]==y&&t[y].son[0]==x) {rrotate(x); lrotate(x);}
else if (t[z].son[1]==y&&t[y].son[1]==x) {lrotate(x); lrotate(x);}
}
}
root=x;
}
int query(int rank) {
int x=root;
while (t[t[x].son[0]].size+1!=rank) {
if (t[t[x].son[0]].size+1<rank) {rank-=t[t[x].son[0]].size+1; x=t[x].son[1];}
else {x=t[x].son[0];}
}
splay(x);
return x;
}
void insert(int key) {
if (!root) {
update(root,0,key);
return ;
}
int x=root;
while (x) {
++t[x].size;
if (t[x].key>key) {
if (t[x].son[0]) x=t[x].son[0];
else {update(t[x].son[0],x,key); break;}
} else {
if (t[x].son[1]) x=t[x].son[1];
else {update(t[x].son[1],x,key); break;}
}
}
splay(cnt);
}
void del() {
int x=root,y=0;
while (x) {
if (t[x].key+delta<m) {x=t[x].son[1];}
else {y=x; x=t[x].son[0];}
}
if (!y) {
ans+=t[root].size;
root=0;
} else {
splay(y);
t[y].size-=t[t[y].son[0]].size;
ans+=t[t[y].son[0]].size;
t[y].son[0]=0;
}
}
int main(void) {
scanf("%d%d",&n,&m);
while (n--) {
char opt[3]; scanf("%s",opt);
int k; scanf("%d",&k);
if (opt[0]=='I') {
if (k>=m) insert(k-delta);
// else ++ans;
} else if (opt[0]=='A') {delta+=k;}
else if (opt[0]=='S') {delta-=k; del();}
else if (opt[0]=='F') {
if (k>t[root].size) puts("-1");
else printf("%d\n",t[query(t[root].size-k+1)].key+delta);
}
}
printf("%d\n",ans);
return 0;
}