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[N];
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;
}