[总结]KMP算法

最新推荐文章于 2023-07-01 17:52:01 发布
最新推荐文章于 2023-07-01 17:52:01 发布
阅读量424 收藏
点赞数
分类专栏： 编程
refer:

1. 原理
字符串匹配是计算机的基本任务之一。
举例来说，有一个字符串"BBC ABCDAB ABCDABCDABDE"，我想知道，里面是否包含另一个字符串"ABCDABD"？
许多算法可以完成这个任务，Knuth-Morris-Pratt算法（简称KMP）是最常用的之一。它以三个发明者命名，起头的那个K就是著名科学家Donald Knuth
这种算法不太容易理解，网上有很多解释，但读起来都很费劲。直到读到Jake Boxer的文章，我才真正理解这种算法。下面，我用自己的语言，试图写一篇比较好懂的KMP算法解释。
[总结]KMP算法
首先，字符串"BBC ABCDAB ABCDABCDABDE"的第一个字符与搜索词"ABCDABD"的第一个字符，进行比较。因为B与A不匹配，所以搜索词后移一位。
[总结]KMP算法

因为B与A不匹配，搜索词再往后移。
[总结]KMP算法

就这样，直到字符串有一个字符，与搜索词的第一个字符相同为止。
[总结]KMP算法
接着比较字符串和搜索词的下一个字符，还是相同。
[总结]KMP算法
直到字符串有一个字符，与搜索词对应的字符不相同为止。
[总结]KMP算法
这时，最自然的反应是，将搜索词整个后移一位，再从头逐个比较。这样做虽然可行，但是效率很差，因为你要把"搜索位置"移到已经比较过的位置，重比一遍。
[总结]KMP算法
一个基本事实是，当空格与D不匹配时，你其实知道前面六个字符是"ABCDAB"。KMP算法的想法是，设法利用这个已知信息，不要把"搜索位置"移回已经比较过的位置，继续把它向后移，这样就提高了效率。
[总结]KMP算法
怎么做到这一点呢？可以针对搜索词，算出一张《部分匹配表》（Partial Match Table）。这张表是如何产生的，后面再介绍，这里只要会用就可以了。

[总结]KMP算法
已知空格与D不匹配时，前面六个字符"ABCDAB"是匹配的。查表可知，最后一个匹配字符B对应的"部分匹配值"为2，因此按照下面的公式算出向后移动的位数：
　　移动位数 = 已匹配的字符数 - 对应的部分匹配值
因为 6 - 2 等于4，所以将搜索词向后移动4位。
[总结]KMP算法
因为空格与Ｃ不匹配，搜索词还要继续往后移。这时，已匹配的字符数为2（"AB"），对应的"部分匹配值"为0。所以，移动位数 = 2 - 0，结果为 2，于是将搜索词向后移2位。
[总结]KMP算法
因为空格与A不匹配，继续后移一位。
[总结]KMP算法
逐位比较，直到发现C与D不匹配。于是，移动位数 = 6 - 2，继续将搜索词向后移动4位。
[总结]KMP算法
逐位比较，直到搜索词的最后一位，发现完全匹配，于是搜索完成。如果还要继续搜索（即找出全部匹配），移动位数 = 7 - 0，再将搜索词向后移动7位，这里就不再重复了。
下面介绍《部分匹配表》是如何产生的。
首先，要了解两个概念："前缀"和"后缀"。 "前缀"指除了最后一个字符以外，一个字符串的全部头部组合；"后缀"指除了第一个字符以外，一个字符串的全部尾部组合。
[总结]KMP算法
"部分匹配值"就是"前缀"和"后缀"的最长的共有元素的长度。以"ABCDABD"为例，
　　－　"A"的前缀和后缀都为空集，共有元素的长度为0；
　　－　"AB"的前缀为[A]，后缀为[B]，共有元素的长度为0；
　　－　"ABC"的前缀为[A, AB]，后缀为[BC, C]，共有元素的长度0；
　　－　"ABCD"的前缀为[A, AB, ABC]，后缀为[BCD, CD, D]，共有元素的长度为0；
　　－　"ABCDA"的前缀为[A, AB, ABC, ABCD]，后缀为[BCDA, CDA, DA, A]，共有元素为"A"，长度为1；
　　－　"ABCDAB"的前缀为[A, AB, ABC, ABCD, ABCDA]，后缀为[BCDAB, CDAB, DAB, AB, B]，共有元素为"AB"，长度为2；
　　－　"ABCDABD"的前缀为[A, AB, ABC, ABCD, ABCDA, ABCDAB]，后缀为[BCDABD, CDABD, DABD, ABD, BD, D]，共有元素的长度为0。
[总结]KMP算法
"部分匹配"的实质是，有时候，字符串头部和尾部会有重复。比如，"ABCDAB"之中有两个"AB"，那么它的"部分匹配值"就是2（"AB"的长度）。搜索词移动的时候，第一个"AB"向后移动4位（字符串长度-部分匹配值），就可以来到第二个"AB"的位置。

2. C++源码 
<span style="color:#464646;">#include "stdafx.h"
#include
using namespace std;

