KMP字符串模式匹配详解(二)

三. 怎么求串的模式值next[n]

定义 ：

（ 1 ） next[0]= -1  意义：任何串的第一个字符的模式值规定为 -1 。

（ 2 ） next[j]= -1    意义：模式串 T 中下标为 j 的字符，如果与首字符

相同，且 j 的前面的 1—k 个字符与开头的 1—k

个字符不等（或者相等但 T[k]==T[j] ）（ 1 ≤ k<j ）。

如： T=”abCabCad”  则  next[6]=-1 ，因 T[3]=T[6]

（ 3 ） next[j]=k     意义：模式串 T 中下标为 j 的字符，如果 j 的前面 k 个

字符与开头的 k 个字符相等，且 T[j] != T[k]  （ 1 ≤ k<j ）。

                        即 T[0]T[1]T[2] 。。。 T[k-1]==

T[j-k]T[j-k+1]T[j-k+2]…T[j-1]

且 T[j] != T[k]. （ 1 ≤ k<j ） ;

(4) next[j]=0    意义：除（ 1 ）（ 2 ）（ 3 ）的其他情况。

 

举例 ：

01 ） 求 T= “ abcac ”的模式函数的值。

     next[0]= -1  根据（ 1 ）

     next[1]=0    根据  (4)    因（ 3 ）有 1<=k<j; 不能说， j=1,T[j-1]==T[0]

     next[2]=0    根据  (4)    因（ 3 ）有 1<=k<j; （ T[0]=a ） != （ T[1]=b ）

     next[3]= -1  根据  (2)

     next[4]=1    根据  (3) T[0]=T[3]  且  T[1]=T[4]

     即    

下标	0	1	2	3	4
T	a	b	c	a	c
next	-1	0	0	-1	1

若 T= “ abcab ”将是这样：

下标	0	1	2	3	4
T	a	b	c	a	b
next	-1	0	0	-1	0

为什么 T[0]==T[3], 还会有 next[4]=0 呢 ,  因为 T[1]==T[4],  根据  (3)”  且 T[j] != T[k]” 被划入（ 4 ）。

02 ）来个复杂点的，求 T=”ababcaabc”  的模式函数的值。

next[0]= -1     根据（ 1 ）

         next[1]=0     根据 (4)

         next[2]=-1    根据  (2)

next[3]=0    根据  (3)  虽 T[0]=T[2]  但 T[1]=T[3]  被划入（ 4 ）

next[4]=2    根据  (3) T[0]T[1]=T[2]T[3]  且 T[2] !=T[4]

next[5]=-1  根据  (2) 

next[6]=1    根据  (3) T[0]=T[5]  且 T[1]!=T[6]

next[7]=0    根据  (3)  虽 T[0]=T[6]  但 T[1]=T[7]  被划入（ 4 ）

next[8]=2    根据  (3) T[0]T[1]=T[6]T[7]  且 T[2] !=T[8]

  即

下标	0	1	2	3	4	5	6	7	8
T	a	b	a	b	c	a	a	b	c
next	-1	0	-1	0	2	-1	1	0	2

只要理解了 next[3]=0 ，而不是 =1 ， next[6]=1 ，而不是 = -1 ， next[8]=2 ，而不是 = 0 ，其他的好象都容易理解。

03)     来个特殊的，求  T=”abCabCad”  的模式函数的值。

下标	0	1	2	3	4	5	6	7
T	a	b	C	a	b	C	a	d
next	-1	0	0	-1	0	0	-1	4

         

next[5]= 0  根据  (3)  虽 T[0]T[1]=T[3]T[4], 但 T[2]==T[5]

next[6]= -1  根据  (2)  虽前面有 abC=abC, 但 T[3]==T[6]

next[7]=4    根据  (3)  前面有 abCa=abCa, 且  T[4]!=T[7]

 

如果你觉得有点懂了，那么

练习：求 T=”AAAAAAAAAAB”  的模式函数值，并用后面的求模式函数值函数验证。

意义 ：

 next  函数值究竟是什么含义，前面说过一些，这里总结。

设在字符串 S 中查找模式串 T ，若 S[m]!=T[n], 那么，取 T[n] 的模式函数值 next[n],

1.         next[n]= -1  表示 S[m] 和 T[0] 间接比较过了，不相等，下一次比较  S[m+1]  和 T[0]

2.         next[n]=0  表示比较过程中产生了不相等，下一次比较  S[m]  和 T[0] 。

3.         next[n]= k >0  但 k<n,  表示 ,S[m] 的前 k 个字符与 T 中的开始 k 个字符已经间接比较相等了，下一次比较 S[m] 和 T[k] 相等吗？

4.         其他值，不可能。