BZOJ1503: [NOI2004]郁闷的出纳员（Splay）

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是一个正整数。

在初始时，可以认为公司里一个员工也没有。

I命令的条数不超过100000 

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

F命令的条数不超过100000 

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

新员工的工资不超过100000

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

解题思路：

splay，维护懒惰标记。

splay支持删除子树，是比treap优秀的关键。

代码：

#include<cstdio>
#include<cstring>
#include<cstring>
#include<algorithm>
#define lll tr[spc].ch[0]
#define rrr tr[spc].ch[1]
#define ls ch[0]
#define rs ch[1]
#define rrl tr[tr[root].rs].ls
typedef long long lnt;
struct trnt{
    int ch[2];
    int fa;
    lnt lzt;
    lnt val;
    int wgt;
    int num;
}tr[1000000],str;
int sta,fin;
int root;
int n;
lnt m;
int top;
int siz=2;
char cmd[1000];
int bin[1000000];
bool whc(int spc)
{
    return tr[tr[spc].fa].rs==spc;
}
int del(int &spc)
{
    bin[++top]=spc;
    int ans=tr[spc].wgt;
    spc=0;
    return ans;
}
int newp(void)
{
    if(top)
    {
        int spc=bin[top--];
        if(lll)
            del(lll);
        if(rrr)
            del(rrr);
        tr[spc]=str;
        return spc;
    }
    return ++siz;
}
void pushup(int spc)
{
    tr[spc].wgt=tr[spc].num;
    if(lll)
        tr[spc].wgt+=tr[lll].wgt;
    if(rrr)
        tr[spc].wgt+=tr[rrr].wgt;
    return ;
}
void add(int spc,lnt v)
{
    if(!spc)
        return ;
    tr[spc].val+=v;
    tr[spc].lzt+=v;
    return ;
}
void pushdown(int spc)
{
    if(!spc)
        return ;
    if(tr[spc].lzt)
    {
        add(lll,tr[spc].lzt);
        add(rrr,tr[spc].lzt);
        tr[spc].lzt=0;
    }
    return ;
}
void recal(int spc)
{
    if(tr[spc].fa)
        recal(tr[spc].fa);
    pushdown(spc);
    return ;
}
void rotate(int spc)
{
    int f=tr[spc].fa;
    bool k=whc(spc);
    tr[f].ch[k]=tr[spc].ch[!k];
    tr[spc].ch[!k]=f;
    tr[tr[f].fa].ch[whc(f)]=spc;
    tr[spc].fa=tr[f].fa;
    tr[f].fa=spc;
    tr[tr[f].ch[k]].fa=f;
    pushup(f);
    pushup(spc);
    return ;
}
void splay(int spc,int f)
{
    recal(spc);
    while(tr[spc].fa!=f)
    {
        int ft=tr[spc].fa;
        if(tr[ft].fa==f)
        {
            rotate(spc);
            break;
        }
        if(whc(spc)^whc(ft))
            rotate(spc);
        else
            rotate(ft);
        rotate(spc);
    }
    if(!f)
        root=spc;
    return ;
}
int ansp;
void kth(int spc,int k)
{
    if(!spc)
    {
        ansp=-1;
        return ;
    }
    pushdown(spc);
    if(tr[rrr].wgt>=k)
        return kth(rrr,k);
    if(tr[rrr].wgt+tr[spc].num>=k)
    {
        ansp=spc;
        return ;
    }
    return kth(lll,k-tr[spc].num-tr[rrr].wgt);
}
void maxmin(int spc,lnt v)
{
    if(!spc)
        return ;
    pushdown(spc);
    if(tr[spc].val<v)
    {
        ansp=spc;
        return maxmin(rrr,v);
    }
    return maxmin(lll,v);
}
void minmax(int spc,lnt v)
{
    if(!spc)
        return ;
    pushdown(spc);
    if(tr[spc].val>v)
    {
        ansp=spc;
        return minmax(lll,v);
    }
    return minmax(rrr,v);
}
int main()
{
    
    scanf("%d%lld",&n,&m);
    root=1;
    sta=1;
    fin=2;
    tr[1]=(trnt){{0,2},0,0,-0x3f3f3f3f3f3f3f3fll,0,0};
    tr[2]=(trnt){{0,0},1,0,0x3f3f3f3f3f3f3f3fll,0,0};
    int ans=0;
    while(n--)
    {
        lnt x;
        scanf("%s",cmd+1);
        scanf("%lld",&x);
        if(cmd[1]=='I')
        {
            if(x<m)
                continue;
            maxmin(root,x);
            splay(ansp,0);
            minmax(root,x);
            splay(ansp,root);
            if(rrl)
            {
                tr[rrl].num++;
            }else{
                rrl=newp();
                tr[rrl]=(trnt){{0,0},tr[root].rs,0,x,1,1};
            }
            pushup(rrl);
            pushup(tr[root].rs);
            pushup(root);
        }else if(cmd[1]=='A')
        {
            if(!x)
                continue;
            splay(sta,0);
            splay(fin,root);
            add(rrl,x);
        }else if(cmd[1]=='S')
        {
            splay(sta,0);
            splay(fin,root);
            ansp=-1;
            add(rrl,-x);
            minmax(rrl,m-1);
            if(ansp==-1)
                continue;
            splay(sta,0);
            splay(ansp,root);
            if(!rrl)
                continue;
            ans+=del(rrl);
            pushup(tr[root].rs);
            pushup(root);
        }else{
            splay(sta,0);
            splay(fin,root);
            kth(rrl,x);
            if(ansp==-1)
                printf("%d\n",-1);
            else
                printf("%lld\n",tr[ansp].val);
        }
        splay(sta,0);
        splay(fin,root);
        ansp=-1;
        minmax(rrl,m-1);
        if(ansp==-1)
            continue;
        splay(sta,0);
        splay(ansp,root);
        if(!rrl)
            continue;
        ans+=del(rrl);
        pushup(tr[root].rs);
        pushup(root);
    }
    printf("%d\n",ans);
    return 0;
}