KMP模式匹配算法原理分析、next数组优化及java实现

朴素的模式匹配算法

 朴素的模式匹配算法通过对主串进行回溯，每次在匹配不成功时回溯到主串的i-j+2的位置

(i为主串中匹配失败的位置，j为模式串中匹配失败的位置，其中模式串字符数组从位置1开始)

KMP算法中next数组分析

KMP算法采用next数组，避免对主串的回溯，主要分析模式字符串的特征，确定在匹配失败情况下通过next数组获取应该模式串应该回溯的位置

next数组存在的意义

next数组目的在于当主串和模式串的字符匹配发生失败时，可以获取模式串回溯的位置，从新和主串进行匹配

next数组原理

在这里我们规定模式串字符数组的char[0]不存放字符，从数组的第二个位置开始，即char[1]
首先需要明确模式串中前缀和后缀的概念，对于模式串"ababaaaba"，每一个字符都有其前缀和后缀
举例来讲：第五个字符a的前缀为"ab",后缀也为"ab",两部分相等，那么我们定义next[5] = 3;
第二个字符b没有前后缀，所以next[2] = 1;next[1] = 0;
在这里我们可以得到next数组如下：
next[1] = 0;next[2] = 1;next[3] = 1 ;
next[4] = 2;next[5] = 3;next[6] = 4;
next[7] = 2;next[8] = 2;next[9] = 1;
因为前缀和后缀相等，那么当匹配失败时，通过next[j]获取到模式字符串需要回溯的位置，