【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;
}