kmp(字符串匹配)

next数组的含义是：

以i点为终点的最长的公共前缀长度

j 和 i 始终错开

我们让数组从一开始存，ne[1]默认为0，因为第一次都没匹配上那就得从头开始比较

每一次让j+1和i相比较

如果想同就j++

表示长度加一了ne[i]就等于这时的j

 

求Next数组：
// s[]是模式串，p[]是模板串, n是s的长度，m是p的长度

// 为什么要从i = 2开始匹配？因为next[1] = 0，已经确定了，所以应该从i = 2开始匹配。
// 注意：next[i]的定义是非平凡的最大后缀等于最大前缀，next[i]必须要小于i

// 对于每一个i开始匹配过程
for (int i = 2, j = 0; i <= m; i ++ )
{
    // 如果p[i] != p[j + 1]那么，就跳到ne[j]再进行匹配p[i]与p[j + 1]，直到p[i] == p[j + 1]或j = 0为止
    // j一定要大于0，因为j大于0才能跳转到next[j]嘛，ne[0]没有意义
    while (j && p[i] != p[j + 1]) j = ne[j]; 

    // 如果一直跳转到 p[i] == p[j + 1]，那么就可以移动j
    if (p[i] == p[j + 1])
    {
        j ++ ;
        ne[i] = j;
    }

    // 否则就说明i点没有最大后缀等于最大前缀
    else
    {
        ne[i] = 0;
    }

}

// 匹配
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];
        // 匹配成功后的逻辑
    }
}