KMP算法证明

最新推荐文章于 2023-02-04 12:59:37 发布
最新推荐文章于 2023-02-04 12:59:37 发布
阅读量349 收藏 3
点赞数 1
分类专栏： 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/xingjia001/article/details/105538749
版权

最近研究KMP，获得一些心得

问题描述：

P：模式字符串 P=P_0P_1\cdots P_{k-1}P_k\cdots P_{j-k}P_{j-k+1}\cdots P_{j-1}P_j      

j：用于记录模式串P的游标

S：文本模式串 S=S_{i-j}S_{i-j+1}\cdots S_{i-1}S_{i}

i：用于记录文本传的游标

条件：

    1、模式串P和文本串S除了最后一个字符，其他都一样

    P_s=P_0P_1\cdots P_{k-1}P_k\cdots P_{j-k}P_{j-k+1}\cdots P_{j-1} 

    S_s=S_{i-j}S_{i-j+1}\cdots S_{i-1}

    S_s=P_s

    2、已知存在k（最长公共元素长度），P1=P_0P_1\cdots P_{k-1}，P2=P_{j-k}P_{j-k+1}\cdots P_{j-1}，使P1=P2

    3、P_j\neq S_i

求证：

    是否存在m，1<m<k，使得

  S_m=S_{i-j+m}S_{i-j+m+1}\cdots S_i, P_t=P_0P_1\cdots P_k\cdots P_{j-m}

  S_m= P_t

证明：

第一步：因为P_m=S_m    (P_m=P_mP_{m+1}\cdots P_k\cdots P_j), 所以只需要证明P_m=P_t

第二步：因为k是最长公共元素长度，而m<k,如果P_m=P_t成立，则与k是最长公共元素长度冲突

星空黑夜
关注
专栏目录
KMP算法的相关证明
Robbie Mosaic's T-Log
01-24 2076
原文发表于饮水思源BBS。 声名在先：我站在巨人的肩膀上，才认识了 KMP 算法。 KMP 算法的思想： 对于一个模式字符串（pattern string），名为 t，要在文本 s 中搜索它的第一个匹配位置。先一个一个字母比较，即 t[0] 和 s[0] 比较，t[1] 和 s[1] 比较，以此类推。当比较结果相等时则进行下一次比较，当比较结果不相等时就要使用特殊方法了：为了提高
KMP简单证明
feilengcui008的专栏
03-03 1142
KMP第一遍不是特别容易理解，所以就琢磨着给出一个证明，来加深理解，所以就想出了下面这么个不是很正规和形式化的证明。关于KMP算法的流程可以搜索相关文章，比如这篇挺不错的。前提假设：目标文本串T的长度为n，模式串P的长度为m，A为所谓的next数组，i为在模式串的第i个位置匹配失败。 需要证明的问题：对于形如A B X1 X2… A B Y1 Y2… A B的模式串，为什么可以将模式串直接移到最后一
KMP算法的正确性证明及一个小优化
weixin_30409849的博客
10-05 575
直接把作业帖上来是不是有点不太公道呀。。。 无所谓啦反正各位看着开心就行 KMP算法 对于模式串$P$，建立其前缀函数$ N$ ，其中$N [q] $ 表示在$P$中，以$q$位置为结束的可以匹配到前缀的最长后缀的长度（也可以理解为那个前缀的结束位置），在匹配中，若$P[i]$与$S[j]$失配，则令$i=N [i-1] +1$ ，否则$i=i+1,j=j+1$ 现考虑如何构造$N$ ，设...
KMP算法日志——证明
狂野的心
04-30 479
下标遵循C标准，从0开始。 前缀字符串 后缀字符串 目标：寻找字符串T在字符串S中出现的第一个位置，没有为-1。 朴素算法 按照朴素匹配算法，串T从头开始逐一和串穿S比较，如果遇到不相等，串S的比较位置则回溯到上一次比较位置的下一位，串T再次从头开始逐一和串S比较.。 下标 0 1 2 3 4 5 6
【模式匹配】之 —— KMP算法详解及证明
超然于物外 烟火于一瞬
04-15 1万+
一    RevisionsHistory 1 一       Revisions History二       前言三       关于算法学习四       KMP算法始末 KMP算法是用来干什么的KMP算法是怎样产生的从暴力搜索算法讲起KMP算法的思想KMP算法的代码实现KMP算法改进使用KMP算法在目标字符串中查找所有匹配的位置使用Z-BOX算法计算next数组 五
KMP算法
安定区
04-26 398
注意算法导论中的next数组与偏移量的差别 next数组即部分匹配值的计算 偏移数组offset的计算 伪码pseudocode java例子程序注意算法导论中的next[]数组与偏移量的差别 next[]数组(即部分匹配值)的计算 引用：阮一峰的网络日志 从头到尾彻底理解KMP（2014年8月22日版） 偏移数组offset的计算 此处发现阮一峰错误，下次更新纠正移动位数 = 已匹
《字符串模式匹配KMP算法》教学课例设计[归纳].pdf
10-11
《字符串模式匹配KMP算法》教学课例设计 在这篇教学设计中，我们旨在帮助学生掌握KMP字符串模式匹配算法的基本概念和应用。通过本课例设计，学生将了解KMP算法的应用普遍性、实现机制和时间复杂度，并掌握计算next...
史上最详细的KMP算法教程，看这一篇就够了
⚡
02-04 1万+
前缀函数、next数组、nextval数组，BF算法，KMP算法，你想要知道的都在这了！
KMP算法和BF算法
chengxuyuanlee的博客
11-16 2491
本文采用图解方式展现BF算法与Kmp算法
KMP算法(多种实现方式)
weixin_46503238的博客
05-28 1万+
KMP算法核心思想 利用已经匹配的数据,去除无效的从头匹配 KMP算法流程 首先我们找到 i=9,j=9时不匹配,如果时暴力算法,此时i应重新来到i=2的位置,j返回j=1的位置,开始新一轮的匹配 这样暴力匹配,就白白浪费了已经匹配的串,那么问题来了,我们应该如何利用已经匹配的串呢?? 我们看着图片,假设i返回i=1,j返回j=1,当i++,i指向b,j++,j指向a,此时就不匹配了,又要重新开始,i来到3,j又回到j=1,双方指向第一个元素就不匹配,kmp算法的核心就是过滤掉这种低效的匹配,我
简单的KMP正确性讲解图片
08-16
KMP讲解图片。p数组的作用。 图片简洁明了，帮助读者理解。
KMP算法证明及实现
weixin_30468137的博客
11-13 264
KMP算法 一、普通的字符串匹配 平时我们在写普通的字符串匹配算法的时候，是拿着要匹配的串去匹配被匹配的串，字符逐个比较，当发现字符失配时，被匹配的字符串的指针要回到前一次开始匹配的指针的下一个位置。这里我们称要去匹配的字符串为模式串P，被匹配的字符串为主串S，即我们拿模式串P去匹配主串S，看看P是否是S的子串。 例如：主串S是“abcabdsfabcdfrt”，...
KMP算法深度解析
热门推荐
刘爱贵的专栏
08-04 6万+
 摘要：KMP算法是字符串匹配的经典算法，由于其O(m+n)的时间复杂度，至今仍被广泛应用。大道至简，KMP算法非常简洁，然而，其内部却蕴含着玄妙的理论，以至许多人知其然而不知其所以然。本文旨在解开KMP算法的内部玄妙所在，希望能够有助于学习与理解。 1、KMP算法    一种改进的字符串匹配算法，由D.E.Knuth与V.R.Pratt和J.H.Morris同时发现，因此称之为KMP算法
