模式匹配算法的教学探讨.pdfVIP

的字符的位置。这样在每一次匹配过程中出现字符不等时，不需要主串指针的回溯，而是利用 已经得到的“部分匹配”信息将模式串“向右滑动”尽可能远的一段距离后，再继续进行比较。 度的提高。 那么如何消除主串指针的回溯呢?这里要提到一个概念“真子串”。 避免不必要的回溯。 以下情况： ～ ～ S： 乳 S 札 ● St st+1…SE．1 MII 卵II +、 ¨ nqIlb h ■ n tj 当s；#tj时，应有： ’’totl…0一l7’=”$i_j3i一，+l…si—l’’ 若模式串t中存在可相互重叠的真子串满足： 直接比较S；和t。。这样，我们可以直接把第i趟比较“失配”时的模式t从当前位置直接右滑J —k位。 若模式串中不存在可相互重叠的真子串，则说明在模式串”tot。…ti一。”中不存在任何以t0 为首字符的字符串与”s卜j+。sH+2．．．s㈠”中以s㈠为末字符的字符串相匹配。下一次则可直接 比较si和too 模式中需重新与主串中字符s。进行比较的字符的位置。那么，nextCj]函数定义如下： 当此集合非空时 rmax{k10kj且“totl…tk一1”=“‘i—k‘j—k+I…tj—l”} —l N next[j]=I 当j=o L 0 其他情况 数越多。如果在模式串t中J位置的前1个字符和模式串的第1个字符相等，下次匹配时主串 指针不动，直接和模式串中的第2个字符比较；如果在模式串t中j位置的前2个字符和模式 串的第1、2个字符相等，下次匹配时主串指针不动，直接和模式串中的第3个字符比较；依此 类推，如果在模式串t中位置j的前k个字符和模式串的前k个字符相等，就可以利用上次匹 式串向右滑动越远，与主串进行比较的次数越少，时间复杂度就越低。 next[j]数组求值与主串s没有关系，而只与模式串t本身的构成相关，也就是从模式串本 身就可以求出nextEj]值。其算法如下。 122 算法1．由模式串t求出next[j]值。 void GetNext(SqStringt，intnexte]) {intj，k； j=o；k=一1；next[0]=一1； while(it．1en一1) {if(k三=一1IIt．data[j]==t．data[k])／枣k为一1或比较的字符相等时·／ ：怎c瓶+； else k=next[k]； } } KMP算法的思想是：设S为目标串，t为模式串，并设i指针和j指针分别指示目标串和模 开始和目标串si的下一个字符比较。相应的KMP算法如下。 算法2．相应的KMP算法。 int KMPIndex(SqStriIlgs，SqStringt) {intnext【MaxSizel。i=0，i-0，’； GetNext(t，next)； while(is．1en＆it．1en) lif(i==一1|ls．d砒a[i]==t．dataCj]) else j=next[j]；／·i不变，j后退奉／ if(j=t．]en)v=i—t．1en；／·返回匹配模式串的首字符下标·／ else v=一1；／宰返回不匹配标志宰／ return V； } (In)，在后面的匹配中因主串s的下标不回溯，比较次数可记为