KMP字符串模式匹配算法解释.docx
- 文档编号:18612933
- 上传时间:2023-08-20
- 格式:DOCX
- 页数:18
- 大小:83.50KB
KMP字符串模式匹配算法解释.docx
《KMP字符串模式匹配算法解释.docx》由会员分享,可在线阅读,更多相关《KMP字符串模式匹配算法解释.docx(18页珍藏版)》请在冰点文库上搜索。
KMP字符串模式匹配算法解释
个人觉得这篇文章是网上的介绍有关KMP算法更让人容易理解的文章了,确实说得很“详细”,耐心地把它看完肯定会有所收获的~~,另外有关模式函数值next[i]确实有很多版本啊,在另外一些面向对象的算法描述书中也有失效函数f(j)的说法,其实是一个意思,即next[j]=f(j-1)+1,不过还是next[j]这种表示法好理解啊:
KMP字符串模式匹配详解
KMP字符串模式匹配通俗点说就是一种在一个字符串中定位另一个串的高效算法。
简单匹配算法的时间复杂度为O(m*n);KMP匹配算法。
可以证明它的时间复杂度为O(m+n).。
一.简单匹配算法
先来看一个简单匹配算法的函数:
intIndex_BF(charS[],charT[],intpos)
{
/*若串S中从第pos(S的下标0≤pos 起存在和串T相同的子串,则称匹配成功,返回第一个 这样的子串在串S中的下标,否则返回-1 */ inti=pos,j=0; while(S[i+j]! ='\0'&&T[j]! ='\0') if(S[i+j]==T[j]) j++;//继续比较后一字符 else { i++;j=0;//重新开始新的一轮匹配 } if(T[j]=='\0') returni;//匹配成功 返回下标 else return-1;//串S中(第pos个字符起)不存在和串T相同的子串 }//Index_BF 此算法的思想是直截了当的: 将主串S中某个位置i起始的子串和模式串T相比较。 即从j=0起比较S[i+j]与T[j],若相等,则在主串S中存在以i为起始位置匹配成功的可能性,继续往后比较(j逐步增1),直至与T串中最后一个字符相等为止,否则改从S串的下一个字符起重新开始进行下一轮的"匹配",即将串T向后滑动一位,即i增1,而j退回至0,重新开始新一轮的匹配。 例如: 在串S=”abcabcabdabba”中查找T=”abcabd”(我们可以假设从下标0开始): 先是比较S[0]和T[0]是否相等,然后比较S[1]和T[1]是否相等…我们发现一直比较到S[5]和T[5]才不等。 如图: 当这样一个失配发生时,T下标必须回溯到开始,S下标回溯的长度与T相同,然后S下标增1,然后再次比较。 如图: 这次立刻发生了失配,T下标又回溯到开始,S下标增1,然后再次比较。 如图: 这次立刻发生了失配,T下标又回溯到开始,S下标增1,然后再次比较。 如图: 又一次发生了失配,所以T下标又回溯到开始,S下标增1,然后再次比较。 这次T中的所有字符都和S中相应的字符匹配了。 函数返回T在S中的起始下标3。 如图: 二.KMP匹配算法 还是相同的例子,在S=”abcabcabdabba”中查找T=”abcabd”,如果使用KMP匹配算法,当第一次搜索到S[5]和T[5]不等后,S下标不是回溯到1,T下标也不是回溯到开始,而是根据T中T[5]==’d’的模式函数值(next[5]=2,为什么? 后面讲),直接比较S[5]和T[2]是否相等,因为相等,S和T的下标同时增加;因为又相等,S和T的下标又同时增加。 。 。 最终在S中找到了T。 如图: KMP匹配算法和简单匹配算法效率比较,一个极端的例子是: 在S=“AAAAAA…AAB“(100个A)中查找T=”AAAAAAAAAB”,简单匹配算法每次都是比较到T的结尾,发现字符不同,然后T的下标回溯到开始,S的下标也要回溯相同长度后增1,继续比较。 如果使用KMP匹配算法,就不必回溯. 对于一般文稿中串的匹配,简单匹配算法的时间复杂度可降为O(m+n),因此在多数的实际应用场合下被应用。 KMP算法的核心思想是利用已经得到的部分匹配信息来进行后面的匹配过程。 看前面的例子。 为什么T[5]==’d’的模式函数值等于2(next[5]=2),其实这个2表示T[5]==’d’的前面有2个字符和开始的两个字符相同,且T[5]==’d’不等于开始的两个字符之后的第三个字符(T[2]=’c’).如图: 也就是说,如果开始的两个字符之后的第三个字符也为’d’,那么,尽管T[5]==’d’的前面有2个字符和开始的两个字符相同,T[5]==’d’的模式函数值也不为2,而是为0。 前面我说: 在S=”abcabcabdabba”中查找T=”abcabd”,如果使用KMP匹配算法,当第一次搜索到S[5]和T[5]不等后,S下标不是回溯到1,T下标也不是回溯到开始,而是根据T中T[5]==’d’的模式函数值,直接比较S[5]和T[2]是否相等。 。 。 为什么可以这样? 刚才我又说: “(next[5]=2),其实这个2表示T[5]==’d’的前面有2个字符和开始的两个字符相同”。 请看图 : 因为,S[4]==T[4],S[3]==T[3],根据next[5]=2,有T[3]==T[0],T[4]==T[1],所以S[3]==T[0],S[4]==T[1](两对相当于间接比较过了),因此,接下来比较S[5]和T[2]是否相等。 。 。 有人可能会问: S[3]和T[0],S[4]和T[1]是根据next[5]=2间接比较相等,那S[1]和T[0],S[2]和T[0]之间又是怎么跳过,可以不比较呢? 因为S[0]=T[0],S[1]=T[1],S[2]=T[2],而T[0] ! = T[1],T[1] ! = T[2],==> S[0] ! =S[1],S[1]! =S[2],所以S[1] ! =T[0],S[2]! =T[0]. 还是从理论上间接比较了。 有人疑问又来了,你分析的是不是特殊轻况啊。 假设S不变,在S中搜索T=“abaabd”呢? 答: 这种情况,当比较到S[2]和T[2]时,发现不等,就去看next[2]的值,next[2]=-1,意思是S[2]已经和T[0]间接比较过了,不相等,接下来去比较S[3]和T[0]吧。 假设S不变,在S中搜索T=“abbabd”呢? 答: 这种情况当比较到S[2]和T[2]时,发现不等,就去看next[2]的值,next[2]=0,意思是S[2]已经和T[2]比较过了,不相等,接下来去比较S[2]和T[0]吧。 假设S=”abaabcabdabba”在S中搜索T=“abaabd”呢? 答: 这种情况当比较到S[5]和T[5]时,发现不等,就去看next[5]的值,next[5]=2,意思是前面的比较过了,其中,S[5]的前面有两个字符和T的开始两个相等,接下来去比较S[5]和T[2]吧。 总之,有了串的next值,一切搞定。 那么,怎么求串的模式函数值next[n]呢? (本文中next值、模式函数值、模式值是一个意思。 ) 三.怎么求串的模式值next[n] 定义: (1)next[0]=-1 意义: 任何串的第一个字符的模式值规定为-1。 (2)next[j]=-1 意义: 模式串T中下标为j的字符,如果与首字符 相同,且j的前面的1—k个字符与开头的1—k 个字符不等(或者相等但T[k]==T[j])(1≤k 如: T=”abCabCad”则next[6]=-1,因T[3]=T[6] (3)next[j]=k 意义: 模式串T中下标为j的字符,如果j的前面k个 字符与开头的k个字符相等,且T[j]! =T[k](1≤k 即T[0]T[1]T[2]。 。 。 T[k-1]== T[j-k]T[j-k+1]T[j-k+2]…T[j-1] 且T[j]! =T[k].(1≤k (4)next[j]=0 意义: 除 (1) (2)(3)的其他情况。 举例: 01)求T=“abcac”的模式函数的值。 next[0]=-1 根据 (1) next[1]=0 根据(4) 因(3)有1<=k next[2]=0 根据(4) 因(3)有1<=k =(T[1]=b) next[3]=-1 根据 (2) next[4]=1 根据(3) T[0]=T[3]且T[1]=T[4] 即 下标 0 1 2 3 4 T a b c a c next -1 0 0 -1 1 若T=“abcab”将是这样: 下标 0 1 2 3 4 T a b c a b next -1 0 0 -1 0 为什么T[0]==T[3],还会有next[4]=0呢,因为T[1]==T[4],根据(3)”且T[j]! =T[k]”被划入(4)。 02)来个复杂点的,求T=”ababcaabc”的模式函数的值。 next[0]=-1 根据 (1) next[1]=0 根据(4) next[2]=-1 根据 (2) next[3]=0 根据(3)虽T[0]=T[2]但T[1]=T[3]被划入(4) next[4]=2 根据(3)T[0]T[1]=T[2]T[3]且T[2]! =T[4] next[5]=-1 根据 (2) next[6]=1 根据(3)T[0]=T[5]且T[1]! =T[6] next[7]=0 根据(3)虽T[0]=T[6]但T[1]=T[7]被划入(4) next[8]=2 根据(3)T[0]T[1]=T[6]T[7]且T[2]! =T[8] 即 下标 0 1 2 3 4 5 6 7 8 T a b a b c a a b c next -1 0 -1 0 2 -1 1 0 2 只要理解了next[3]=0,而不是=1,next[6]=1,而不是=-1,next[8]=2,而不是=0,其他的好象都容易理解。 03) 来个特殊的,求T=”abCabCad”的模式函数的值。 下标 0 1 2 3 4 5 6 7 T a b C a b C a d next -1 0 0 -1 0 0 -1 4 next[5]=0 根据(3)虽T[0]T[1]=T[3]T[4],但T[2]==T[5] next[6]=-1 根据 (2)虽前面有abC=abC,但T[3]==T[6] next[7]=4 根据(3)前面有abCa=abCa,且T[4]! =T[7] 若T[4]==T[7],即T=”adCadCad”,那么将是这样: next[7]=0,而不是=4,因为T[4]==T[7]. 下标 0 1 2 3 4 5 6 7 T a d C a d C a d next -1 0 0 -1 0 0 -1 0 如果你觉得有点懂了,那么 练习: 求T=”AAAAAAAAAAB”的模式函数值,并用后面的求模式函数值函数验证。 意义: next函数值究竟是什么含义,前面说过一些,这里总结。 设在字符串S中查找模式串T,若S[m]! =T[n],那么,取T[n]的模式函数值next[n], 1. next[n]=-1表示S[m]和T[0]间接比较过了,不相等,下一次比较S[m+1]和T[0] 2. next[n]=0表示比较过程中产生了不相等,下一次比较S[m]和T[0]。 3. next[n]=k>0但k 4. 其他值,不可能。 四.求串T的模式值next[n]的函数 说了这么多,是不是觉得求串T的模式值next[n]很复杂呢? 要叫我写个函数出来,目前来说,我宁愿去登天。 好在有现成的函数,当初发明KMP算法,写出这个函数的先辈,令我佩服得六体投地。 我等后生小子,理解起来,都要反复琢磨。 下面是这个函数: voidget_nextval(constchar*T,intnext[]) { //求模式串T的next函数值并存入数组next。 intj=0,k=-1; next[0]=-1; while(T[j/*+1*/]! ='\0') { if(k==-1||T[j]==T[k]) { ++j;++k; if(T[j]! =T[k]) next[j]=k; else next[j]=next[k]; }//if else k=next[k]; }//while ////这里是我加的显示部分 //for(int i=0;i //{ // cout< //} //cout< }//get_nextval 另一种写法,也差不多。 voidgetNext(constchar*pattern,intnext[]) { next[0]= -1; intk=-1,j=0; while(pattern[j] ! = '\0') { if(k! = -1 && pattern[k]! = pattern[j]) k=next[k]; ++j;++k; if(pattern[k]== pattern[j]) next[j]=next[k]; else next[j]=k; } ////这里是我加的显示部分 //for(int i=0;i //{ // cout< //} //cout< } 下面是KMP模式匹配程序,各位可以用他验证。 记得加入上面的函数 #include #include intKMP(constchar*Text,constchar*Pattern)//const表示函数内部不会改变这个参数的值。 { if(! Text||! Pattern|| Pattern[0]=='\0' || Text[0]=='\0')// return-1;//空指针或空串,返回-1。 intlen=0; constchar*c=Pattern; while(*c++! ='\0')//移动指针比移动下标快。 { ++len;//字符串长度。 } int*next=newint[len+1]; get_nextval(Pattern,next);//求Pattern的next函数值 intindex=0,i=0,j=0; while(Text[i]! ='\0' &&Pattern[j]! ='\0') { if(Text[i]==Pattern[j]) { ++i;//继续比较后继字符 ++j; } else { index+=j-next[j]; if(next[j]! =-1) j=next[j];//模式串向右移动 else { j=0; ++i; } } }//while delete[]next; if(Pattern[j]=='\0') returnindex;//匹配成功 else return-1; } intmain()//abCabCad { char*text="bababCabCadcaabcaababcbaaaabaaacababcaabc"; char*pattern="adCadCad"; //getNext(pattern,n); //get_nextval(pattern,n); cout< return0; } 五.其他表示模式值的方法 上面那种串的模式值表示方法是最优秀的表示方法,从串的模式值我们可以得到很多信息,以下称为第一种表示方法。 第二种表示方法,虽然也定义next[0]=-1,但后面绝不会出现-1,除了next[0],其他模式值next[j]=k(0≤k 下标为j的字符的前面最多k个字符与开始的k个字符相同,这里并不要求T[j]! =T[k]。 其实next[0]也可以定义为0(后面给出的求串的模式值的函数和串的模式匹配的函数,是next[0]=0的),这样,next[j]=k(0≤k 下标为j的字符的前面最多k个字符与开始的k个字符相同。 第三种表示方法是第一种表示方法的变形,即按第一种方法得到的模式值,每个值分别加1,就得到第三种表示方法。 第三种表示方法,我是从论坛上看到的,没看到详细解释,我估计是为那些这样的编程语言准备的: 数组的下标从1开始而不是0。 下面给出几种方法的例子: 表一。 下标 0 1 2 3 4 5 6 7 8 T a b a b c a a b c (1)next -1 0 -1 0 2 -1 1 0 2 (2)next -1 0 0 1 2 0 1 1 2 (3)next 0 1 0 1 3 0 2 1 3 第三种表示方法,在我看来,意义不是那么明了,不再讨论。 表二。 下标 0 1 2 3 4 T a b c A c (1)next -1 0 0 -1 1 (2)next -1 0 0 0 1 表三。 下标 0 1 2 3 4 5 6 7 T a d C a d C a d (1)next -1 0 0 -1 0 0 -1 0 (2)next -1 0 0 0 1 2 3 4 对比串的模式值第一种表示方法和第二种表示方法,看表一: 第一种表示方法next[2]=-1,表示T[2]=T[0],且T[2-1]! =T[0] 第二种表示方法next[2]=0,表示T[2-1]! =T[0],但并不管T[0]和T[2]相不相等。 第一种表示方法next[3]=0,表示虽然T[2]=T[0],但T[1]==T[3] 第二种表示方法next[3]=1,表示T[2]=T[0],他并不管T[1]和T[3]相不相等。 第一种表示方法next[5]=-1,表示T[5]=T[0],且T[4]! =T[0],T[3]T[4]! =T[0]T[1],T[2]T[3]T[4]! =T[0]T[1]T[2] 第二种表示方法next[5]=0,表示T[4]! =T[0],T[3]T[4]! =T[0]T[1],T[2]T[3]T[4]! =T[0]T[1]T[2],但并不管T[0]和T[5]相不相等。 换句话说: 就算T[5]==’x’,或T[5]==’y’,T[5]==’9’,也有next[5]=0。 从这里我们可以看到: 串的模式值第一种表示方法能表示更多的信息,第二种表示方法更单纯,不容易搞错。 当然,用第一种表示方法写出的模式匹配函数效率更高。 比如说,在串S=“adCadCBdadCadCad9876543”中匹配串T=“adCadCad”,用第一种表示方法写出的模式匹配函数,当比较到S[6]! =T[6]时,取next[6]=-1(表三),它可以表示这样许多信息: S[3]S[4]S[5]==T[3]T[4]T[5]==T[0]T[1]T[2],而S[6]! =T[6],T[6]==T[3]==T[0],所以S[6]! =T[0],接下来比较S[7]和T[0]吧。 如果用第二种表示方法写出的模式匹配函数,当比较到S[6]! =T[6]时,取next[6]=3(表三),它只能表示: S[3]S[4]S[5]==T[3]T[4]T
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- KMP 字符串 模式 匹配 算法 解释