【算法讲解】前缀函数（KMP的next函数）

     这里的主要目的是理解KMP算法中next[]数组的含义和实现过程：

前缀函数主要是求出模式串中的next数组，那么什么是模式串呢？模式串模式串的概念很简单。举个例子：“给出一个字符串 T，再给出 n 个字符串 S1、S2...Sn，问 S1、S2...Sn 中有哪些是 T 的子串？”在这个例子中，S1、S2...Sn 便是 n 个模式串，T便是被匹配串。模式串是用来与被匹配串匹配的。

其实，个人感觉，这里主要是理解next数组的意义：若模式串 P 的前 i 个字符组成的子串为S，那么S的前next[i]个字符’与‘S的后 next[i]个字符’相同。

如果理解了这个意思，那么这个前缀函数的模板就很好看懂了。

模板：

//T是被匹配的串。 //P是模式串。 //字符串都是从下标1开始的。 void COMPUTE_PREFIX_FUNCTION(char P[]) {     int m=strlen(P+1); //这里是因为要从P[ 1 ]开始输入字符串的    next[1]=0;     for(int k=0,q=2;q<=m;q++) //这段代码我感觉用通俗的语句说就是k是用来表示子串中前k个和后k个是相同的，q是用来遍历数组的需要    {         while(k>0&&P[k+1]!=P[q]) //如果P[k+1]和P[q]中字符不同说明匹配是失败，要把k的值重新退到next[ k ]，直到两者相同才停止。这样做的好处是没必要再重新从头再来，节约时间。            k=next[k];         if(P[k+1]==P[q])             k++;         next[q]=k;     } }