C语言kmp算法简单示例和实现原理探究
以前看过kmp算法，当时接触后总感觉好深奥啊，抱着数据结构的数啃了一中午，最终才大致看懂，后来提起kmp也只剩下“奥，它是做模式匹配的”这点干货。最近有空，翻出来算法导论看看，原来就是这么简单（下不说程序实现，思想很简单）。
模式匹配的经典应用：从一个字符串中找到模式字串的位置。如“abcdef”中“cde”出现在原串第三个位置。从基础看起
朴素的模式匹配算法
A：abcdefg B：cde
首先B从A的第一位开始比较，B++==A++，如果全部成立，返回即可；如果不成立，跳出，从A的第二位开始比较，以此类推。
/*
*侯凯,2014-9-16
*功能：模式匹配
*/
#include<iostream>
#include <string>
using namespace std;
int index(char *a,char *b)
{
int tarindex = 0;
while(a[tarindex]!='\0')
{
int tarlen = tarindex;
int patlen;
for(patlen=0;b[patlen]!='\0';patlen++)
{
if(a[tarlen++]!=b[patlen])
{
break;
}
}
if(b[patlen]=='\0')
{
return tarindex;
}
tarindex++;
}
return -1;
}
int main()
{
char *a = "abcdef";
char *b = "cdf";
cout<<index(a,b)<<endl;
system("Pause");
}
思路朴实无华，十分有效，但是时间复杂度是O(mn)，m、n分别是字符串和模式串的长度。模式匹配是一个常见的应用问题，用的广了，就有人想法去优化了。Rabin-Karp算法、有限自动机等等，前仆后继，最终出现了KMP(Knuth-Morris-Pratt)算法。
kmp算法
优化的地方：如果我们知道模式中a和后面的是不相等的，那么第一次比较后，发现后面的的4个字符均对应相等，可见a下次匹配的位置可以直接定位到f了。说明主串对应位置i的回溯是不必要的。这是kmp最基本最关键的思想和目标。
再比如：
由于abc 与后面的abc相等，可以直接得到红色的部分。而且根据前一次比较的结果，abc就不需要比较了，现在只需从f-a处开始比较即可。说明主串对应位置i的回溯是不必要的。要变化的是模式串中j的位置（j不一定是从1开始的，比如第二个例子）
j的变化取决于模式串的前后缀的相似度，例2中abc和abc（靠近x的），前缀为abc，j=4开始执行。
j是前一次执行的模式子串（前几个，上例为6）中前缀的个数+1；它与模式字串中从前向后的前缀和从后向前的后缀的相同子串是有关系的，因为下次这部分相同的前缀就会移动到这部分后缀的位置，因为如果移动到后缀的前面位置，看图：
所以如果这次是j，下次的位置应该就是j前面的子串的最大前缀的长度+1,用这个新的位置再和原字符串的i位置进行比较就很幸福了。
这次是j，下次到底是多少呢，这就涉及到怎么计算的问题了？其实只看模式串我们就可以构建出这个j->x的关系，关系称为前缀函数，结果存储在数组中，称为前缀数组。
伪代码：
compiter-prefix-function(P)
m<-length[p]
pi[1]<-0
k<-0
for q<-2 to m
do while k>0 and P[k+1]!=P[q]
do k<-pi[k] //前缀的前缀...
if P[k+1]==P[q]
then k<-k+1
pi[q]<-k
return pi
使用前缀数组可很快地实现模式匹配，程序匹配字符串中模式出现的所有位置。
kmp-matcher(T, P)
n<-length[T]
m<-length[P]
pi<-compiter-prefix-function(P)
q<-0
for i<-1 to n
do while q>0 and P[q+1]!=T[i]
do q<-pi[q] //前缀的前缀...
if P[q+1]==T[i]
then q<-q+1
if q==m
then print “Pattern occurs with shift”i-m
q<-pi[q]
这两段代码思想完全相同,如果和前缀不同就比较前缀的前缀…，比较巧妙。如果kmp有难理解的地方，估计就是这段伪码的了。
KMP算法的时间复杂度为O(n+m)。
这里需要强调一下，KMP算法的仅当模式与主串之间存在很多部分匹配情况下才能体现它的优势，部分匹配时KMP的i不需要回溯，否则和朴素模式匹配没有什么差别。
相关文章
虚函数表，以及虚函数指针是实现多态性（Polymorphism）的关键机制，这篇文章主要介绍了C++中虚表是什么意思(概念及示例),需要的朋友可以参考下2024-03-03
Visual Studio 2022 安装低版本 .Net Framework的图文教程
这篇文章主要介绍了Visual Studio 2022 如何安装低版本的 .Net Framework,首先打开 Visual Studio Installer 可以看到vs2022 只支持安装4.6及以上的版本，那么该如何安装4.6以下的版本，下面将详细介绍，需要的朋友可以参考下2022-09-09
数据库分页展示，在所有的涉及到数据库记录的项目中都是需要的。本文将利用Qt实现通用数据库的分页展示，感兴趣的小伙伴可以跟随小编学习一下2022-02-02
c++中编译器替我们完成了许多事情，我们可能不知道，但也可能习以为常2013-01-01
这篇文章主要为大家详细介绍了Qt中对话框的使用，以及QMessageBox类中常见函数的使用，文中的示例代码讲解详细，感兴趣的小伙伴可以学习一下2022-11-11
sockpp是一个开源、简单、现代的C++套接字库,这篇文章主要为大家详细介绍一下套接字库sockpp的使用,文中的示例代码讲解详细,感兴趣的小伙伴可以学习一下2023-11-11
这篇文章主要介绍了C语言中函数的声明、定义及使用的入门教程,重点讲述了main函数的相关知识,需要的朋友可以参考下2015-12-12
C++中没有直接提供求数组长度的方法,提供了sizeof(),begin(),end()等方法,可以供求数组长度使用,文中通过代码示例给大家讲解的非常详细,具有一定的参考价值,需要的朋友可以参考下2023-12-12
类多么重要我就不多说了，只讲讲学习，因为个人认为类的学习无论从概念的理解还是实际代码的编写相对其他C兼容向的代码都是比较有难度的， 对于以前学C 的人来说这才是真正的新概念和内容，STL其实还比较好理解，不就是一个更大的函数库和代码可以使用嘛。2015-06-06
Sublime Text 3 实现C语言代码的编译和运行(示例讲解)
下面小编就为大家带来一篇Sublime Text 3 实现C语言代码的编译和运行(示例讲解)。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧2017-09-09
最新评论