NOI2004 郁闷的出纳税——SBT应用
【问题描述】
OIER公司是一家大型专业化软件公司，有着数以万计的员工。作为一名出纳员，我的任务之一便是统计每位员工的工资。这本来是一份不错的工作，但是令人郁闷的是，我们的老板反复无常，经常调整员工的工资。如果他心情好，就可能把每位员工的工资加上一个相同的量。反之，如果心情不好，就可能把他们的工资扣除一个相同的量。我真不知道除了调工资他还做什么其它事情。
工资的频繁调整很让员工反感，尤其是集体扣除工资的时候，一旦某位员工发现自己的工资已经低于了合同规定的工资下界，他就会立刻气愤地离开公司，并且再也不会回来了。每位员工的工资下界都是统一规定的。每当一个人离开公司，我就要从电脑中把他的工资档案删去，同样，每当公司招聘了一位新员工，我就得为他新建一个工资档案。
老板经常到我这边来询问工资情况，他并不问具体某位员工的工资情况，而是问现在工资第k多的员工拿多少工资。每当这时，我就不得不对数万个员工进行一次漫长的排序，然后告诉他答案。
好了，现在你已经对我的工作了解不少了。正如你猜的那样，我想请你编一个工资统计程序。怎么样，不是很困难吧？
【输入文件】
cashier.in第一行有两个非负整数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是一个正整数。
在初始时，可以认为公司里一个员工也没有。
【输出文件】
输出文件cashier.out的行数为F命令的条数加一。
对于每条F命令，你的程序要输出一行，仅包含一个整数，为当前工资第k多的员工所拿的工资数，如果k大于目前员工的数目，则输出-1。
输出文件的最后一行包含一个整数，为离开公司的员工的总数。
【样例输入】
9 10 I 60 I 70 S 50 F 2 I 30 S 15 A 5 F 1 F 2
【样例输出】
10 20 -1 2
【约定】
I命令的条数不超过100000
A命令和S命令的总条数不超过100
F命令的条数不超过100000
每次工资调整的调整量不超过1000
新员工的工资不超过100000
小结：这里的插入和查找都是基本的SBT操作，说明一下删除操作：我们不能一个一个的删除，当发现当前的节点已经够了“辞职”，那么直接用它的右儿子取代，连同左儿子一起删除。
var
l,r,a,v:array[0..100005] of longint;
ans,i,j,k,n,min,sum,len,root:longint;
ch:char;
procedure left(var x:longint);
var
y:longint;
begin
y:=r[x];
r[x]:=l[y];
l[y]:=x;
v[y]:=v[x];
v[x]:=v[l[x]]+v[r[x]]+1;
x:=y;
end;
procedure right(var x:longint);
var
y:longint;
begin
y:=l[x];
l[x]:=r[y];
r[y]:=x;
v[y]:=v[x];
v[x]:=v[l[x]]+v[r[x]]+1;
x:=y;
end;
procedure maintain(var x:longint; f:boolean);
begin
if f=false then
begin
if v[l[l[x]]]>v[r[x]] then
right(x) else
if v[r[l[x]]]>v[r[x]] then
begin
left(l[x]);
right(x);
end
else exit
end
else
begin
if v[r[r[x]]]>v[l[x]] then
left(x) else
if v[l[r[x]]]>v[l[x]] then
begin
right(r[x]);
left(x);
end
else exit
end;
maintain(l[x],false);
maintain(r[x],true);
maintain(x,false);
maintain(x,true);
end;
procedure insert(var x:longint; k:longint);
begin
if x=0 then
begin
inc(len);
x:=len;
a[x]:=k;
v[x]:=1;
exit;
end;
inc(v[x]);
if k<a[x] then insert(l[x],k)
else insert(r[x],k);
maintain(x,k>=a[x]);
end;
function select(x,k:longint):longint;
begin
if v[l[x]]+1=k then exit(a[x]);
if v[l[x]]>=k then exit(select(l[x],k))
else exit(select(r[x],k-1-v[l[x]]));
end;
procedure delete(var x:longint);
begin
if x=0 then exit;
if a[x]+sum>=min then
begin
delete(l[x]);
v[x]:=v[l[x]]+v[r[x]]+1;
end
else
begin
x:=r[x];
delete(x);
end;
end;
begin
readln(n,min);
fillchar(l,sizeof(l),0);
fillchar(r,sizeof(r),0);
fillchar(v,sizeof(v),0);
fillchar(a,sizeof(a),0);
sum:=0; len:=0; root:=0;
for i:=1 to n do
begin
read(ch);
readln(k);
if ch='I' then
begin
if k<min then continue;
insert(root,k-sum);
inc(ans);
continue;
end;
if ch='S' then
begin
dec(sum,k);
if k<>0 then delete(root);
continue;
end;
if ch='F' then
begin
if k>v[root] then writeln(-1) else begin
k:=v[root]+1-k;
writeln(select(root,k)+sum);
continue; end;
end;
if ch='A' then
begin
inc(sum,k);
end;
end;
writeln(ans-v[root]);
end.
