第4章-串解读.pptVIP

a b a b c a b c a c b a b a b c a c 第 3 趟 i j i=7，j=5失败s5=t3;t1≠t3 ∴t1≠s5 a b a b c a b c a c b a b a b c a c 第 5 趟 a b a b c a b c a c b a b a b c a c 第 3 趟 i j a b a b c a b c a c b a b a b c a c 第 6 趟 匹配成功 需要讨论两个问题： i可以不回溯，模式向右滑动到的新比较起点k ，并且k 仅与模式串T有关！ 结论： KMP算法 模式应该向右滑多远才是最高效率的? 如何由当前部分匹配结果确定模式向右滑动的新比较起点k？ 请抓住部分匹配时的两个特征： （1）设模式滑动到第k个字符，则T1～Tk-1 ＝Si-(k-1) ～ Si-1 S=a b a b c a b c a c b a b T=a b c a c i k j S=a b a b c a b c a c b a b T=a b c a c i k 请抓住部分匹配时的两个特征： 两式联立可得：T1～Tk-1＝Tj-(k-1) ～Tj-1 （2）则Tj-(k-1) ～ Tj-1 ＝Si-(k-1) ～ Si-1 S=a b a b c a b c a c b a b T=a b c a c i k j i S=a b a b c a b c a c b a b T=a b c a c j k （1）设模式滑动到第k个字符，则T1～Tk-1 ＝Si-(k-1) ～ Si-1 T1…Tk-1＝Tj-(k-1) …Tj-1说明了什么？ （1） k 与 j 具有函数关系，由当前失配位置 j ，可以计算出滑动位置 k（即比较的新起点）； （2）滑动位置k 仅与模式串T有关。 从第1位往右 经过k-1位 从j-1位往左 经过k-1位 k＝max { k |1kj 且T1…Tk-1＝Tj-(k-1) …Tj-1 } T1…Tk-1＝Tj-(k-1) …Tj-1的物理意义是什么？ 模式应该向右滑多远才是最高效率的? NEXT [j] 计算公式 next [ j ] = 0 , 当 j=1 max { k | 1kj，且 ”t1t2…tk-1”=“tj-k+1…tj-1” } 1 ，其它 next[j]函数表征着模式T中最大相同首子串和尾子串（真子串）的长度。 设模式串T=“t1t2…tm” 。 void GetNext(char T[ ], int next[ ]) { next[1]=0; j=1; k=0; while (jT[0]) if ((k==0)| |(T[j]= =T[k])) { j++; k++; next[j]=k; } else k=next[k]; } 求模式串T的next函数值算法 设模式T=“abcac”，该模式的next值计算如下： j=1时，next[1]= 0； j=2时，next[2]=1； j=3时，t1 ≠ t2 ，next[3]=1； j=4时，t1 ≠ t3 ，next[4]=1； j=5时，t1 = = t4 ，next[5]=2； j 1 2 3 4 5 T[j] a b c a c Next[j] 0 1 1 1 2 Next[j]示例 模 式 串 T： a b a a b c a c 可能失配位 j： 1 2 3 4 5 6 7 8 新匹配位k=next[j] : 0 1 1 2 2 3 1 2 j=1时, next[ j ]＝ 0； j=2时, next[ j ]＝ 1； j=3时, T1≠T2，因此，k=1； j=4时, T1＝T3，因此，k=2； j=5时, T1＝T4，因此，k=2； 以此类推。 模式匹配的KMP算法思想 模式串向右滑动的距离由k决定，记next[j]=k为某趟不成功匹配中因模式第j个字符与主串中相应字符“失配”时，下一趟匹配模式串的起始位置。 基本思想：模式匹配可以通