KMP匹配算法中的失效函数 (ZT)

今天总算是看懂了字符串匹配算法中的KMP,记下来吧,以后查的时候方便
失效函数:设模式 P=p 0p 1....p m-2p m-1, 则它的失效函数定义如下:
f(j)=k |当 0<=kj-kp j-k+1...p j 的最大数
f(j)= -1 | 其它情况。
j 0 1 2 3 4 5 6 7
p a b a a b c a c
f(j) -1 -1 0 0 1 -1 0 -1
详细的不记了,把算法记下来。
ExpandedBlockStart.gif void  String::fail {
InBlock.gif    
int lengthP=curLen;
InBlock.gif    f[
0]=-1;
ExpandedSubBlockStart.gif    
for(int j=1;j<lengthP;j++){
InBlock.gif        
int i=f[j-1];
InBlock.gif        
while(*(ch+j)!=*(ch+i+1)&&i>=0) i=f[i] ;  //递推计算
InBlock.gif
        if(*(ch+j)==*(ch+i+1))f[j]=i+1;  
InBlock.gif        elsef[j]
=-1;
ExpandedSubBlockEnd.gif    }

ExpandedBlockEnd.gif}
下面是普通的匹配算法:
ExpandedBlockStart.gif int  String::find(String  & pat)  const {
InBlock.gif    
char*p=pat.ch; *s=ch; int i=0;
InBlock.gif    
if(*&& *s)
InBlock.gif        
while(i<=curLen-pat.curLen)
ExpandedSubBlockStart.gif            
if(*p++==*s++){   // C++的精典之处
InBlock.gif
                if(!*p) return i;
ExpandedSubBlockEnd.gif            }

ExpandedSubBlockStart.gif            
else { i++; s=ch+i; p=pat.ch; }
InBlock.gif    
return -1;
ExpandedBlockEnd.gif}
下面是 KMP 算法:
ExpandedBlockStart.gif int  String::fastFind(String  & pat)  const   {
InBlock.gif    
int posP=0 , pasT=0 ;
InBlock.gif    
int lengthP=pat.curLen, lengthT=curLen;
InBlock.gif    
while(posP<lengthP && posT< lengthT)
ExpandedSubBlockStart.gif        
if(pat.ch[pasP]==ch[posT]{
InBlock.gif            posP
++; posT++ ;
ExpandedSubBlockEnd.gif        }

InBlock.gif        
else if (posP==0) posT++ ;
InBlock.gif        
else posP=pat.f[posP-1+ 1 ;
InBlock.gif    
if(posP<lengthP) return -1 ;
InBlock.gif    
else return posT-lengthP;
ExpandedBlockEnd.gif}

你可能感兴趣的:(KMP匹配算法中的失效函数 (ZT))