juruo_hejiarui的博客

前言 这是一个咕了将近半年的文章，并不需要什么前置知识，只需要看的懂一些数学表达式就好了。 符号约定 ∣S∣|S|∣S∣表示字符串SSS的长度。 S[l...r]S[l...r]S[l...r]表示由第lll个到rrr个字符组成的SSS的子串，位置由111开始。 Suf(S)\mathrm{Suf}(S)Suf(S)表示字符串SSS的所有后缀构成的集合，Suf′(S)\mathrm{Suf'}(S)Suf′(S)表示除去自身的所有后缀构成的集合, Suf(S,l)\mathrm{Suf}(S,l)Suf(

前言 前置知识： Trie的构建和简单应用 KMP的思想 概念 构建 AC自动机实际上是在Trie中加入了fail指针的概念。 设S(i)S(i)S(i)表示节点iii表示的字符串，Suf(S)\mathrm{Suf}(S)Suf(S)表示字符串SSS的所有后缀（除去自己）组成的集合，Dic\mathrm{Dic}Dic表示加入到Trie中的所有字符串组成的字典，那么一个fail\mathrm{fail}fail指针代表的内容用形式化表示就是： fail(i)=arg⁡max⁡S(j)∈Suf(S){∣

后缀自动机入门 符号约定 ∣S∣|S|∣S∣表示字符串SSS的长度。 后缀用Suf(S,i=Any)\mathrm{Suf}(S,i=\mathrm{Any})Suf(S,i=Any)表示，如果不写iii则表示后缀集合。 p∣Sp|Sp∣S表示ppp是SSS的一个子串。 Σ\SigmaΣ表示字符集大小 构建 endpos\mathrm{endpos}endpos 对于一个字符串SSS，对于任意一个p∣Sp|Sp∣S,定义一个集合endpos(p)\mathrm{endpos}(p)endpos(p)（以