数据结构与算法基础（王卓）（18）：KMP算法详解（代码实现及细节、问题）

已于 2023-05-04 09:11:05 修改
阅读量802 收藏 4
点赞数
分类专栏： 数据结构（王卓） 文章标签： 算法 数据结构 c++
于 2023-03-11 16:38:46 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Zz_zzzzzzz__/article/details/129464442
版权

目录

具体细节、问题：

（1）：关于写Get_next函数的标题：

（2）：关于Get_next函数中k的初值：

（3）：关于KMP函数里，next数组赋初值 和 调用Get_next函数的语句的问题：

问题（3）的收获：

用next最终实现KMP算法的结果：

为什么不能使用引用：

（4）：传值问题（小结）

（5）：为什么地址（指针）传值的时候及调用函数的时候不能写next[]

（6）：调用Get_next函数是否必要

PART 2：关于nextval[ j ]

书上的答案：

我觉得还是天勤写的、我写的好一点：

虽然书上的空间小，写的函数少，但是不如我写的这个结构清晰呀

具体怎么回事我不想多BB了，详见：

 

 实现代码的过程中

具体细节、问题：

（1）：关于写Get_next函数的标题：

现象：

PPT上写的是：

void get_next(SString T, int &next[])

然而并不能运行，而当我们去掉了引用符号（&）以后：

void get_next(SString T, int next[])

却可以运行，但是这里引用的符号就代表着把数据传回（给）主函数，所以最好不要省略

//&：返回所有我们算出的next[]

原因：

数组不能采用引用格式来传值

根本不存在“元素都是引用的数组”：

本身数组就是用他的首地址来传值的，其首地址代表一大串数组的信息和地址（位置）

而引用传值只是给变量取了一个别名来传值，自然不能无法整个数组的值

总得来说就是一个格式的问题

（2）：关于Get_next函数中k的初值：

	int j = 0,//从头开始算起
		k = -1;
	next[0] = -1;//根据公式

一开始我们想令 k = 0; ，后面真的想去运行以后发现不可以：

根据公式和算法设计，即使是MAX[k]也必须要小于j

（3）：关于KMP函数里，next数组赋初值 和 调用Get_next函数的语句的问题：

不同版本不同教材的不同写法：

 网课（PPT）：

	int i = pos, j = 1;

没有给next数组赋初值

也没有调用Get_next函数

啥也没有，主打的就是一个陪伴

乐

这样是肯定不行的：

书上：

	int next[MAXLEN];
	int i = pos, j = 1;
	Get_next(T, next);

给next数组赋初值

调用Get_next函数，但是里面写的是next而非next[]

结果：

把书上的改进为：

给next数组赋初值

调用Get_next函数，并且写next[]

	int next[MAXLEN];
	int i = pos, j = 1;
	Get_next(T, next[]);

结果也不行：

到这里，我们似乎已经山穷水尽，走投无路了

这个时候多和同学沟通交流就成了关键，于是我们又有了如下进展，这也是我们最终最重要的

问题（3）的收获：

（1）：首先：

给next数组赋初值不能少毋庸置疑，没有可能说有那个变量能够不赋初值就直接进行运算操作的

所以PPT上的情况肯定是不行的（差评）

（2）：对于书上写的这种情况：

如果我们不要这个Get_next函数的引用符号（不再采用引用传值）

采用实参形参传值，即将其定义的抬头改为：

void Get_next(SString T, int next[])

程序即可成功正确运行：（完整程序如下）这也正是我们

用next最终实现KMP算法的结果：

#include<iostream>
using namespace std;

typedef int Status;
#define MAXLEN 255

struct SString
	//Sequence String
{
	char ch[MAXLEN + 1]; //存储串的一维数组
	int length; //串的当前长度长度
};

void Get_next(SString T, int next[])
//给你一个子串T，教你逐个算出每个位序对应的next[]
{
	int j = 0,//从头开始算起
		k = -1;
	next[0] = -1;//根据公式
	while (j <= T.length - 1)//因为位序从0（而非1）开始
	{
		if (k == -1 || T.ch[k] == T.ch[j])
		{
			j++;
			k++;
			next[j] = k;
		}
		else
			k = next[k];
	}
}

int Index_KMP(SString S, SString T, int pos)
{
	int next[MAXLEN];
	Get_next(T, next);
	int i = pos, j = 1;
	while (i <= S.length && j <= T.length)
	{
		if (S.ch[i] == T.ch[j])
		{
			++i; ++j;
		}//主串和子串依次匹配下一个字符
		else

			j = next[j];
	}
	if (j > T.length)
		return i - T.length; //匹配成功
	else
		return 0;
}

