后缀自动机的自我消化

看了

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.首先神马都没有:

自动机就变成了如下:

自动机成了这样:

代码什么的如下:

插入一个节点: