28. 实现 strStr() （KMP思想）

28. 实现 strStr() （KMP思想）

实现 strStr() 函数。

给你两个字符串 haystack 和 needle ，请你在 haystack 字符串中找出 needle 字符串出现的第一个位置（下标从 0 开始）。如果不存在，则返回 -1 。

说明：

当 needle 是空字符串时，我们应当返回什么值呢？这是一个在面试中很好的问题。

对于本题而言，当 needle 是空字符串时我们应当返回 0 。这与 C 语言的 strstr() 以及 Java 的 indexOf() 定义相符。

示例 1：
输入：haystack = “hello”, needle = “ll”
输出：2

示例 2：
输入：haystack = “aaaaa”, needle = “bba”
输出：-1

提示：

1 <= haystack.length, needle.length <= 104
haystack 和 needle 仅由小写英文字符组成

来源：力扣（LeetCode）
链接：https://leetcode.cn/problems/implement-strstr
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

"""
KMP算法思想：精髓在于next数组，从而达到跳跃式的高效匹配
而next数组的值是代表着字符串的前缀与后缀相同的最大长度,(不能包括自身)。

我们求next[3]的时候，已经求出next[0]~next[2]，此时我们知道了next[2]=1,意味着next[2]是代表着字符串的前缀与后缀相同的最大长度为1。
也就是对于ABA来说，前缀与后缀相同的最大长度为1，这是我们已知的条件，现在我们要知道对于ABAB来说，前缀与后缀相同的最大长度为？？？？？？
对于ABA来说，前缀"AB",后缀"BA"，对于ABAB来说，前缀“ABA”,后缀“BAB”，现在我们观察得出结论
ABAB的前缀和后缀必然分别包含ABA的前缀和后缀，即next[3]字符串的前缀和后缀必然分别包含next[2]的前缀和后缀,
无论该字符串是何值。
既然我们已经知道了next[2]=1,代表着ABA的前缀与后缀相同的最大长度为1，那我们计算next[3]的时候，
就知道了第一个字符必然是相同的，所以我们无需再比较第一个字符了，（KMP算法就是为了省这一步！！！！），
所以我们将t[3]直接与t[1]而不是t[0]比较，若t[3]=t[1],那我们可以直接说next[3]=2=next[1]+1.
"""


class Solution:
    def getnext(self, next_tab, needle):
        j = 0  # j 表示当前位置的前缀标值
        next_tab[0] = 0
        for i in range(1, len(needle)):
            while j > 0 and needle[i] != needle[j]:
                j = next_tab[j - 1]
            if needle[i] == needle[j]:
                j += 1
            next_tab[i] = j

    def strStr(self, haystack: str, needle: str) -> int:
        if len(needle) == 0:
            return 0
        next_tab = [0] * len(needle)
        self.getnext(next_tab, needle)
        j = 0
        for i in range(0, len(haystack)):
            while j > 0 and haystack[i] != needle[j]:
                j = next_tab[j - 1]
            if haystack[i] == needle[j]:
                j += 1
            if j == len(needle):
                return i - len(needle) + 1
        return -1