字符串模式匹配BF算法.docx
- 文档编号:7720870
- 上传时间:2023-05-12
- 格式:DOCX
- 页数:16
- 大小:24.88KB
字符串模式匹配BF算法.docx
《字符串模式匹配BF算法.docx》由会员分享,可在线阅读,更多相关《字符串模式匹配BF算法.docx(16页珍藏版)》请在冰点文库上搜索。
字符串模式匹配BF算法
字符串模式匹配---BF算法
字符串模式匹配有着广泛的应用,如求最大公共子串、最长回文字符串、L-Gap、数据压缩、DNA序列匹配等问题。
所谓模式匹配就是在目标字符串中寻找字串的过程,要寻找的字串即为模式。
BF(BruceForce)算法可以说是模式匹配算法中最简单、最容易理解的一个。
原理很简单。
其基本思想是从主串的start位置开始与模式串进行匹配,如果相等,则继续比较后续字符,如果不相等则模式串回溯到开始位置,主串回溯到start+1位置,继续进行比较直至模式串的所有字符都已比较成功则匹配成功,或者主串所有的字符已经比较完毕,没有找到完全匹配的字串,则匹配失败。
该算法较为简单,代码如下:
//start为从第start位置的字符开始比较,默认为0
intBF(chars[],chard[],intstart=0)
{
char*p=s+start;//记录开始比较的位置
intindex=start-1;//记录位置,以便成功时返回字串在主串的位置
char*q=d;
char*tmp;
while(*p!
='\0')
{
tmp=p;
++index;
while(*q!
='\0'&&*tmp!
='\0'&&*tmp==*q)
{
++tmp;
++q;
}
if(*q=='\0')//匹配成功,返回结果
returnindex;
else//主串和模式串回溯
{
++p;
q=d;
}
}
return-1;//匹配失败
}
设有主串s和子串t,子串t定位是指在主串s中找到一个与子串t相等的子串。
通常把主串s称为目标串,把子串t称为模式串,因此定位也称作模式匹配。
模式匹配成功是指在目标串s中找到一个模式串t。
传统的字符串模式匹配算法(也就是BF算法)就是对于主串和模式串双双自左向右,一个一个字符比较,如果不匹配,主串和模式串的位置指针都要回溯。
这样的算法时间复杂度为O(n*m),其中n和m分别为串s和串t的长度。
KMP算法是由Knuth,Morris和Pratt等人共同提出的,所以成为Knuth-Morris-Pratt算法,简称KMP算法。
KMP算法是字符串模式匹配中的经典算法。
和BF算法相比,KMP算法的不同点是匹配过程中,主串的位置指针不会回溯,这样的结果使得算法时间复杂度只为O(n+m)。
下面说说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
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 字符串 模式 匹配 BF 算法