串类型的定义串的表示和实现串的模式匹配算法.pptVIP

主串S： 子串T： 4.3.1 模式匹配KMP算法 a b c d a b c d a b c f e a b c d a b c f 1 2 3 4 5 6 7 8 9 i j 结论：j回到1，i回到2没有意义。 例 下图中主串游标i指向8，子串中游标j指向8，按照简单模式匹配算法两处不相等时j回到1，i回到2，继续比较，分析在这种情况下，这样做有没有意义？在什么情况下才有意义？ 事例讨论 主串S： 子串T： 4.3.1 模式匹配KMP算法 a b c d a b c d a b c f e a b c d a b c f 1 2 3 4 5 6 7 8 9 i j 事例讨论 结论：只有i回到5，j回到1才有意义。如下图。 主串S： 子串T： a b c d a b c d a b c f e a b c d a b c f 1 2 3 4 5 6 7 8 9 i j 与原来的比较图进行对比，看有什么发现？ 主串S： 子串T： 4.3.1 模式匹配KMP算法 a b c d a b c d a b c f e a b c d a b c f 1 2 3 4 5 6 7 8 9 i j 事例讨论 结论：可以i不动，j回到4。如下图。 KMP算法的思想 主串指针不回溯，模式串向后滑动至某个位置上。 主串S： 子串T： 4.3.1 模式匹配KMP算法 a b c d a b c d a b c f e a b c d a b c f 1 2 3 4 5 6 7 8 9 i j 子串游标滑动到k必须满足的条件 结论：可以i不动，j回到4。如下图。 与原来的比较图进行对比，看有什么发现？ a b c d a b c f j 假如j滑动到k,如果比较有意义:必须满足: ① “t1t2…tk-1” = “si-k+1si-k+2…si-1” ②“tj-k+1tj-k+2…tj-1” = “si-k+1si-k+2…si-1”（部分匹配） ③ “t1t2…tk-1” = “tj-k+1tj-k+2…tj-1” (真子串） 主串S：…Si-j Si-j+1 Si-j+2 … Si-2 Si-1Si Si+1… 子串T： t1 t2 tj-2 tj-1 tj 4.3.1 模式匹配KMP算法 子串游标滑动到k必须满足的条件 max{ k|1kj,且“t1…tk-1”=“tj-k+1…tj-1” } 当此集合非空时 0 当j=1时 1 其他情况 next[j]= 表明当模式中第j个字符与主串中相应字符“失配”时，在模式中需重新和主串中该字符进行比较的字符的位置。 4.3.1 模式匹配KMP算法 next[j]函数 int Index_KMP (SString S,SString T, int pos) { i= pos,j =1; while (i=S[0] j=T[0]) if (j==0 || S[i]==T[j]) { i++;j++; } else j=next[j]; //i不变,j后退 if (jt[0]) return i-t[0]; //匹配成功 else return 0; //返回不匹配标志 } 4.3.1 模式匹配KMP算法 KMP算法 (1) next[1] = 0;表明主串从下一字符si+1起和模式串重新开始匹配。i = i+1; j = 1; 4.3.1 模式匹配KMP算法 求next函数值 (2) 设next[j] = k，则next[j+1] = ? ① 若tk=tj，则有“t1…tk-1tk”=“tj-k+1…tj-1tj” ，如果在j+1发生不匹配: 说明next[j+1] = k+1 = next[j]+1。 ② 若tk≠tj，可把求next值问题看成是一个模式匹配问题，整个模式串既是主串，又是子串。 求next[j+1],如果t[j]=t[k];则next[j+1]=k+1; 如果t[j] ≠t[k] 若tk’=tj，则有“t1…tk’”=“tj-k’+1…