【408笔记-数据结构】KMP的next数组与nextval数组

最新推荐文章于 2025-06-01 12:03:32 发布

YanKeyon

最新推荐文章于 2025-06-01 12:03:32 发布

阅读量944

点赞数

CC 4.0 BY-SA版权

分类专栏：数据结构文章标签：数据结构 KMP

本文链接：https://blog.csdn.net/Lonelyooacz/article/details/112647871

数据结构专栏收录该内容

2 篇文章

订阅专栏

本文详细讲解了KMP算法中的nextval数组，如何通过改进next数组处理子串回退问题，以及如何手算nextval数组。重点介绍了如何在子串与主串失配时更高效地定位并回溯。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

如何计算next数组：

计算子串的部分匹配值
如果规定next[1] = -1，则将部分匹配值全部右移一位，左补-1
如果规定next[1] = 0，则将部分匹配值全部右移一位，左补-1的基础上，再全部加1

如果规定next[1] = 0，则next[j]数组的意义：在子串的第j个字符与主串发生失配时，则跳到子串的next[j]位置重新与主串当前位置进行比较。

void get_next(String T, int next[]) {
		int i = 1, j = 0;
		next[1] = 0;
		while (i < T.length) {
				if (j == 0 || T.ch[i] == T.ch[j]) {
						++i; ++j;
						next[i] = j; // 若pi = pj，则next[j+1]=next[j]+1
				} else {
						j = next[j]; // 否则令j=next[j]
				}
		}
}

int Index_KMP(String S, String T, int next[]) {
		int i = 1, j = 1;
		while (i <= S.length && j <= T.length) {
				if (j == 0 || S.ch[i] == T.ch[j]) {
						++i; ++j; // 继续比较后继字符
				} else {
						j = next[j]; // 模式串向右移动
				}
		}
		if (j > T.length) {
				return i-T.length; // 匹配成功
		} else {
				return 0;
		}
}

KMP算法改进—nextval数组

当子串为aaaab，主串为aaabaaaab，在第4个元素失配，此时子串回退，但回退的后的元素必定还是失配的，所以对此进行改进，优化next数组。

如果 $p_j = p_{next[j]}$ ，那么回退到 $p_{next[j]}$ 必然失配，此时将 $n e x t [j]$ 修正为 $n e x t [n e x t [j]]$ ，直到两者不相等为止，更新后的数组命名为nextval

void get_nextval(String T, int nextval[]) {
	int i = 1, j = 0;
	nextval[1] = 0;
	while (i < T.length) {
			if (j == 0 || T.ch[i] == T.ch[j]) {
					++i; ++j;
					if (T.ch[i] != T.ch[j]) nextval[i] = j;
					else nextval[i] = nextval[j];
			} else {
					j = nextval[j];
			}
	}
}