KMP next陣列理解

3.15週末學長教了一下kmp,但是對next的構造尚存疑.在饒了一整天頭以後勉強弄懂了…記錄一下比較混亂就是了…

這裡的對稱指的的字元塊對稱而非軸對稱;

--------->當next[t]值為0時:

顯然就意味著從字串的開頭到這個t部分的話對稱性是0:即當繼續計算下一位的next[t+1] 的大小時只需比較第n+1位的字元與首字元是否相同即可

--------->當next[t]值不為0時:

這個時候就說明從字串的開頭到這個t部分的話存在對稱字元我們假設next[t]的值是a,那麼就說明前a個字元與後a個字元是相同的.我們計算next[t+1]時就只需要比較第a+1的字元與t+1的字元是否一致

當這兩個字元相同時,顯然,我們只需要令next[t+1]=next[t]+1即可

當這兩個字元不相同時

這裡先放乙個大佬碼的完整**

void
makenext
(const
char p,
int next)
next[q]
= k;
}}

相當於就是解釋一下這段語句的含義先看這幾個字母的定義

k:最大相同前字尾長度

p:輸入的要建next陣列的字串

q:要建立next陣列的下標

while(k > 0 && p[q] != p[k]):

這個很好理解,注意一下這個時候的k在沒有進行while迴圈時儲存的是在q-1個字元中的最大相同前字尾

意思就是如果沒有相同的前字尾了或者第k+1(因為next是從o開始建的)和第q個相同時我們就跳出

然後我們來分析一下:k = next[k-1];

這段**可以說是核心了

首先要進行這段語句的前提:

k > 0 && p[q] != p[k].首先要尚存相同的前字尾,如果已經沒有相同前字尾時,直接跳出給next[q]賦0就ok.並且p[q] != p[k].

緊接著看這個語句的意義:,我們仍然從第一次進入while迴圈分析:

這裡k本來是指q之前的字串最大前字尾長度,因為第q個字元和第k+1個字元不相同,我們再繼續找這最大前字尾長度包括的最大的前字尾長度,並且這樣迴圈的比較下去.知道發現能構成乙個新的最大前字尾長度或者是乾脆構不成.