kmp

KMP

KMP的精髓在于next[]数组；
next[]数组的定义：若令next[j] = k，则表示在模式匹配过程中，当模式串中的第j个元素与主串发生失配，k表示模式串中的k个元素和主串发生失配的元素比较即可。

恍然大悟。

next【j】= 0；j = 1
next【】= max{k| 1<k<j, 且‘p1p2…pk-1’ = ‘pj-k+1…pj-1’}
next[j] = 1;其他