郁闷的出纳员(splay, 树状数组可做）

题面

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

输入格式

第一行有两个非负整数n和min。n表示下面有多少条命令，min表示工资下界。接下来的n行，每行表示一条命令。命令可以是以下四种之一：名称 格式 作用I命令 I_k 新建一个工资档案，初始工资为k。 如果某员工的初始工资低于工资下界，他将立刻离开公司。A命令 A_k 把每位员工的工资加上kS命令 S_k 把每位员工的工资扣除kF命令 F_k 查询第k多的工资_（下划线）表示一个空格，I命令、A命令、S命令中的k是一个非负整数，F命令中的k是一个正整数。在初始时，可以认为公司里一个员工也没有。I命令的条数不超过100000 A命令和S命令的总条数不超过100 F命令的条数不超过100000 每次工资调整的调整量不超过1000 新员工的工资不超过100000

输出格式

输出行数为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

思路分析：splay 模板题难点是每个员工加钱的时候，由于每个员工到达时间不同，加钱显然没法同步，我们可以通过一个转化，将之前的加钱，在插入员工时减去即可转化成功细节见于代码

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;
const int N = 1e5 + 10, INF = 1e9;

int n, m, delta;
struct node
{
	int s[2], p, v;
	int size;
	void init(int _v, int _p)
	{
		v = _v, p = _p;
		size = 1;
	}
}tr[N];
int root, idx;

void pushup(int x)
{
	tr[x].size = tr[tr[x].s[0]].size + tr[tr[x].s[1]].size + 1;
}

void rotate(int x)
{
	int y = tr[x].p, z = tr[y].p;
	int k = tr[y].s[1] == x;
	tr[z].s[tr[z].s[1] == y] = x, tr[x].p = z;
	tr[y].s[k] = tr[x].s[k ^ 1], tr[tr[x].s[k ^ 1]].p = y;
	tr[x].s[k ^ 1] = y, tr[y].p = x;
	pushup(y), pushup(x);
}

void splay(int x, int k)
{
	while(tr[x].p != k)
	{
		int y = tr[x].p, z = tr[y].p;
		if(z != k)
		{
			if((tr[y].s[1] == x) ^ (tr[z].s[1] == y)) rotate(x);
			else rotate(y);
		}
		rotate(x);
	}
	if(!k) root = x;
}

int insert(int v)
{
	int u = root, p = 0;
	while(u) p = u, u = tr[u].s[v > tr[u].v];
	u = ++ idx;
	if(p) tr[p].s[v > tr[p].v] = u;
	tr[u].init(v, p);
	splay(u, 0);
	return u;
}

int get(int v)
{
	int u = root, res;
	while(u)
	{
		if(tr[u].v >= v) res = u, u = tr[u].s[0];
		else u = tr[u].s[1];
	}
	return res;
}

int get_k(int k)
{
	int u = root;
	while(u)
	{
		if(tr[tr[u].s[0]].size >= k) u = tr[u].s[0];
		else if(tr[tr[u].s[0]].size + 1 == k) return tr[u].v;
		else k -= tr[tr[u].s[0]].size + 1, u = tr[u].s[1];
	}
	return -1;
}

int main()
{
	scanf("%d%d", &n, &m);
	int L = insert(-INF), R = insert(INF);

	int tot = 0;
	while(n --)
	{
		char op[2];
		int k;
		scanf("%s%d", op, &k);
		if(*op == 'I')
		{
			if(k >= m) k -= delta, insert(k), tot ++;
		}
		else if(*op == 'A') delta += k;
		else if(*op == 'S')
		{
			delta -= k;
			R = get(m - delta); // 查找比m - delta大的区间
			splay(R, 0), splay(L, R);
			tr[L].s[1] = 0; // 删除该区间的所有数
			pushup(L), pushup(R);
		}
		else
		{
			if(tr[root].size - 2 < k) puts("-1");
			else printf("%d\n", get_k(tr[root].size - k) + delta);
		}
	}
	printf("%d\n", tot - (tr[root].size - 2));
	return 0;
}