next数组c语言,KMP算法next数组详解

==> 学习汇总(持续更新)

==> 从零搭建后端基础设施系列(一)-- 背景介绍

KMP算法的核心就是利用已匹配的信息来指导模式串的匹配。这里的已匹配信息叫做部分匹配表，也叫做next数组。其存储的是字符串的前缀后缀重合部分的字符数。以此来控制模式串的移动位数。

next数组生成的步骤：

假设模式串是“ABABABB”

**前缀：**除最后一个字符外，例如，A、AB、ABA、ABAB、ABABA、ABABAB

**后缀：**除第一个字符外，例如，B、BB、ABB、BABB、ABABB、BABABB

1.字符串“A”无前缀后缀，所以next[1]=0 (至于为什么next数组从1开始，代码会讲到，暂且不要纠结)

2.字符串“AB”前缀“A”和后缀“B”不相等，所以 next[2]=0

3.字符串“ABA”前缀“A”和后缀“B”相等，所以 next[3]=1

4.字符串“ABAB”前缀“AB”和后缀“AB”相等，所以 next[4]=2

5.字符串“ABABA”前缀“ABA”和后缀“ABA”相等，所以 next[5]=3

6.字符串“ABABAB”前缀“ABAB”和后缀“ABAB”相等，所以 next[6]=4

因为最后一个并无指导意义，所以不需理它。

接下来看详细的代码：

/*

* function 生成部分匹配表，next数组

* paramsubStr模式串，子串

* param next next数组，部分匹配信息表

* param len next数组的长度，一般就是模式串的长度

* return 无

*/

void GetNext(const char* subStr, int* next, int len)

{

memset(next, 0, len);

int prefix = -1; //前缀

int suffix = 0; //后缀

next[0] = -1; //第一个元素只是用来控制prefix和suffix后移的

while (suffix < len - 1)//当比较到最后一个字符的时候退出循环

{

/*

当prefix == -1的时候表示要从prefix=0，suffix=1开始比较

若prefix ！= -1，表示前缀和后缀已经有重合的了，接着往后移比较

例如：subStr="ABABABB"

1.prefix=-1,往后移，prefix=0，suffix=1，next[1] = 0,表示字符串‘A’前缀后缀无重合

2.prefix=0,比较subStr[0]和subStr[1]('A'和'B'),不相等，把prefix重新置为next[prefix](next[0]==-1)

3.prefix=-1,往后移，prefix=0，suffix=2，next[2] = 0,表示字符串‘AB’前缀后缀无重合

4.prefix=0，比较subStr[0]和subStr[2]('A'和'A'),相等，继续往后移，prefix=1，suffix=3，next[3]=1

表示字符串"ABA"有一个字符前缀后缀相等('A'和'A')

5.prefix=1，比较subStr[1]和subStr[3]('B'和'B'),相等，继续往后移，prefix=2，suffix=4,next[4]=2

表示字符串"ABAB"有两个字符前缀后缀相等('AB'和'AB')

6.prefix=2，比较subStr[2]和subStr[4]('A'和'A'),相等，继续往后移，prefix=3，suffix=5,next[5]=3

表示字符串"ABABA"有三个字符前缀后缀相等('ABA'和'ABA')

7.prefix=3，比较subStr[3]和subStr[5]('B'和'B'),相等，继续往后移，prefix=4，suffix=6,next[6]=4

表示字符串"ABABAB"有四个字符前缀后缀相等('ABAB'和'ABAB')

8.当suffix=6最后一个的时候，就不需要比较了，因为KMP算法中最后一个并无指导匹配的作用,因为一旦前6个匹配成功，最后一个

就算不成功，用到的也是前一个的部分匹配信息，若是成功那就直接返回了，所以求next数组的时候，最后一个的信息省略

*/

if (prefix == -1 || subStr[prefix] == subStr[suffix])

{

++prefix, ++suffix;

next[suffix] = prefix;

printf("%d ", next[suffix]); //测试用，可删除

}

else

prefix = next[prefix];

}

printf("\n"); //测试用，可删除

}

测试结果如图：

顺序表的动态增长(C++、JAVA)

栈、递归、循环的关系(C++、JAVA)

栈应用之中缀转后缀表达式计算(C++、JAVA)

栈应用之中缀转后缀表达式(C语言版)

约瑟夫问题详解+源码

线性表之循环队列

线性表之链队列

线性表之顺序队列

线性表之链栈

线性表之顺序栈

线性表之双向链表

线性表之循环链表

线性表之单链表

线性表之顺序表