KMP演算法的C++實現，解決下標0和總是輸出負數
阿新 • • 發佈：2020-10-15
KMP演算法的C++實現，解決下標0和總是輸出負數
個人第一次學習資料結構，請各路大神鍵下留情
《大話資料結構》中KMP模式匹配演算法，下標從1開始，個人三天前才開始學習資料結構，看到此章節，停留了兩天，對自身遇到的問題進行錯題記錄。
解決下標0的問題
大話資料結構中，求取模式串next陣列的原始碼如下
可以明顯得知，該方法是以下標“1”為起始，如果在C++中，直接複製此段程式碼，會出現如下情況：
總結問題即為：無法識別模式串的下標0是否與主串匹配，單純通過判斷下標1之後的模式串來進行匹配，顯而易見時錯誤的。
next陣列的解決辦法
由於if條件中，存在t[ i ] == t[ j ]，因此，將各個數字-1即可。
1.下標從1開始時，第一個比較式為t[ 2 ] 與 t[ 1 ]，目的讓第一個比較式變為t[ 1 ] 與 t[ 0 ]。
2.下標從1開始時，原式會由於j=0，而比較t[ 2 ] 與 t[ 1 ]。那麼，若條件為j= -1，則會比較
t[ 1 ] 與 t[ 0 ]。
多拿筆寫寫，畫畫，思路就出來了。
即便next陣列改為從0開始，依然會輸出錯誤，此時要注意第36行，迴圈條件是：int型與size_t型的比較，而當出現int值為-1時，會直接跳出迴圈，導致錯誤。
如果不信，可以設定如下主串和模式串，並加一行判斷程式碼，判斷串和判斷程式碼如下圖
由前面的KMP演算法可知，當s[0] != t[0]，且ix != -1,會進入ix = next[ix] = next[0] = -1;
也就是說，當ix = -1時，由於不滿足迴圈判斷條件而直接輸出，導致結果出錯。
while判斷條件解決辦法
（注意：上圖的i = id，j = ix，實質上沒有區別）將s.size(),t.size()都定義為int型別變數，即可成功輸出