【BZOJ1500】[NOI2005]维修数列
Description
Input
输入的第1 行包含两个数N 和M(M ≤20 000),N 表示初始时数列中数的个数,M表示要进行的操作数目。
第2行包含N个数字,描述初始时的数列。
以下M行,每行一条命令,格式参见问题描述中的表格。
任何时刻数列中最多含有500 000个数,数列中任何一个数字均在[-1 000, 1 000]内。
插入的数字总数不超过4 000 000个,输入文件大小不超过20MBytes。
Output
对于输入数据中的GET-SUM和MAX-SUM操作,向输出文件依次打印结果,每个答案(数字)占一行。
Sample Input
9 8
2 -6 3 5 1 -5 -3 6 3
GET-SUM 5 4
MAX-SUM
INSERT 8 3 -5 7 2
DELETE 12 1
MAKE-SAME 3 3 2
REVERSE 3 6
GET-SUM 5 4
MAX-SUM
2 -6 3 5 1 -5 -3 6 3
GET-SUM 5 4
MAX-SUM
INSERT 8 3 -5 7 2
DELETE 12 1
MAKE-SAME 3 3 2
REVERSE 3 6
GET-SUM 5 4
MAX-SUM
Sample Output
-1
10
1
10
10
1
10
HINT
题解:裸的Splay,只不过全是细节,我还是不够细啊~
*要开滚动数组记录有哪些空余的位置,防止MLE(但实测600000的数组就行)
*INSERT:直接一个一个往里加就行,加成一条链也无所谓,不会TLE
*DELETE:因为要释放空间,所以必须一个一个删除,递归即可
*MAKE_SAME:没啥说的
*REVERSE:最好是先修改,再给儿子打标记(也就是说标记只对儿子起作用),这样比较清晰
*GET_SUM:没啥说的
*MAX_SUM:巨恶心的pushup和pushdown,看代码就知道了
#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
using namespace std;
struct point
{int ch[2],fa,siz,tag,v,sv,sm,ls,rs,re;
}s[600010];
int n,m,root;
int num[500010];
char str[20];
queue<int> q;
void pushdown(int x)
{if(s[x].re){swap(s[s[x].ch[0]].ch[0],s[s[x].ch[0]].ch[1]);swap(s[s[x].ch[1]].ch[0],s[s[x].ch[1]].ch[1]);swap(s[s[x].ch[0]].ls,s[s[x].ch[0]].rs);swap(s[s[x].ch[1]].ls,s[s[x].ch[1]].rs);if(s[x].ch[0]) s[s[x].ch[0]].re^=1;if(s[x].ch[1]) s[s[x].ch[1]].re^=1;s[x].re=0;}if(s[x].tag!=1<<30){if(s[x].ch[0]){s[s[x].ch[0]].v=s[s[x].ch[0]].tag=s[x].tag;s[s[x].ch[0]].sv=s[x].tag*s[s[x].ch[0]].siz;s[s[x].ch[0]].ls=s[s[x].ch[0]].rs=max(s[s[x].ch[0]].sv,0);s[s[x].ch[0]].sm=max(s[s[x].ch[0]].sv,s[x].tag);}if(s[x].ch[1]){s[s[x].ch[1]].v=s[s[x].ch[1]].tag=s[x].tag;s[s[x].ch[1]].sv=s[x].tag*s[s[x].ch[1]].siz;s[s[x].ch[1]].ls=s[s[x].ch[1]].rs=max(s[s[x].ch[1]].sv,0);s[s[x].ch[1]].sm=max(s[s[x].ch[1]].sv,s[x].tag);}s[x].tag=1<<30;}
}
void pushup(int x)
{s[x].siz=s[s[x].ch[0]].siz+s[s[x].ch[1]].siz+1;s[x].ls=max(s[s[x].ch[0]].ls,s[s[x].ch[0]].sv+s[x].v+s[s[x].ch[1]].ls);s[x].rs=max(s[s[x].ch[1]].rs,s[s[x].ch[1]].sv+s[x].v+s[s[x].ch[0]].rs);s[x].sm=max(s[s[x].ch[0]].rs+s[x].v+s[s[x].ch[1]].ls,max(s[s[x].ch[0]].sm,s[s[x].ch[1]].sm));s[x].sv=s[s[x].ch[0]].sv+s[x].v+s[s[x].ch[1]].sv;
}
int readin()
{int ret=0,f=1; char gc=getchar();while(gc<'0'||gc>'9'){if(gc=='-')f=-f; gc=getchar();}while(gc>='0'&&gc<='9') ret=ret*10+gc-'0',gc=getchar();return ret*f;
}
int rotate(int x,int &k)
{int y=s[x].fa,z=s[y].fa,d=(x==s[y].ch[1]);if(z) s[z].ch[y==s[z].ch[1]]=x;if(y==k) k=x;s[x].fa=z,s[y].fa=x,s[y].ch[d]=s[x].ch[d^1];if(s[x].ch[d^1]) s[s[x].ch[d^1]].fa=y;s[x].ch[d^1]=y;pushup(y),pushup(x);
}
void splay(int x,int &k)
{while(x!=k){int y=s[x].fa,z=s[y].fa;if(y!=k){if((x==s[y].ch[1])^(y==s[z].ch[1])) rotate(x,k);else rotate(y,k);}rotate(x,k);}
}
void build(int l,int r,int last)
{if(l>r) return ;int mid=l+r>>1;s[mid].fa=last,s[last].ch[mid>last]=mid;s[mid].v=num[mid];s[mid].tag=1<<30;build(l,mid-1,mid),build(mid+1,r,mid);pushup(mid);
}
int find(int x,int y)
{pushdown(x);if(s[s[x].ch[0]].siz+1==y) return x;if(y<=s[s[x].ch[0]].siz) return find(s[x].ch[0],y);return find(s[x].ch[1],y-s[s[x].ch[0]].siz-1);
}
void del(int &x)
{if(!x) return;q.push(x);del(s[x].ch[0]),del(s[x].ch[1]);x=0;
}
int main()
{n=readin(),m=readin();int i,j,a,b,c,t,u;s[0].sm=num[1]=num[n+2]=-1<<30;for(i=1;i<=n;i++) num[i+1]=readin();n+=2,root=(n+1)/2;build(1,root-1,root),build(root+1,n,root);s[root].v=num[root];s[root].tag=1<<30;pushup(root);for(i=n+1;i<=600000;i++) q.push(i);for(i=1;i<=m;i++){scanf("%s",str);switch(str[2]){case 'S':{a=readin()+1,b=readin();splay(find(root,a+1),root),splay(find(root,a),s[root].ch[0]);t=s[root].ch[0];for(j=1;j<=b;j++){c=readin();u=q.front(),q.pop();s[u].v=c;s[t].ch[1]=u,s[u].fa=t;s[u].re=0,s[u].tag=1<<30;t=u;}while(t!=root){pushup(t);t=s[t].fa;}break;}case 'L':{a=readin()+1,b=readin();splay(find(root,a-1),root),splay(find(root,a+b),s[root].ch[1]);del(s[s[root].ch[1]].ch[0]);pushup(s[root].ch[1]);break;}case 'K':{a=readin()+1,b=readin();splay(find(root,a-1),root),splay(find(root,a+b),s[root].ch[1]);c=s[s[root].ch[1]].ch[0];s[c].v=s[c].tag=readin();s[c].re=0;s[c].sv=s[c].siz*s[c].v;s[c].ls=s[c].rs=max(s[c].sv,0);s[c].sm=max(s[c].sv,s[c].v);break;}case 'V':{a=readin()+1,b=readin();splay(find(root,a-1),root),splay(find(root,a+b),s[root].ch[1]);c=s[s[root].ch[1]].ch[0];swap(s[c].ch[0],s[c].ch[1]);swap(s[c].ls,s[c].rs);s[c].re=1;break;}case 'T':{a=readin()+1,b=readin();splay(find(root,a-1),root),splay(find(root,a+b),s[root].ch[1]);printf("%d\n",s[s[s[root].ch[1]].ch[0]].sv);break;}case 'X':{printf("%d\n",s[root].sm);break;}}}return 0;
}