目录
一.特点
二.算法思想
三.公式证明
四.next数组及其练习
五.找规律计算next[k]
六.代码实现
一.特点
BF算法的特点是i回退，KMP算法的最大特点是i不回退，由于i不回退，所以KMP算法的时间复杂度是O(n+m)。
二.算法思想
在匹配主串和子串时，i指向主串，j指向子串，字符相等则i,j同时加1，当字符失配时，i不回退，j退到k的位置（相当必然有一段相同的路，那么相同的路i不走，等着j走过来即可）即相等的路j走过一段k长度的路。
三.公式证明
结论：
在匹配成功的子串中找到两个最长的相等的真子串，这两个子串满足如下特点：
- 一个串以子串的开头作为开头。
- 另一个串以失配前的最后一个字符作为结尾(
)。
- k正是子串的长度。
四.next数组及其练习
我们把所有位置的k值给保存在数组中，这个数组就是next数组。
1.
2.
3.
4.
五.找规律计算next[k]
例子：“abcabcdabcdabcdeabc”
不妨假设next[j]=k;
已知：next[1]=0,next[0]=-1;
由next[j]=k,得到 (1)
如果 (2)
(1)+(2)=
得到next[j+1]=k+1;
如图k=3
如果
又变成了一个模式匹配的问题，那么k=next[k];如图k=next[3]=0;
KMP最大特点是指示主串的指针不需要回溯，整个匹配过程中，对主串仅需从头到尾扫描一遍，这对处理从外设输入的庞大文件很有效，可以边读入边匹配，而无需回头重读。
六.代码实现
static int* GetNext(const char* str)
{int len = strlen(str);int* next = (int*)malloc(sizeof(int) * len);next[0] = -1;//不能再退next[1] = 0;//j=1,k=0;int j = 1;int k = 0;while (j+1 < len){if ((k==-1)||str[k] == str[j]){next[++j] = ++k;/*next[j + 1] = k + 1;j += 1;k += 1;*/}else{k = next[k];}}return next;
}int KMP(const char* str, const char* sub, int pos)
{assert(str != NULL && sub != NULL);if (str == NULL || sub == NULL || pos<0 || pos>strlen(str))return -1;int i = pos;int j = 0;int lenstr = strlen(str);int lensub = strlen(sub);int* next=GetNext(sub);//while (str[i] != '\0' && sub[j] != '\0')while (i < lenstr && j < lensub){if ((j==-1)||str[i] == sub[j]){i++;j++;}else{//i不回退j = next[j];}}free(next);//判断是否查找成功，利用子串是否遍历完成，来判断是否查找成功//if (sub[j] == '\0')if (j >= lensub)return i - j;elsereturn -1;
}int main()
{const char* str1 = "ababcabcdabcde";const char* str2 = "abcd";printf("%d\n", KMP(str1, str2, 0));printf("%d\n", KMP(str1, str2, 6));printf("%d\n", KMP(str1, str2, 10));return 0;
}