关于KMP算法正确性的证明
03-10 1963
 
KMP算法(代码+图解证明)
yutianxin123的专栏
09-08 5543
KMP算法用于字符串匹配，是相较于朴素字符串匹配。所谓朴素字符串匹配就是从头到尾开始一个位置一个位置匹配，当前位置匹配失败则会从下一个位置开始继续匹配。         KMP算法则是可以跳，能往前跳多远就往前跳多远。我们知道算法尽量要简化计算、去冗余、记忆搜索。KMP就是利用了去冗余的思想往前跳到某一位置继续匹配。而中间未匹配的丝毫不会有影响，这要归结于我们next数组的定义。      
kmp优化正确性证明
oldz
09-02 758
邓俊辉老师的课上给出了一种普遍的kmp算法优化，但是没有给出这种优化的正确性证明。或许这种正确性是显而易见的，但这里还是研究了一下这个算法的正确性问题。 int* buildNext(char* P) { int n = strlen(P); int* next = new int[n]; int i = 0, j = next[0] = -1; while (i < n - 1) { if (j < 0 || P[i] == P[j]) { ++i; ++j;
KMP算法证明与实现(c++版)
石奥博的博客
03-25 2222
c++实现KMP算法
KMP算法推导
crazy_father的博客
06-16 552
一个问题有一个主串S1，一个子串S2，如何判断主串S1中是否存在子串S2 ?朴素模式匹配算法我们举个例子主串S1：abcdefgab 子串S2：abcdex朴素模式匹配法的原理： 设i，j 分别表示主串S1与子串S2上的第i，j 个元素。i，j 均初始化为1 1. S1的第i个元素 与 S2的第j个元素进行对比，如果相同，执行步骤 2 。如果不同，执行步骤 3 2. i++, j++ ，
KMP算法（推导方法及模板）
weixin_30466953的博客
08-09 195
介绍 克努斯-莫里斯-普拉特算法Knuth-Morris-Pratt字符串查找算法（简称为KMP算法）可在一个主文本字符串S内查找一个词W的出现位置。此算法通过运用对这个词在不匹配时本身就包含足够的信息来确定下一个匹配将在哪里开始的发现，从而避免重新检查先前匹配的字符。 此算法可以在O（n+m）时间数量级上完成串的模式匹配操...
kmp算法的正确性证明
最新发布
12-30
KMP算法的正确性证明可以通过数学归纳法来进行。下面是证明的步骤： 1. 基本情况：当模式串为空时，任何字符串都可以匹配成功，所以KMP算法是正确的。 2. 假设在长度为n的文本串T中，已经找到了一个位置i，使得T[i...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值