洛谷 P1486 [NOI2004]郁闷的出纳员

题目描述

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：

输出样例#1：

说明

I命令的条数不超过100000

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

F命令的条数不超过100000

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

新员工的工资不超过100000

思路：插入和查询操作都是splay最基础的操作，不解释了。。注意一下插入，存一下当前工资的总的增加情况，插入的时候减一下，问题在于如何处理删除，那么，找到当前减去之后的能够满足条件的最少区间的后缀，将后缀旋转到根节点很显然，当前根节点的左儿子就是要删去的节点，统计一下即可。

代码：

#include<cstdio>

#include<cctype>

#include<algorithm>

#define maxn 100007

int n,m,tot,root,ans,p;

inline int qread() {

  char c=getchar();int num=0,f=1;

  for(;!isdigit(c);c=getchar()) if(c=='-') f=-1;

  for(;isdigit(c);c=getchar()) num=num*10+c-'0';

  return num*f;

}

struct node {

  int ch[2],val,fa,cnt,siz;

}t[maxn];

inline void pushup(int x) {

  t[x].siz=t[t[x].ch[0]].siz+t[t[x].ch[1]].siz+t[x].cnt;

}

inline void rotate(int x) {

  int y=t[x].fa,z=t[y].fa;

  int k=t[y].ch[1]==x;

  t[z].ch[t[z].ch[1]==y]=x;

  t[x].fa=z;

  t[y].ch[k]=t[x].ch[k^1];

  t[t[x].ch[k^1]].fa=y;

  t[x].ch[k^1]=y,t[y].fa=x;

  pushup(y),pushup(x);

}

inline void splay(int x, int rt) {

  while(t[x].fa!=rt) {

    int y=t[x].fa,z=t[y].fa;

    if(z!=rt) (t[y].ch[0]==x)^(t[z].ch[0]==y)?rotate(x):rotate(y);

    rotate(x);

  }

  if(!rt) root=x;

}

inline void insert(int x) {

  int u=root,f=0;

  while(u&&x!=t[u].val) {

    f=u;

    u=t[u].ch[x>t[u].val];

  }

  if(u) t[u].cnt++;

  else {

    u=++tot;

  if(f) t[f].ch[x>t[f].val]=u;

  t[u].val=x,t[u].fa=f;

  t[u].siz=t[u].cnt=1;

  }

  splay(u,0);

}

inline void find(int x) {

  int u=root;

  if(!u) return;

  while(t[u].ch[x>t[u].val]&&x!=t[u].val) u=t[u].ch[x>t[u].val];

  splay(u,0);

}

inline int nxt(int x, int f) {

  find(x);

  int u=root;

  if(t[u].val>=x&&f) return u;

  if(t[u].val<=x&&!f) return u;

  u=t[u].ch[f];

  while(t[u].ch[f^1]) u=t[u].ch[f^1];

  return u;

}

inline int kth(int x) {

  int u=root;

  if(t[u].siz<x||x<=0) return -1;

  while(233) {

    int y=t[u].ch[0];

    if(t[y].siz+t[u].cnt<x) {

    x-=t[y].siz+t[u].cnt;

    u=t[u].ch[1];

  }

  else if(t[y].siz>=x) u=y;

  else return t[u].val;

  }

}

int main() {

  insert(0x7fffffff);

  n=qread(),m=qread();

  int js=0;

  for(int i=1,x;i<=n;++i) {

  	char c[3];

  	scanf("%s",c);x=qread();

  	if(c[0]=='I') {

  	  if(x<m);

	  else {

	  	insert(x-p);

	  	js++;

	  }

	}

	if(c[0]=='A') p+=x;

	if(c[0]=='S') {

	  p-=x;

	  int next=nxt(m-p,1);

	  splay(next,0);

	  ans+=t[t[root].ch[0]].siz;

	  js-=t[t[root].ch[0]].siz;

	  t[t[root].ch[0]].siz=t[t[root].ch[0]].cnt=0;

	  t[root].ch[0]=0,t[0].siz=0;

	  pushup(root);

	}

	if(c[0]=='F') {

	  int cyh=kth(js-x+1);

	  printf("%d\n",cyh==-1?-1:(cyh+p));

	}

  }

  printf("%d\n",ans);

  return 0;

}