KMP算法

在字符串匹配算法里面有一种算法叫kmp算法。其实这种算法原理很简单，用模式串的前缀和后缀性质减少比较次数，从而达到提高效率的目的。
假如在字符串 T = {a,b,c,d,e,a,b,c,d,a,b,d} 中搜索字符串 P = {a,b,c,d,a,b,d}，则字符串 P 成为模式串。

其实KMP算法建立在 3 条引理之上的。见算法导论（p591）。