next数组求法和KMP算法

首先介绍什么是next数组
定义：
next[i]表示是子串s[0……i]的最长相等前后缀的前缀的最后一位下标。（认真理解不难）
下图给出了next数组的定义计算
其中下框第一行是前缀，下框第二行是后缀
注意前缀和后缀可以部分重叠但是不能使是s[0……i]本身（很好理解这是必然因为前缀和后缀都是本身，比较毫无意义）

相信你对next数组有了一定的了解
怎么求？

采用递归的思想来做
对于字符串abababc而言已经有了next[0]=-1(所有的next数组都一样）next[1]=-1 ,next[2]=0 ,next[3]=1，现在来求next[4]？？？

当计算出next[3]=1时最长相等子串“ab”，next[4]与next【3】的关系看是s【4】与s【j+1】（s【next【3】+1】）是否相等，因为相等直接得到next[4]=next[3]+1=1+1=2;并且j指向了
next[4]。
计算next【5】的时候不一样了，s[5]!=s[next[4]+1]怎么办？

此时想找一个j使得s[5]s[j+1]成立并且上图中波浪线~代表aba中相等前后缀并且j尽可能大
由此想到让jnext【2】然后再判断s[5]==s[j+1],如果成立next【i】=j+1即可，如果不成立就不断让j等于next【j】直至-1，或者s【5】==s【j+】成立即可。
对于这个问题的next【5】而言，j退到-1时惊奇的发现是s[5]==s[j+1]于是next【5】=j+1=-1+1=0。
并j指向0.

void getNext(char s[], int len)
{
	int j = -1;
	Next[0] = -1;
	for (int i = 1; i <= len; i++)
	{
		
		while (j != -1 && s[i] != s[j + 1])
		{
			j = Next[j];
		}
		if (s[i] == s[j + 1])
		{
			j++;
		}
		Next[i] = j + 1;

	}
}

接下来kmp就简单了
已知text和pattern
判断pattern是否时text的字串

bool KMP(char text[], char pattern[])
{
	int n = strlen(text);
	int m = strlen(pattern);
	getNext(pattern,m);
	int j = -1;
	for (int i = 0; i < n; i++)
	{
		while (j != -1 && text[i] != pattern[j + 1])
		{
			j = Next[j];
		}
		if (text[i] == pattern[j + 1])
		{
			j++;
			
		}
		if (j == m - 1)
		{
			return true;
		}

	}
	return  false;
}

完成！！！祝大家编程愉快！