力扣459. 重复的子字符串

今天写了重复子字符串的题目，是在KMP算法的基础上改的，但是最后的逻辑我没有看懂，为什么(next[n - 1] != -1 && n % (n - (next[n - 1] + 1)) == 0)成立，就说明有重复的子字符串？欢迎大家讨论，也欢迎大佬解答。

class Solution {
    public boolean repeatedSubstringPattern(String s) {
        int n = s.length();
        if(n == 0 || n == 1) return false;
        int[] next = new int[n];
        int j = -1;
        next[0] = j;
        for(int i = 1; i < n; i++){
            while(j >= 0 && s.charAt(i) != s.charAt(j + 1)){
                j = next[j]; 
            }
            if(s.charAt(i) == s.charAt(j + 1)) j++;
            next[i] = j;
        }      
        if(next[n - 1] != -1 && n % (n - (next[n - 1] + 1)) == 0) return true;
        return false;
    }
}

这里对KMP的使用，主要是求了next数组，而且是在最基础的next上减一，所以next[i]表示0~i 的最长相等前后缀的长度减一。而(next[n - 1] != -1 && n % (n - (next[n - 1] + 1)) == 0)这个条件不能丢了前半部分，也就是先判断字符串存在最长相等的前后缀。