6441. 【GDOI2020模拟01.17】小 ω 维护序列

Description

Input

Output
输出到标准输出流中。
若干行，对于每个操作 1 和操作 5，输出一个数表示答案。

Sample Input
Sample Input1
5 8
1 2 3 2 1
1 1 3
5 1 5
2 2 4
1 2 4
3 3
4 0 5
1 1 2
1 1 5

Sample Input2
10 15
5 4 3 5 4 1 5 4 3 1
2 8 580347
4 6 503576
1 2 5
5 8 11
1 2 6
4 7 565239
3 6
3 11
3 3
2 9 674360
1 1 6
2 2 589693
4 5 236488
1 8 9
5 2 7

Sample Output
Sample Output1
6
3
24
0
78

【样例 1 解释】
操作 1，第 1 个到第 3 个元素之间不同的元素排序后得到 S = {1, 2, 3}，故答案为 1 × 2 × 3 = 6。
操作 2，第 1 个到第 5 个元素之间的不同元素有 S = {1, 2, 3}，故答案为 |S| = 3。
操作 3，序列 A 变为 [1, 4, 3, 2, 1]。
操作 4，第 2 个到第 4 个元素之间不同的元素排序后得到 S = {2, 3, 4}，故答案为 2×3×4 = 24。
操作 5，序列 A 变为 [1, 4, 2, 1]。
操作 6，序列 A 变为 [5, 1, 4, 2, 1]。
操作 7，第 1 个到第 2 个元素之间不同的元素排序后得到 S = {1, 5}，故答案为 0。
操作 8，第 1 个到第 5 个元素之间不同的元素排序后得到 S = {1, 2, 4, 5}，故答案为 1 × 2 × 4 +1 × 2 × 5 + 1 × 4 × 5 + 2 × 4 × 5 = 78。

Sample Output2
60
4
107
788510349
0
6

Data Constraint

【子任务】
• 子任务 1（10 pts）：保证 n, q ≤ 100。
• 子任务 2（10 pts）：保证 q × n ≤ 2 × 10^7。
• 子任务 3（5 pts）：保证只有操作 5。
• 子任务 4（10 pts）：保证只有操作 1。
• 子任务 5（15 pts）：保证只有操作 2 和 5。
• 子任务 6（15 pts）：保证只有操作 1、2 和 5。
• 子任务 7（5 pts）：保证只有操作 2、3 和 4。
• 子任务 8（10 pts）：保证 n, q ≤ 50000。
• 子任务 9（20 pts）：没有额外限制。

题解

lj大数据结构题

把询问1拆成一次方、二次方、三次方和，询问5则是零次方和

没有34就是动态区间数颜色

求出每个数a[i]在其权值上的前驱ls[i]，把(ls[i],a[i])丢到平面上，这个可以用map套set

一次询问就是询问(1~L-1,L~R)的矩形，修改即把原先的点在原权值中删掉以及修改其后继（-1，+1），再修改其在新的权值中的后继，离线cdq即可

离线删除插入是经典套路，用平衡树求出每次操作所对应的最终序列位置

对于一次删除，不需要把它删掉，只需要把其size清0，然后在插入时通过平衡树二分找到对应点插入

所有的操作都需要在做到它时找到对应的树上节点（方便最后重标号）

最后再遍历一遍平衡树即可得到新的标号，把每次操作对应到新的序列

于是就可以把原先的插入删除变成修改操作，做法同上

code

6.4K

#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <map>
#include <set>
#define fo(a,b,c) for (a=b; a<=c; a++)
#define fd(a,b,c) for (a=b; a>=c; a--)
#define add(a,b) a=((a)+(b))%1000000007
#define low(x) ((x)&-(x))
#define mod 1000000007
#define file
using namespace std;

struct type{
	int tp,x,y;
} q[100001];
struct Type{
	int x,y;
	long long tp,s; //tp=1或-1时为修改(s=a值)，=0为询问(s=1或-1)
	int id,Id;
} b[700001];
int tr[200001][3]; //splay
long long Tr[200002][4]; //树状数组
int fa[200001];
bool bz[200001];
int a[100001];
long long c[200001];
int num[100001];
int ls[100001];
long long ans[100001][4];
bool Bz[200002];
int d[200002];
map<int,set<int> > hs;
map<int,set<int> > :: iterator I;
set<int> :: iterator I2;
int n,Q,i,j,k,l,len,root,Len,tot;
long long f0,f1,f2,f3;
const long long S=166666668; // 1/6

bool cmp(Type a,Type b)
{
	return a.x<b.x || a.x==b.x && a.tp!=0 && b.tp==0;
}

