对于KMP算法,需要记住的是:
1. 如果在字符串O中寻F,那么需要求的是F的next函数;
2. next函数的意义为:
假如字符串O和字符串F进行比较的时候,匹配到F的位置i时两个字符串不相等,需要计算出F的从位置0到位置i-1的(包括起始位置和终止位置)最长公共前缀和后缀,也就是长度为i的字符串的最长前缀和后缀。然后进行移动之后,就可以继续比较位置i的字符是否相等了。具体详细的可以查看http://blog.csdn.net/yutianzuijin/article/details/11954939/。
3. next函数的计算:
理解了kmp算法的基本原理,下一步就是要获得字符串f每一个位置的最大公共长度。需要注意的是,这里字符串f的每一个位置的最大公共长度是指,假如next[i]=j,那么这个j指的是位置i的最大公共长度,也就是位置i之前的字符串的前缀和后缀公共部分的最大长度(不包括字符串本身,否则最大长度始终是字符串本身),不包括位置i的,也就是长度为i的字符串的前缀和后缀公共部分的最大长度,之所以长度为i,是因为位置编号是从0开始的,所以位置i前面一共是位置0到位置i-1,长度自然就是i了。因此,next函数的值是长度,并不是下标的!!!
上面的程序是求next数组的,这个程序需要注意的是:
1. next[0]和next[1]一开始就是已知的,都是0.这是因为next[0]本身没有什么意义;而next[1]代表的是长度为1的子串的最大公共前缀和后缀,自然为0了.
2. j在初始的时候就是表示next[1]的值,所以初始时就是0.表示的是需要比较的下一个位置。
3. i在初始的时候就是从1开始的,i表示的是字符串的下标,已知i的值,同时知道next[i]也就是j,那就可以计算next[i+1]的值。
4. 同时i是从1到len-1的,不是到len。原因就在于程序主要是求next[i+1]的,同时next的下标是从0到len的,因此,i的最大值就是len-1了!!!
上面是利用next数组进行查找的代码,需要注意的是在最后一个if的时候,之所以用了j=next[j]是因为,在字符串O中寻找F的时候,如果已经找到了一个,那么此时O还没有比较完的话,可以继续向下寻找,也许还会存在第二个和F相匹配的字符串。