串匹配的高效算法-KMP.docVIP

串匹配的高效算法-KMP [Copy?to?clipboard] cODE: 对于两个串，我们设一个串为主串S,一个串为模式串s,即要求s在S中的位置。 当两串匹配到s的位置i时发现不匹配，这时不需要从头来匹配，可以从s的位置k来匹配(k=1)，这就是KMP算法的精华之处。 S1,S2,S3,S4..SN s1,s2,s3,s4..sn 由已知匹配可知 S(i-k+1),S(i-k)..S(i-1)=s(i-k+1),s(i-k)..s(i-1) 由k的解释可知 S(i-k+1),S(i-k)..S(i-1)=s1,s2..s(k-1) 所以有 s1,s2..s(k-1)=s(i-k+1),s(i-k)..s(i-1) 可以发现k的值与主串S无关，关键在于求出s中每个位置j对应的k。 设f(j)为j所对应的k，则有： f(j)=0?(j=1) f(j)=max{k(0kj)|s1,s2..s(k-1)=s(i-k+1),s(i-k)..s(i-1)}? 以上是推导过程，下面介绍求k的方法： s,k:array[1..n]of?integer; 开始设k[1]:=0; for?i:=2?to?n?do begin ??j:=i-1;{初始j} ??while?not((s[i-1]=s[k[j]])?or?(j=1))?do ????j:=k[j]; ??{直到找到一个j，使得s[i-1]=s[k[j]],则k[j]+1为所求} ??k[i]:=j+1; end; 求出k以后，接下来的事情就好办多了，用m,n记录S和s中的位置，从左到右扫一遍就行了。 这个算法的复杂度是多项式的 写得有点抽象........... 刚刚翻到的，zqy写的 [Copy?to?clipboard] cODE: [原创]KMP算法总结 关于模式匹配(KMP)的解题报告 ???????????by?zqy 引言:模式匹配是串的操作中最重要的一种,而KMP算法是一种相当高效的模式匹配算法(下文中将提到它的时间复杂度为O(m+n)).所以,KMP算法是我们必须掌握的一种基本方法. 正文: 1.朴素的模式匹配算法. 朴素的模式匹配算法的核心思想是:一旦某个字符匹配失败,从头开始(即从本次匹配起点后一个字符开始).因此朴素的模式匹配算法的时间复杂度为O(mn),它的时间无法让人们满意,于是新的模式匹配算法也就孕育而生了. 在介绍KMP算法之前,我们先来看一下为什么朴素的模式匹配算法无法令人满意. 主串:ababcabcacbab????模式串:abcac 第一次比较:主串第三个位置出错,起点向后一位. 第二次比较:主串第二个位置出错,起点向后一位. 第三次比较:主串第七个位置出错,起点向后一位. 第四次比较:主串第四个位置出错,起点向后一位. 第五次比较:主串第五个位置出错,起点向后一位. 第六次比较:成功! 仔细观察我们可以发现,第一次比较错误以后,完全可以把起点放到主串的第三位,而不是第二位(因为根据已有的判断,第二位去比较肯定不会成功).因此第二次比较是无效比较.正是因为诸如上例中第二次比较的无效比较,使得算法不够理想. 2.KMP算法 2.1Next的函数的引出: 通过上述分析我们可以知道,要想改进模式匹配的算法,必须减少无效比较,让起点自动移到当前认为的最理想的位置,而不是仅仅只移一位.但是,计算机怎么知道要移几位呢?这就需要一个先开始就制定好的函数.于是我们就引出了next函数. 2.2Next的函数的定义和计算: next的函数到底是什么呢?根据我的理解,next[i]表示当模式串中第i个字符与主串某个字符比较失败后,起点应该向后移几位.那么,next函数的值怎么求呢? 显然,如果模式串第一位就比较错了,只能移动一位.为了和后面以示区别,我们定义next[1]=0.那么,其他的next怎么求呢? 我们回过头来仔细分析next函数的定义,发现它就是在求最大的k使得’P1..Pk’=’Pi-k+1..Pi’,因此,next[i]的求法如下 若i=1,则next[i]=0; 若Pi=Pnext[i-1]+1,则next[i]=next[i-1]+1; 其它情况则next[i]=1; 因此计算next函数的过程如下: procedure?count_next; var?i,j:integer; begin i:=1;j:=0;next[1]:=0; while?ilength(t)?do ??begin ???if?(j=0)or(t[i]=t[j])?then ????begin ?????inc(i); ?????i