咕咕咕了好久的东西,以前只是粗糙的背个板子之类的,并未对parent树有什么深刻的理解
clj姐姐tql,这么神仙的东西是怎么想出来的啊
个人认为有以下几点是难以理解的:
一、right集合的定义:
right集合就是指某一子串在原串当中出现的所有的位置的集合,也在某位大佬博客中叫做endpos集合;
二、right集合(endpos集合)相同的我们称为endpos等价类(重点理解)
三、对于任意两个endpos集合中,那么必然为其中一个为另一个的子串,或者两者绝无交集
四、endpos的等价类的数量为O(n)后缀自动的边数也是O(n)
五、我们在求parent树的时候其实是在对endpos的所有等价类进行分割操作,分割出的节点便是parent树上的节点
六、parent树跟后缀自动机节点相同,但是所应用的范围不同:
parent树主要是来求每个节点的性质(或者说字符子串的性质)而SAM其本身主要用于直接跑字符串
同时,我们可以感性的认为,parent树上的连边主要是由于在子串前加上某一字符,而后缀自动机是在某一子串后面加上字符
七、后缀自动机连边的时候,我们认为一个endpos等价类的后面加上一个字符其定然变成了另一个等价类,这样我们就可以来说明后缀自动
机的连边是存在的;
至于构造原理和一些图的话推荐这位大佬博客:QAQ