KMP演算法詳解

長度為i-k-1的首碼A和尾碼B相同。只有這樣，我們才可以前移k位後從新的位置繼續比較。

假設我們現在已經求得next[1]、next[2]、……next[i]，分別表示長度為1到i的字串的首碼和尾碼最大公用長度，現在要求next[i+1]。由我們可以看到，如果位置i和位置next[i]處的兩個字元相同（），則next[i+1]等於next[i]加1。如果兩個位置的字元不相同，我們可以將長度為next[i]的字串繼續分割，獲得其最大公用長度next[next[i]]，然後再和位置i的字元比較。這是因為長度為next[i]首碼和尾碼都可以分割成上部的構造，如果位置next[next[i]]和位置i的字元相同，則next[i+1]就等於next[next[i]]加1。如果不相等，就可以繼續分割長度為next[next[i]]的字串，直到字串長度為0為止。由此我們可以寫出求next數組的代碼（java版）：

public int[] getNext(String b){int len=b.length();int j=0;int next[]=new int[len+1];//next表示長度為i的字串首碼和尾碼的最長公用部分，從1開始next[0]=next[1]=0;for(int i=1;i<len;i++)//i表示字串的下標，從0開始{//j在每次迴圈開始都表示next[i]的值，同時也表示需要比較的下一個位置while(j>0&&b.charAt(i)!=b.charAt(j))j=next[j];if(b.charAt(i)==b.charAt(j))j++;next[i+1]=j;}return next;}

public void search(String original, String find, int next[]) {int j = 0;for (int i = 0; i < original.length(); i++) {while (j > 0 && original.charAt(i) != find.charAt(j))j = next[j];if (original.charAt(i) == find.charAt(j))j++;if (j == find.length()) {System.out.println("find at position " + (i - j));System.out.println(original.subSequence(i - j + 1, i + 1));j = next[j];}}}