void look()
{
	int i;
	
	fo(i,1,len)
	cout<<i<<": fa:"<<fa[i]<<" son:"<<tr[i][0]<<" "<<tr[i][1]<<" size:"<<tr[i][2]<<endl;
	cout<<endl;
}

void look2()
{
	int i;
	
	fo(i,1,Len)
	cout<<"type:"<<b[i].tp<<" "<<b[i].s<<" x,y:"<<b[i].x<<" "<<b[i].y<<" id:"<<b[i].id<<endl;
	cout<<endl;
}

//splay ↓

void up(int t)
{
	tr[t][2]=bz[t]+tr[tr[t][0]][2]+tr[tr[t][1]][2];
}

void mt(int ls,int l,int r,int tp)
{
	int mid=(l+r)/2;
	
	if (ls)
	fa[mid]=ls,tr[ls][tp]=mid;
	
	if (l<=mid-1) mt(mid,l,mid-1,0);
	if (mid+1<=r) mt(mid,mid+1,r,1);
	
	up(mid);
}

void rot(int t)
{
	int Fa=fa[t],Fa2=fa[Fa],x=tr[Fa][1]==t,x2=tr[Fa2][1]==Fa,son=tr[t][x^1];
	
	if (Fa==root) root=t;
	
	fa[Fa]=t;tr[Fa2][x2]=t;
	fa[t]=Fa2;tr[Fa][x]=son;
	fa[son]=Fa;tr[t][x^1]=Fa;
	
	up(Fa);up(t);
}

void splay(int t,int x)
{
	while (fa[t]!=x)
	{
		int Fa=fa[t];
		
		if (fa[Fa]!=x)
		{
			int Fa2=fa[Fa];
			
			if ((tr[Fa2][0]==Fa)^(tr[Fa][0]==t))
			rot(t),rot(t);
			else
			rot(Fa),rot(t);
		}
		else
		rot(t);
	}
}

void New(int t,int x)
{
	int i;
	
	tr[t][x]=++len;
	fa[len]=t;
	
	i=len;
	while (i)
	++tr[i][2],i=fa[i];
	
	splay(len,0);
}

int find(int t)
{
	int i=root;
	
	while (1)
	{
		if (t<=tr[tr[i][0]][2])
		i=tr[i][0];
		else
		if (tr[tr[i][0]][2]+1==t && bz[i])
		return i;
		else
		t-=tr[tr[i][0]][2]+bz[i],i=tr[i][1];
	}
}

void ins(int t)
{
	int x,y;
	
	if (!t)
	{
		x=root;
		while (tr[x][0])
		x=tr[x][0];
		
		New(x,0);
	}
	else
	if (t==tr[root][2])
	{
		x=root;
		while (tr[x][1])
		x=tr[x][1];
		
		New(x,1);
	}
	else
	{
		x=find(t);y=find(t+1);
		
		splay(x,0);splay(y,x);
		
		while (tr[y][0]) //可能y的左儿子被删了(即还存在)
		y=tr[y][0];
		New(y,0);
	}
}

void del(int t) //不真正删掉
{
	int x=find(t);
	l=x;
	
	bz[x]=0;
	while (x)
	--tr[x][2],x=fa[x];
}

void dfs(int t) //遍历求出每个节点的新编号
{
	if (tr[t][0]) dfs(tr[t][0]);
	num[t]=++j;
	if (tr[t][1]) dfs(tr[t][1]);
}

//splay ↑

int hs_nxt(int t,int x) //前驱
{
	I=hs.find(t);
	if (I==hs.end())
	return 0;
	
	I2=(I->second).upper_bound(x);
	if (I2==(I->second).end())
	return 0;
	
	return *I2;
}

int hs_pre(int t,int x) //后继
{
	I=hs.find(t);
	if (I==hs.end())
	return 0;
	
	I2=(I->second).lower_bound(x);
	if (I2==(I->second).begin())
	return 0;
	
	--I2;
	return *I2;
}

void hs_ins(int t,int x)
{
	I=hs.find(t);
	if (I==hs.end())
	{
		hs.insert(pair<int,set<int>>(t,{}));
		I=hs.find(t);
	}
	
	(I->second).insert(x);
}

void hs_del(int t,int x)
{
	I=hs.find(t);
	(I->second).erase(x);
}

void work_inc(int t,int s) //插入
{
	int l=hs_pre(s,t),r=hs_nxt(s,t);
	
	b[++Len]={l,t,1,s,0};
	if (r)
	b[++Len]={l,r,-1,c[r],0},b[++Len]={t,r,1,c[r],0},ls[r]=t;
	
	hs_ins(s,t);
	c[t]=s;ls[t]=l;
}

