看了
大神的blog,再更具自己的理解,借用大神的图,梳理一下自己对后缀自动机的建树过程的理解。
p ->
a -> b
灰线为建树的时候,当在a后面加入b时,根据a的指向,从a开始遍历没加入b状态下的所有后缀字符串,
设a灰线箭头指向点为a的parent为点p。
下面有两种情况:
情况一:p有没有一个孩子为b,则可以从p直接连一根黑线指向刚加入的b。之后再从右至左回溯到p的parent。
情况二:p已有一个孩子为b,则分两种情况:
(1):p为空结点S,则刚加入的点b可以直接连一根灰线指向已有的点b。这样表明刚加入的后缀b,
可以用已有的b点来替代。
(2):p不为空结点S,如果也像上面那样,从刚加入的点b直接连一根灰线指向已有的点b。当这个已有的
b点还有除了p点以外的点m指向它,那么当刚加入点b后面还有一个点c,从S点dfs的时候
就可能搜索
出不存在的mbc后缀字符串,所以这时候必须新建一个b点来替代这两个b点。具体怎么操作可直接看下面 的图变化。
1.首先神马都没有:
自动机就变成了如下:
自动机成了这样:
代码什么的如下:
插入一个节点: