后缀树(数据结构)和本文中的后缀树其实不是一个东西,更规范的叫法应该是 parent 树,但是由于 的后缀树就是其反串的 parent 树,所以并没有加以区分。
前言
SAM(后缀自动机) 是一种强大的数据结构,在应用上可以完全包含 SA(后缀数组),往往比 SA 好写好调且时间复杂度更优。
本文借鉴了 后缀自动机(SAM)奶妈式教程 - 一铭君一 - 博客园 (cnblogs.com)(算法思想、实现、技巧)和 后缀自动机 - star_road_xyz - 博客园 (cnblogs.com)(状态个数、转移个数证明)。
为了表述方便,这里为本文规定一些记号:
- :字符串 的长度;
- :字符集大小;
基本定义
- SAM 是一个 DAG,它的节点被称作“状态”,边被称作“转移”;
- SAM 有一个初始状态 (代表空串),所有其它状态都能通过转移从 到达;
- 每个转移会被标记上字符集中的一个字符(类似边权),从一个状态出发的所有转移的字符互不相同;
- 存在至少一个终止状态,从 出发到终止状态的每一条路径上的所有转移依次拼接得到的字符串都是原串的后缀,也就是说原串的每个后缀都能表示成从 到终止状态的路径;
- SAM 是满足上述条件中状态数最少的 DAG;
一些记号
-
:要被建 SAM 的原串;
-
:SAM 的初始状态(空串对应状态);
-
从状态 出发的,被标记上字符 的转移;
SAM 的优势
不难发现,从 到SAM 上的每个状态路径上的字符拼接起来都是原串某个后缀的一个前缀,这意味着原串的每个子串都能表示成从 到某个状态的路径。
虽然大多数 SAM 能做的操作 SA 也能做,但是线性 SA 的 DC3 算法常数巨大,并且 SA 性质较少,应用时通常需要一些较为复杂的数据结构辅助,这些数据结构相应也会提高时间复杂度。但建立字符串 对应的 SAM 的时空复杂度仅为 ,并且 SAM 有着更好的性质。
综上,SAM 不失为一种十分优秀的字符串算法。
和 等价类
使用 等价类压缩时空就是 SAM 保持优秀时间复杂度的原因。
记 表示 在 中每次出现的结尾位置的集合(下标从 开始),例如:
S: abab
s: a b,ab ba,aba bab,abab
endpos(s): {1,3} {2,4} {3} {4}
不难发现,某些字符串的 是相同的,例如例子中的 b
和 ab
。那么不妨将所有 的归到同一个等价类中,记 。
在 SAM 中,一个状态表示的并不是具体的某个字符串,而是一个等价类。
一些记号:
- : 在 中每次出现的结尾位置的集合(下标从 开始);
- : 即 的 构成的集合;
- :状态 代表的等价类;
- :字符串 所属的等价类对应的状态;
等价类的一些性质
引理 1
考虑两个非空字符串 ,满足 。
若 ,则 是 的后缀,且 在且仅在 在 中出现时作为它的后缀出现;
若 是 的后缀,且 在且仅在 在 中出现时作为它的后缀出现,那么 ;
证明是显然的。
引理 2
考虑两个非空字符串 ,满足 。
若 是 的后缀,那么 ;
若 不是 的后缀,那么 ;
第一条是因为 每次出现 都必然会出现。
第二条是因为若 是 的子串且存在 满足 且 则 和 都一定会在 处结束, 必定是 的子串,和假设矛盾,得证。
引理 3
考虑一个 等价类 。
- 中不包含两个长度相同但本质不同的字符串;
- 对于 中任意两个字符串,短的那个一定是长的那个的真后缀,也就是说 中所有字符串都是最长的那个的后缀;
- 设 分别为 中最短和最长的字符串的长度,则 ,即 之间的每种长度的串都会出现恰好一次;
第一条可以由引理 1 推出,第二条可以由引理 2 推出,考虑第三条的证明。
不难发现只有可能是等号右边的集合的某个元素没在等号左边的集合中出现。那么设 且 。由于第二条,所以可以设长度为 的字符串为 ,则由于引理 2,有 。
此时若 ,则 的所有子串的 都会不等于 。由于第二条, 的所有 均满足 ,那么 将会等于 ,和 矛盾,得证。
一些记号:
- : 中最长的字符串;
- : 即 中最长的字符串的长度;
- : 中最短的字符串;
- : 即 中最短的字符串的长度;
后缀指针 和后缀树
设 即状态 代表的等价类, 为 最长的满足 的一个后缀, 为 即 所属等价类对应的状态(由 SAM 的定义可知这个状态一定存在), 即为 。特别的, 没有 指针。
根据引理 3,从状态 出发不断跳 到 路径上所有状态的等价类并起来就是 的所有后缀,所以 也叫后缀指针。
引理 5
对于一个状态 ,设 。
- 是 的长度为 的后缀;
- ;
第一条可以由引理 3 得出,第二条可以由引理 2 和 指针的定义得出。
需要注意的是,利用这个引理,SAM 中的每个状态便只需要记录等价类中的最长串。
引理 6
把状态看作节点,则所有有向边 构成一棵以 为根的内向树(后缀树)。
首先由于所有状态不断跳 总能跳回 (空串是所有字符串的后缀),所以“后缀图”一定连通。
然后由于只有 没有 指针,所以“后缀图”的边数恰好等于点数减 ,所以“后缀图”是一棵树。
一些记号:
- :设 即状态 代表的等价类, 为 最长的满足 的一个后缀, 为 即 所属等价类对应的状态(由 SAM 的定义可知这个状态一定存在), 即为 。特别的, 没有 指针;
小结
在开始介绍如何构造 SAM 前,我们先小结一下:
- 原串 的每一个子串可以根据 来划分为若干个等价类,每个等价类对应一个状态;
- 对于每个状态 , 中包含了 长度从 到 的所有后缀(引理 3);
- 从状态 出发不断跳 到 路径上所有状态的等价类并起来就是 的所有后缀(引理 3 推出);
- 设 即状态 代表的等价类, 为 最长的满足 的一个后缀, 为 即 所属等价类对应的状态(由 SAM 的定义可知这个状态一定存在),则 即为 。特别的, 没有 指针。所有 指针构成一棵以 为根的内向树,称之为后缀树(引理 6);
SAM 的构造
构造 SAM 的算法是一个动态的算法。一开始 SAM 中只存在一个代表空串的状态 ,没有任何转移。通过依次插入原串 中的每一个字符来动态维护 SAM。
这里将给出算法流程、解释、时空复杂度分析和 C++ 代码。
算法流程
一开始 SAM 中只存在一个编号为 的状态 。为了方便,我们钦定 ,。
现在任务是给 SAM 维护的字符串的末尾新加入一个字符 ,流程如下:
- 设上一次加入字符后整个整个字符串 对应的状态为 ,即 ;
- 创建一个新的状态 ,并且令 ;
- 从 开始不断跳 ,如果当前状态 没有标记 的转移,那么令 ;
- 如果跳到了 并且 也没有标记 的转移,那么令 ,(指向状态 ),转到 8;
- 否则停止跳 ,并设当前跳到的状态为 , 为 ;
- 若 ,令 ;
- 否则:
- 复制 到一个新的状态 (只复制 以及 );
- 令 ;
- 从 开始不断跳 ,设当前跳到的状态为 ,则:
- 若 或 ,停止跳 ;
- 否则令 ;
- 令 ,转到 8;
- 令 ,插入操作完成;
算法解释
为了表述方便,设 为插入 之前的 , 为插入 之后的 即 。
-
为之后的操作做准备;
-
插入字符 后, 一定会成为一个新的等价类,所以需要分配新的状态 来代表它。而 一定是 , 中最长的字符串显然就是 ,所以令 ;
-
考虑新建转移到 ,不断枚举 的后缀,如果还没有标记为 的转移就可以新建标记为 的转移到 ;
-
跳到 还没结束代表字符 是第一次出现,因为 没有到 的转移表明 不存在 这个子串,那么 自然要指向状态 ,因为 不存在非空真后缀;
-
为之后的操作做准备,注意此时所有到 的转移已处理完成,接下来的所有步骤都是在处理 ;
-
若 中最长的那个就是 即 的某个后缀加上字符 ,那么 就一定是 最长的真后缀,所以可以让 指向 ;
-
否则一定有 。发现所有 中的字符串一定是 的某个后缀加上字符 ,而 中的一定不是。那么 中的字符串的 集合一定会加入元素 , 中的则一定不会,所以 和 不再属于同一个等价类。
此时就需要分裂 代表的等价类。具体的,创建一个新的状态 ,把 的所有“出边”都复制过去。
接下来的工作就是让 表示 ,原来的 表示 。
首先 中最长的字符串的长度显然是 ,那么令 ,而 中最长的字符串没有改变,所以无需对 进行任何操作。
接下来不难发现 一定是 的最长的真后缀,所以令 指向 。
然后遍历 所有的后缀的状态 。因为 ,所以若 有标记 的转移到 ,那么转移得到的字符串一定属于 ,所以让 ;否则 一定包含且不等于 ,那么 的后缀的 集合更不可能满足要求,所以可以停止跳 。
最后由于 一定是 的最长真后缀,所以令 指向 ;
-
更新 ,为之后的插入做准备;
复杂度分析
记 。
-
状态数和转移数
不难发现,除第一次之外每次插入最多会新建两个状态,所以状态数上限为 。
而转移会分为两种:
-
:由于构成内向树,所以上限为 ;
-
:
考虑先随便拎出一棵以 为根的外向生成树,下面来证明非树边数量 。
对于一条非树边 (设 ),设 为生成树上 到 的链构成的字符串, 为 往后不停走字典序最小的边直到不能走的路径构成的字符串。
考察字符串 ,很显然它是 的一个后缀,否则就还能继续走下去。那么这是一个非树边到 的后缀的映射。
而不难发现 是 对应的路径上第一条非树边,所以这个映射是双向的,即一一对应。
故非树边条数 ;
那么转移数的上限为 ,实际上很难卡满。
-
-
空间复杂度
由于状态数上限为 ,转移数上限为 ,所以空间复杂度为 。
特别的,若字符集较小,那么往往采用数组存储 ,此时空间复杂度为 。
若字符集较大,往往采用可持久化线段树来存储 ,此时空间复杂度为 。
-
时间复杂度
较难证明的部分是两个跳 的步骤。不难发现,步骤 3 跳的总次数和转移数相当,所以是 的。
而步骤 7.3 就有点复杂了,注意到有一个引理:
引理
对于一个状态 ,设 即其所有入边。
那么 , 相同, 在后缀树上形成一条链( 中的字符串互为后缀)。
且 。
这是显然的,因为一个状态中的字符串一定互为后缀,并且 SAM 包含了原串的所有子串。
注意到 的所有入边只会在 7.3 中产生,并且每跳一次 都会使得:
- 减少;
- 减少;
- 减少;
并且由于 ,并且 会成为新的 ,所以 7.3 中每跳一次 都会使得 减少。
考虑一次插入操作最多使 增加多少:
-
若执行了步骤 6,即 变为 ,则 最深也是 。
根据引理, 的入边 一定满足 在 的 链上,并且 为 的祖先,则 ,那么 ;
-
若执行了步骤 7,由于 ,,所以重复步骤 6 的证明,;
综上,每次插入操作 最多加 ,而每次执行 7.3 都会让其减少至少 ,那么 7.3 的总执行次数是 的。
所以构建 SAM 的时间复杂度为 (其中 是访问和修改 的时间复杂度,若使用数则为 ,使用可持久化线段树为 )。
代码
const int S=1000005,V=26; // 字符串最大长度,字符集大小
struct SAM
{
int tot,lst;
int len[S*2],to[S*2][V],link[S*2]; // 记得开两倍
inline void init() // 初始化
{
for(int i=0;i<=tot;i++)
{
len[i]=link[i]=0;
memset(to[i],0,sizeof(to[i]));
}
tot=lst=0;
link[0]=-1; // 记得让 link(rt)=-1
}
inline void ins(int c) // 在末尾插入一个字符
{
// 新建状态(第 1、2 步)
int pre=++tot;
len[pre]=len[lst]+1;
// 处理到 pre 的转移(第 3 步)
int p=lst;
while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0; // 第 4 步
else
{
int q=to[p][c]; // 第 5 步
if(len[q]==len[p]+1) link[pre]=q; // 无需分裂(第 6 步)
else // 分裂状态 q(第 7 步)
{
// 复制 q 到新状态 cpy,令 link(pre)=cpy(7.1、7.2)
int cpy=++tot;
len[cpy]=len[p]+1;
memcpy(to[cpy],to[q],sizeof(to[q]));
link[cpy]=link[q];
link[pre]=cpy;
// 处理到 cpy 的转移(7.3)
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy; // 令 link(q)=cpy(7.4)
}
}
lst=pre; // 第 8 步
}
};
一些额外信息的求解
值得注意的是,这些信息的求解的时间复杂度均为 。
-
结束标记
只需要在构建完 SAM 后,从 出发不断跳 ,把经过的状态全都打上标记即可。
-
建立后缀树
只需要在构建完 SAM 后,对于所有 的 ,在 的儿子列表中加入 即可。
-
两个子串的最长公共后缀
找到这两个子串所属的状态 ,它们的最长公共后缀所属的状态 即为 在后缀树上的 。
-
(每个节点对应的等价类中的字符串个数)
由于引理 3, 即为 。
-
(每个节点对应的等价类中的字符串出现的次数)
构建 SAM 时让 ,注意到这样标记的实际上是 的每个前缀,一个子串的出现次数等于它是多少个前缀的后缀,所以构建完成后只需要在后缀树上求一次子树 和即可。
注意复制节点的时候无需复制 ,因为一个等价类中最长的那个字符串才有可能是 的前缀,而这个最长的字符串一定在分裂之后的 中。
代码
const int S=1000005,V=26; struct SAM { int tot,lst; int len[S*2],to[S*2][V],link[S*2]; vector<int> son[S*2]; // 后缀树中每个状态的儿子 int siz[S*2]; // 每个状态代表的等价类中每个字符串出现了几次 inline void init() // 初始化 { for(int i=0;i<=tot;i++) { len[i]=link[i]=siz[i]=0; memset(to[i],0,sizeof(to[i])); son[i].clear(); } tot=lst=0; link[0]=-1; } inline void ins(int c) // 在末尾插入一个字符 { int pre=++tot; len[pre]=len[lst]+1; siz[pre]=1; // 标记 int p=lst; while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p]; if(p==-1) link[pre]=0; else { int q=to[p][c]; if(len[q]==len[p]+1) link[pre]=q; else { int cpy=++tot; len[cpy]=len[p]+1; memcpy(to[cpy],to[q],sizeof(to[q])); link[cpy]=link[q]; link[pre]=cpy; while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p]; link[q]=cpy; } } lst=pre; } inline void build() // 建后缀树 { for(int i=1;i<=tot;i++) son[link[i]].push_back(i); } void getsiz(int u=0) // dfs 求子树和 { for(int v:son[u]) { getsiz(v); siz[u]+=siz[v]; } } };
-
(每个节点对应的等价类中的字符串的最早出现的右端点)
和 一样,构建时每个前缀的 就是这个前缀的长度,构建完后在后缀树上求子树 即可。
经典例题
P3804 【模板】后缀自动机 (SAM)
注意到状态 下的所有字符串出现次数均为 ,显然选最长的最优,那么求出 后对所有 的 的 取 即可。
代码
#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
using namespace std;
const int S=1000005,V=26;
struct SAM
{
int tot,lst;
int len[S*2],to[S*2][V],link[S*2];
vector<int> son[S*2];
int siz[S*2];
inline void init()
{
for(int i=0;i<=tot;i++)
{
len[i]=link[i]=siz[i]=0;
memset(to[i],0,sizeof(to[i]));
son[i].clear();
}
tot=lst=0;
link[0]=-1;
}
inline void ins(int c)
{
int pre=++tot;
len[pre]=len[lst]+1;
siz[pre]=1;
int p=lst;
while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0;
else
{
int q=to[p][c];
if(len[q]==len[p]+1) link[pre]=q;
else
{
int cpy=++tot;
len[cpy]=len[p]+1;
memcpy(to[cpy],to[q],sizeof(to[q]));
link[cpy]=link[q];
link[pre]=cpy;
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy;
}
}
lst=pre;
}
inline void build()
{
for(int i=1;i<=tot;i++) son[link[i]].push_back(i);
}
void getsiz(int u=0)
{
for(int v:son[u])
{
getsiz(v);
siz[u]+=siz[v];
}
}
};
int n;
char a[S];
SAM sam;
int main()
{
scanf("%s",a+1);
n=strlen(a+1);
sam.init();
for(int i=1;i<=n;i++) sam.ins(a[i]-'a');
sam.build();
sam.getsiz();
long long ans=0;
for(int i=0;i<=sam.tot;i++) if(sam.siz[i]>1) ans=max(ans,1ll*sam.len[i]*sam.siz[i]);
printf("%lld\n",ans);
return 0;
}
P4070 [SDOI2016]生成魔咒
考虑新加入的字符会产生多少个新的非空子串,设加入新字符之前的长度为 ,那么只有 中的字符串是新的非空子串。
考虑哪个状态代表的等价类是 ,显然只有新加入的状态 是。 中的字符串个数很好求,即为 。
那么每次让答案累加上 即可。
代码
#include <iostream>
#include <cstdio>
#include <map>
using namespace std;
const int S=100005;
struct SAM
{
int tot,len[S*2],link[S*2];
map<int,int> to[S*2];
int lst;
inline void init()
{
for(int i=0;i<=tot;i++) len[i]=link[i]=0,to[i].clear();
link[0]=-1;
}
inline void ins(int c)
{
int pre=++tot;
len[pre]=len[lst]+1;
int p=lst;
while(p!=-1&&to[p].find(c)==to[p].end()) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0;
else
{
int q=to[p][c];
if(len[q]==len[p]+1) link[pre]=q;
else
{
int cpy=++tot;
len[cpy]=len[p]+1;
to[cpy]=to[q],link[cpy]=link[q];
link[pre]=cpy;
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy;
}
}
lst=pre;
}
};
SAM sam;
int main()
{
int n;
scanf("%d",&n);
sam.init();
long long ans=0;
for(int i=1;i<=n;i++)
{
int x;
scanf("%d",&x);
sam.ins(x);
ans+=sam.len[sam.lst]-sam.len[sam.link[sam.lst]];
printf("%lld\n",ans);
}
}
P3975 [TJOI2015]弦论
双倍经验:SP7258 SUBLEX - Lexicographical Substring Search
原串 的每个子串都能表示为从 到某个状态的路径,那么在 SAM 的反 DAG 上跑一边 bfs,求出每个状态出发有多少个子串,然后逐位确定即可。
如果 每个状态的权值就是 ,否则就是 。
代码
#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
#include <queue>
using namespace std;
const int S=500005,V=26;
struct SAM
{
int tot;
int len[S*2],to[S*2][V],link[S*2];
vector<int> son[S*2];
int siz[S*2];
int lst;
inline void init()
{
for(int i=0;i<=tot;i++)
{
len[i]=link[i]=siz[i]=0;
memset(to[i],0,sizeof(to[i]));
son[i].clear();
}
tot=lst=0;
link[0]=-1;
}
inline void ins(int c)
{
int pre=++tot;
len[pre]=len[lst]+1;
siz[pre]=1;
int p=lst;
while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0;
else
{
int q=to[p][c];
if(len[q]==len[p]+1) link[pre]=q;
else
{
int cpy=++tot;
len[cpy]=len[p]+1;
memcpy(to[cpy],to[q],sizeof(to[q]));
link[cpy]=link[q];
link[pre]=cpy;
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy;
}
}
lst=pre;
}
inline void build()
{
for(int i=1;i<=tot;i++) son[link[i]].push_back(i);
}
void getsiz(int u=0)
{
for(int v:son[u])
{
getsiz(v);
siz[u]+=siz[v];
}
}
};
int n,t;
long long k;
char a[S];
SAM sam;
vector<int> to[S*2];
int ind[S*2];
long long cnt[S*2];
int main()
{
scanf("%s",a+1);
n=strlen(a+1);
scanf("%d%lld",&t,&k);
sam.init();
for(int i=1;i<=n;i++) sam.ins(a[i]-'a');
sam.build();
sam.getsiz();
for(int i=0;i<=sam.tot;i++)
{
for(int j=0;j<V;j++)
{
int v=sam.to[i][j];
if(v!=0) to[v].push_back(i),ind[i]++;
}
}
queue<int> q;
for(int i=0;i<=sam.tot;i++)
{
cnt[i]=t?sam.siz[i]:1;
if(ind[i]==0) q.push(i);
}
cnt[0]=0;
while(!q.empty())
{
int u=q.front();
q.pop();
for(int v:to[u])
{
cnt[v]+=cnt[u];
if(--ind[v]==0) q.push(v);
}
}
if(k>cnt[0]) return puts("-1"),0;
int u=0;
while(k>0)
{
for(int i=0;i<V;i++)
{
int v=sam.to[u][i];
if(v==0) continue;
if(cnt[v]<k) k-=cnt[v];
else
{
k-=t?sam.siz[v]:1;
printf("%c",'a'+i);
u=v;
break;
}
}
}
printf("\n");
return 0;
}
P4248 [AHOI2013]差异
建反串的 SAM,在后缀树上 dp 即可。
SP1811 LCS - Longest Common Substring
对于这种多个字符串的问题,通常是要用广义 SAM 来做,但是这里介绍一种“伪广义 SAM”。
考虑把输入的两个字符串 和 在中间加入一个分隔符 #
后拼接起来加入 SAM,即 这样。加入的过程中若当前字符属于 则给加入后 对应的状态打上 标记,否则打上 标记,最后在后缀树上让每个点的标记都贡献到它的祖先上。
这样一来所有同时被打上 和 标记的状态中的字符串都是 和 的公共子串,那么统计这些状态的 的最大值即可。
SP1812 LCS2 - Longest Common Substring II 这题也类似,不过要注意分隔符要两两不同,要不然带分隔符的子串可能也会被打上标记。
代码
#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
using namespace std;
const int S=500005,V=27;
struct SAM
{
int tot;
int len[S*2],to[S*2][V],link[S*2];
vector<int> son[S*2];
bool app[2][S*2];
int lst;
inline void init()
{
for(int i=0;i<=tot;i++)
{
len[i]=link[i]=0;
memset(to[i],0,sizeof(to[i]));
app[0][i]=app[1][i]=false;
son[i].clear();
}
tot=lst=0;
link[0]=-1;
}
inline void ins(int c,int tpe)
{
int pre=++tot;
len[pre]=len[lst]+1;
app[tpe][pre]=true;
int p=lst;
while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0;
else
{
int q=to[p][c];
if(len[q]==len[p]+1) link[pre]=q;
else
{
int cpy=++tot;
len[cpy]=len[p]+1;
memcpy(to[cpy],to[q],sizeof(to[q]));
link[cpy]=link[q];
link[pre]=cpy;
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy;
}
}
lst=pre;
}
inline void build()
{
for(int i=1;i<=tot;i++) son[link[i]].push_back(i);
}
inline void calctag(int u=0)
{
for(int v:son[u])
{
calctag(v);
for(int i=0;i<=1;i++) app[i][u]|=app[i][v];
}
}
};
int n,m;
char a[S],b[S];
SAM sam;
int main()
{
scanf("%s%s",a+1,b+1);
n=strlen(a+1),m=strlen(b+1);
sam.init();
for(int i=1;i<=n;i++) sam.ins(a[i]-'a',0);
sam.ins(26,1);
for(int i=1;i<=m;i++) sam.ins(b[i]-'a',1);
sam.build();
sam.calctag();
int ans=0;
for(int i=0;i<=sam.tot;i++) if(sam.app[0][i]&&sam.app[1][i]) ans=max(ans,sam.len[i]);
printf("%d\n",ans);
return 0;
}
P3649 [APIO2014] 回文串
有两种做法。
-
Manacher + SAM
前置知识:Manacher。
由于 的本质不同回文子串个数上限是 ,所以可以建出 SAM 之后跑 Manacher 找到每个本质不同回文子串 ,再从 这个前缀对应的状态开始倍增跳 找到 对应的等价类并统计答案。
时间复杂度 。
-
SAM
建 SAM 时维护每个状态中的字符串的最后出现位置 ,建完 SAM 后在 SAM 上跑反串 和 的所有子串的匹配。假设跑到 时匹配到了状态 ,匹配长度为 。那么若 :
此时绿色部分 一定是回文串,并且它的出现次数一定是 即状态 中的每个字符串出现的次数。
只统计 是不够全面的,还需要不断跳 的 直到 或 ,因为这些状态中的字符串 也是回文串。
注意到 一样的 只有 最小的才会有贡献,所以可以用倍增跳 。
不难发现一个子串只会被统计一次,所以时间复杂度即为 。
另外似乎还有一种做法即跳 时给跳过的状态打上标记,下一次不跳。这种做法时间复杂度是 的,但是正确性不是很显然。
虽然第二种做法很难写,但是可以增加对 SAM 的理解。所以我写了第二种做法,然后 BZOJ 过了洛谷一直 MLE……
代码(第二种做法)
#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
#include <map>
using namespace std;
const int S=300001,V=26,BS=20;
struct SAM
{
int tot;
int len[S*2],link[S*2];
map<char,int> to[S*2];
vector<int> son[S*2];
int siz[S*2],mx[S*2];
vector<int> fa[S*2];
int lst;
inline void init()
{
for(int i=0;i<=tot;i++)
{
len[i]=link[i]=siz[i]=mx[i]=0;
to[i].clear();
son[i].clear();
fa[i].clear();
}
link[0]=-1;
tot=lst=0;
}
inline void ins(int c,int pp)
{
int pre=++tot;
len[pre]=len[lst]+1;
siz[pre]=1,mx[pre]=pp;
int p=lst;
while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0;
else
{
int q=to[p][c];
if(len[q]==len[p]+1) link[pre]=q;
else
{
int cpy=++tot;
len[cpy]=len[p]+1;
to[cpy]=to[q];
link[cpy]=link[q];
link[pre]=cpy;
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy;
}
}
lst=pre;
}
inline void build()
{
for(int i=1;i<=tot;i++) son[link[i]].push_back(i);
}
void dfs(int u=0)
{
if(u!=0)
{
fa[u].push_back(link[u]);
for(int i=1;i<=BS;i++)
{
if(fa[u][i-1]==-1) break;
else
{
int fat=fa[u][i-1];
if(fa[fat].size()<=i-1) break;
else fa[u][i]=fa[fat][i-1];
}
}
}
for(int v:son[u])
{
dfs(v);
siz[u]+=siz[v],mx[u]=max(mx[u],mx[v]);
}
vector<int>().swap(son[u]); // 释放 vector 空间
}
};
int n;
char a[S];
SAM sam;
int main()
{
scanf("%s",a);
n=strlen(a);
sam.init();
for(int i=0;i<n;i++) sam.ins(a[i]-'a',i);
sam.build();
sam.dfs();
int u=0,len=0;
long long ans=0;
for(int i=n-1;i>=0;i--)
{
while(u!=-1&&sam.to[u][a[i]-'a']==0)
{
u=sam.link[u];
if(u!=-1) len=sam.len[u];
}
if(u==-1) u=0,len=0;
else u=sam.to[u][a[i]-'a'],len++;
int r=i+len-1,v=u;
while(sam.mx[v]<=r&&sam.len[v]>=sam.mx[v]-i+1)
{
for(int j=BS;j>=0;j--)
{
if(sam.fa[v].size()>j&&sam.mx[sam.fa[v][j]]==sam.mx[v]&&sam.len[sam.fa[v][j]]>=sam.mx[v]-i+1) v=sam.fa[v][j];
}
if(sam.mx[v]>=i) ans=max(ans,1ll*(sam.mx[v]-i+1)*sam.siz[v]);
if(sam.fa[v].size()>0) v=sam.fa[v][0];
else break;
}
}
printf("%lld\n",ans);
return 0;
}
P5685 [JSOI2013]快乐的 JYY
双倍经验:P5555 秩序魔咒
和上一题差不多,建完“伪广义” SAM 之后跑 manacher+哈希求出 的所有本质不同的回文子串 ,然后找到 即前缀 对应的 SAM 上的状态,倍增找到 所在的状态,然后统计答案即可。
代码
#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <set>
using namespace std;
const int S=100005,V=27,BS=25,bse=31,p1=998244353,p2=1000000007;
struct SAM
{
int tot;
int len[S*4],to[S*4][V],link[S*4];
vector<int> suf,son[S*4];
int siz[2][S*4];
int fa[S*4][BS+1];
int lst;
inline void init()
{
for(int i=0;i<=tot;i++)
{
len[i]=link[i]=siz[0][i]=siz[1][i]=0;
memset(to[i],0,sizeof(to[i]));
vector<int>().swap(son[i]);
}
vector<int>().swap(suf);
tot=lst=0;
link[0]=-1;
suf.push_back(0);
}
inline void ins(int c,int tpe)
{
int pre=++tot;
len[pre]=len[lst]+1;
suf.push_back(pre);
siz[tpe][pre]=1;
int p=lst;
while(p!=-1&&to[p][c]==0) to[p][c]=pre,p=link[p];
if(p==-1) link[pre]=0;
else
{
int q=to[p][c];
if(len[q]==len[p]+1) link[pre]=q;
else
{
int cpy=++tot;
len[cpy]=len[p]+1;
memcpy(to[cpy],to[q],sizeof(to[q]));
link[cpy]=link[q];
link[pre]=cpy;
while(p!=-1&&to[p][c]==q) to[p][c]=cpy,p=link[p];
link[q]=cpy;
}
}
lst=pre;
}
inline void build()
{
for(int i=1;i<=tot;i++) son[link[i]].push_back(i);
}
void calctag(int u=0)
{
fa[u][0]=link[u];
for(int i=1;i<=BS;i++)
{
int tp=fa[u][i-1];
if(tp==-1) fa[u][i]=-1;
else fa[u][i]=fa[tp][i-1];
}
for(int v:son[u])
{
calctag(v);
for(int j=0;j<=1;j++) siz[j][u]+=siz[j][v];
}
}
};
int n,m;
char a[S],b[S];
SAM sam;
char str[S*2];
int ext[S*2];
int pw1[S],pw2[S];
int s1[S],s2[S];
set<pair<int,int>> st;
inline pair<int,int> calchash(int l,int r)
{
return make_pair(
(s1[r]-1ll*s1[l-1]*pw1[r-l+1]%p1+p1)%p1,
(s2[r]-1ll*s2[l-1]*pw2[r-l+1]%p2+p2)%p2);
}
int main()
{
scanf("%s%s",a+1,b+1);
sam.init();
n=strlen(a+1),m=strlen(b+1);
for(int i=1;i<=n;i++) sam.ins(a[i]-'A',0);
sam.ins(26,1);
for(int i=1;i<=m;i++) sam.ins(b[i]-'A',1);
sam.build();
sam.calctag();
pw1[0]=1,pw2[0]=1;
for(int i=1;i<=n;i++)
{
pw1[i]=1ll*pw1[i-1]*bse%p1;
pw2[i]=1ll*pw2[i-1]*bse%p2;
s1[i]=(1ll*s1[i-1]*bse%p1+a[i]-'A'+1)%p1;
s2[i]=(1ll*s2[i-1]*bse%p2+a[i]-'A'+1)%p2;
}
for(int i=1;i<=n;i++) str[i*2]=a[i];
n=n*2+1;
for(int i=1;i<=n;i+=2) str[i]='#';
str[0]='@',str[n+1]='$';
long long ans=0;
for(int i=1,pos=0;i<=n;i++)
{
if(pos+ext[pos]>i) ext[i]=min(pos+ext[pos]-i,ext[pos-(i-pos)]);
while(str[i-ext[i]]==str[i+ext[i]])
{
ext[i]++;
if(str[i-ext[i]+1]=='#'&&ext[i]>1)
{
int len=ext[i]-1;
int rb=i/2+len/2;
pair<int,int> pir=calchash(rb-len+1,rb);
if(st.count(pir)==0)
{
st.insert(pir);
int u=sam.suf[rb];
if(sam.len[sam.link[u]]+1>len)
{
for(int j=BS;j>=0;j--)
{
int to=sam.fa[u][j];
if(to!=-1&&sam.link[to]!=-1&&sam.len[sam.link[to]]+1>len) u=to;
}
u=sam.fa[u][0];
}
ans+=1ll*sam.siz[0][u]*sam.siz[1][u];
// for(int j=rb-len+1;j<=rb;j++) printf("%c",a[j]);
// printf(" : %d * %d\n",sam.siz[0][u],sam.siz[1][u]);
}
}
}
if(i+ext[i]>pos+ext[pos]) pos=i;
}
printf("%lld\n",ans);
return 0;
}