字符串匹配之KMP算法推导过程
来源：互联网 发布：无表度网络 编辑：程序博客网 时间：2024/06/10 02:36
申明：此文系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(∑
