kmp算法简介讲述.ppt

KMP匹配 此时，我们只需从 t1=7，t2=3 这个匹配对开始往下继续匹配即可。而S1[4…6]与S[0…2]相当于已经匹配成功了，不需要再匹配。 想想看，为什么可以这么做？ （以下过程ppt不是很好演示，可能需要板书） S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 8 next -1 0 1 2 0 1 2 3 4 KMP匹配  我们在匹配时, 是不是已经得到S1[0…6]=S2[0…6]了? 然后，通过next数组，next[7]=3，是不是我们就知道S2[0…2]=S2[4…6]这个性质？于是我们就可以推得:S2[0…2]=S1[4…6],又由于next[7]表示S2[0..6]这个前缀的前缀后缀最大值！所以，这样挪动是正确的！ S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 8 next -1 0 1 2 0 1 2 3 4 KMP匹配  换句话说，我们在S1[7]与S2[7]处出现了失配，此时 t1不需要返回，只需改变t2。在7处失配，则只需查询S2[0…6]处的前缀后缀最大值，表示某一段前缀等于后缀，而又是长度最大的！那么移动后，失配点的前段一定还是匹配的，而只需在从失配点往下匹配即可，若失配点还是失配，再继续改变t2 S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 8 next -1 0 1 2 0 1 2 3 4 KMP匹配 失配点是 i=7,j=3,失配点的前一段S1[4…6]=S2[0..3] 仍然匹配，现在只需从失配点，t1=7，t2=3，继续往下匹配即可… S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 8 next -1 0 1 2 0 1 2 3 4 KMP匹配 好！我们继续往下匹配，发现t1=11, t2=7的时候， 又出现了失配！与刚才同样的步骤，令 t2=next[t2]=next[7]. S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 8 next -1 0 1 2 0 1 2 3 4 KMP匹配 S1未动，S2整体往右移动了 |S2| - next[7] 个格子 S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2` A A A B A A A D j 0 1 2 3 4 5 6 7 8 next -1 0 1 2 0 1 2 3 4 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 next -1 0 1 2 0 1 2 3 KMP匹配 从 i=11，j=3这个匹配对，继续往下匹配… 前一段S1[8...10]与S2[0…2]已经匹配成功！ S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 next -1 0 1 2 0 1 2 3 KMP匹配 继续往下匹配，都能匹配成功！ 发现S2[0…7]与S1[8…15]完全匹配成功！ S2是S1的子串。 S1 A A A B A A A B A A A B A A A D i 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 S2 A A A B A A A D j 0 1 2 3 4 5 6 7 next -1 0 1 2 0 1 2 3 代码：构建next数组 void get_next(int *next,char *s2,int lens){ //用于构建s