力扣：459.重复的子字符串 KMP算法

题目：

给定一个非空的字符串，判断它是否可以由它的一个子串重复多次构成。给定的字符串只含有小写英文字母，并且长度不超过10000。

示例 1:

• 输入: "abab"
• 输出: True
• 解释: 可由子字符串 "ab" 重复两次构成。

示例 2:

• 输入: "aba"
• 输出: False

示例 3:

• 输入: "abcabcabcabc"
• 输出: True
• 解释: 可由子字符串 "abc" 重复四次构成。 (或者子字符串 "abcabc" 重复两次构成。

思路： 

力扣28题的进阶吧 KMP的经典思路

代码实现：

class Solution:
    def repeatedSubstringPattern(self, s: str) -> bool:
        j = 0
        next = [0] * len(s)  # 创建一个与字符串s长度相等的数组next，用于存储每个位置的最长公共前缀的长度

        for i in range(1, len(s)):
            while j > 0 and s[i] != s[j]:  # KMP算法的核心，当当前字符与前一个字符不相同时，寻找更短的前缀以匹配
                j = next[j - 1]  # 根据next数组的值，更新j为当前位置j的最长公共前缀的下一个位置

            if s[i] == s[j]:  # 当当前字符与前一个字符相同时，更新j的值为下一个最长公共前缀的位置
                j += 1

            next[i] = j  # 将当前位置的最长公共前缀长度存储到next数组中

        # 判断字符串是否由重复的子串组成
        if next[-1] != 0 and len(s) % (len(s) - next[-1]) == 0:  # 如果最后一个位置的next值不为0，并且字符串长度能够整除字符串长度减去最后一个next值的位置
            return True  # 表示字符串由重复的子串组成，返回True
        return False  # 否则，表示字符串不是由重复的子串组成，返回False

复杂度分析：

时间复杂度：O(n)，其中 n 是字符串的长度。算法使用了 KMP 算法中的 next 数组构造过程，需要遍历一次字符串，时间复杂度为 O(n)。

空间复杂度：O(n)，其中 n 是字符串的长度。算法使用了一个长度为 n 的 next 数组来存储每个位置的最长公共前缀的长度，因此空间复杂度为 O(n)。