算法导论中KMP算法前缀函数π与next函数的关系

算法导论讲解的KMP算法预先计算的值不是next函数值 , 而是前缀函数π的值 , 但是也不用着急 , 前缀函数π的值是可以转化为next函数值的 , 而且是比较显而易见 , 如下:

i               1        2        3      4       5      6     7

P[i]           a        b       a       b       a      c     a 

next[i]      0       1        1       2        3      4    1 

π [i]          0       0        1      2        3      0     1

观察next和π对角线就可以知道规律.

有兴趣的可以看下我的证明过程 , 证明采用的术语来自算法导论字符串匹配一章 , 其含义与算法导论中一模一样.