KMP算法中next数组的理解-python

最新推荐文章于 2026-05-21 06:11:02 发布

原创

最新推荐文章于 2026-05-21 06:11:02 发布 · 1.2k 阅读

收录于

当前文章被以下社区和专栏收录：

本文详细解析了KMP算法中next数组的概念和构建过程，解释了next[j]如何表示模式串的最长公共前后缀，并通过实例分析了next[j+1]的计算方法，包括相等和不等字符的情况。同时，提供了Python实现KMP算法的完整代码。

KMP算法解决了在字符串匹配过程中模式串指针回溯的问题，从而提高了字符串匹配效率。KMP具体细节在这里不展开讲，主要是梳理一下对KMP核心next数组的理解，要注意的是：目前网上有很多种版本的KMP算法，其next数组的定义也完全不同，因此，在学习KMP算法的时候，要先明确next数组的定义。

在本文中next[j]存放的是模式串P中P[0]到P[j-1]这个子串中，最长公共前缀和后缀的长度。

def get_next(substring):
    next = [-1]
    i = 0
    j = -1
    while i < len(substring)-1:
        if j == -1 or substring[i] == substring[j]:
            i += 1 
            j += 1
            next.append(j)
        else:
            j = next[j]
    return next

以上是next数组的构建代码，当时在学习KMP算法时，对下面这一操作不太理解，即当前后缀失配时，为何要按照此操作进行回退？