[NOI2016]优秀的拆分

XXI.[NOI2016]优秀的拆分

这后缀数组越来越像一个用来求$\operatorname{LCP}$的工具人了……

对于一个$\text{AABB}$的拆分，我们可以在中间切一刀，变成$\text{AA}$与$\text{BB}$两半。这时，我们只需要设$a_i$表示以$i$为结尾的$\text{AA}$串数量，$b_i$表示以$i$开头的$\text{BB}$串数量，则答案即为$\sum a_ib_{i+1}$。

显然，这个可以通过hash做到$n^2$，并且可以取得$95\%$的好成绩，毫无区分意义。

然后就是一个非常神仙的思路了：

我们枚举一个长度$len$，然后每隔$len$个字符设立一个关键点。则任何长度$\geq2len$的子串都经过且只经过两个关键点。则我们枚举每一对相邻的关键点，并尝试求出有多少个合法子串经过了它。

我们求出这两个关键点的$\operatorname{LCP}$与$\operatorname{LCS(Longest Common Suffix)}$，这可以直接使用后缀数组+ST表求出。如果它们的和$\geq len$，则显然就有合法的串经过它们，这一数量为$\operatorname{LCP}+\operatorname{LCS}-len+1$个。我们只需要差分就可以得到$a$与$b$数组。

因为$\sum\limits_{i=1}^n\dfrac{n}{i}=n\log n$，所以该算法复杂度即为$O(n\log n)$。

记得清空所有数组！！！

代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=30100;
int T,n,a[N],b[N];
ll res;
char str[N];
struct Suffix_Array{
	int x[N],y[N],buc[N],sa[N],ht[N],rk[N],LG[N],mn[N][16],m;
	char s[N];
	void init(){
		for(int i=0;i<N;i++)x[i]=y[i]=buc[i]=sa[i]=ht[i]=rk[i]=LG[i]=0;
		memset(mn,0,sizeof(mn));
		m='z';
	}
	bool mat(int a,int b,int k){
		if(y[a]!=y[b])return false;
		if((a+k<n)^(b+k<n))return false;
		if((a+k<n)&&(b+k<n))return y[a+k]==y[b+k];
		return true;
	}
	void SA(){
		for(int i=0;i<n;i++)buc[x[i]=s[i]]++;
		for(int i=1;i<=m;i++)buc[i]+=buc[i-1];
		for(int i=n-1;i>=0;i--)sa[--buc[x[i]]]=i;
		for(int k=1;k<n;k<<=1){
			int num=0;
			for(int i=n-k;i<n;i++)y[num++]=i;
			for(int i=0;i<n;i++)if(sa[i]>=k)y[num++]=sa[i]-k;
			for(int i=0;i<=m;i++)buc[i]=0;
			for(int i=0;i<n;i++)buc[x[y[i]]]++;
			for(int i=1;i<=m;i++)buc[i]+=buc[i-1];
			for(int i=n-1;i>=0;i--)sa[--buc[x[y[i]]]]=y[i];
			swap(x,y);
			x[sa[0]]=num=0;
			for(int i=1;i<n;i++)x[sa[i]]=mat(sa[i],sa[i-1],k)?num:++num;
			if(num>=n-1)break;
			m=num;
		}
		for(int i=0;i<n;i++)rk[sa[i]]=i;
		for(int i=0,k=0;i<n;i++){
			if(!rk[i])continue;
			if(k)k--;
			int j=sa[rk[i]-1];
			while(i+k<n&&j+k<n&&s[i+k]==s[j+k])k++;
			ht[rk[i]]=k;
		}
		for(int i=2;i<n;i++)LG[i]=LG[i>>1]+1;
		for(int i=1;i<n;i++)mn[i][0]=ht[i];
		for(int j=1;j<=LG[n-1];j++)for(int i=1;i+(1<<j)-1<n;i++)mn[i][j]=min(mn[i][j-1],mn[i+(1<<(j-1))][j-1]);
	}
	int RMQ(int l,int r){
		if(l>=n||r>=n||l<0||r<0)return 0;
		l=rk[l],r=rk[r];
		if(l>r)swap(l,r);
		l++;
		int k=LG[r-l+1];
		return min(mn[l][k],mn[r-(1<<k)+1][k]);
	}
}pre,suf;
int main(){
	scanf("%d",&T);
	while(T--){
		scanf("%s",str),n=strlen(str),memset(a,0,sizeof(a)),memset(b,0,sizeof(b)),res=0;
		pre.init(),suf.init();
		memcpy(pre.s,str,sizeof(str)),memcpy(suf.s,str,sizeof(str)),reverse(pre.s,pre.s+n);
//		printf("%s\n%s\n",pre.s,suf.s);
		pre.SA(),suf.SA();
//		for(int i=0;i<n;i++)printf("%d ",pre.rk[i]);puts("");
//		for(int i=0;i<n;i++)printf("%d ",suf.rk[i]);puts("");
		for(int len=1;len<=n/2;len++)for(int i=0;i+len<n;i+=len){
			int p=i,q=i+len,r=n-q,s=n-p;
			int LCP=min(suf.RMQ(p,q),len);
			int LCS=min(pre.RMQ(r,s),len-1);
			int Delta=LCP+LCS-len+1;
			if(Delta>=0)b[p-LCS]++,b[p-LCS+Delta]--,a[q+LCP-Delta]++,a[q+LCP]--;
		}
//		for(int i=0;i<n;i++)printf("(%d %d)\n",a[i],b[i]);
		for(int i=1;i<n;i++)a[i]+=a[i-1],b[i]+=b[i-1];
		for(int i=1;i<n;i++)res+=a[i-1]*b[i];
		printf("%lld\n",res);
	}
	return 0;
}