bzoj3238 [ AHOI2013 ] --后缀自动机

最新推荐文章于 2018-10-26 23:41:57 发布

原创最新推荐文章于 2018-10-26 23:41:57 发布 · 252 阅读

0 ·

CC 4.0 BY-SA版权

后缀自动机专栏收录该内容

5 篇文章

订阅专栏

本文介绍一种利用后缀自动机求解两个字符串最长公共前缀(LCP)的方法，并通过树形动态规划来统计所有可能的LCP长度。首先反转输入字符串并建立后缀自动机，接着使用树形DP求出每一对节点作为最近公共祖先(LCA)的情况数目。

显然只需求LCP(i,j)就可以了。

将s反转，然后插入后缀自动机。由于后缀自动机的link指针构成了一棵后缀树，而字符串又反转过，所以两个结点的LCP就是LCA。

树形DP，求出以每个结点为LCA的个数就可以了。

代码：

 1 #include<iostream>
 2 #include<cstdio>
 3 #include<cstring>
 4 using namespace std;
 5 #define N 500001
 6 #define ll long long
 7 ll f[N<<2],k,Ans;
 8 int i,j,n,m,Link[N<<2],Len[N<<2],Last,Cur,Num,Next[N<<2][26],Sum[N<<2],g[N<<2],b[N],r[N<<2],x;
 9 char s[N];
10 inline void Insert(int x){
11   Cur=++Num;Len[Cur]=Len[Last]+1;f[Cur]=g[Cur]=1;
12   int p;
13   for(p=Last;p&&!Next[p][x];p=Link[p])Next[p][x]=Cur;
14   if(!p)Link[Cur]=1;else{
15     int q=Next[p][x];
16     if(Len[p]+1==Len[q])Link[Cur]=q;else{
17       int C=++Num;Len[C]=Len[p]+1;
18       Link[C]=Link[q];memcpy(Next[C],Next[q],sizeof(Next[q]));
19       for(;p&&Next[p][x]==q;p=Link[p])Next[p][x]=C;
20       Link[q]=Link[Cur]=C;
21     }
22   }Last=Cur;
23 }
24 int main()
25 {
26   scanf("%s",&s);
27   n=strlen(s);Last=Num=1;
28   for(i=n-1;i>=0;i--)Insert(s[i]-'a');
29   for(i=1;i<=Num;i++)b[Len[i]]++;
30   for(i=1;i<=n;i++)b[i]+=b[i-1];
31   for(i=1;i<=Num;i++)r[b[Len[i]]--]=i;
32   for(i=Num;i;i--)f[Link[r[i]]]+=f[r[i]];
33   for(i=1;i<=Num;i++){
34     x=r[i];
35     Ans+=1ll*g[Link[x]]*f[x]*Len[Link[x]];
36     g[Link[x]]+=f[x];
37   }
38   printf("%lld",(1ll*n*(n-1)*(n+1)>>1)-(Ans<<1));
39   return 0;
40 }

bzoj3238