https://www.lydsy.com/JudgeOnline/problem.php?id=2119
题意：将给定数组差分后，求ABA形式的字串个数，要求|B|=m，|A|>0
1、后缀数组求出 差分序列 和 翻转差分序列后的序列 的sa，rk，height
2、枚举len=|A|，对差分序列每len个分一块，记每一块的关键点位块内第一个元素
3、枚举每一个关键点i，令j=i+len+m，求出若i作为A的最后一个元素，向左能延伸最远点x，若i作为A的第一个元素，向右能延伸的最远点y
那么i取[x,y]内的任意长为len的一块都可以最为A，所以答案累加 y-x+1 - len +1
4、为避免重复，限制向左向右最长延伸长度为len-1，即每个A只能占据一个关键点
5、向左能延伸的最远点就是 分别以i、j结尾的最长公共后缀，即求[1,i]和[1,j]的最长公共后缀，转化成求翻转序列的最长公共前缀
向右能延伸的最远点就是 分别以i、j开始的最长公共前缀，即求[i,n]和[j,n]的最长公共前缀
这可以用后缀数组完成
#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm> using namespace std; #define N 50001
#define M 15 typedef long long LL; int n,m,tot;
int b[N]; int a1[N],a2[N]; int has[N]; int sa1[][N],rk1[][N],h1[N];
int sa2[][N],rk2[][N],h2[N]; int p1,q1=;
int p2,q2=;
int v[N];
int k; int st1[N][M+],st2[N][M+]; void read(int &x)
{
x=; int f=; char c=getchar();
while(!isdigit(c)) { if(c=='-') f=-; c=getchar(); }
while(isdigit(c)) { x=x*+c-''; c=getchar(); }
x*=f;
} void mul(int *sa,int *rk,int*SA,int *RK)
{
for(int i=;i<=n;++i) v[rk[sa[i]]]=i;
for(int i=n;i;--i) if(sa[i]>k) SA[v[rk[sa[i]-k]]--]=sa[i]-k;
for(int i=n-k+;i<=n;++i) SA[v[rk[i]]--]=i;
for(int i=;i<=n;++i) RK[SA[i]]=RK[SA[i-]]+(rk[SA[i]]!=rk[SA[i-]] || rk[SA[i]+k]!=rk[SA[i-]+k]);
} void presa(int &p,int &q,int a[N],int sa[][N],int rk[][N])
{
memset(v,,sizeof(v));
for(int i=;i<=n;++i) v[a[i]]++;
for(int i=;i<=tot;++i) v[i]+=v[i-];
for(int i=;i<=n;++i) sa[p][v[a[i]]--]=i;
for(int i=;i<=n;++i) rk[p][sa[p][i]]=rk[p][sa[p][i-]]+(a[sa[p][i]]!=a[sa[p][i-]]);
for(k=;k<n;k<<=,swap(p,q))
mul(sa[p],rk[p],sa[q],rk[q]);
} void get_height(int *a,int *h,int *sa,int *rk)
{
int k=,j;
for(int i=;i<=n;++i)
{
j=sa[rk[i]-];
while(a[i+k]==a[j+k])
k++;
h[rk[i]]=k;
if(k) k--;
}
} void prest(int h[N],int st[N][M+])
{
for(int i=;i<=n;++i) st[i][]=h[i];
for(int i=,k=;i<=M;++i,k<<=)
for(int j=;j+k-<=n;++j)
st[j][i]=min(st[j][i-],st[j+k/][i-]);
} int get(int st[N][M+],int i,int j,int *rk)
{
i=rk[i]; j=rk[j];
if(i>j) swap(i,j);
i++;
int l=1.0*log(j-i+)/log();
return min(st[i][l],st[j-(<<l)+][l]);
} void solve()
{
LL ans=;
int j;
int lcp,lcs,sum;
for(int len=;len<n;++len)
for(int i=;i+len+m<=n;i+=len)
{
j=i+len+m;
lcs=get(st1,i,j,rk1[p1]);
if(lcs>len) lcs=len;
lcp=get(st2,n-j+,n-i+,rk2[p2]);
if(lcp>len) lcp=len;
sum=lcp+lcs-;
if(sum>=len)
{
ans+=sum-len+;
// printf("%d %d %d %d\n",i,j,len,sum-len+1);
}
}
cout<<ans;
} int main()
{
freopen("nt2011_stock.in","r",stdin);
freopen("nt2011_stock.out","w",stdout);
read(n); read(m);
for(int i=;i<=n;++i) read(b[i]);
for(int i=;i<n;++i) a1[i]=b[i+]-b[i],has[i]=a1[i];
n--;
sort(has+,has+n+);
tot=unique(has+,has+n+)-has-;
for(int i=;i<=n;++i) a1[i]=lower_bound(has+,has+tot+,a1[i])-has;
for(int i=;i<=n;++i) a2[n-i+]=a1[i];
presa(p1,q1,a1,sa1,rk1);
get_height(a1,h1,sa1[p1],rk1[p1]);
presa(p2,q2,a2,sa2,rk2);
get_height(a2,h2,sa2[p2],rk2[p2]);
prest(h1,st1);
prest(h2,st2);
solve();
}