BZOJ1500: [NOI2005]维修数列 Splay

1500: [NOI2005]维修数列

Time Limit: 10 Sec   Memory Limit: 64 MB

Submit: 12862   Solved: 4104

[Submit][Status][Discuss]

题解：

Splay的巅峰之作，支持插入一堆数，删除一堆数，区间反转，区间权值覆盖，求和，求最大子序列

对于插入和删除：

因为内存只能开到500000，所以DELETE操作后把这些DELETE的点的标号存到一个栈里，然后清空它们的所有信息，以便INSERT的时候重复利用。

Build函数：

在栈为基础上的Build，也就是说Build函数要在栈上的一段区间进行（其实也没什么，只是好写），这样的好处是我们在插入一堆数的时候可以利用栈里的一段区间的标号，而且可以把树建的深度最浅，之后把后建的树的根往上连一下就好了

至于DELETE，要回收所有标号，把这些标号位下标的所有数组清空

维护区间最大和和，区间左端最大和，右端最大和就可以了

#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<queue>
using namespace std;
const int N=500005;
int n,m,root,ls[N],rs[N],fa[N],siz[N],cov[N],rev[N],a[N],cnt,sum[N],mxl[N],mxr[N],mx[N];
int S[N],h;
void Pushup(int x)
{
	siz[x]=siz[ls[x]]+siz[rs[x]]+1;
	sum[x]=a[x]+sum[ls[x]]+sum[rs[x]];
	mx[x]=max(mxr[ls[x]]+a[x]+mxl[rs[x]],max(mx[ls[x]],mx[rs[x]]));
	mxl[x]=max(mxl[ls[x]],sum[ls[x]]+a[x]+mxl[rs[x]]);
	mxr[x]=max(mxr[rs[x]],sum[rs[x]]+a[x]+mxr[ls[x]]);
}
void Prev(int x)
{
	if(!x) return;
	swap(ls[x],rs[x]);
	swap(mxl[x],mxr[x]);
	rev[x]^=1;
}
void Pcov(int x,int v)
{
	if(!x) return;
	a[x]=v;
	sum[x]=siz[x]*v;
	mx[x]=max(v,sum[x]);
	mxl[x]=mxr[x]=max(0,sum[x]);
	cov[x]=v;
	rev[x]=0;
}
void Pushdown(int x)
{
	if(rev[x])
	{
		Prev(ls[x]),Prev(rs[x]);
		rev[x]=0;
	}
	if(cov[x]!=1e9)
	{
		Pcov(ls[x],cov[x]),Pcov(rs[x],cov[x]);
		cov[x]=1e9;
	}
}
void Rotate(int x,int &k)
{
	int y=fa[x],z=fa[y];
	if(k==y) k=x;
	else
	{
		if(ls[z]==y) ls[z]=x;
		else rs[z]=x;
	}
	fa[x]=z;
	fa[y]=x;
	if(x==ls[y])
	{
		ls[y]=rs[x];
		fa[rs[x]]=y;
		rs[x]=y;
	}
	else
	{
		rs[y]=ls[x];
		fa[ls[x]]=y;
		ls[x]=y;
	}
	Pushup(y);
	Pushup(x);
}
void Splay(int x,int &k)
{
	while(x!=k)
	{
		int y=fa[x],z=fa[y];
		if(y!=k)
		{
			if(y==ls[z]^x==ls[y]) Rotate(x,k);
			else Rotate(y,k);
		}
		Rotate(x,k);
	}
}
int Find(int x,int rank)
{
	Pushdown(x);
	if(rank<=siz[ls[x]]) return Find(ls[x],rank);
	else if(rank==siz[ls[x]]+1) return x;
	else return Find(rs[x],rank-siz[ls[x]]-1);
}
int Make(int x,int y)
{
	x=Find(root,x),y=Find(root,y+2);
	Splay(x,root);
	Splay(y,rs[x]);
	return ls[y];
}
void Build(int l,int r,int f)
{
	if(l>r) return;
	if(l==r)
	{
		fa[S[l]]=S[f];
		if(l<f) ls[S[f]]=S[l];
		else rs[S[f]]=S[l];
	}
	int mid=(l+r)>>1;
	Build(l,mid-1,mid);
	Build(mid+1,r,mid);
	Pushup(S[mid]);
	fa[S[mid]]=S[f];
	if(mid<f) ls[S[f]]=S[mid];
	else rs[S[f]]=S[mid];
}
int l,r,x,y,u,v;
void Insert()
{
	scanf("%d%d",&l,&r);
	for(int i=h+1;i<=h+r;i++)
	{
		u=S[i];
		scanf("%d",&v);
		siz[u]=1;
		a[u]=sum[u]=mx[u]=v;
		mxl[u]=mxr[u]=max(0,v);
	}
	Build(h+1,h+r,0);
	u=S[h+(1+r)/2];
	h+=r;
	x=Find(root,l+1),y=Find(root,l+2);
	Splay(x,root);
	Splay(y,rs[x]);
	//cout<<"u="<<u<<" y="<<y<<endl;
	fa[u]=y;
	ls[y]=u;
	Pushup(y),Pushup(fa[y]);
}
void clear(int x)
{
	if(!x) return;
	S[h--]=x;
	clear(ls[x]),clear(rs[x]);
	siz[x]=a[x]=sum[x]=mxl[x]=mxr[x]=mx[x]=rev[x]=ls[x]=rs[x]=fa[x]=0;
	cov[x]=1e9;
}
void Delete()
{
	scanf("%d%d",&l,&r);
	r=l+r-1;
	x=Make(l,r);
	ls[fa[x]]=0;
	Pushup(fa[x]),Pushup(fa[fa[x]]);
	//print();
	clear(x);
}
void Cover()
{
	scanf("%d%d%d",&l,&r,&v);
	r=l+r-1;
	x=Make(l,r);
	Pcov(x,v);
	Pushup(fa[x]),Pushup(fa[fa[x]]);
}
void Reverse()
{
	scanf("%d%d",&l,&r);
	r=l+r-1;
	x=Make(l,r);
	Prev(x);
	Pushup(fa[x]),Pushup(fa[fa[x]]);
}
void Qsum()
{
	scanf("%d%d",&l,&r);
	r=l+r-1;
	x=Make(l,r);
	printf("%d\n",sum[x]); 
}
void Qmaxson()
{
	printf("%d\n",mx[root]);
}
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=0;i<N;i++) cov[i]=1e9;
	for(int i=2;i<=n+1;i++) scanf("%d",&a[i]);
	for(int i=1;i<=500002;i++) S[i]=i; 
	root=(n+3)>>1;
	for(int i=2;i<=n+1;i++)
	{
		siz[i]=1;
		mx[i]=sum[i]=a[i];
		mxl[i]=mxr[i]=max(0,a[i]);
	}
	mx[0]=a[1]=a[n+2]=-1e9;//至关重要的一句话啊！防止本来是-的mx被强元素或者mx[0]更新成0 
	Build(h+1,h+n+2,0);
	h=n+2;
	char c[20];
	while(m--)
	{
		scanf("%s",c);
		if(c[0]=='I') Insert();
		else if(c[0]=='D') Delete();
		else if(c[0]=='R') Reverse();
		else if(c[0]=='G') Qsum();
		else if(c[2]=='X') Qmaxson();
		else Cover();
		//print();
	}
}

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

Sample Output

-1
10
1
10

HINT

Source

[Submit][Status][Discuss]