KMP算法代码的一些解析

代码解析：

#define _CRT_SECURE_NO_WARNINGS 1
#include <iostream>
using namespace std;

const int N = 100000 + 10, M = 1000000 + 10;
char p[N], s[M];
//关于这里ne数组为甚么长度是N，而不是M，因为在求ne数组的最长相等前缀和后缀时，是模板串自己和自己匹配的过程，所以相等的前后缀也就不会超过N
int ne[N];


int main()
{
	int n, m;
	cin >> n >> p + 1 >> m >> s + 1;


	//模板串：a a b a a c    下标从1开始：
			//1 2 3 4 5 6    
	//求解ne数组, i代表后缀， j代表前缀
	//i = 2     j = 0;  j = 1, ne[2] = 1
	//i = 3     j = 1;  j = ne[1] = 0, 前缀指针回退到模板串的第一个字符位置
	//i = 4     j = 0;  j = 1, ne[4] = 1
	//i = 5     j = 1;  j = 2, ne[5] = 2
	//i = 6     j = 2;  j = ne[j] = ne[2] = 1;  j = ne[1] = 0
	for (int i = 2, j = 0; i <= n; i++)
	{
		//如果不相等，j = ne[j],会一直回溯，直到j = 0；
		while (j && p[i] != p[j + 1]) j = ne[j];
			
		if (p[i] == p[j + 1]) j++;
		ne[i] = j;  //表明模板串在i这个下标下的最长相等前后缀的长度
		//ne最大会使用到ne[n - 1];
	}

	//进行匹配过程：
	for (int i = 1, j = 0; i <= m; i++)
	{
		while (j && s[i] != p[j + 1]) j = ne[j];
		if (s[i] == p[j + 1]) j++;
		if (j == n)
		{
			printf("%d ", i - n);
			// j = m, 位于数组元素的末端，此时等于ne[j],最大的公共前后缀，
            //ababababab
            //0012345678
            //因为数组的首字母没有前后缀，所当j = 数组长度时，ne[j]一定等于0,这样数组指针又回到了数组的起点，又会重新开始匹配
			j = ne[j];
		}
	}
	return 0;
}