Common Substrings 后缀数组+单调栈

//后缀数组+单调栈
#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;
}