NOI 2004 郁闷的出纳员（平衡树）

题目描述

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。

输出文件的最后一行包含一个整数，为离开公司的员工的总数。

输入输出样例

输入样例#1：

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

输出样例#1：

10
20
-1
2

说明

I命令的条数不超过100000

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

F命令的条数不超过100000

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

新员工的工资不超过100000

• 利用平衡树维护员工的工作档案，包括添加员工和删除所有工资小于min的员工
• 设add为工资增减的标签，每次加工资或扣工资时修改标签即可，
• 每次扣工资需要删除序列中工资小于min的员工，即删除在平衡树中权值小于min-add的子树。、
• 每次查询操作即平衡树中的select
• 离开的员工数=插入的员工数-当前的员工数

var
    opt                            :char;
    n,min,add,i,x,t,tot,cnt        :longint;
    left,right,key,size            :array[0..200050] of longint;
    
procedure lrot(var t:longint);
var
    k                            :longint;
begin
    k:=right[t];
    right[t]:=left[k];
    left[k]:=t;
    size[k]:=size[t];
    size[t]:=size[left[t]]+size[right[t]]+1;
    t:=k;
end;

procedure rrot(var t:longint);
var
    k                            :longint;
begin
    k:=left[t];
    left[t]:=right[k];
    right[k]:=t;
    size[k]:=size[t];
    size[t]:=size[left[t]]+size[right[t]]+1;
    t:=k;
end;
    
procedure maintain(var t:longint; flag:boolean);
begin
    if not flag then
    begin
        if size[left[left[t]]]>size[right[t]] then rrot(t) else
        if size[right[left[t]]]>size[right[t]] then
        begin
            lrot(left[t]);
            rrot(t);
        end else exit;
    end else
    begin
        if size[right[right[t]]]>size[left[t]] then lrot(t) else
        if size[left[right[t]]]>size[left[t]] then
        begin
            rrot(right[t]);
            lrot(t);
        end else exit;
    end;
    maintain(left[t],false);
    maintain(right[t],true);
    maintain(t,true);
    maintain(t,false);
end;
    
procedure insert(var t:longint; v:longint);
begin
    if t=0 then 
    begin
        inc(tot);
        t:=tot;
        left[t]:=0;
        right[t]:=0;
        size[t]:=1;
        key[t]:=v;
        exit;
    end;
    inc(size[t]);
    if v<key[t] then insert(left[t],v) else insert(right[t],v);
    maintain(t,v>=key[t]);
end;

procedure delete(var t:longint);
begin
    if t=0 then exit;
    if key[t]+add>=min then
    begin
        delete(left[t]);
        size[t]:=size[left[t]]+size[right[t]]+1;
    end else
    begin
        t:=right[t];
        delete(t);
    end;
end;

function select(var t:longint; v:longint):longint;
begin
    if v=size[left[t]]+1 then exit(key[t]);
    if v<size[left[t]]+1 then exit(select(left[t],v));
    exit(select(right[t],v-size[left[t]]-1));
end;
    
begin
    readln(n,min);
    add:=0;
    for i:=1 to n do
    begin
        readln(opt,x);
        if (opt='I') then
        begin
            if x<min then continue;
            inc(cnt);
            insert(t,x-add);
        end else
        if (opt='A') then inc(add,x) else
        if (opt='S') then 
        begin
            dec(add,x); 
            delete(t);
        end else if size[t]<x then writeln(-1) else writeln(select(t,size[t]+1-x)+add);
    end;
    writeln(tot-size[t]);
end.