KMP算法next数组的得到

参考文章

next[]数组各个位的得到：
第1位和第2位分别为0和1
第3位为 第二位的b与第二位对应的next值1对应的a相比，不同则为1
第4位为 第三位的a与第三位对应的next值1对应的a相比，相同则为+1为2
第5位为 第四位的b与第四位对应的next值2对应的b相比，相同则为+1为3
第6位为 第五位的a与第五位对应的next值3对应的a相比，相同则为+1为4

第7位为 第六位的a与第六位对应的next值4对应的b相比，不同，则与第四位的b对应的next值2对应的b 相比，不同，继续拿第二位的b对应的next值1对应的a相比，相同则为1+1为2

第8位为 第七位的a与第七位对应的next值2对应的b相比，不同，则与第二位的b对应的next值1对应的a相比，相同则为1+1为2

//通过计算返回子串T的next数组
void get_next(String T, int* next)
{
    int m, j;
    j = 1;    //j是后缀的末尾下标　　　　　　pj-m...pj-1　　其实j-1就是后缀的下标，而j就是我们要求的next数组下标
    m = 0;    //m代表的是前缀结束时的下标，也就是相似度，是等价的　　p1p2...pm
    next[1] = 0;
    while (j < T[0])　　//T[0]是表示串T的长度
    {　　　　 //这个if,我们只需要考虑，如果我<后缀最后下标>前面匹配成功，现在我T[j]==T[m]也匹配成功，那么我对应的next<++j>数组值是多少？
        if (m == 0 || T[m] == T[j])    //T[m]表示前缀的最末尾字符，T[j]是后缀的最末尾字符
        {
            ++m;
            ++j;
            next[j] = m;　　//++j后获取的才是我们要的next[j]下标，我们要获取next[j]处的值，就是获取他前一个匹配时的相似度，也就是前一个匹配的下标+1
        }
        else　　//else是匹配失败的情况，就要进行回溯
            m = next[m];    //若是字符不相同，则m回溯
    }
}

nextval[]数组的得到

nextval的求法我们遵循一个原则，那就是相同则变（变为nextval的值），不同不变（维持next原值）。