//后缀数组+单调栈
#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
const int maxn=200005;
typedef __int64 lld;
//以下为倍增算法求后缀数组
int wa[maxn],wb[maxn],wv[maxn],Ws[maxn];
int cmp(int *r,int a,int b,int l)
{return r[a]==r[b]&&r[a+l]==r[b+l];}
void da(const int *r,int *sa,int n,int m){
int i,j,p,*x=wa,*y=wb,*t;
for(i=0;i<m;i++) Ws[i]=0;
for(i=0;i<n;i++) Ws[x[i]=r[i]]++;
for(i=1;i<m;i++) Ws[i]+=Ws[i-1];
for(i=n-1;i>=0;i--) sa[--Ws[x[i]]]=i;
for(j=1,p=1;p<n;j*=2,m=p){
for(p=0,i=n-j;i<n;i++) y[p++]=i;
for(i=0;i<n;i++) if(sa[i]>=j) y[p++]=sa[i]-j;
for(i=0;i<n;i++) wv[i]=x[y[i]]; //x[]->上次排序的排名
for(i=0;i<m;i++) Ws[i]=0;
for(i=0;i<n;i++) Ws[wv[i]]++;
for(i=1;i<m;i++) Ws[i]+=Ws[i-1];
for(i=n-1;i>=0;i--) sa[--Ws[wv[i]]]=y[i];
//y[i]->二级排序后第i大的下标,循环从n-1到0由于一级排序相同要看二级排序
for(t=x,x=y,y=t,p=1,x[sa[0]]=0,i=1;i<n;i++)
x[sa[i]]=cmp(y,sa[i-1],sa[i],j)?p-1:p++;
}
return;
}
int sa[maxn],Rank[maxn],height[maxn];
//求height数组
//sa[1,n]取值范围[0,n-1],sa[0]为特殊字符
//Rank[0,n-1]取值范围[1,n]
//height[1,n]表示排名相邻的两个后缀的最长公共前缀
//height[i]表示sa[i]和sa[i-1]的最长前缀 排名为i与i-1的最长公共前缀
void calheight(const int *r,int *sa,int n){
int i,j,k=0;
for(i=1;i<=n;i++) Rank[sa[i]]=i;
for(i=0;i<n;height[Rank[i++]]=k)
for(k?k--:0,j=sa[Rank[i]-1];r[i+k]==r[j+k];k++);
return;
}
/*
da(r,sa,n+1,128);
n+1表示加入特殊字符后的长度[0,n];
calheight(r,sa,n);
去掉特殊字符[1,n]长度,就是输入字符串长度n
*/
char b1[maxn],b2[maxn];
int a[maxn];
int sk[maxn];
int num[maxn];
int top;
lld sum;
/*
注意height[i]的含义
单调栈维护递增的height[i]-k+1的值
每组中即>=K时
两个串的lcp(i,j)是height[sa[i]]和height[sa[j]]的最小值
所以每组中的栈维护每个排名i到排名j的最小值
*/
lld Gao(int n,int m,int L,int K){
int i,j,k;
int tn,tl;
lld ret=0;
for(i=1;i<=L;i++){
if(height[i]<K){
sum=0;top=-1;
}else{
tn=0;
if(sa[i-1]<n){
tn=1;
sum+=height[i]-K+1;
}
while(top>=0 && height[i]<=sk[top]){
sum-=num[top]*(sk[top]-height[i]);
tn+=num[top];top--;
}
num[++top]=tn;sk[top]=height[i];
if(sa[i]>n)ret+=sum;
}
}
for(i=1;i<=L;i++){
if(height[i]<K){
sum=0;top=-1;
}else{
tn=0;
if(sa[i-1]>n){
tn=1;
sum+=height[i]-K+1;
}
while(top>=0 && height[i]<=sk[top]){
sum-=num[top]*(sk[top]-height[i]);
tn+=num[top];top--;
}
num[++top]=tn;sk[top]=height[i];
if(sa[i]<n)ret+=sum;
}
}
return ret;
}
int main(){
int n,m;
int i,j,k;
while(scanf("%d",&k)!=EOF && k){
scanf("%s%s",b1,b2);
n=strlen(b1);
m=strlen(b2);
for(i=0;i<n;i++)
a[i]=b1[i];
a[n]=127;
for(i=0;i<m;i++)
a[i+n+1]=b2[i];
a[n+m+1]=0;
da(a,sa,n+m+2,180);
calheight(a,sa,n+m+1);
printf("%I64d\n",Gao(n,m,n+m+1,k));
}
return 0;
}
Common Substrings 后缀数组+单调栈
最新推荐文章于 2022-03-25 20:40:00 发布