学习记录17

惭愧，折腾了一天的KMP，写了个模板题，这题写详细些好了。

题目如下：

首先我们要知道KMP是怎么用的，是干些什么的。KMP主要适用于字符串的匹配，就是上面的这题，当我们需要在两个字符串之间进行判断是否另一方在主串中出现时，一旦字符的长度大了起来，使用朴素算法的话就会显得时间复杂度过大，于是在前人的研究下，我们得到了如今的KMP。

因为KMP是利用字符串的对称性来节省时间复杂度的，我们将子串以相同的前后缀个数来编出另一个整型数组，此前后缀个数也是字符串中非重复字符的下标位置。借由这个数组我们可以节省不必要的匹配，因为当前缀已被匹配为一致，而之后的某一位匹配不成功，则不需要按朴素算法的样式接着一位一位的接着匹配，我们可以直接将下标转移至最佳位置，也就是非相同前后缀的“中间部分”，而主串的下标一直持续往后走，因为我们已经在此下标对于子串进行过匹配。

接着代码看吧.

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
using namespace std;
int main()
{
    char s1[1000010],s2[1000010];//存储主串和匹配的子串
    scanf("%s%s",s1,s2);
    int next[1000010]={0,0};//第一个字符没有前后缀所以为0，第2个字符如果不匹配的话也只能回到第一个
                                //也就是下标为0，所以先给它赋值
    int l1=strlen(s1),l2=strlen(s2),k=0;
    for(int i=1;i<l2;i++)
    {
        while(k&&s2[i]!=s2[k])//k==0的时候直接跳过，第一个就直接进行匹配。当遇到两字符不相同时，就可以使用next数组中的值进行下标调整
                                //直到有字符相同才跳出
            k=next[k];
        next[i+1]=s2[i]==s2[k]?++k:0;//当有字符相同时，我们就可以把当前最长的前后缀相同字符串长度记下
    }
    k=0;
    for(int i=0;i<l1;i++)
    {
        while(k&&s1[i]!=s2[k])//开始和主串匹配，如果不匹配就使用next数组调整下标
            k=next[k];
        k+=s1[i]==s2[k]?1:0;//如果匹配就继续下一个字符的匹配
        if(k==l2)//当匹配完成后，输出相同的初始位置
            cout <<i-l2+2<<endl;
    }
    int i;
    for(i=1;i<l2;i++)//这就是所求的i长度的最长前后缀相同个数
        cout <<next[i]<<" ";
    cout <<next[i];
}

如果还是模模糊糊的，还是要多自己模拟一下过程。

我们设置，如果只有一个字符就是没有相同的前后缀，即为0，如果两个字符的字符串的两个字符都相同，那么就是2，以此类推，得到next数组。