转自: http://blog.csdn.net/WINCOL/article/details/4795369
KMP 的思想是这样的:
利用不匹配字符的前面那一段字符的最长前后缀来尽可能地跳过最大的距离,换言之,问题由模式串决定,不是由目标决定!
比如
模式串ababac 这个时候我们发现在c 处不匹配,然后我们看c 前面那串字符串的最大相等前后缀,然后再来移动
下面的两个都是模式串,没有写出来匹配串
原始位置 ababa c
移动之后 aba bac
因为后缀是已经匹配了的,而前缀和后缀是相等的,所以直接把前缀移动到原来后缀处,再从原来的c 处,也就是现在的第二个b 处进行比较。 这就是KMP
//求模式串T的next函数,修正值并填入next数组
void getNext(string T, int next[])
{
int i = 1, j = 0;
next[1] = 0;
while (i < T[0]) //T[0]表示串T的长度
{
if (j == 0 || T[i] == T[j])//T[i]表示后缀的单个字符
{ //T[j]表示前缀的单个字符
++i;
++j;
if(T[i]!=T[j]) //若当前字符与前缀字符不同
next[i] = j; //则当前的j为next在i位置的值
else
next[i] = next[j]; //若与前缀字符相同,则将前缀
//字符的next值赋值给next在i位置的值
}
else
{
j = next[j]; //字符不相同,则j值回溯
}
}
}
//返回子串T在主串S中posi之后的位置。若不存在,返回值为0
//T非空,1<=posi<StrLength(S)
int kmp(string S, string T, int posi)
{
int i = posi; //i用于主串S当前位置下标值,若posi不为0
//则从posi位置开始匹配
int j = 1; //j用于子串T中当前位置下标值
int next[255] = GetNext(T, next);
//当i小于S的长度,j小于T的长度,就一直循环
while(i <= S[0] && j <= T[0])
{
if (j == 0 || S[i] == T[j])//两字符相等就继续
{
++i;
++j;
}
else //指针后退,重新开始匹配
{
j = next[j]; //j返回合适的位置,i的值不变
}
}
if(j > T[0])
return i - T[0];
else
return 0;
}