KMP - 字符串查找算法

Knuth-Morris-Pratt 字符串查找算法

/* 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;
}