【模板】KMP字符串匹配

顾名思义，就是一种用来进行字符串匹配的算法。

这种算法的核心就是一个nxt数组，表示在模式串的第i位失配后，应该跳到模式串的哪一位继续匹配。

为什么要这样？

显然，因为文本串是不确定的，所以在匹配的时候的nxt数组肯定是按照模式串建的。

其次，为什么要设一个nxt数组呢？

$模式串：abcabc$

$文本串：abcabdcab$

经试验可以发现，如果在匹配的过程中失配的话，并不用每一次失配都必须从头开始匹配。因为匹配到第i位的时候前i-1位一定是相同的，所以可以从之前重合的部分再出发进行匹配。

根据nxt数组的定义，就很容易得出实现的方法。

步骤：

1.nxt[1]和nxt[0]一定是0.

2.如果i不匹配，就跳到nxt[i],知道跳到0

3.匹配，i++.

4.赋值给nxt

next[0]=next[1]=0;
for(int i=1;i<s2.size();i++)
{
    while(now&&s2[i]!=s2[now])
    {
	now=next[now];
    }
    if(s2[i]==s2[now])
    {
	now++;
    }
    next[i+1]=now;
}