字符串匹配KMP算法备忘

1. next数组
   设模式串p，长度n，则next数组长度为n。
   设0<=i<=j<n，p中存在长度L的子串使得i和j之间有且只有 p[j-L,…,j-1]==p[i-L,…,i-1] ，且该子串是p的前缀，则next[j]=i。
   next[j]=i的作用在于，假设s为被匹配串，当匹配到p[j]和s[k]时，p[j]!=s[k],则进行p[next[j]]与s[k]匹配，避免了重头匹配p。

void getNext(string p, vector<int>& next)
{
	int n = p.size();
	next.resize(n);
	next[0] = -1;
	int j = 0;
	int k = -1;//用-1标志字符串的开始位置，其他数字也可以标记，但是为了后面的next[++j] = ++k统一性，不用做多余的判断
	while(j < n-1)
	{
		if(k == -1 || p[j] == p[k])
		{
			//k==-1时,对应的就是j+1和0的关系，表示需要从头开始匹配
			//p[j]==p[k],所以存储j+1和k+1的关系
			next[++j] = ++k;
		}
		else
		{
			k = next[k];
		}
	}
}

2. 匹配
   匹配成功的条件就是p被遍历完了。

int kmp(string p, string s)
{
    int m = p.size();
    int n = s.size();
    if(m > n) return false;
    vector<int> next;
    getNext(p, next);

    int j = 0;
    int k = 0;
    while(j < m && k < n)
    {
        if(j == -1 || p[j] == s[k])
        {
            ++j;
            ++k;
        }
        else
        {
            j = next[j];
        }
    }
    if(j >= m) return k-m; //匹配成功，返回第一次匹配的起点
    return -1; //匹配失败
}