KMP算法
KMP算法常用于字符串的模式匹配,KMP算法相对于朴素算法有了很大的改进,避免了没必要的回溯。该算法主要研究模式串,不需要主串的信息。
next数组:当模式匹配串T失配的时候,next 数组对应元素的指导应该用T串的哪一位进行下一轮的匹配。KMP算法核心就在于构建next数组。
默认next数组0号位存放的是数组的长度,字符串从1开始。i是后缀,j是前缀。next数组的第一位总是0,可以这样理解:当第一位失配后,T串使用存放数组长度的0号位与主串匹配,此时j=0,i和j都+1,主串和模式串同时使用下一匹配,此时即为T串的第一位。
#include <stdio.h>
typedef char* String;
void get_next( String T , int *next)
{
int j=0;
int i=1;
next[1]=0;
while(i<T[0])
{
if(0==j || T[i]==T[j])
{
i++;
j++;
//next[i]=j;
// 算法改进
if(T[i]!=T[j])
{
next[i]=j;
}
else
{
next[i]=next[j];
}
//
}
else
{
j=next[j];
}
}
}
int Index_KMP(String S,String T,int pos)
{
int i=pos;
int j=1;
int next[255];
get_next(T,next);
while(i<=S[0]&&j<=T[0])
{
if(0==j || s[i]==T[j])
{
i++;
j++;
}
else
{
j=next[j]
}
}
if(j>T[0]) //匹配到最后一位 j++ 所以j会大于T[0]
{
return i-T[0];
}
else
{
return 0;
}
}
如果当 S串为 aaaabcde
,子串T为aaaax
时,其子串的next数组为012345,当匹配到子串最后一个a时失配,如果按照next数组指示的顺序匹配,明显可以看出,子串前面三个a仍然会失配,这是KMP算法的一个缺陷。所以做出一步改进:需要加一步判断,如果next数组指导的下一个元素跟之前的元素相同,则应该回溯到最先的元素处。