BZOJ1503 NOI2004 郁闷的出纳员 题解&代码

题意太傻不多解释= =就是维护一个档案队列，按节点val建树

思路：
从query操作（命令F）可以看出，这棵树的顺序核心在于value而不是一般的维护队列，这样的话相同value的节点显而易见地应该放在一起，我们除了s[]记录子树大小之外，额外增加一个z[]记录节点大小（对于x节点来说每有一个与其value重复的z[x]++），注意z[]不需要维护。
然后就是喜闻乐见的标记了，这道题算是比较良心= =只需要维护两个标记
add[]对当前子树进行范围修改的lazy标记
val[]单点val，需要在维护add[]的时候一起维护

然后= =就是想起来就有种自己傻的反思时间
1、Splay居然又写错了！循环时没有同步更新y和z！调了半个小时才输出出来错在这！
2、最初思路不够清晰就开始写，结果用值查找节点的时候因为想要在多个函数中用到getval这个函数两面都想满足= =结果两边都求错了【23333
3、最开始没有想到节点值相同时该怎么维护，结果只好新建节点维护成一个队列= =结局可想而知
4、查找第k大的时候想错= =如果当前节点val大于目标val直接向左走了，其实应该记录一下路径中最接近目标val的节点
5、query的时候顺序反了= =结果自己怎么看都没错，输出就是有问题…在更新了x之后想要得到关于原x的信息是自己活在梦里

于是…用了一个半小时写完了代码用了四个半小时调= =下一道Splay再这样就药丸了

#include<iostream>#include<stdio.h>#define lson ch[x][0]#define rson ch[x][1]using namespace std;const int maxn=100005;int n,m,k,ans,tot,root;int ch[maxn][2],fa[maxn],add[maxn],val[maxn],s[maxn],z[maxn];char str[5];void link(int x,int y,int d){    if(y)ch[y][d]=x;    if(x)fa[x]=y;    //cout<<"link "<<x<<' '<<fa[x]<<' '<<d<<endl;}int ischild(int x){    return ch[fa[x]][1]==x;}void maintain(int x){    if(x)s[x]=s[lson]+s[rson]+z[x];}void pushdown(int x){    if(!add[x])return;    if(lson)add[lson]+=add[x],val[lson]+=add[x];    if(rson)add[rson]+=add[x],val[rson]+=add[x];    add[x]=0;}void rotate(int x){    int d=ischild(x);    int y=fa[x],z=fa[y];    if(y==root)root=x;    link(x,z,ischild(y));    link(ch[x][!d],y,d);    link(y,x,!d);    maintain(y);}void Splay(int x,int goal=0){    int y=fa[x],z=fa[y];    while(y!=goal)    {        pushdown(z);        pushdown(y);        pushdown(x);        if(z==goal)        {            rotate(x);            break;        }        if(ischild(x) ^ ischild(y))rotate(x);        else rotate(y);        rotate(x);        y=fa[x],z=fa[y];//false    }    maintain(x);}int getnext(int x){    x=ch[x][1];    while(ch[x][0])x=ch[x][0];    return x;}int getval(int k){    int x=root;    while(x)    {        pushdown(x);        if(val[x]==k)return x;//false        if(ch[x][val[x]<k])x=ch[x][val[x]<k];        else return x;    }    return x;}int newnode(int v){    int t=++tot;    s[t]=z[t]=1;    val[t]=v;    return t;}void addtree(int k){    if(!root)    {        root=newnode(k);        return;    }    int x=getval(k);    if(val[x]==k)z[x]++;    else link(newnode(k),x,val[x]<k);    Splay(x);}void increase(int k){    if(!root)return;    add[root]+=k;    val[root]+=k;}void decrease(int k){    if(!root)return;    add[root]-=k;    val[root]-=k;    int x=root,pre=0;    while(x)    {        pushdown(x);        if(val[x]==m)break;//false        if(val[x]<m)x=ch[x][1];        else        {            pre=x;            x=ch[x][0];        }    }    if(!x)x=pre;    if(x)Splay(x);    if(!x)ans+=s[root],root=0;    else ans+=s[ch[x][0]],ch[x][0]=0;    maintain(x);}int query(int k){    int x=root;    int t;    while(x)    {        pushdown(x);        t=s[ch[x][1]];        if(t>=k)x=ch[x][1];        else            if(t+z[x]>=k)return val[x];            else k-=t+z[x],x=ch[x][0];//else x=ch[x][0],k-=t+z[x];false    }    if(x)return val[x];    else return -1;}int que(int x,int k){    if(!x)return -1;    pushdown(x);    if(s[ch[x][1]]>=k)return que(ch[x][1],k);    if(s[ch[x][1]]+z[x]>=k)return val[x];    return que(ch[x][0],k-s[ch[x][1]]-z[x]);}int main(void){    //freopen("cashier2.in","r",stdin);    //freopen("cashier.ans","w",stdout);    scanf("%d%d",&n,&m);    for(int i=1;i<=n;i++)    {        scanf("%s%d",str,&k);        //printf("%c %d\n",str[0],k);        if(str[0]=='I')            if(k>=m)addtree(k);        if(str[0]=='A')increase(k);        if(str[0]=='S')decrease(k);        if(str[0]=='F')printf("%d\n",query(k));    }    printf("%d\n",ans);    return 0;}