void work_dec(int t) //清零
{
	int l=hs_pre(c[t],t),r=hs_nxt(c[t],t);
	
	b[++Len]={ls[t],t,-1,c[t],0};
	if (r)
	b[++Len]={t,r,-1,c[r],0},b[++Len]={l,r,1,c[r],0},ls[r]=l;
	
	hs_del(c[t],t);
	c[t]=ls[t]=0;
}

void t_change(int t,long long tp,long long s) //树状数组
{
	long long s0=tp,s1=tp*s,s2=tp*s*s%mod,s3=tp*s*s%mod*s%mod;
	int i;
	
	while (t<=len+1)
	{
		if (!Bz[t]) Bz[t]=1,d[++tot]=t;
		
		Tr[t][0]+=s0,add(Tr[t][1],s1),add(Tr[t][2],s2),add(Tr[t][3],s3);
		t+=low(t);
	}
}

void t_find(int t)
{
	int i;
	f0=f1=f2=f3=0;
	
	while (t)
	{
		f0+=Tr[t][0],add(f1,Tr[t][1]),add(f2,Tr[t][2]),add(f3,Tr[t][3]);
		t-=low(t);
	}
}

void work(int l,int r)
{
	int mid=(l+r)/2;
	
	if (l==r) return;
	
	work(l,mid);
	work(mid+1,r);
	
	stable_sort(b+l,b+r+1,cmp);
	
	tot=0;
	
	fo(i,l,r)
	if (b[i].tp!=0 && b[i].Id<=mid)
	t_change(b[i].y,b[i].tp,b[i].s);
	else
	if (b[i].tp==0 && b[i].Id>mid)
	{
		t_find(b[i].y);
		ans[b[i].id][0]+=f0*b[i].s,add(ans[b[i].id][1],f1*b[i].s),add(ans[b[i].id][2],f2*b[i].s),add(ans[b[i].id][3],f3*b[i].s);
	}
	
	fo(i,1,tot) Bz[d[i]]=0,Tr[d[i]][0]=Tr[d[i]][1]=Tr[d[i]][2]=Tr[d[i]][3]=0;
}

int main()
{
	freopen("maintain.in","r",stdin);
	#ifdef file
	freopen("maintain.out","w",stdout);
	#endif
	
	memset(bz,1,sizeof(bz));
	
	scanf("%d%d",&n,&Q);
	fo(i,1,n)
	scanf("%d",&a[i]);
	
	mt(0,1,n,0);
	len=n;root=(1+n)/2;
	
//	--- 重标号
	
	fo(i,1,Q)
	{
		scanf("%d%d",&q[i].tp,&q[i].x);
		if (q[i].tp!=3)
		scanf("%d",&q[i].y);
		
		switch (q[i].tp) //指向树中节点
		{
			case 1:{q[i].x=find(q[i].x);q[i].y=find(q[i].y);break;}
			case 2:{q[i].x=find(q[i].x);break;}
			case 3:{del(q[i].x);q[i].x=l;break;}
			case 4:{ins(q[i].x);q[i].x=len;break;}
			case 5:{q[i].x=find(q[i].x);q[i].y=find(q[i].y);break;}
		}
	}
	
	j=0;dfs(root);
	
	fo(i,1,Q)
	{
		q[i].x=num[q[i].x];
		if (q[i].tp==1 || q[i].tp==5)
		q[i].y=num[q[i].y];
	}
	
//	--- cdq
	
	fo(i,1,n)
	{
		hs_ins(a[i],num[i]);
		ls[num[i]]=hs_pre(a[i],num[i]);
		
		c[num[i]]=a[i];
		b[++Len]={ls[num[i]],num[i],1,a[i],0};
	}
	
	fo(i,1,Q)
	{
		switch (q[i].tp)
		{
			case 2:{work_dec(q[i].x);work_inc(q[i].x,q[i].y);break;}
			case 3:{work_dec(q[i].x);break;}
			case 4:{work_inc(q[i].x,q[i].y);break;}
			default:{b[++Len]={q[i].x-1,q[i].x-1,0,-1,i};b[++Len]={q[i].x-1,q[i].y,0,1,i};break;}//1 or 5
		}
	}
	fo(i,1,Len) ++b[i].x,++b[i].y,b[i].Id=i; //坐标可能为0
	
	work(1,Len);
	
//	---
	
	fo(i,1,Q)
	if (q[i].tp==1)
	printf("%lld
",((ans[i][1]*ans[i][1]%mod*ans[i][1]+2ll*ans[i][3]-3ll*ans[i][2]*ans[i][1])%mod+mod)%mod*S%mod);
	else
	if (q[i].tp==5)
	printf("%lld
",ans[i][0]);
	
	fclose(stdin);
	fclose(stdout);
	
	return 0;
}