后缀自动机的自我消化
看了http://hi.baidu.com/myidea/item/142c5cd45901a51820e25039
大神的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.首先神马都没有:
自动机就变成了如下:
自动机成了这样:
代码什么的如下:
插入一个节点: