poj3415 Common Substrings,后缀数组、单调栈

poj3415 后缀数组+单调栈

后缀数组真是博大精深……呃，其实也很浅，翻来覆去也就几种题目，都出烂了所以比赛都见不到了。。
但是把后缀数组模板用熟练还是很重要，万一它真出了呢。。

这题要统计串s1、s2中这样的三元组{i,j,k},(s1[i..i+1-k]等于s2[j..j+1-k],k>=K）
统计这样的三元组有多少个。
换一种说法就是对于所有的i,j，求sum{lcp(s1[i],s2[j])+1-K }。

好了。直接枚举i,j肯定是要超时的。
这样的题目就要用到统计的手段了。

对于一个j，我们想有多少个i满足条件，那些i的sum{lcp(s1[i],s2[j])+1-K }又是多少呢。
我们先把s1,s2连起来做后缀数组，记得中间加一个分隔符。
这里用到一个单调栈。
为什么是单调的：在构造出来的后缀数组sa中，两个串的lcp是随两串距离单调递减的，这样就可以用一个栈来保存一个串之前的所有串的与本串的lcp了。
再用一个前缀和的统计，就可以得到每个串和之前串的lcp之和了。
由于栈只进出一次，所以时间是O(l1+l2)。
实现这个栈的时候最好把相同lcp长度的保存在同一个单元里，这样更新的时候时间复杂度不会退化。

对s1串和s2串分别做一遍就好了。

注意，我们是对每一个串求在后缀数组前面的串的lcp的和，这样是不重不漏的。

最后记得long long。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
#define maxn 201000
#define F(x) ((x)/3+((x)%3==1?0:tb))
#define G(x) ((x)<tb?(x)*3+1:((x)-tb)*3+2)

int r[maxn*3],sa[maxn*3];//DC3中r与sa数组的大小为3×maxn!!
int rank[maxn],height[maxn];
int wa[maxn],wb[maxn],wv[maxn],wd[maxn];

int c0(int *r,int a,int b) {return r[a]==r[b]&&r[a+1]==r[b+1]&&r[a+2]==r[b+2];}
int c12(int k,int *r,int a,int b){
     if(k==2) return r[a]<r[b]||r[a]==r[b]&&c12(1,r,a+1,b+1);
     else return r[a]<r[b]||r[a]==r[b]&&wv[a+1]<wv[b+1];
}
void sort(int *r,int *a,int *b,int n,int m){
    int i;
    for(i=0;i<n;i++) wv[i]=r[a[i]];
    for(i=0;i<m;i++) wd[i]=0;
    for(i=0;i<n;i++) wd[wv[i]]++;
    for(i=1;i<m;i++) wd[i]+=wd[i-1];
    for(i=n-1;i>=0;i--) b[--wd[wv[i]]]=a[i];
}
void dc3(int *r,int *sa,int n,int m){//n=r最后一个元素下标+1,strlen(s)+1
    int i,j,*rn=r+n,*san=sa+n,ta=0,tb=(n+1)/3,tbc=0,p;
    r[n]=r[n+1]=0;
    for(i=0;i<n;i++) if(i%3!=0) wa[tbc++]=i;
    sort(r+2,wa,wb,tbc,m);
    sort(r+1,wb,wa,tbc,m);
    sort(r,wa,wb,tbc,m);
    for(p=1,rn[F(wb[0])]=0,i=1;i<tbc;i++)
        rn[F(wb[i])]=c0(r,wb[i-1],wb[i])?p-1:p++;
    if(p<tbc) dc3(rn,san,tbc,p);
    else for(i=0;i<tbc;i++) san[rn[i]]=i;
    for(i=0;i<tbc;i++) if(san[i]<tb) wb[ta++]=san[i]*3;
    if(n%3==1) wb[ta++]=n-1;
    sort(r,wb,wa,ta,m);
    for(i=0;i<tbc;i++) wv[wb[i]=G(san[i])]=i;
    for(i=0,j=0,p=0;i<ta && j<tbc;p++)
        sa[p]=c12(wb[j]%3,r,wa[i],wb[j])?wa[i++]:wb[j++];
    for(;i<ta;p++) sa[p]=wa[i++];
    for(;j<tbc;p++) sa[p]=wb[j++];
}

void calheight(int *r,int *sa,int *height,int *rank,int n){//n==r的最后一个元素(添加的最小元素)，strlen(s);
    int i,j,k;
    for (i=1;i<=n;i++)rank[sa[i]]=i;
    for (i=0,height[0]=k=0;i<n;height[rank[i++]]=k)
         for(k?k--:0,j=sa[rank[i]-1];r[i+k]==r[j+k];k++);
}

char s1[maxn],s2[maxn];
int len,l1,l2;
int h[maxn],cnt[maxn];
long long sum[maxn];

long long apple(int k,int func){
    int i,j;
    long long ret=0;
    int top=0;
    sum[0]=0;h[0]=0;cnt[0]=0;
    long long tsum;
    int tcnt=0;
    for(i=1;i<=len;++i){
        tcnt=0;
        while(top>0){
            if (h[top]<=height[i]) break;
            else {
                tcnt+=cnt[top];
                top--;
            }
        }
        if (tcnt>0&&height[i]>=k) {
            h[++top]=height[i];
            cnt[top]=tcnt;
            sum[top]=sum[top-1]+((long long)height[i]+1-k)*tcnt;
        }
        if ((sa[i]>l1)^func){
            h[++top]=maxn+10;
            cnt[top]=1;
        }
        else ret+=sum[top];

    }
    return ret;
}

int main(){
    //freopen("3415in.txt","r",stdin);
    int i,p,k;
    while(scanf("%d",&k)&&k){
        scanf("%s%s",s1,s2);
        l1=strlen(s1);l2=strlen(s2);
        p=0;
        for(i=0;i<l1;++i){
            r[p++]=s1[i]-'A'+2;
        }
        r[p++]=1;
        for(i=0;i<l2;++i){
            r[p++]=s2[i]-'A'+2;
        }
        r[p]=0;
        len=p;
        dc3(r,sa,len+1,200);
        calheight(r,sa,height,rank,len);
        long long ans=apple(k,0)+apple(k,1);
        printf("%I64d\n",ans);
    }
    return 0;
}