左神讲解KMP next数组和字符串前缀表之间的关系

在跟着左神学习KMP时发现，左神视频中的next数组和之前的了解的next数组有出入。

左神讲解到next数组中每个值含义为去除当前下标字符后，前面所有字符的最大相等前后缀的长度。这样在KMP算法中，模式串匹配不成功时，模式串指针可以直接跳到next数组中当前位对应的数。

之前了解的next数组源自于字符串的前缀表，是前缀表每个元素-1得来的。前缀表即是包含当前下标字符求得的，故相当于左神版本左移一位。也就是说左神讲解的next数组缺少前缀表最后一位信息。

左神版本next数组相当于前缀表右移一位。

对于KMP来讲，这两种表示方式都没问题，因为KMP中模式串的跳转本来就使用前一位的前缀表信息（或在判断时判断下一位字符串是否匹配）。然而对于需要使用到的前缀表最后一位信息的情况时，左神版本的next数组就不适用了。

如求解字符串中是否有重复子字符串力扣题目链接。

所以我们在应用左神版本next数组时，可以多添加一位虚拟位。这样在取前缀表时信息时需要右移一位。

下面给出上述力扣题的解。

    public static boolean repeatedSubstringPattern(String s) {
        // 求解next数组，虚拟数组
        int[] next = new int[s.length() + 1];
        next[0] = -1;
        next[1] = 0;
        int i = 2;
        int j = 0;
        while (i < next.length) {
            if (s.charAt(i - 1) == s.charAt(j)) {
                next[i ++] = ++j;
            } else if (j > 0) {
                j = next[j];
            } else {
                next[i ++] = 0;
            }
        }
        System.out.println(Arrays.toString(next));
        return next[s.length()] != 0 && s.length() % (s.length() -             
next[s.length()]) == 0;
}