POJ 3415 后缀数组+单调栈

　题目大意：

给定A，B两种字符串，问他们当中的长度大于k的公共子串的个数有多少个

这道题目本身理解不难，将两个字符串合并后求出它的后缀数组

然后利用后缀数组求解答案

这里一开始看题解说要用栈的思想，觉得很麻烦就不做了，后来在比赛中又遇到就后悔了，到今天看了很久才算看懂

首先建一个栈，从栈底到栈顶都保证是单调递增的

我们用一个tot记录当前栈中所有项和一个刚进入的子串匹配所能得到的总的子串的数目（当然前提是，当前进入的子串height值比栈顶还大,那么和栈中任意一个子串匹配都保持当前栈中记录的那时候入栈的height值)

但是若height不比栈顶大，说明从栈顶开始到刚好比它小的这一段tot有多加的部分，这部分就是height值多出来的那块，然后把这部分都视作height值为当前的height值，因为后面子串进入，它的height值总是取决于那段区间的最小值，所以不会产生影响，这样就可以把所有比当前height大的都弹出栈，这样就达到了O(n)的复杂度

这里用q[][]手写栈

q[i][0]表示栈中第i号元素记录时候的height值，q[i][1]表示在这个height值上覆盖了q[i][1]个子串

 #include <cstdio>
 #include <cstring>
 #include <iostream>
 using namespace std;
 #define INF 0x3f3f3f3f
 #define ll long long
 const int MAXN = *;
 int sa[MAXN] , rank[MAXN] , height[MAXN];
 int wa[MAXN] , wb[MAXN] , wsf[MAXN] , wv[MAXN];
 int a[MAXN] , k;
 char str1[MAXN] , str2[MAXN];
 int q[MAXN][];

 int cmp(int *r , int a , int b , int l)
 {
     return r[a]==r[b] && r[a+l]==r[b+l];
 }

 void getSa(int *r , int *sa , int n , int m)
 {
     int *x = wa , *y = wb , *t;
     for(int i= ; i<m ; i++) wsf[i]=;
     for(int i= ; i<n ; i++) wsf[x[i]=r[i]]++;
     for(int i= ; i<m ; i++) wsf[i]+=wsf[i-];
     for(int i=n- ; i>= ; i--) sa[--wsf[x[i]]] = i;

     int i,j,p=;
     for(j= ; p<n ; j*= , m=p)
     {
         for(p= , i=n-j ; i<n ; i++) y[p++] = i;
         for(i= ; i<n ; i++) if(sa[i]>=j) y[p++] = sa[i]-j;

         for(i= ; i<n ; i++) wv[i]=x[y[i]];
         for(i= ; i<m ; i++) wsf[i]=;
         for(i= ; i<n ; i++) wsf[wv[i]]++;
         for(i= ; i<m ; i++) wsf[i]+=wsf[i-];
         for(i=n- ; i>= ; i--) sa[--wsf[wv[i]]] = y[i];

         for(t=x , x=y , y=t , x[sa[]]= , p= , i=; i<n ; i++)
             x[sa[i]] = cmp(y , sa[i-] , sa[i] , j)?p-:p++;
     }
     return ;
 }

 void callHeight(int *r , int *sa , int n)
 {
     for(int i= ; i<=n ; i++) rank[sa[i]]=i;
     int i , j , k=;
     for(i= ; i<n ; height[rank[i++]]=k)
         for(j=sa[rank[i]-] , k?k--: ; r[i+k]==r[j+k] ; k++) ;
     return;
 }

 ll solve(int len1 , int len2)
 {
     ll ans = ;
     //B串中的子串不断匹配rank比其高的A子串
     int top = ;
     ll tot = , cnt = ;
     for(int i= ; i<=len1+len2+ ; i++){
         if(height[i]<k){
             top = tot = ;
             continue;
         }
         cnt = ;
         if(sa[i-]<len1){
             cnt ++;
             tot += height[i]-k+;
         }
         while(top&&height[i]<=q[top][]){
             tot -= q[top][]*(q[top][]-height[i]);
             cnt += q[top][];
             top--;
         }
         q[++top][] = height[i];
         q[top][] = cnt;
         if(sa[i]>len1) ans+=tot;
     }
     //A串中的子串不断匹配rank比其高的B子串
     tot = top = ;
     for(int i= ; i<=len1+len2+ ; i++){
         if(height[i]<k){
             top = tot = ;
             continue;
         }
         cnt = ;
         if(sa[i-]>len1){
             cnt ++;
             tot += height[i]-k+;
         }
         while(top&&height[i]<=q[top][]){
             tot -= q[top][]*(q[top][]-height[i]);
             cnt += q[top][];
             top--;
         }
         q[++top][] = height[i];
         q[top][] = cnt;
         if(sa[i]<len1) ans+=tot;
     }
     return ans;
 }

 int main()
 {
    // freopen("a.in" , "r" , stdin);

     while(scanf("%d" , &k) , k)
     {
         scanf("%s%s" , str1 , str2);
         int len1 = strlen(str1) , len2 = strlen(str2);
         for(int i= ; i<len1 ; i++) a[i] = (int)str1[i];
         a[len1] = ;
         for(int i= ; i<len2 ; i++) a[i+len1+] = (int)str2[i];
         a[len1+len2+] = ;

         getSa(a , sa , len1+len2+ , );
         callHeight(a , sa , len1+len2+);

       //  for(int i=0 ; i<len1+len2+2 ; i++) cout<<"rank i: "<<i<<" "<<rank[i]<<endl;
       //  for(int i=1 ; i<len1+len2+2 ; i++) cout<<"xixi: "<<height[i]<<endl;
         ll ans = solve(len1 , len2);
         printf("%I64d\n" , ans);
     }
     return ;
 }