后缀自动机ins解释
void ins(int c){
int p=last;//将当前节点的parent节点变为last
int np=++cnt;//建立新节点
last=np;//将last设为当前节点
l[np]=l[p]+1;//当前节点的长度为父节点+1
for(;p&&!ch[p][c];p=fa[p])//若当前点的parent没有c这个儿子,则往上跳
ch[p][c]=np;//跳的过程中把这些点的c这个儿子设为当前节点
if(!p)fa[np]=1;//若跳回到根,则parent为1
else{
int q=ch[p][c];//q为当前点的c这个儿子
if(l[p]+1==l[q]){//若q的长度和p的长度相同,则不建立虚点
fa[np]=q;
}else{
int nq=++cnt;//建立新节点为虚点
l[nq]=l[p]+1;//当前点的长度为他的parent的长度+1
memcpy(ch[nq],ch[q],sizeof(ch[q]));//将这个原来点的信息复制到这个虚点上
fa[nq]=fa[q];//虚点的parent为原节点的parent
fa[q]=fa[np]=nq;//原节点和当前节点的parent都是虚点
for(;ch[p][c];p=fa[p])//若当前点的parent没有c这个儿子,则往上跳
ch[p][c]=nq;//跳的过程中把这些点的c这个儿子设为当前节点
}
}
size[np]=1;//用于反向拓扑
}
图片:
如字符串\(abcbcd\)
后缀自动机
parent树