sam(后缀自动机)

后缀自动机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树