int main()
{

}

同样的，我们不采用引用，我们也还可以采用地址传值，将其定义Get_next的抬头改为：

void Get_next(SString T, int *next)

程序即可成功正确运行：（完整程序如下）

#include<iostream>
using namespace std;

typedef int Status;
#define MAXLEN 255

struct SString
	//Sequence String
{
	char ch[MAXLEN + 1]; //存储串的一维数组
	int length; //串的当前长度长度
};

void Get_next(SString T, int *next)
//给你一个子串T，教你逐个算出每个位序对应的next[]
{
	int j = 0,//从头开始算起
		k = -1;
	next[0] = -1;//根据公式
	while (j <= T.length - 1)//因为位序从0（而非1）开始
	{
		if (k == -1 || T.ch[k] == T.ch[j])
		{
			j++;
			k++;
			next[j] = k;
		}
		else
			k = next[k];
	}
}

int Index_KMP(SString S, SString T, int pos)
{
	int next[MAXLEN];
	Get_next(T, next);
	int i = pos, j = 1;
	while (i <= S.length && j <= T.length)
	{
		if (S.ch[i] == T.ch[j])
		{
			++i; ++j;
		}//主串和子串依次匹配下一个字符
		else

			j = next[j];
	}
	if (j > T.length)
		return i - T.length; //匹配成功
	else
		return 0;
}

int main()
{

}

为什么不能使用引用：

其实原因我们可能意想不到，在前面的问题（1）当中其实就已经有能解释该现象原因的解答了：

数组不能采用引用格式来传值

根本不存在“元素都是引用的数组”：

本身数组就是用他的首地址来传值的，其首地址代表一大串数组的信息和地址（位置）

而引用传值只是给变量取了一个别名来传值，自然不能（无法）传递整个数组的值

所以只要我们不用引用传数组，自然不会出问题

然而的虽然得到了标准答案，我们还有新的问题没有解决：

（4）：传值问题（小结）

 根据同学提醒，这里其实我们很有必要举一反三，重新温习一下

如果想要通过调用函数功能传达改变的值，除了数组以外的变量，不要用形参实参传值

否则会产生最后数值没变的结果

（5）：为什么地址（指针）传值的时候及调用函数的时候不能写next[]

next 既代表整个数组，也代表这个数组的头指针

地址传值：

next 前面已经加了 * 符号，再加 [ ]  就相当于要求接收**next类型的实参数据了，显然不符合我们的出发点

调用函数：

这方面其实我也不是很确定：

显然从设计程序的角度而言，我们清楚地知道这个位置需要的是一个数组的首地址，也就是这个数组的头指针

（我觉得）因为next[]无法代表这个数组的首地址，而直接写数组的名称next肯定是鞥狗代表整个数组（也包括首地址）的

另外，我觉得一定要写出next[]形式的首地址的话，其形式效果相当于：&next[0]

（6）：调用Get_next函数是否必要

理论上应该是没有调用数据就传不进去，具体有待验证

PART 2：关于nextval[ j ]

书上的答案：

#include<iostream>
using namespace std;
 
typedef int Status;
#define MAXLEN 255
 
struct SString
	//Sequence String
{
	char ch[MAXLEN + 1]; //存储串的一维数组
	int length; //串的当前长度长度
};
 
void Get_nextval(SString T, int nextval[])
//给你一个子串T，教你逐个算出每个位序对应的next[]
{
	int j = 0,//从头开始算起
		k = -1;
	nextval[0] = -1;//根据公式
	while (j <= T.length)
	{
		if (k == -1 || T.ch[k] == T.ch[j])
		{
			j++;
			k++;
			if (T.ch[k] != T.ch[j])
				nextval[j] = k;
			else
				nextval[j] = nextval[k];
		}
		else
			k = nextval[k];
	}
}
 
int Index_KMP(SString S, SString T, int pos)
{
	int nextval[MAXLEN];
	Get_nextval(T, nextval);
	int i = pos, j = 1;
	while (i <= S.length && j <= T.length)
	{
		if (S.ch[i] == T.ch[j])
		{
			++i; ++j;
		}//主串和子串依次匹配下一个字符
		else
			j = nextval[j];
	}
	if (j > T.length)
		return i - T.length; //匹配成功
	else
		return false;
}
 
int main()
{
 
}

我觉得还是天勤写的、我写的好一点：

#include<iostream>
using namespace std;

typedef int Status;
#define MAXLEN 255

