KMP算法学习

// next的本质是最长共同前缀后缀，然后在匹配失败时，指向模板字符串的指针直接重置为next[k-1]，而长字符串的指针勿需动，即相当于指针新位置前的那一坨已经匹配成功了，接着从新指针那里匹配下去即可
    void CalculateNext(string pattern, ref int[] next)
    {
        next[0] = 0;
        for (int i = 1, k = 0; i < pattern.Length; ++i)
        {
            while(pattern[i] != pattern[k])
            {
                if (k > 0)
                    k = next[k - 1];//这个有点难理解，因为她是匹配失败后(p[i]!=p[k])，
                                    //直接使用匹配成功部分的共同前后缀接着进行匹配p[i]和p[新k]，此时因为新k=next[k-1],所以p[x~i]=p[0-新k]
                else
                {
                    k = -1;//得不到前面next的帮助了，需要置k=0，并且需要跳出while
                    break;
                }
            }

            k++;
            next[i] = k;
        }
    }

    void KMP(string inStr, string pattern, int[] next)
    {
        for (int i = 0, k = 0; i < inStr.Length; i++)
        {
            if (pattern[k] == inStr[i])
            {
                k++;
                if (k == pattern.Length)
                {
                    break;
                }
            }
            else
            {
                if (k != 0)//k=0特殊处理，直接移动i即可，k依然是0
                {
                    k = next[k-1];//一开始我是用1文的说法（移动位数 = 已匹配的字符数 - 对应的部分匹配值）：pattern右移d=k-next[k-1]，即k需回退x才能维持和i对应(分别对着两字符串的下一个比较字符)，x=k-d=next[k-1]
　　　　　　　　　　　　　　　　　　　　//即，k=next[k-1]，所以理解为：k应该重置到最长共同前后缀的下一个位置，这样比1文的说法容易理解些（因为next里是长度,k是下标，所以刚好next[k-1]就是最长共同前后缀的下一个位置的下标）
                }
            }
        }
    }