KMP算法理解

附上一道来自acwing的例题

给定一个模式串 S，以及一个模板串 P，所有字符串中只包含大小写英文字母以及阿拉伯数字。

模板串 P 在模式串 S 中多次作为子串出现。

求出模板串 P在模式串 S 中所有出现的位置的起始下标。

输入格式

第一行输入整数 N，表示字符串 P 的长度。

第二行输入字符串 P。

第三行输入整数 M，表示字符串 S 的长度。

第四行输入字符串 S。

输出格式

共一行，输出所有出现位置的起始下标（下标从 0 开始计数），整数之间用空格隔开。

数据范围

1≤N≤105 1≤N≤105
1≤M≤106 1≤M≤106

输入样例：

3
aba
5
ababa

输出样例：

0 2

求出模板串 P 在模式串 S 中所有出现的位置的起始下标

kmp算法十分抽象想要充分理解需要多看多练习几遍，硬记过几天绝对会忘，理解记忆忘得慢一点点。

#include<iostream>
#include<algorithm>
#include<string>
using namespace std;
const int manx = 2e6;
char p[manx], s[manx];//p为模板串，s为模式串。
int ne[manx];//ne数组的含义是指以i为终点的p[1,j]=p[i-j+1,i]这一段字符串相等的长度。
//换句话说是该字符串后缀与前缀相等的最大长度。
int n, m;
int main()
{
	
	cin >> n >> p + 1 >> m >> s + 1;//从下标为1开始。
	for (int i = 2, j = 0; i <= n; i++)
	{
		while (j && p[i] != p[j + 1])//预处理出ne数组，  匹配以i为终点的后缀和前缀相等的最大长度
			j = ne[j];
		if (p[i] == p[j + 1])//匹配成功j++
			j++;
		ne[i] = j;//以i为终点的后缀和前缀的最大长度。
	}
	for (int i = 1, j = 0; i <= m; i++)
	{
		while (j && s[i] != p[j + 1])
			j = ne[j];		//匹配失败j就往前移动
		if (s[i] == p[j + 1])
			j++;//匹配成功j就继续往后匹配
		if (j == n)//当j的长度等于模板串长度时，匹配成功。
		{
			cout << i - n << " ";
			j = ne[j];
		}
	}
}