void get_next(char*t, int next[ ]){
 int t_len=strlen(t);
 int i=0;         //求解每个next[i]
 next[0]=-1; //递推基本条件,然后求解next[i+1]
 int j=-1;     //向后递推位置下标
 </span><ol start="1" class="dp-cpp" style="padding: 0px; border: none; list-style-position: initial; list-style-image: initial; font-family: Consolas, "Courier New", Courier, mono, serif; margin: 0px 0px 1px 45px !important;"><li style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; background-color: rgb(249, 249, 249); line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> <span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;">/*</span> </span></li><li class="alt" style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"><span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> next[i]=k =>T0...Tk-1=Ti-k...Ti-1</span> </span></li><li style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; background-color: rgb(249, 249, 249); line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"><span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;">    求解next[i+1]</span> </span></li><li class="alt" style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"><span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> 1> 如果T0..Tk-1Tk=Ti-k...Ti-1Ti=>next[i+1]=k+1=next[i]+1;</span> </span></li><li style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; background-color: rgb(249, 249, 249); line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"><span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> 2>Tk<>Ti,next[k]=k', 如果Ti=Tk'=>next[i+1]=k'+1=next[k]+1=next[next[i]]+1;</span> </span></li><li class="alt" style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"><span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> 3>依次递推 最后情况next[i+1]=next[0]+1=0,即</span> </span></li><li style="border-top: none; border-right: none; border-bottom: none; border-left: 3px solid rgb(153, 153, 153); border-image: initial; list-style-type: decimal-leading-zero; list-style-image: initial; background-color: rgb(249, 249, 249); line-height: 18px; margin: 0px !important; padding: 0px 3px 0px 10px !important; list-style-position: outside !important;"><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"><span class="comment" style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> */</span><span style="margin: 0px; padding: 0px; border: none; background-color: inherit;"> </span></span></li></ol><span style="color:#464646;">
 while(i<t_len)
 {
   if(j==-1 ||t[i]==t[j])  //j==-1证明已经与t[0]不匹配了，此时next[i+1]=0
   {
    i++;
    j++;
    next[i]=j;
   }
   else
   {
       j=next[j]; 
   }
 }
}
int KMP(char *s,char *t){
 int s_len=strlen(s);
 int t_len=strlen(t);
 int i=0;
 int j=0;
 int *next=new int[t_len];
 get_next(t,next);
 if(t_len>s_len) return -1;
 <span class="keyword" style="margin: 0px; padding: 0px; border: none; color: green; font-weight: bold; font-family: Consolas, "Courier New", Courier, mono, serif;">while</span><span style="margin: 0px; padding: 0px; border: none; font-family: Consolas, "Courier New", Courier, mono, serif;">(i<s_len&&j<t_len){  </span>
  if(j==-1||s[i]==t[j]){
   i++;
   j++;
  }
  else{
  j=next[j];
  }
 }//end while
 if(j>=t_len)
  return i-j;
 else
  return -1;
}
int main(void)
 {
  char *s="abcdasdefghijklmnefgh";
  char *t="efgh";
  cout<<KMP(s,t)<<endl;
       return 0;
 }</span>



