Kmp算法

设主串(下文中我们称作T)为:a b a b b a b a b a d a b a b a a a b a b a a

模式串(下文中我们称作S)为:a b a b a a a b a b a a

                                      nest[i] : -1 0 0 1 2 3 1 1 2 3 4 5

三个数组我们都从0开始,到他们的长度减一。

当用暴力的算法时,我们会把T[1]与S[1]比较直到T[4]时不再匹配,然后将串S与T的第二个元素比较,可见该种暴力算法的复杂度为o(m*n)。

而KMP算法不再一个一个的匹配,而是尽量的将模式串右移进行比较,将复杂度降低为O(m+n),下面我们看右移距离的原理:在已经匹配的模式串子串中,找出最长的相同的前缀和后缀,然后移动使它们重叠,当到S[i]不匹配时,将S串向右移动i-next[i]位。

模式串子串最长且相同的前缀和后缀的求法:

注意:1.当只有一个元素时,对应的的最长的相同的前缀和后缀为-1

          2.前缀与后缀不能重叠也不能重合

就以模式串S为例,S[2]对应子串为ab,由于前缀与后缀不能重合,故最长的相同的前缀和后缀长度为0,S[3]也与S[2]相同,S[4]对应的子串为abab,前缀可以是a,ab,aba对应的后缀为b,ab,bab,故最长的相同的前缀和后缀对应的子串长为2,以此类推。

得出next数组的值为:-1 0 0 1 2 3 1 1 2 3 4 5,放到S数组下面。

Kmp算法匹配的过程:

T      a b a b b a b a b a d a b a b a a a b a b a a      
S......a b a b a a a b a b a a                         i=4,4-next[4]=2,右移2个单位
1............a b a b a a a b a b a a                     i=2,2-next[2]=2,右移2个单位
2................. a b a b a a a b a b a a               i=0,0-next[0]=1,右移1个单位
3.....................a b a b a a a b a b a a       i=5,5-next[5]=2,右移2个单位
4...........................a b a b a a a b a b a a     i=3,3-next[3]=2,右移2个单位
5.................................a b a b a a a b a b a a       i=1,1-next[1]=1,右移1个单位
6....................................a b a b a a a b a b a a   i=0,0-next[0]=1,右移1个单位
7.......................................a b a b a a a b a b a a 匹配成功!

当s[i]与T[i]不匹配时,右移i-next[i]个单位。

下面说一下next数组建立函数:

void GETNEXT(char *S, int m) //S为数组S[i],m为数组S的长度//
{
    int i = 0, j = -1;
    next[0] = -1;
    while(i < m) 
   {
        if(j == -1 || S[i] == S[j]) 
	{
            next[++i] = ++j;
        }
        else 
	{
            j = next[j];
        }
    }
}//自己在纸上画一遍过程,就懂了//
下面看串的匹配:
int Kmp(char* t, int n, char* s, int m)//n为T的长度,m为S的长度//
{
    int i = 0, j = 0;
    while(i < m) 
    {
        if(j == -1 || t[i] == s[j])
	{
            ++i; ++j;
            if(j == n) 
	    {
                return i - n + 1;
            }
        }
        else 
	{
            j = next[j];
        }
    }
    return -1;
}//每一步在纸上写一下,就了解它运行的过程//



KMP练习:https://cn.vjudge.net/contest/179294

愿你一生清澈明朗,做你愿做之事,爱你愿爱之人!



                
已经博主授权,源码转载自 https://pan.quark.cn/s/a4b39357ea24 QueueForMcu 基于单片机实现的队列功能模块,主要用于8位、16位、32位非运行RTOS的单片机应用,兼容大多数单片机平台。 开源代码:https://.com/xiaoxinpro/QueueForMcu 一、特性 动态创建队列对象 动态设置队列数据缓冲区 静态指定队列元素数据长度 采用值传递的方式保存队列数据 二、快速使用 三、配置说明 目前QueueForMcu只有一个静态配置项,具体如下: 在文件 中有一个宏定义 用于指定队列元素的数据长度,默认是 ,可以根据需要更改为其他数据类型。 四、数据结构 队列的数据结构为 用于保存队列的状态,源码如下: 其中 为配置项中自定义的数据类型。 五、创建队列 1、创建队列缓存 由于我们采用值传递的方式保存队列数据,因此我们在创建队列前要手动创建一个队列缓存区,用于存放队列数据。 以上代码即创建一个大小为 的队列缓存区。 2、创建队列结构 接下来使用 创建队列结构,用于保存队列的状态: 3、初始化队列 准备好队列缓存和队列结构后调用 函数来创建队列,该函数原型如下: 参数说明: 参考代码: 六、压入队列 1、单数据压入 将数据压入队列尾部使用 函数,该函数原型如下: 参数说明: 返回值说明: 该函数会返回一个 枚举数据类型,返回值会根据队列状态返回以下几个值: 参考代码: 2、多数据压入 若需要将多个数据(数组)压入队列可以使用 函数,原理上循环调用 函数来实现的,函数原型如下: 参数说明: 当数组长度大于队列剩余长度时,数组多余的数据将被忽略。 返回值说明: 该函数将返回实际被压入到队列中的数据长度。 当队列中的剩余长度富余...
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值