阮一峰的
字串匹配的KMP演算法中詳細解釋了字首、字尾的概念,但是沒有提到next陣列的求法。雖然July的
從頭到尾徹底理解KMP(2014年8月22日版)中詳細解釋了next陣列的求法,但是關於k = next[k]這一塊講的還不是太好。下面,我啰嗦幾句,咳咳。(ps:往下閱讀前建議先看July的那篇文章)
模式字串記為P(下標從0開始),next[q] = k 表示 P[q]之前的子串中,存在長度為k的相同字首和字尾 ,即P[0]~P[k-1]與P[q-k]~P[q-1]依次相同。如果P[k] = P[q],那麽next[q+1] = k+1,此時表示 P[q+1]之前的子串中,存在長度為k+1的相同前字尾, 這應該不成問題。下面貼張圖詳細表示: