KMP字符串模式匹配详解文档格式.docx
《KMP字符串模式匹配详解文档格式.docx》由会员分享，可在线阅读，更多相关《KMP字符串模式匹配详解文档格式.docx（15页珍藏版）》请在冰豆网上搜索。
匹配"
，即将串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中相应的字符匹配了。
函数返回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<
j）。
如：
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<
j）;
（4）next[j]=0意义：
除
（1）
（2）（3）的其他情况。
举例：
01）求T=“abcac”的模式函数的值。
next[0]=-1根据
（1）
next[1]=0根据（4）因（3）有1<
=k<
j;
不能说，j=1,T[j-1]==T[0]
next[2]=0根据（4）因（3）有1<
（T[0]=a）!
=（T[1]=b）
next[3]=-1根据
（2）
next[4]=1根据（3）T[0]=T[3]且T[1]=T[4]
即
下标
1
2
3
4
T
a
b
c
next
-1
若T=“abcab”将是这样：
为什么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]
即
5
6
7
8
只要理解了next[3]=0，而不是=1，next[6]=1，而不是=-1，next[8]=2，而不是=0，其他的好象都容易理解。
03）来个特殊的，求T=”abCabCad”的模式函数的值。
C
d
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].
如果你觉得有点懂了，那么
练习：
求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<
n,表示,S[m]的前k个字符与T中的开始k个字符已经间接比较相等了，下一次比较S[m]和T[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*/]!
）
{
if（k==-1||T[j]==T[k]）
++j;
++k;
if（T[j]!
=T[k]）
next[j]=k;
else
next[j]=next[k];
}//if
k=next[k];
}//while
////这里是我加的显示部分
//for（inti=0;
i<
i++）
//{
//cout<
<
next[i];
//}
//cout<
endl;
}//get_nextval
另一种写法，也差不多。
voidgetNext（constchar*pattern,intnext[]）
next[0]=-1;
intk=-1,j=0;
while（pattern[j]!
if（k!
=-1&
pattern[k]!
=pattern[j]）
k=next[k];
++k;
if（pattern[k]==pattern[j]）
next[j]=next[k];
next[j]=k;
}
下面是KMP模式匹配程序，各位可以用他验证。
记得加入上面的函数
#include<
iostream.h>
string.h>
intKMP（constchar*Text,constchar*Pattern）//const表示函数内部不会改变这个参数的值。
if（!
Text||!
Pattern||Pattern[0]=='
||Text[0]=='
）//
return-1;
//空指针或空串，返回-1。
intlen=0;
constchar*c=Pattern;
while（*c++!
='
）//移动指针比移动下标快。
{
++len;
//字符串长度。
int*next=newint[len+1];
get_nextval（Pattern,next）;
//求Pattern的next函数值
intindex=0,i=0,j=0;
while（Text[i]!
&
Pattern[j]!
if（Text[i]==Pattern[j]）
++i;
//继续比较后继字符
index+=j-next[j];
if（next[j]!
=-1）
j=next[j];
//模式串向右移动
j=0;
}//while
delete[]next;
if（Pattern[j]=='
returnindex;
//匹配成功
intmain（）//abCabCad
char*text="
bababCabCadcaabcaababcbaaaabaaacababcaabc"
;
char*pattern="
adCadCad"
//getNext（pattern,n）;
//get_nextval（pattern,n）;
cout<
KMP（text,pattern）<
return0;
五．其他表示模式值的方法
上面那种串的模式值表示方法是最优秀的表示方法，从串的模式值我们可以得到很多信息，以下称为第一种表示方法。
第二种表示方法，虽然也定义next[0]=-1,但后面绝不会出现-1，除了next[0]，其他模式值next[j]=k（0≤k<
j）的意义可以简单看成是：
下标为j的字符的前面最多k个字符与开始的k个字符相同，这里并不要求T[j]!
=T[k]。
其实next[0]也可以定义为0（后面给出的求串的模式值的函数和串的模式匹配的函数，是next[0]=0的），这样，next[j]=k（0≤k<
j）的意义都可以简单看成是：
下标为j的字符的前面最多k个字符与开始的k个字符相同。
第三种表示方法是第一种表示方法的变形，即按第一种方法得到的模式值，每个值分别加1，就得到第三种表示方法。
第三种表示方法，我是从论坛上看到的，没看到详细解释，我估计是为那些这样的编程语言准备的：
数组的下标从1开始而不是0。
下面给出几种方法的例子：
表一。
（1）next
（2）next
（3）next
第三种表示方法,在我看来，意义不是那么明了，不再讨论。
表二。
A
（1）next
（2）next
表三。
对比串的模式值第一种表示方法和第二种表示方法，看表一：
第一种表示方法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[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[5]==T[0]T[1]T[2]，但不能确定T[6]与T[3]相不相等，所以，接下来比较S[6]和T[3];
又不相等，取next[3]=0，它表示S[3]S[4]S[5]==T[0]T[1]T[2]，但不会确定T[3]与T[0]相不相等，即S[6]和T[0]相不相等，所以接下来比较S[6]和T[0]，确定它们不相等，然后才会比较S[7]和T[0]。
是不是比用第一种表示方法写出的模式匹配函数多绕了几个弯。
为什么，在讲明第一种表示方法后，还要讲没有第一种表示方法好的第二种表示方法？
原因是：
最开始，我看严蔚敏的一个讲座，她给出的模式值表示方法是我这里的第二种表示方法，如图：
她说：
“next函数值的含义是：
当出现S[i]!
=T[j]时，下一次的比较应该在S[i]和T[next[j]]之间进行。
”虽简洁，但不明了，反复几遍也没明白为什么。
而她给出的算法求出的模式值是我这里说的第一种表示方法next值，就是前面的get_nextval（）函数。
匹配算法也是有瑕疵的。
于是我在这里发帖说她错了：
现在看来，她没有错，不过有张冠李戴之嫌。
我不知道，是否有人第一次学到这里，不参考其他资料和明白人讲解的情况下，就能搞懂这个算法（我的意思是不仅是算法的大致思想，而是为什么定义和例子中next[j]=k（0≤k<
j），而算法中next[j]=k（-1≤k<
j））。
凭良心说：
光看这个讲座，我就对这个教受十分敬佩，不仅讲课讲得好，声音悦耳，而且这门课讲得层次分明，恰到好处。
在KMP这个问题上出了点小差错，可能是编书的时候，在这本书上抄下了例子，在那本书上抄下了算法，结果不怎么对得上号。
因为我没找到原书，而据有的网友说，书上已不是这样，也许吧。
说起来，教授们研究的问题比这个高深不知多少倍，哪有时间推演这个小算法呢。
总之，瑕不掩玉。
书归正传，下面给出我写的求第二种表示方法表示的模式值的函数,为了从S的任何位置开始匹配T，“当出现S[i]!
”定义next[0]=0。
voidmyget_nextval（constchar*T,intnext[]）
//求模式串T的next函数值（第二种表示方法）并存入数组next。
intj=1,k=0;
next[0]=0;
while（T[j]!
if（T[j]==T[k]）
elseif（T[j]!
=T[0]）
k=0;
k=1;
for（inti=0;
}//myget_nextval
下面是模式值使用第二种表示方法的匹配函数（next[0]=0）
intmy_KMP（ch
升级会员 