【bzoj4358】permu【XSY1535】seq（莫队+并查集）

考虑莫队，但是我们发现这个东东只支持\(ins\)（至于怎么支持等会再讲），不支持\(del\)操作，所以我们构造一种只\(ins\)不\(del\)的莫队。

由于我们按莫队的方法排序，第一关键字为\(l\)所在的块，第二关键字为\(r\)。所以当排完序后，肯定是当\(l\)所在的块相同时，\(r\)单调递增，所以我们对\(l\)所在的块相同的询问进行处理。设对于块\(B\)，它的末尾位置为\(end\)，我们先找出在排完序中的数组中所有\(l\)所在的块为\(B\)的询问\(q_1\)、\(q_2\)……\(q_k\)，那么这些询问肯定在数组中是连续的，而且它们的\(r\)肯定单调递增。

然后这些询问肯定是长这样的：

既然\(r\)单调递增，那么对于\(r\)我们直接\(ins\)就好了。而对于\(l\)，由于\(l\)都在块\(B\)里，所以我们每个询问直接从\(end\)暴力向左\(ins\)就可以了。

至于\(ins\)操作，我们考虑用并查集维护。对于插入的每一个值\(x\)，我们在值域中找到它，并把它分别和\(x-1\)和\(x+1\)所在并查集连起来（如果没有就不连），那么答案就是所有并查集中最大的\(size\)。

代码如下：

#include<bits/stdc++.h>

#define N 50010

using namespace std;

struct Question
{
	int l,r,block,id;
}q[N];

int n,m,len,block,a[N],ed[N],ans,Ans[N],st[N],top;
int fa1[N],size[N];
int fa2[N],minn[N],maxn[N];

int find1(int x)
{
	return fa1[x]==x?x:fa1[x]=find1(fa1[x]);
}

int find2(int x)
{
	return fa2[x]==x?x:fa2[x]=find2(fa2[x]);
}

int get(int x)
{
	return (x-1)/len+1;
}

bool operator < (Question a,Question b)
{
	return a.block==b.block?a.r<b.r:a.l<b.l;
}

void add1(int u)
{
	int v;
	fa1[u]=u,size[u]=1;
	if(v=find1(u-1))
		fa1[v]=u,size[u]+=size[v];
	if(v=find1(u+1))
		fa1[v]=u,size[u]+=size[v];
	ans=max(ans,size[u]);
}

void add2(int u,int &Ans)
{
	int v;
	st[++top]=u;
	fa2[u]=u,minn[u]=maxn[u]=u;
	if(v=find2(u-1))minn[u]=minn[v];
	else if(v=find1(u-1)) minn[u]-=size[v];
	if(v=find2(u+1))maxn[u]=maxn[v];
	else if(v=find1(u+1)) maxn[u]+=size[v];
	Ans=max(Ans,maxn[u]-minn[u]+1);
	if(minn[u]!=u)fa2[minn[u]]=u,st[++top]=minn[u];
	if(maxn[u]!=u)fa2[maxn[u]]=u,st[++top]=maxn[u];
}

int main()
{
	scanf("%d%d",&n,&m);
	block=len=sqrt(n);
	while(block*len<n)block++;
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	for(int i=1,edd=len;i<=block;i++,edd=min(edd+len,n))
		ed[i]=edd;
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&q[i].l,&q[i].r);
		q[i].block=get(q[i].l),q[i].id=i;
	}
	sort(q+1,q+m+1);
	for(int p=1,i=1;i<=m;i=p+1,p=i)
	{
		memset(fa1,0,sizeof(fa1));
		ans=0;
		while(q[i].block==q[p+1].block)p++;
		int now=ed[q[i].block];
		for(int j=i;j<=p;j++)
		{
			while(now<q[j].r)add1(a[++now]);
			Ans[q[j].id]=ans;
			for(int k=q[j].l;k<=min(q[j].r,ed[q[j].block]);k++)
				add2(a[k],Ans[q[j].id]);
			while(top)
				fa2[st[top--]]=0;
		}
	}
	for(int i=1;i<=m;i++)
		printf("%d\n",Ans[i]);
	return 0;
}