[BZOJ1503][NOI2004]郁闷的出纳员无旋Treap

1503: [NOI2004]郁闷的出纳员

Time Limit: 5 Sec Memory Limit: 64 MB

Description

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

Input

Output

输出文件的行数为F命令的条数加一。对于每条F命令，你的程序要输出一行，仅包含一个整数，为当前工资第k多的员工所拿的工资数，如果k大于目前员工的数目，则输出-1。输出文件的最后一行包含一个整数，为离开公司的员工的总数。

Sample Input

9 10
I 60
I 70
S 50
F 2
I 30
S 15
A 5
F 1
F 2

Sample Output

10
20
-1
2

HINT

I命令的条数不超过100000

A命令和S命令的总条数不超过100

F命令的条数不超过100000

每次工资调整的调整量不超过1000

新员工的工资不超过100000

题解：

当时想拿这道题学splay的结果把自己调死了……今天又回来看这道题感觉很清晰……

我们考虑对于一个节点，在它插入以前，工资调整它不会受到影响，插入以后才被影响

但是我们又不能实时的更新每个节点的值，所以我们考虑用一个变量来差分：

用tmp变量记录到目前为止的工资变动，如果我们要插入一个本来值为val的节点，我们就插入一个值val-tmp

而查询的时候，节点的实际值是val+tmp'。tmp'-tmp就是它从插入开始到现在的变化工资，所以这样我们就可以正确的计算了。

剩下的实现就很简单了，代码见下：

 #include <cstdio>
 #include <cstring>
 #include <ctime>
 #include <iostream>
 #include <cstdlib>
 using namespace std;
 int minn,ans;
 struct Treap
 {
     Treap *ch[];
     int size,val,key;
     Treap(){val=size=;key=rand();ch[]=ch[]=NULL;}
     inline void update()
         {size=ch[]->size+ch[]->size+;}
 }*null=new Treap,*root=null;
 typedef pair<Treap*,Treap*> D;
 inline Treap* newTreap(int v)
 {
     Treap *o=new Treap();
     o->ch[]=o->ch[]=null;
     o->size=;o->val=v;
     return o;
 }
 Treap* merge(Treap* a,Treap* b)
 {
     if(a==null)return b;
     if(b==null)return a;
     if(a->key < b->key)
         {a->ch[]=merge(a->ch[],b);a->update();return a;}
     else
         {b->ch[]=merge(a,b->ch[]);b->update();return b;}
 }
 D split(Treap *o,int k)
 {
     if(o==null)return D(null,null);
     D y;
     if(o->ch[]->size >= k)
         {y=split(o->ch[],k);o->ch[]=y.second;o->update();y.second=o;}
     else
         {y=split(o->ch[],k-o->ch[]->size-);o->ch[]=y.first;o->update();y.first=o;}
     return y;
 }
 int getrank(Treap *o,int val)
 {
     if(o==null)return ;
     return o->val >= val?getrank(o->ch[],val):getrank(o->ch[],val)+o->ch[]->size+;
 }
 inline int getval(int rank)
 {
     D x=split(root,rank-);
     D y=split(x.second,);
     int ans=y.first->val;
     root=merge(merge(x.first,y.first),y.second);
     return ans;
 }
 inline void insert(int val)
 {
     int k=getrank(root,val);
     D x=split(root,k);
     Treap *o=newTreap(val);
     root=merge(merge(x.first,o),x.second);
 }
 inline void erase()
 {
     D x=split(root,);
     root=x.second;ans++;
 }
 int main()
 {
     int m,x,tmp=;char s[];
     scanf("%d%d",&m,&minn);
     while(m--)
     {
         scanf("%s%d",s,&x);
         switch(s[])
         {
             case 'I':if(x>=minn)insert(x-tmp);break;
             case 'F':
             {
                 if(root==null||root->size<x)printf("-1\n");
                 else printf("%d\n",getval(root->size-x+)+tmp);
                 break;
             }
             case 'A':tmp+=x;break;
             case 'S':
                 {tmp-=x;while(root!=null&&getval()+tmp<minn)erase();break;}
         }
     }
     printf("%d",ans);
 }