郁闷的出纳员（treap）

OIER公司是一家大型专业化软件公司，有着数以万计的员工。作为一名出纳员，我的任务之一便是统计每位员工的工资。这本来是一份不错的工作，但是令人郁闷的是，我们的老板反复无常，经常调整员工的工资。如果他心情好，就可能把每位员工的工资加上一个相同的量。反之，如果心情不好，就可能把他们的工资扣除一个相同的量。我真不知道除了调工资他还做什么其它事情。
工资的频繁调整很让员工反感，尤其是集体扣除工资的时候，一旦某位员工发现自己的工资已经低于了合同规定的工资下界，他就会立刻气愤地离开公司，并且再也不会回来了。每位员工的工资下界都是统一规定的。每当一个人离开公司，我就要从电脑中把他的工资档案删去，同样，每当公司招聘了一位新员工，我就得为他新建一个工资档案。
老板经常到我这边来询问工资情况，他并不问具体某位员工的工资情况，而是问现在工资第k多的员工拿多少工资。每当这时，我就不得不对数万个员工进行一次漫长的排序，然后告诉他答案。
好了，现在你已经对我的工作了解不少了。正如你猜的那样，我想请你编一个工资统计程序。怎么样，不是很困难吧？
如果某个员工的初始工资低于最低工资标准,那么将不计入最后的答案内
输入格式：
第一行有两个非负整数n和min。n表示下面有多少条命令，min表示工资下界。
接下来的n行，每行表示一条命令。命令可以是以下四种之一：
名称 格式 作用
I命令 I_k 新建一个工资档案，初始工资为k。如果某员工的初始工资低于工资下界，他将立刻离开公司。
A命令 A_k 把每位员工的工资加上k
S命令 S_k 把每位员工的工资扣除k
F命令 F_k 查询第k多的工资
_（下划线）表示一个空格，I命令、A命令、S命令中的k是一个非负整数，F命令中的k是一个正整数。
在初始时，可以认为公司里一个员工也没有。
输出格式：
输出文件的行数为F命令的条数加一。
对于每条F命令，你的程序要输出一行，仅包含一个整数，为当前工资第k多的员工所拿的工资数，如果k大于目前员工的数目，则输出-1。
输出文件的最后一行包含一个整数，为离开公司的员工的总数。

这道题维护的是员工工资（一堆数），有插入和查找操作，然后我们要查找第N多的工资。这显然是用平衡树来做的。然后我就写了一个究极暴力的平衡树（在加工资和减工资时是O（n）的然后一次次去单点删除）。。。然后10个点TLE。

是我们删除的时候单点删太慢了（我们没有应用二叉查找树的性质）。二叉查找树一个节点的数小于下限，所以我们可以把左子树全部删掉然后去右子树里找，反之去左子树中寻找。（那么size怎么维护呢？）删掉左子树和本身的时候，显然右子树会替换现在的节点，右子树size不变。删左子树的时候，回溯更新size值。

那么树中的修改能不能不用O（n）用O（1）呢？
可以的。我们没有必要到树中去修改这个节点的值，而是在外部维护一个偏移量。
如果工资加了可以理解为下限变小了，如果工资小了可以理解为下限变高了。新员工入职时如果偏移量不为0，我们可以调整他的工资让他和下限的差是一样的（就是emmmm…看代码吧）。

#include<bits/stdc++.h>
using namespace std;

const int MAXN=1e5+5;

int gg,minnn,ans=0,leave=0,mon=0;

inline int my_rand(){
    static int seed=10086;
    return seed=int(seed*48271LL%2147483647);
}

struct treap{
    int w[MAXN],size[MAXN],lson[MAXN],rson[MAXN],prio[MAXN];
    bool shandiao[MAXN];
    int cnt,rt;
    inline void pushup(int p){size[p]=size[lson[p]]+size[rson[p]]+1;}
    void mem(){
        cnt=0;rt=0;
        memset(w,0,sizeof(w));
        memset(shandiao,0,sizeof(shandiao));
        memset(size,0,sizeof(size));
        memset(lson,0,sizeof(lson));
        memset(rson,0,sizeof(rson));
        memset(prio,0,sizeof(prio));
    }
    inline void zuo(int &p){
        int tem=rson[p];
        rson[p]=lson[tem];
        lson[tem]=p;
        size[tem]=size[p];
        pushup(p);
        p=tem;
    }
    inline void you(int &p){
        int tem=lson[p];
        lson[p]=rson[tem];
        rson[tem]=p;
        size[tem]=size[p];
        pushup(p);
        p=tem;
    }
    inline void insert(int &p,int x){
        if(!p){
            p=++cnt;w[p]=x;size[p]=1;prio[p]=my_rand();return;
        }
        size[p]++;
        insert((x>=w[p])?rson[p]:lson[p],x);
        if(lson[p]&&prio[lson[p]]<prio[p])you(p);
        if(rson[p]&&prio[rson[p]]<prio[p])zuo(p);
        pushup(p);
    }
    inline int del(int &p,int x){
        int t=0;
        if(!p)return 0;
        if(w[p]<x){t+=size[lson[p]]+1,p=rson[p];return t+del(p,x);}
        else {
            t=del(lson[p],x);size[p]=size[p]-t;return t;
        }
    }

    inline int rank(int &p,int x){
        if(size[lson[p]]+1==x)return w[p];
        if(size[lson[p]]+1<x)return rank(rson[p],x-size[lson[p]]-1);
        else return rank(lson[p],x);
    }
}treap;

int ll=0;

int main(){
    scanf("%d%d",&gg,&minnn);
    treap.mem();
    while(1){
        ++ll;
        char a;int num;
        scanf("%s%d",&a,&num);
        if(a=='I'){
            if(num>=minnn){
                treap.insert(treap.rt,num-mon);
            }   
        }
        if(a=='A'){
            mon+=num;
        }
        if(a=='S'){
            mon-=num;
            leave+=treap.del(treap.rt,minnn-mon);
        }
        if(a=='F'){
            if(num<=treap.size[treap.rt])
            printf("%d\n",treap.rank(treap.rt,treap.size[treap.rt]+1-num)+mon);
            else printf("-1\n");
        }
        if(ll==gg)break;
    }
    printf("%d\n",leave);
    return 0;
}