KMP--串的模式匹配(2015年2题)

int Index_KMP(SString S,SString T,int next[])
{
    int i=1,j=1;  
    while(i<=S.length&&j<=T.length)
    {
        if(j==0||S.ch[i]==T.ch[j])
        {
            ++i;
            ++j;
        }
        else
        {
            j=next[j];
        }

        

        if(j>T.length)
            return i-T.length;
        else
            return 0;
}




int get_next{next[])
{
    int i=1,j=0;
    next[1]=0;
    while(i<T.length)
    {
        if(j==0||ch[i]==ch[j])
        {
            next[++i]=++j;
        }
        else
            j = next[j];
    }
}
        
      

BV16X4y137qw  kmp求next数组的优秀讲解

求next[ i +1 ]的过程：

基础知识：

next数组的值只与模式串有关。与主串无关

next[i+1]：是前i个元素中的最大公共子串的数目+1

变量含义：（对于j的理解是重点）

j：j指在前i个元素中的公共子串中最大前缀（过程中最大，若最大不符合会回退到次大）的后一位，j留在前缀后，用于与新加入的后缀的后一位作是否相等的判断，即ch[i]==ch[j]

i：i是我们当前要求的next[i+1]的位置前一位，在求next[i+1]时，事实上是在讨论前i个元素的性质（因为next[i+1]是前i个元素中的最大公共子串的数目+1）

两类操作：

前进：

当Pi与Pj相同时，则前进的这一位Pi使得前i个元素的最大公共子串增加一位，那么next[++i] = ++j

回退：

若Pi与Pj不相同，则j回退到次大的公共子串的前缀的后一位，即j=next[j]

例子：