KMP----总结

图文请参考:http://www.cnblogs.com/dolphin0520/archive/2011/08/24/2151846.html

以下是我的理解。

首先要理解next数组的存在意义：减少子串的回溯-》如何减少？

构建next数组：首先数组第一位next[0]=-1;为什么是-1，其实它只是一个标识，表示现在已经是next数组的首位了，其实next[0]<0即可。

　　　　　　　先看代码(递推法)：

void getNext(char stringArray[],int next[])
{
    next[0]=-1;//NEXT数组第一位设为-1； 
    int len=strlen(stringArray);
    
    int i=0,index=-1;
    //遍历子串得出NEXT数组 
    while(i<len)
    {
        //当子串没有任何匹配时或者当前字符与前缀字符相同 
        if(index==-1 ||stringArray[i]==stringArray[index])
            next[++i]=++index;//得出下一位字符串的权值 
        else
            index=next[index];//失配时，前缀回到上一个前缀所保存的权值    
    }
    
    //for(int i=0;i<len;i++)    printf("%d ",next[i]);//输出next数组 
}

首先要理解next数组的下一位的权值是由上一位权值所得出的。从代码可知：

可以构建next数组下一位的条件是当前前缀失配到-1，或者的当前字符与前缀表示的字符相同。而且当前缀是-1时，所构造的权值为0.

否则，就是失配，前缀会向前缀数组取权值index=next[index];

 

然后就是怎么使用next数组了，我对next数组的权值理解为失配的程度。

先看代码：

int KMPMatch(char string[],char subString[])
{
    int i=0,index=0,next[100];
    int len1=strlen(string),len2=strlen(subString);
    
    getNext(subString,next);//得到Next数组 
    
    //遍历字符串 
    while(i<len1)
    {
        //当子串时第一个字符或者子串的index位置字符与字符串的i位置字符匹配时 
        if(index==-1 || string[i]==subString[index])
        {
            i++;//字符串位置移动 
            index++;//子串位置移动 
        }
        //否则向next数组取权值 
        else    index=next[index];
        //当子串匹配完成时返回该位置 
        if(index==len2)    return i-len2;
    }
}

先看字符串能移动的条件：index=-1,也就是next数组首位时候，或者字符串的i位置的字符与子串index位置也就是失配位置(next的权值）相同
否则，也就是发生不匹配了，失配位置index=next[index]从next数组拿出失配程度