HDU 5343 MZL's Circle Zhou 后缀自动机+DP

MZL's Circle Zhou

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 131072/131072 K (Java/Others)

Problem Description

 

MZL's Circle Zhou is good at solving some counting problems. One day, he comes up with a counting problem:
You are given two strings a,b which consist of only lowercase English letters. You can subtract a substring x (maybe empty) from string a and a substring y (also maybe empty) from string b, and then connect them as x+y with x at the front and y at the back. In this way, a series of new strings can be obtained.
The question is how many different new strings can be obtained in this way.
Two strings are different, if and only if they have different lengths or there exists an integer i such that the two strings have different characters at position i.

 

Input

The first line of the input is a single integer T (T≤5), indicating the number of testcases. 
For each test case, there are two lines, the first line is string a, and the second line is string b. 1<=|a|,|b|<=90000.

 

Output

For each test case, output one line, a single integer indicating the answer.

 

Sample Input

2

acbcc

cccabc

bbbabbababbababbaaaabbbbabbaaaabaabbabbabbbaaabaab

abbaabbabbaaaabbbaababbabbabababaaaaabbaabbaabbaab

 

 

Sample Output

135

557539

 

题意：

　　给你 两个字符串 A,B，你可以从A串中选一个子串或空， 从B串种选一个子串或空，组成一个新串

　　问你能组成多少不同的新串

题解：

　　麻烦的是如何去重

　　考虑一个string ， 我们只对分割点在最后位置的方案进行计数，这样即可避免重复计算

　　首先分别对A,B进行建立后缀自动机

　　预处理出对于B， 以字符X开始的不同的子串个数

　　利用A进行计数，当当前A后缀自动机状态 st  nex[st][X] = NULL 时，我们将B串所有以X开始的子串加入st状态后面，更新answer

#include <iostream>
#include <cstdio>
#include <string>
#include <cstring>
inline long long read(){long long x=,f=;char ch=getchar();while(ch<''||ch>''){if(ch=='-')f=-;ch=getchar();}while(ch>=''&&ch<=''){x=x*+ch-'';ch=getchar();}return x*f;}
using namespace std;

const long long INF = 1e14;
const int N = 5e5+;
const long long mod = ;

struct SAM{
    int isPlus[N * ],endpos[N * ];int d[N * ];
    int cnt[N * ];int pos[N];
    int tot,slink[*N],trans[*N][],minlen[*N],maxlen[*N],pre;
    int newstate(int _maxlen,int _minlen,int* _trans,int _slink){
        maxlen[++tot]=_maxlen;minlen[tot]=_minlen;
        slink[tot]=_slink;
        if(_trans)for(int i=;i<;i++)trans[tot][i]=_trans[i];
        return tot;
    }
    int add_char(char ch,int u){
        int c=ch-'a',v=u;
        int z=newstate(maxlen[u]+,-,NULL,);
        isPlus[z] = ;
        while(v&&!trans[v][c]){trans[v][c]=z;d[z]+=;v=slink[v];}
        if(!v){ minlen[z]=;slink[z]=;return z;}
        int x=trans[v][c];
        if(maxlen[v]+==maxlen[x]){slink[z]=x;minlen[z]=maxlen[x]+;return z;}
        int y=newstate(maxlen[v]+,-,trans[x],slink[x]);
        slink[z]=slink[x]=y;minlen[x]=minlen[z]=maxlen[y]+;
        while(v&&trans[v][c]==x){trans[v][c]=y;d[x]--,d[y]++;v=slink[v];}
        minlen[y]=maxlen[slink[y]]+;
        return z;
    }
    void init_sam() {
        for(int i = ; i <= tot; ++i)
            for(int j = ; j < ; ++j) trans[i][j] = ;
        pre = tot = ;
    }
}A,B;

unsigned long long f[N],dp[N];
char a[N],b[N];
int main() {
    int T,cas = ;
    scanf("%d",&T);
    while(T--) {
        scanf("%s%s",a,b);
        int n = strlen(a);
        int m = strlen(b);
        A.init_sam();
        B.init_sam();
        for(int i = ; i < n; ++i) A.pre = A.add_char(a[i],A.pre);
        for(int i = ; i < m; ++i) B.pre = B.add_char(b[i],B.pre);

        for(int i = ; i <= m; ++i) B.cnt[i] = ;
        for(int i = ; i <= B.tot; ++i) B.cnt[B.maxlen[i]] += ;
        for(int i = ; i <= m; ++i) B.cnt[i] += B.cnt[i-];
        for(int i = B.tot; i >= ; --i) B.pos[B.cnt[B.maxlen[i]]--] = i;

        for(int i = ; i <= n; ++i) A.cnt[i] = ;
        for(int i = ; i <= A.tot; ++i) A.cnt[A.maxlen[i]] += ;
        for(int i = ; i <= n; ++i) A.cnt[i] += A.cnt[i-];
        for(int i = A.tot; i >= ; --i) A.pos[A.cnt[A.maxlen[i]]--] = i;
        memset(f,,sizeof(f));
        memset(dp,,sizeof(dp));
        for(int i = B.tot; i >= ; --i) {
            int v = B.pos[i];
            f[v] = ;
            for(int j = ; j < ; ++j) {
                if(B.trans[v][j])f[v] += f[B.trans[v][j]];
            }
        }
        for(int i = ; i < ; ++i)
            dp[i] = f[B.trans[][i]];
        unsigned long long ans = ;
        for(int i = A.tot; i >= ; --i) {
            int v = A.pos[i];
            for(int j = ; j < ; ++j) {
                if(A.trans[v][j] == ) {
                    ans += dp[j]*(A.maxlen[v] - A.minlen[v] + );
                }
            }
        }
        for(int i = A.tot; i >= ; --i) ans += (A.maxlen[i] - A.minlen[i] + );
        cout<<ans+<<endl;
    }
    return ;
}