数据结构——KMP（C++版）

1. 算法思路
   利用最长前缀与后缀相等，使在一个长字符串中寻找子串的过程优化
2. 模板

// s[]是长文本，p[]是模式串，n是s的长度，m是p的长度
求模式串的Next数组：
for (int i = 2, j = 0; i <= m; i ++ )
{
    while (j && p[i] != p[j + 1]) j = ne[j];
    if (p[i] == p[j + 1]) j ++ ;
    ne[i] = j;
}

// 匹配
for (int i = 1, j = 0; i <= n; i ++ )
{
    while (j && s[i] != p[j + 1]) j = ne[j];
    if (s[i] == p[j + 1]) j ++ ;
    if (j == m)
    {
        j = ne[j];
        // 匹配成功后的逻辑
    }
}

3. 例题：KMP字符串
   给定一个模式串S，以及一个模板串P，所有字符串中只包含大小写英文字母以及阿拉伯数字。
   模板串P在模式串S中多次作为子串出现。
   求出模板串P在模式串S中所有出现的位置的起始下标。
   输入格式
   第一行输入整数N，表示字符串P的长度。
   第二行输入字符串P。
   第三行输入整数M，表示字符串S的长度。
   第四行输入字符串S。
   输出格式
   共一行，输出所有出现位置的起始下标（下标从0开始计数），整数之间用空格隔开。
   数据范围
   1≤N≤10⁵,1≤M≤10⁶
   输入样例：
   3
   aba
   5
   ababa
   输出样例：
   0 2

#include<iostream>

using namespace std;

const int N = 10010, M = 100010;

int n, m;
char p[N], s[M];
int ne[N];

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

	for(int i = 2, j = 0; i <= n; i++)
	{
		while(j && p[i] != p[j + 1]) j = ne[j];		//使以i为结尾的后缀等于以j为结尾的前缀
		if(p[i] == p[j + 1]) j++;	//向前推进
		ne[i] = j;
	}

	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 = ne[j];
		}
	}

	return 0;
}				

[^1]此文章中的模板和代码均来自www.acwing.com