字符串匹配之KMP算法推导过程

申明：此文系Huge对KMP算法的的完整推导过程，在读此文之前，如果对KMP算法不是非常了解的，可以去到http://blog.csdn.net/eternity1118_/article/details/51604641阅读有关KMP的相关知识，如果已经非常了解，那就请继续吧。。

有了以上资料的了解后，让我们一起来开始推导&构建 KMP 算法：

定义：A 是问题中的模式串(短串)，长度为 n

定义：B 是问题中的文本串(长串)，长度为 m

其中，

A[i] 代表 A 字符串的第 i 位
B[j] 代表 B 字符串的第 j 位
A[i, j] 代表 A 字符串第 i 位到第 j 位(注:下标从 1 开始)

B[i, j] 代表 B 字符串第 i 位到第 j 位(注:下标从 1 开始)

Sign(i, j) 为分段函数，取值{0, 1}：

当 A[i] = B[j] 的时候，sign(i, j) = 1

当 A[i] != B[j] 的时候，sign(i, j) = 0

重点一：原始问题的等价表示

max(∑