![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
1 #include <iostream> 2 #include <cstdio> 3 #include <cstring> 4 #include <cmath> 5 #include <algorithm> 6 #define maxn 500005 7 #define maxl 250005 8 using namespace std; 9 10 int n,m,ans,last,len,tot,root,son[maxn][26],fa[maxn],dist[maxn]; 11 char s1[maxl],s2[maxl]; 12 struct Tsegment{ 13 void prepare(){last=tot=root=1;} 14 int newnode(int x){dist[++tot]=x;return tot;} 15 void add(int x){ 16 int p=last,np=newnode(dist[p]+1); last=np; 17 for (;p&&!son[p][x];p=fa[p]) son[p][x]=np; 18 if (p==0) fa[np]=root; 19 else{ 20 int q=son[p][x]; 21 if (dist[p]+1==dist[q]) fa[np]=q; 22 else{ 23 int nq=newnode(dist[p]+1); 24 memcpy(son[nq],son[q],sizeof(son[q])); 25 fa[nq]=fa[q],fa[q]=fa[np]=nq; 26 for (;p&&son[p][x]==q;p=fa[p]) son[p][x]=nq; 27 } 28 } 29 } 30 }SAM; 31 int main(){ 32 scanf("%s",s1+1),n=strlen(s1+1); 33 scanf("%s",s2+1),m=strlen(s2+1); 34 SAM.prepare(); 35 for (int i=1;i<=n;i++) SAM.add(s1[i]-'a'); 36 ans=0,len=0,last=root; 37 for (int i=1;i<=m;i++){ 38 int x=s2[i]-'a'; 39 if (son[last][x]) len++,last=son[last][x]; 40 else{ 41 for (;last&&!son[last][x];) last=fa[last]; 42 if (last==0) len=0,last=root; 43 else{ 44 len=dist[last]+1,last=son[last][x]; 45 } 46 } 47 ans=max(ans,len); 48 } 49 printf("%d ",ans); 50 return 0; 51 }
题目链接:http://begin.lydsy.com/JudgeOnline/problem.php?id=2796
题目大意:给定两个字符串,长度<=2.5*10^5,询问这两个字符串的最长公共子串的长度,这题以前用后缀数组写过,比较基础,这次是用SAM写的,比较坑爹。
做法:最近学习了后缀自动机,讲讲我的理解:
后缀自动机可以识别一个字符串中的所有子串,写过AC自动机的同学都知道Trie树,如果按照那种方法建树的话,空间复杂度为n^2,但是我们发现有很多重复的状态,我们会发现,有很多个子串的右端点集合完全相同,那么这些字符串向后匹配的能力是相同的,故可将其缩成一个状态。
我先介绍几个性质:
1.right集合要么没有交集,要么真包含,用反证法易得。
2.对于某一个right集合中字符串,其长度有一个区间,即为【min,max】,若大于这个长度区间,|right|会减小,反之增大。
3.由于性质1,我们可以发现利用right集合能建立一棵树,满足:父亲的right集合是真包含儿子节点right集合中max最大的 ,且满足父亲的max+1=儿子的min。这三条性质在建立后缀自动机的时候有用。
如何建立后缀自动机呢?
建立过程比较麻烦,大家画个图理解理解吧,orzclj……
具体看代码。。。。。细节太多。。
这于这题的做法:
对第一个字符串建立SAM,第二个字符串在SAM上匹配即可,若失配,就跳fa,因为fa的right集合真包含于自己的right集合,这样缩短字符串长度,却能增加后续匹配的可能性,及时更新答案即可。
后缀自动机。