KMP算法的时间复杂度与next数组分析

一、什么是 KMP 算法

KMP 算法是一种改进的字符串匹配算法，用于判断一个字符串是否是另一个字符串的子串

 

二、KMP 算法的时间复杂度

O(m+n)

 

三、Next 数组 - KMP 算法的核心

KMP算法的核心是利用匹配失败后的信息，尽量减少模式串与主串的匹配次数以达到快速匹配的目的。具体实现就是通过一个 next() 实现

1、next 数组：

长度与字符串长度一致，每个位置存储对应字符的最长匹配长度

 

2、next 数组通过遍历子字符串中"前缀"和"后缀"的最长的共有元素的长度来获得

例如 ABCDABD，得到的 next 数组为 [0,0,0,0,1,2,0]

简单地观察一下就会发现，该算法会进行最少 21 次的字符串判断，这还是在不考虑字符串匹配的时间消耗，光此一项的时间复杂度就是

O(n) = (n(n - 1)) /2 = n² / 2 + n / 2 = n²

在加上匹配字符串，就是m + n²显然大于KMP算法的时间复杂度m + n

3、next数组通过加入回溯法，在遍历子字符串时，判断逐步判断字符是否相同

function get_next(s) {
    var i = 1;
    var j = 0;