struct SString
	//Sequence String
{
	char ch[MAXLEN + 1]; //存储串的一维数组
	int length; //串的当前长度长度
};

void Get_next(SString T, int next[])
//给你一个子串T，教你逐个算出每个位序对应的next[]
{
	int j = 0,//从头开始算起
		k = -1;
	next[0] = -1;//根据公式
	while (j <= T.length - 1)//因为位序从0（而非1）开始
	{
		if (k == -1 || T.ch[k] == T.ch[j])
		{
			j++;
			k++;
			next[j] = k;
		}
		else
			k = next[k];
	}
}


void Get_nextval(SString T, int nextval[],int next[])
//给你一个子串T，教你逐个算出每个位序对应的next[]
{
	int j = 0,//从头开始算起
		k = -1;
	next[0] = -1;
	nextval[0] = -1;//根据公式
	while (j <= T.length)
	{
		if (k == -1 || T.ch[k] == T.ch[j])
		{

			if (T.ch[j + 1] != T.ch[next[j + 1]])//next[j+1] = k;
				nextval[j + 1] = next[j + 1];//k;
			else
				nextval[j + 1] = nextval[next[j + 1]];//nextval[k];
			j++;
			k++;
		}
		else
			k = nextval[k];
	}
}

int Index_KMP(SString S, SString T, int pos)
{
	int nextval[MAXLEN];
	int next[MAXLEN];
	Get_nextval(T, nextval,next);
	int i = pos, j = 1;
	while (i <= S.length && j <= T.length)
	{
		if (S.ch[i] == T.ch[j])
		{
			++i; ++j;
		}//主串和子串依次匹配下一个字符
		else
			j = nextval[j];
	}
	if (j > T.length)
		return i - T.length; //匹配成功
	else
		return false;
}

int main()
{

}

虽然书上的空间小，写的函数少，但是不如我写的这个结构清晰呀

具体怎么回事我不想多BB了，详见：

数据结构与算法基础（王卓）（17）：KMP算法详解（精讲（最简单、直接、有效的思路方法，答案以及代码原理）_宇 -Yu的博客-CSDN博客

