KMP算法

next数组代表什么：

  (图片来自acwing博主2850g的文章)

next数组的求解方法：

已知next[4]求next[5]，首先使i加一，也就是加了一个‘a’，然后看上面的s[4]是否与下面的s[j+1]相等，若相等，则j++。若不相等，说明相等的前后缀无法达到那么长，就要考虑缩短一点。如图，若要是缩短，则先不用考虑i=4位置的字母是什么，先考虑让前缀的前一部分（也就是紫色的“ab”）等于后缀的前一部分（也就是绿色的“ab”），若是相等了再考虑i=4的位置。那如何让两个“ab”匹配呢？直接通过 j = next [ j ] 来实现。

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

模式串 PP 在字符串 SS 中多次作为子串出现。

求出模式串 PP 在字符串 SS 中所有出现的位置的起始下标。

输入格式

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

第二行输入字符串 PP。

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

第四行输入字符串 SS。

输出格式

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

数据范围

1≤N≤1051≤N≤105
1≤M≤1061≤M≤106

输入样例：

3
aba
5
ababa

输出样例：

0 2

难度：简单

时/空限制：1s / 256MB

总通过数：76121

总尝试数：147712

来源：模板题

算法标签

#include<iostream>
using namespace std;
int n, m;
const int N = 100010, M = 1000010;
int Next[N];
char s[M], p[N];

int main()
{
    cin >> n >> p + 1 >> m >> s + 1;
    //n代表字串p的长度，m代表字符串s的长度

    //预处理p[N]，建立next数组;
    for (int i = 2, j = 0; i <= n; i++)
    {
        while (j && p[i] != p[j + 1])
        {
            j = Next[j];
        }
        if (p[i] == p[j + 1])j++;
        Next[i] = j;
    }

    // kmp，对s[N]匹配p[N]数组。
    for (int i = 1, j = 0; i <= m; i++)
    {
        while (j && s[i] != p[j + 1])
        {
            j = Next[j];
        }
        if (s[i] == p[j + 1])j++;
        if (j == n)
        {
            cout << i - n << ' ';
            j = Next[j];
        }
    }
}