KMP算法理解

一、next数组找法

模式串：ababa

(最大前缀与最大后缀共有串)

• “最大前缀”指除了最后一个字符以外一个字符串的剩余字符；
• “最大后缀”指除了第一个字符以外一个字符串的剩余字符。

a:0

ab:0

aba:1(a)

abab:2（ab）

ababa:3(aba)

下面是next数组的找法

核心思想：找到模式串每个子串(如上)的最大前后缀共有串长度

1、需要有一大一小两个变量 i , j 来定位字符位置比较是否相同

2、当两个变量所指字符不相同，且小位置变量 j 大于0，则进行前进，将当前 i 与上次正确匹配的位置next[j-1]再进行匹配（相当于模式串前进j-next[j-1]位），直到 j小于0或者两个变量所指字符相同结束。

3、当两个变量所指字符相同则最大前后缀共有串长度加1

4、当前子串最大前后缀共有串长度完成，next[i]=j

public static int[] kmpnext(String pattern){
        int[] next = new int[pattern.length()];
        next[0] = 0;
        for(int i = 1,j = 0; i < pattern.length(); i++){
//当j>0且第j位与第i位字符不相等时回退到上一次匹配的位置，j=0时则没必要
            while(j > 0 && pattern.charAt(j) != pattern.charAt(i)){
                j = next[j - 1];
            }
//第j位与第i位字符相等，最大共有串长度加1
            if(pattern.charAt(i) == pattern.charAt(j)){
                j++;
            }
            next[i] = j;
        }
        return next;
    }

下面是kmp算法，可以发现其核心代码与next数组找法基本相同，不同在以下几处：

1、for循环 i 的起始值和结束值

2、判断条件不再是pattern串内部匹配，而是pattern与str匹配，而str串是 i（大一点值），pattern是 j（小一点值）

3、多了一个方法结束出口，if判断是否已经完成匹配

public static int kmp(String str, String pattern,int[] next){//str文本串  dest 模式串
        for(int i = 0, j = 0; i < str.length(); i++){
//str中第i位与模式串中第j位不相等，str中第i位再与pattern上一次与str匹配成功的位置进行匹配
            while(j > 0 && str.charAt(i) != pattern.charAt(j)){
                j = next[j - 1];
            }
//str中第i位与pattern中第j位相等，进行下一位匹配
            if(str.charAt(i) == pattern.charAt(j)){
                j++;
            }
//j的长度等于pattern长度表明，str中找到了pattern
            if(j == pattern.length()){
                return i-j+1;
            }
        }
        return 0;
    }