KMP - 字符串查找算法

/* KMP字符串查找算法 */
/* 返回文本串Text[]首次与模式串Patten[]匹配的子串的首字符的秩 */
/* 核心思想是：某个字符Patten[j]!=Text[i]时，滑动Patten[]，使得Patten[next[j]]对齐Text[i]，继续比对； */
/* 查询表Next[]的使用，避免了比对失配时无谓地回退到Patten[0]重新开始比对； */
int KMPMatch(char* Patten, char* Text)
{
int* buildNext(char*);

int *Next = buildNext(Patten);
int n = strlen(Text);
int m = strlen(Patten);
int i = 0, j = 0;

while (j < m && i < n)
{
if (j < 0 || Patten[j] == Text[i])
{
i++;
j++;
}
else
{
j = Next[j];
}
}

delete [] Next;

return i - j;
}

/* 建立查询表Next[] */
/* 根据Patten[]的特性建立Next[] */
/* 在模式串与文本串比对时，当Text[i] != Patten[j]，则移动Patten[]使得Patten[Next[j]]对齐Text[i]比对； */
int* buildNext(char* Patten)
{
int m = strlen(Patten), j = 0;
int *Next = new int [m];

/* Next[0] = -1 作为通配符哨兵，即当j = Next[j] = -1时，对齐Patten[-1 + 1]与Text[i + 1]比对 */
int t = Next[0] = -1;
while (j < m - 1)
{	/* 注意循环条件 */
if (t < 0 || Patten[t] == Patten[j])
{
j++;
t++;
/* 由于Patten[0 .. t - 1] == Patten[j - t .. j - 1]且Patten[t] == Patten[j]， */
/* 若令Next[j] = t，即移动Patten[]使得Patten[t]对齐Text[i]比对，亦有Text[i] != Patten[t]，这是一次多余的比对。 */
/* 所以，应移动Patten[]使得Patten[Next[t]]对齐Text[i]比对，即令Next[j] = Next[t]。 */
Next[j] = (Patten[j] == Patten[t] ? Next[t] : t);
}
else
{
t = Next[t];
}
}

return Next;
}