KMP算法笔记

//自己看完y总算法基础课后的笔记
#include <iostream>

using namespace std;

const int N = 100010, M = 1000010;

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

/*
    s[ ]是模式串，即比较长的字符串。
    p[ ]是模板串，即比较短的字符串。
    两个串都是从下标为1开始的
    每次比较是 s[i]和p[j+1]进行比较，因此j代表已经匹配的字串的最后一个字符的下标（下标从1开始）
    ne[j]表示j+1和当前i不匹配，模板串回退的位置，j是最后一个匹配的下标。
    next数组的定义 即以j为终点的后缀和以ne[j]为终点的前缀相等
    
    移动位数 = 已匹配的字符数 - 对应的部分匹配值（ne[j]）
    

*/

int main()
{
    cin >> n >> p + 1 >> m >> s + 1;//两个字符串都从下标1开始

    //求next数组
    //当i==1时，ne[i]一定为0，考虑next定义:第一个字符的前缀和后缀都为空集,第一个字符不匹配时，直接从头开始重新匹配
    for (int i = 2, j = 0; i <= n; 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 <= m; i ++ )
    {
        while (j && s[i] != p[j + 1]) j = ne[j];
        //当j==0表示退无可退时（从头开始）当前i不能匹配任何位置，从i的下一个位置开始继续匹配；
        //p[i] != p[j + 1]  不匹配，模板串回退，此时j代表已经匹配的字串的最后一个字符的下标，此时让j 回退到相等的前缀的最后一个位置
        //即ne[j]。
        if (s[i] == p[j + 1]) j ++ ;
        if (j == n)
        {
            printf("%d ", i - n);
            j = ne[j];
        }
    }

    return 0;
}