KMP 字符串匹配算法 (Python）

KMP / 模式匹配

暴力匹配所有起始位置

时间复杂度：$O(mn)$

    for i in range(len_s - len_p + 1):
        ii, j = i, 0
        while j < len_p:
            if s[ii] == p[j]: ii, j = ii + 1, j + 1
            else: break
        if j == len_p: res.append(i)

前缀函数 / next数组

时间复杂度：$O(n)$，在线算法

对于一个长度为 $n$ 的字符串，其前缀函数是一个长度为 $n$ 的数组 $\pi$，其中 $\pi (i)$ 定义：子串 $s[0]\sim s[i]$ 中存在的、相等的最长真前缀和真后缀的长度。如果不存在则为0。规定：$\pi [0]=0$，因为其不存在真前后缀。

例如：‘aabaaab’ 的 $\pi$ 数组为 [0, 1, 0, 1, 2, 2, 3]

求解前缀函数：

• 相邻的前缀函数值，至多 + 1。$\pi (i-1)$表示着前一个状态匹配的最长真前后缀，也是下一个待匹配真前缀的最右元素下标。当且仅当 $s[i]=$