題目思路：求長度不小於k的公共子串的個數，做法是維護一個單調棧，詳見論文。
[cpp]
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<string>
#include<queue>
#include<algorithm>
#include<vector>
#include<stack>
#include<list>
//#include<iostream>
#include<map>
using namespace std;
#define inf 0x3f3f3f3f
#define M 210000
int max(int a,int b)
{
return a>b?a:b;
}
int min(int a,int b)
{
return a<b?a:b;
}
struct node
{
int num,h;
}q[M];
int rank[M],sa[M],height[M];
int ta[M],tb[M],tv[M],ts[M],r[M],sum;
bool cmp(int *y,int a,int b,int l)
{
return y[a]==y[b]&&y[a+l]==y[b+l];
}
void da(int n,int m)
{
int i,j,p;
int *x=ta,*y=tb;
for(i=0;i<m;i++) ts[i]=0;
for(i=0;i<n;i++) ts[x[i]=r[i]]++;
for(i=1;i<m;i++) ts[i]+=ts[i-1];
for(i=n-1;i>=0;i--) sa[--ts[x[i]]]=i;
for(j=1,p=1;p<n;j*=2,m=p)
{
p=0;
for(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<m;i++) ts[i]=0;
for(i=0;i<n;i++) tv[i]=x[y[i]];
for(i=0;i<n;i++) ts[tv[i]]++;
for(i=1;i<m;i++) ts[i]+=ts[i-1];
for(i=n-1;i>=0;i--) sa[--ts[tv[i]]]=y[i];
swap(x,y);
x[sa[0]]=0;
p=1;
for(i=1;i<n;i++)
{
if(cmp(y,sa[i-1],sa[i],j)) x[sa[i]]=p-1;
else x[sa[i]]=p++;
}
}
}
void calh(int n)
{
int i,k,tmp;
for(i=1;i<=n;i++) rank[sa[i]]=i;
k=0;
for(i=0;i<n;i++)
{
tmp=sa[rank[i]-1];
for(;r[i+k]==r[tmp+k];k++)
;
height[rank[i]]=k;
k?--k:0;
}
}
__int64 solve(int len1,int n,int k)
{
int top=0,tail=0,i;
__int64 sum=0;
__int64 ans=0;
node tmp;
if(sa[1]<len1)
{
tmp.h=height[2];
tmp.num=1;
sum+=tmp.h-k+1;
q[tail++]=tmp;
// printf("i %d sum %I64d ans %I64d\n",1,sum,ans);
}
for(i=2;i<=n;i++)
{
if(height[i]<k)
{
top=0,tail=0,sum=0;
if(sa[i]<len1)
{
tmp.h=height[i+1];
tmp.num=1;
sum=height[i+1]-k+1;
q[tail++]=tmp;
}
// printf("i %d sum %I64d ans %I64d\n",i,sum,ans);
continue;
}
if(sa[i]<len1)
{
tmp.num=1;
tmp.h=height[i+1];
sum+=tmp.h-k+1;
while(top<tail&&q[tail-1].h>=height[i+1])
{
sum-=(q[tail-1].h-tmp.h)*q[tail-1].num;
tmp.num+=q[tail-1].num;
tail--;
}
q[tail++]=tmp;
// printf("i %d sum %I64d ans %I64d\n",i,sum,ans);
}
else if(sa[i]>len1)
{
ans+=sum;
// puts("akkk");
if(i==n) continue;
tmp.num=0;
tmp.h=height[i+1];
while(top<tail&&q[tail-1].h>=height[i+1])
{
sum-=(q[tail-1].h-tmp.h)*q[tail-1].num;
tmp.num+=q[tail-1].num;
tail--;
}
if(tmp.num) q[tail++]=tmp;
// printf("i %d sum %I64d ans %I64d\n",i,sum,ans);
}
}
top=tail=0;
sum=0;
if(sa[1]>len1)
{
tmp.h=height[2];
tmp.num=1;
sum+=tmp.h-k+1;
q[tail++]=tmp;
// printf("i %d sum %I64d\n",1,sum);
}
for(i=2;i<=n;i++)
{
if(height[i]<k)
{
top=0,tail=0,sum=0;
if(sa[i]>len1)
{
tmp.h=height[i+1];
tmp.num=1;
sum=tmp.h-k+1;
q[tail++]=tmp;
}
// printf("i %d sum %I64d\n",i,sum);
continue;
}
if(sa[i]>len1)
{
tmp.num=1;
tmp.h=height[i+1];
sum+=height[i+1]-k+1;
while(top<tail&&q[tail-1].h>=height[i+1])
{
sum-=(q[tail-1].h-tmp.h)*q[tail-1].num;
tmp.num+=q[tail-1].num;
tail--;
}
q[tail++]=tmp;
// printf("i %d sum %I64d\n",i,sum);
}
else if(sa[i]<len1)
{
ans+=sum;
if(i==n) continue;
tmp.num=0;
tmp.h=height[i+1];
while(top<tail&&q[tail-1].h>=height[i+1])
{
sum-=(q[tail-1].h-tmp.h)*q[tail-1].num;
tmp.num+=q[tail-1].num;
tail--;
}
if(tmp.num) q[tail++]=tmp;
// printf("i %d sum %I64d\n",i,sum);
}
}
return ans;
}
char s[M],str[M];
int main()
{
int i,n,k,len1;
while(scanf("%d",&k),k)
{
scanf("%s%s",s,str);
len1=strlen(s);
s[len1]='|';
s[len1+1]=0;
strcat(s,str);
n=strlen(s);
// printf("%s\n",s);
for(i=0;i<n;i++) r[i]=s[i];
r[n]=0;
da(n+1,128);
calh(n);
// for(i=1;i<=n;i++)
// {
// printf("i %d sa %d h %d\n",i,sa[i],height[i]);
// }
printf("%I64d\n",solve(len1,n,k));
}
}
作者：Wings_of_Liberty
