【NOI 2004】 郁闷的出纳员

Description
　　　OIER公司是一家大型专业化软件公司，有着数以万计的员工。作为一名出纳员，我的任务之一便是统计每位员工的工资。这本来是一份不错的工作，但是令人郁闷的是，我们的老板反复无常，经常调整员工的工资。如果他心情好，就可能把每位员工的工资加上一个相同的量。反之，如果心情不好，就可能把他们的工资扣除一个相同的量。我真不知道除了调工资他还做什么其它事情。 

　　　工资的频繁调整很让员工反感，尤其是集体扣除工资的时候，一旦某位员工发现自己的工资已经低于了合同规定的工资下界，他就会立刻气愤地离开公司，并且再也不会回来了。每位员工的工资下界都是统一规定的。每当一个人离开公司，我就要从电脑中把他的工资档案删去，同样，每当公司招聘了一位新员工，我就得为他新建一个工资档案。 

　　　老板经常到我这边来询问工资情况，他并不问具体某位员工的工资情况，而是问现在工资第k多的员工拿多少工资。每当这时，我就不得不对数万个员工进行一次漫长的排序，然后告诉他答案。 

　　　好了，现在你已经对我的工作了解不少了。正如你猜的那样，我想请你编一个工资统计程序。怎么样，不是很困难吧？
Input
　　　第一行有两个非负整数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是一个正整数。 

　　　在初始时，可以认为公司里一个员工也没有。

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

【分析】
        平衡树直接模拟，注意要用multi-SBT。

【代码】

/*
ID:Ciocio
LANG:C++
DATE:2013-11-23
TASK:NOI-2004 (multi-SBT)
*/
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cmath>
#include <iostream>
#include <algorithm>
#include <queue>

using namespace std;

#define MAXN  300000

struct SBTnode{
int lc,rc,sz,key;
}T[MAXN<<1];
int N,Min,Lazy,root,SBTtot,Cnt;

void _read(char &x){for(;x=getchar(),x<'A'||'Z'<x;);}

void _read(int &x,bool mark=false)
{
char tt;
for(;tt=getchar(),tt<'0'||'9'<tt;)
if(tt=='-') mark=true;
for(x=0;'0'<=tt&&tt<='9';x=x*10+tt-'0',tt=getchar());
x=mark?-x:x;
}

void _init()
{
_read(N);_read(Min);
}

void _Right_Rotate(int &x)
{
int k=T[x].lc;
T[x].lc=T[k].rc;
T[k].rc=x;
T[k].sz=T[x].sz;
T[x].sz=T[T[x].lc].sz+T[T[x].rc].sz+1;
x=k;
}

void _Left_Rotate(int &x)
{
int k=T[x].rc;
T[x].rc=T[k].lc;
T[k].lc=x;
T[k].sz=T[x].sz;
T[x].sz=T[T[x].lc].sz+T[T[x].rc].sz+1;
x=k;
}

void _Maintain(int &x,bool flag)
{
if(flag)
{
if(T[T[T[x].rc].rc].sz>T[T[x].lc].sz)
_Left_Rotate(x);
else if(T[T[T[x].rc].lc].sz>T[T[x].lc].sz)
_Right_Rotate(T[x].rc),_Left_Rotate(x);
else return;
}
else
{
if(T[T[T[x].lc].lc].sz>T[T[x].rc].sz)
_Right_Rotate(x);
else if(T[T[T[x].lc].rc].sz>T[T[x].rc].sz)
_Left_Rotate(T[x].lc),_Right_Rotate(x);
else return;
}
_Maintain(T[x].lc,0);
_Maintain(T[x].rc,1);
_Maintain(x,0);
_Maintain(x,1);
}

int _Select(int x,int k)
{
while(x)
{
if(k<=T[T[x].lc].sz)
x=T[x].lc;
else if(k>T[T[x].lc].sz+1)
{
k-=T[T[x].lc].sz+1;
x=T[x].rc;
}
else return T[x].key;
}
return -1;
}

void _Insert(int &x,int key)
{
if(!x)
{
x=++SBTtot;
T[x].key=key;
T[x].sz=1;
T[x].lc=T[x].rc=0;
return;
}
T[x].sz++;
if(key<T[x].key)
_Insert(T[x].lc,key);
else
_Insert(T[x].rc,key);
_Maintain(x,key>=T[x].key);
}

int _Maximum(int x)
{
while(T[x].rc) x=T[x].rc;
return T[x].key;
}

int _Minimum(int x)
{
while(T[x].lc) x=T[x].lc;
return T[x].key;
}

void _Delete(int &x,int key)
{
T[x].sz--;
if(key==T[x].key)
{
if((!T[x].lc)||(!T[x].rc))
x=T[x].lc+T[x].rc;
else
{
int Max=_Maximum(T[x].lc);
T[x].key=Max;
_Delete(T[x].lc,Max);
}
}
else if(key<T[x].key)
_Delete(T[x].lc,key);
else
_Delete(T[x].rc,key);
_Maintain(x,0);
_Maintain(x,1);
}

void _Cut(int &x)
{
int Mi=_Minimum(x);
while(Mi<Min&&x)
{
_Delete(x,Mi);
Mi=_Minimum(x);
}
}

void _solve()
{
char p;int a;
for(int i=1;i<=N;i++)
{
_read(p);_read(a);
if(p=='I')
{
a-=Lazy;
if(a>=Min)
{
_Insert(root,a);
Cnt++;
}
}
else if(p=='A')
Lazy+=a,Min-=a;
else if(p=='S')
Lazy-=a,Min+=a,_Cut(root);
else
printf("%d\n",T[root].sz>=a?_Select(root,T[root].sz+1-a)+Lazy:-1);
}
cout<<Cnt-T[root].sz<<endl;
}

int main()
{
_init();
_solve();
return 0;
}