KMP算法小记

前段时间写的有些仓促，代码有些错误，这次修改了以下，并添加了一些适当的注释，理解起来要容易一些

算法描述:

　　主串S和模式串T在匹配过程中如果出现不匹配的情况,不需要改变主串的索引i,只需将模式串向右滑动,改变模式串索引j,然后继续比较S[i]和T[j],直到完全匹配或者不匹配(即主串遍历结束时,模式串仍未匹配完成)

　　主要代码:

int Index_KMP(char *S,char T,int *Next)            //KMP
{
    int i,j;        //索引

    for(i=0,j=0;S[i]!='\0'&&T[j]!='\0';)
    {
        if(j==-1||S[i]==T[j])        //判断主串与模式串当前位置是否匹配，j==-1表示模式串需要从头开始进行比较，并且从主串中S[i+1]开始比较
        {
            ++i;
            ++j;
        }
        else        //主串与模式串出现不匹配情况，模式串向右滑动
            j=Next[j];
    }
    if(T[j]=='\0')        //匹配成功
        return i-T[0];        //返回主串与模式串开始匹配的位置
    return -1;        //匹配失败,返回-1
}

int *Get_Next(char *T)        //根据模式串确定Next数组
{
    int i,j;        //i为索引，j存储Next[i]
    int *Next;
    Next=(int *)malloc(sizeof(int)*strlen(T));

    j=Next[0]==-1;
    for(i=0;T[i+1]!='\0';)        //根据已知的Next[i]求Next[i+1]
    {
        if(j==-1||T[j]==T[i])        //T[Next[i]]==T[i]或者j==-1（也就是找不到合适的j值使T[j]==T[i])
        {
            ++i;
            ++j;
            Next[i]=j;
        }
        else        //T[Next[i]]!=T[i]时，又是一个模式匹配问题，令j=Next[j],继续比较T[j]和T[i]
            j=Next[j];
    }

    return Next;        //返回Next指针
}