AliVirus
关注
专栏目录
KMP算法
Zllvincent的博客
06-19 458
一.简介 KMP算法是一种改进的字符串匹配算法，由D.E.Knuth，J.H.Morris和V.R.Pratt提出的，因此人们称它为克努特—莫里斯—普拉特操作（简称KMP算法）。KMP算法的核心是利用匹配失败字符前面已匹配字符计算跳转表，子串从跳转表获取下一次比较索引。 定义问题： 主串： s = S[0,1,2,…,n-1] 字符串长度为n 子串: p = P[0,1,…,m-1], 字符串长度为m且m<=n 暴力匹配 1.从主串的首字符开始，与模式串逐一进行匹配 2.匹配失败时主串回溯到开始匹配
kmp算法-基于C语言实现KMP算法.zip
05-16
《C语言实现KMP算法详解》 ...总结，KMP算法是字符串匹配领域的一个经典算法，通过构建部分匹配表实现了无回溯的高效搜索。C语言实现KMP算法，有助于我们理解其实现细节和工作原理，为实际编程提供了有力工具。
KMP算法总结
qq_46514141的博客
06-01 640
KMP算法（一）（对比暴力匹配算法） KMP算法（研究总结，字符串） KMP算法的作用是在A串中查找是否有B串的算法，时间复杂度为O(n+m)。原理是利用上次匹配的信息，这次匹配并不是从上一次A串中开始匹配的下一个位置开始，而是直接从上一次匹配的不匹配位置开始，且不是从头匹配B串，而是匹配B串中还未匹
KMP 算法详解
Hello World!
04-22 3万+
KMP算法是一种高效的字符串匹配算法，算法名称取自于三位共同发明人名字的首字母组合。该算法的主要使用场景就是在字符串（也叫主串）中的模式串（也叫子串）定位问题，常见的有“求子串出现的起始位置”、“求子串的出现次数”等。
图解KMP算法，带你彻底吃透KMP
qq_43869106的博客
01-23 4万+
KMP算法一直是一个比较难以理解的算法，本篇文章主要根据《大话数据结构》中关于KMP算法的讲解，结合自己的思考，对于KMP算法进行一个比较详细的解释。
数据结构KMP算法配图详解（超详细）
热门推荐
weixin_46007276的博客
02-18 21万+
前言 KMP算法是我们数据结构串中最难也是最重要的算法。难是因为KMP算法的代码很优美简洁干练，但里面包含着非常深的思维。真正理解代码的人可以说对KMP算法的了解已经相当深入了。而且这个算法的不少东西的确不容易讲懂，很多正规的书本把概念一摆出直接劝退无数人。这篇文章将尽量以最简单的方式介绍KMP算法以及他的改进，文章的开始我先对kmp算法的三位创始人Knuth,Morris,Pratt致敬，懂得这...
KMP算法详解
weixin_45746505的博客
11-03 3万+
KMP算法
KMP算法总结笔记
itbird的专栏
10-24 301
首先我们思考，在上述问题中，如果求解过程中，人为去求解的话，肯定不会这样一次一次的直接返回去对比，而是在T[i]!=P[j]时，首先会直接跳过前面已匹配过的字符串，例如：对比面对上述不匹配的情况时，暴力解法 《》我们现在想要直接进行的跳转的区别是，i并未动，直接把j移动到了0，这是我们需要去思考一个问题，眼睛可以直接看到，我们可以这样去移动，但是代码如何去设计呢？这个规律是如何找到的？
kmp算法总结
yewenhu的博客
07-25 275
kmp算法，是一种减少字符串匹配时复杂度的算法，本算法减少了两个字符串遇到不相等的情况是的匹配次数，也就是减少了主串的回溯次数，跳过了不必要的匹配，使原来的m*n的时间复杂度变成了m+n。 Kmp算法大致分为两个部分： 1：next数组 next数组，next数组记录了模式串前缀后缀的长度，求模式串的next数组是使用kmp算法的前提，也是根本，next数组的求法：首先定义一个函数，将所求模...
透彻理解KMP算法
cony的博客
07-01 271
字符串高效匹配——KMP算法
图解KMP算法
good good study, day day up!
04-09 575
KMP算法详解
详解小白之KMP算法及python实现
09-19
总结来说，KMP算法通过构建部分匹配表优化了字符串匹配过程，避免了不必要的回溯，从而提高了效率。在实际编程中，Python实现KMP算法通常会结合这个部分匹配表来进行迭代比较，使得在处理大量数据时能节省大量计算...
kmp算法-基于cuda实现kmp算法.zip
05-16
总结，CUDA实现的KMP算法结合了高效的字符串匹配算法和并行计算技术，实现了在海量数据中的快速查找，为解决大数据处理中的字符串匹配问题提供了新的思路。理解和掌握这一方法，对于深入理解并行计算和优化算法具有...
kmp算法-基于Rust实现kmp算法.zip
05-16
总结，KMP算法是字符串匹配领域的一个重要算法，通过构建部分匹配表实现了高效的查找。Rust的强类型和内存管理特性使得实现这个算法更加安全和简洁。通过理解和应用KMP算法，开发者可以在处理大量字符串数据时提高...
kmp算法-基于Java实现的kmp算法.zip
03-22
总结，KMP算法是一种高效的字符串搜索算法，其Java实现主要涉及部分匹配表的构建和基于此表的字符串匹配过程。在实际编程中，理解和熟练掌握KMP算法能够帮助我们解决许多字符串相关的问题，提高程序性能。
大学生职业生涯规划书Word模板范文就业求职简历应聘工作PPT医疗康复专业
最新发布
10-12
大学生职业生涯规划书Word模板范文就业求职简历应聘工作PPT医疗康复专业
基于Java的学生信息管理系统的实现与操作
10-12
本文介绍了一个Java实现的小型系统 -- 学生信息管理系统，包括学生数据的增删查改四个主要操作的功能演示，并具体讲解了涉及三个核心类（Student.java、StudentManager.java、StudentFrame.java）的设计思想以及代码逻辑。适合Java初学者用来了解面向对象的概念应用以及Swing工具包进行GUI创建的基础方法和步骤。系统通过提供文本框用于输入学生ID和其他必要信息，并提供按钮来执行对应指令，显示栏展示查询结果显示，使操作变得更为简洁直观有效。 适用于初步掌握Java基础的开发者，特别是想要加强自己对面向对象编码思维理解和运用的同学。 使用此管理系统可以在本地电脑环境上进行学生的数据维护工作（如增删改查），提高学校教务工作者处理信息的效率。 除了基本的数据录入和搜索之外，该项目也帮助理解如何设计合理的模型类并使用集合存储大量数据元素，另外还介绍了如何通过事件监听的方式绑定用户行为和应用程序之间的交互流程。
基于单片机控制的填块切割装置的设计_孟紫腾.pdf
10-12
基于单片机控制的填块切割装置的设计_孟紫腾
ImageNet-1K数据集索引和对应的中英文表单
10-12
ImageNet-1K数据集索引和对应的中英文表单
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值