宇 -Yu
关注
专栏目录
数据结构-KMP算法详解
qq_44081639的博客
10-17 585
设文本串为T[]，欲匹配模式串为P[]，文本串长度为n，模式串长度为m，则匹配过程中一次失配情况如下： 此时原文本串T[]可以划分为四个部分：已匹配子串的前缀、已匹配子串、失配字符X和失配字符的后缀子串。同理模式串P[]可划分为前缀、失配字符Y和后缀三部分。KMP算法的核心就在于如何在模式串的前缀中找到合适的字符作为下一次匹配过程的新起点，而不是简单的从模式串的起始位置重新开始匹配，从而减少匹配次数，提高效率。 构造查询表next[0,m) 为确定模式串下一次匹配过程的新起点，可以事先构造查询表next[
DataStructure-Algorithmics:数据结构与算法基础（青岛大学-王卓）
04-12
数据结构与算法基础是计算机科学的核心课程之一，它关乎如何高效地存储、组织和操作数据。这门课程，由青岛大学的王卓教授讲授，旨在深入理解和掌握这些关键概念，为日后的软件开发和问题解决奠定坚实的基础。 在...
kmp算法的代码实现
11-17
数据结构、kmp算法、代码实现、KMP(char *P,char *T,int *N,int start)
根据王卓老师数据结构课程编写代码（python）
qq_45141592的博客
03-31 1882
import copy import collections nums = [3,5,1,9,2,4,6,8] 排序 快速排序 def partition(nums, p, q): x = nums[p] i = p for j in range(p+1, q+1): if nums[j] <= x: i += 1 nums[i], nums[j] = nums[j], nums[i] nums...
青岛大学王卓老师数据结构——C++实现KMP算法
qq_38307826的博客
07-08 720
我也不是很懂，以后懂了再来改吧。 #include <iostream> #include <string> using namespace std; int* GetNext(string T) { int *next = new int; int i = 1; int j = 0; next[1] = 0; while (i < T.length()) { if (j == 0 || T[i] == T[j]) { i++; j++;
KMP算法代码实现
kai_ITthinker的专栏
03-30 771
KMP算法，看了好久，才写出代码，理解起来有点难度，后来在捋顺了关系后，再回顾就没有之前那样困难了 KMP算法的关键在于求next，而next的计算则在于前缀字符串的计算，将问题分解，先求出f(最大前缀字符串)，之后再求next KMP是一个单模匹配算法，时间复杂度为O(m)，其中m是带搜索目标串的长度。 写出KMP算法代码，主要参考了2篇文章，在本处附上： https://w
[数据结构与算法基础] KMP算法讲解
最新发布
m0_65426912的博客
07-18 809
KMP算法是一种高效的字符串匹配算法，由Knuth、Morris和Pratt三位计算机科学家于1977年提出。KMP算法通过在匹配过程中利用已部分匹配的信息来避免不必要的字符比较，从而显著提高了字符串匹配的效率。我们把模式串PPP中各个位置的jjj值的变化定义为一个数组 next。顾名思义，next数组表示jjj值的下一跳（下一步回退到哪儿）的值。对于长度为jjj，从1开始计数的字符串而言，第kkk个位置是从头数第kkk个字符，第j−kj-kj−k是从结尾数第kkk。
青岛大学王卓数据结构与算法课程PPT截图
02-17
数据结构与算法是计算机科学中的核心课程，它们是理解和解决复杂计算问题的基础。青岛大学的王卓教授的这门课程，通过PPT的形式，深入浅出地讲解了这些关键概念。 首先，我们从"绪论"开始。绪论部分通常会介绍数据...
KMP算法基础知识，数据结构
12-28
KMP算法基础知识，数据结构
青岛大学王卓老师数据结构——C++实现BF算法
qq_38307826的博客
07-08 314
#include <iostream> using namespace std; #include <string> int BF(string str, string temp) { int i = 0; int j = 0; //如果i和j是从1开始匹配的，此处的循环条件应该加上等于号 while (i < (int)str.length() && j < (int)temp.length()) { if (str[i] == te
KMP算法以及代码实现
路漫漫其修远兮，吾将上下而求索
07-04 911
算法原理剖析介绍：KMP算法原理package pkg; public class KMP { public static void main(String[] args) { char[] s1={'B','B','C',' ','A','B','D','D','A','B',' ','A','B','C','D','A','B','C','D','A','B','D
数据结构KMP算法详解
强哥的微博
06-28 3146
KMP算法的改进可以简述为： 如果a位字符与它next值指向的b位字符相等，则该a位的nextval就指向b位的nextval值，如果不等，则该a位的nextval值就是它自己a位的next值。我们一开始想到的是暴力求解，我们是将子串和主串逐一匹配，如果第一个字符相等就继续匹配第二个字符，直到子串与主串全都匹配成功，就返回子串的位置，一旦其中某两个字符匹配不成功，主串就回到开始匹配字符的下一字符，而子串回到第一字符。这个例子中当‘b’与‘c’不匹配时应该‘b’与’c’前一位的‘a’比,这显然是不匹配的。
数据结构与算法基础青岛大学王卓老师视频截图PPT第5-8章
10-10
数据结构与算法是计算机科学中的核心课程，它们是理解和解决复杂计算问题的基础。这组资料来自青岛大学王卓老师的视频截图PPT，涵盖了第5至第8章的内容。以下是这四章中的主要知识点： 第5章：栈和队列 栈是一种...
数据结构KMP算法详解---C++完整代码实现
Gofor.
04-16 2031
学了两天的KMP算法，总算有了自己的一点理解，写在这里做个记录了，也与各位大神交流，期待大神的指正! AC代码： #include <iostream> #include <cstring> using namespace std; #define MaxSize 255 // 串的最大长度 // 串的定长顺序存储结构 typedef struct { char ch[MaxSize+1]; // 存储串的一维数组 int length; // 串
【青岛大学】王卓老师数据结构_线性表代码
m0_65592409的博客
04-20 722
线性结构源码： #define TRUE 1 #define FALSE 0 #define OK 1 #define ERROR 0 #define INFESIBLE -1 #define OVERFLOW -2 typedef int Status; typedef char ElemType; //线性表L的初始化(参数用引用) Status InitList_Sq(SqList &L){ //构造一个空的顺序表L L.elem = new ElemType[MAXSIZE];
KMP 算法详解及代码实现
W24的博客
10-16 1298
文章目录KMP 算法详解及代码实现KMP 有什么用朴素模式匹配算法—Brute Force 算法KMP 算法主要思想前缀表（next数组）的计算方法KMP 算法实现 KMP 算法详解及代码实现 KMP 有什么用 KMP（Knuth，Morris和Pratt这三位发明者的首字母）算法，用于模式匹配（字符串匹配）： 给定字符串 S0S1...Sn−1S_0S_1...S_{n-1}S0​S1​...Sn−1​，和模式串 T0T1...Tm−1T_0T_1...T_{m-1}T0​T1​...Tm−1​，在字符串
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值