KMP算法关键
Knuth-Morris-Pratt Algorithm
当初写这个博客之后一年多,再次看发现当初并不是完全弄明白了。这里为了“避免重复制造轮子”,引用大神博客。
http://blog.csdn.net/v_july_v/article/details/7041827
特殊的 next[ ] 数组
next数组相当于“最大长度值”(前缀后缀的最大公共元素长度) 整体向右移动一位,然后初始值赋为-1
求next数组
//优化过后的next 数组求法 void GetNextval(char* p, int next[]) { int pLen = strlen(p); next[0] = -1; int k = -1; int j = 0; while (j < pLen - 1) { //p[k]表示前缀,p[j]表示后缀 if (k == -1 || p[j] == p[k]) { ++j; ++k; if (p[j] != p[k]) next[j] = k; //之前只有这一行 else //因为不能出现p[j] = p[ next[j ]],所以当出现时需要继续递归,k = next[k] = next[next[k]] next[j] = next[k]; } else { k = next[k]; } } }
注意:有了上面的这段代码效率更高
if (p[j] != p[k]) next[j] = k; //之前只有这一行 else //因为不能出现p[j] = p[ next[j ]],所以当出现时需要继续递归,k = next[k] = next[next[k]] next[j] = next[k];
具体原理如下:
当两个字符串为下面所示的情况:
右移2位后,b又跟c失配。事实上,因为在上一步的匹配中,已经得知p[3] = b,与s[3] = c失配,而右移两位之后,让p[ next[3] ] =p[1] = b再跟s[3]匹配时,必然失配。问题出在哪呢?
匹配函数
int KmpSearch(char* s, char* p) { int i = 0; int j = 0; int sLen = strlen(s); int pLen = strlen(p); while (i < sLen && j < pLen) { //①如果j = -1,或者当前字符匹配成功(即S[i] == P[j]),都令i++,j++ if (j == -1 || s[i] == p[j]) { i++; j++; } else { //②如果j != -1,且当前字符匹配失败(即S[i] != P[j]),则令 i 不变,j = next[j] //next[j]即为j所对应的next值 j = next[j]; } } if (j == pLen) return i - j; else return -1; }