数据结构(邓俊辉)学习笔记】串 07——KMP算法:分摊分析

2024-08-28 03:20

本文主要是介绍数据结构(邓俊辉)学习笔记】串 07——KMP算法:分摊分析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 1.失之粗糙
  • 2.精准估计

1.失之粗糙

以下,就来对 KMP 算法的性能做一分析。我们知道 KMP 算法的计算过程可以根据对齐位置相应的分为若干个阶段,然而每一个阶段所对应的计算量是有很大区别的。很快就会看到,如果只是简单地从最坏的角度来进行估计,我们将无法准确地来评估这种算法,而实际上真正有效的方法是,放眼整个计算过程,将整体的计算成本分摊到每一个阶段。

没错,分摊。我们这里需要再一次地借助分摊的分析技巧,而这里我们将要采用的估算方法也是分拆分析中的一种典型手法。

我们首先来看一种貌似无可厚非,但实则非常粗糙的估算方法。
在这里插入图片描述

这一方法建议我们将注意力放在文本串中的任意字符上,因为这种方法认为,我们只要估算出每一个字符所参与的比对次数,也自然地就可以得到整体的比对次数。然而我们很快就会发现,在任何一个特定的字符处,我们的模式串的确有可能会多次地后移。实际上不能构造出这样的例子,也就是相对于文本串中的某个特定字符,模式串有可能需要连续的后移多次,并且用其中多答 Ω(m) 个字符,与文本串中的这个字符进行比对。当然具体的次数可能是m/3、m/40 或者m/500。但无论如何,在渐进的意义上,都可以达到Ω(m)次。因此,如果再考虑到主串所贡献的那个因子 n,那么按照这种思路,KMP 的时间复杂度似乎会高达Ω(n*m)。

这样一个分析结论多少会让我们感到沮丧,因为蛮力算法也不过如此。然而事实上,这种方法的确实失之粗糙,而接下来更为精细地分析将表明,KMP 算法的效率即便在最坏情况下也不会超过线性O(n)。

2.精准估计

在这里插入图片描述为了对KMP算法性能作出更为精细的分析,我们可以参照在第一章就确立的方法,将这个算法中,不涉及到实质计算内容的非迭代部分都删除掉,而将注意力集中于复杂度的主体,也就是其中的这个循环。

在这里,我们需要引入一个观察量 k。 在算法执行过程中的任何时刻,这个 k 都等于 2*i - j。实际上,在很多开发环境中,都提供了观察功能,允许你设置这样一个表达式,并且在算法的调试运行过程中,动态地给出表达式所对应的数值。

实际上,随的算法中这个迭代过程的不断推进,这个观察变量 k, 必然是单调递增的。这一性质并不难看出,实际上无非 if 和 else 两种可能。

  1. 首先,如果当前这步迭代选取的是 if 分支,那么,根据算法的流程,i 和 j 会同步地递增一个单位。于是,作为 2*i - j,k 应该恰好增加一个单位。
  2. 反之,如果当前这步迭代进入的是 else 分支,那么尽管 i 不会受到任何影响,但是 j 会被替换为它对应的 next 表项,你应该记得我们此前已经指出, j 所对应的那个 next 表项必然会严格地小于 j。也就是说,经过这样一次替代之后,在数值上 j 必然会严格地减少,所以 k 也至少会增加一个单位。

综合这两种情况,我们就会发现 ,k 随着迭代的进行的确会严格单调地不断递增。

因此,整个计算过程中所进行的迭代步数就绝对不会超过 k。也就是说只要我们能够界定 k 的上界,也就自然确定了整个算法复杂度的上界。那么 k 的变化幅度究竟是多大呢?

  1. 首先,既然 i 和 j 的初值都是0,所以 k 的初值也应该是0。
  2. 而在算法结束时,i 至多与 n 同阶,而 j 也至少是一个常数。这也就意味着在渐进的意义上,k 绝对不会超过线性的范围。

至此,我们也就确凿地给出了 KMP 算法性能的一个准确估计。是的,这里给出的估计方法非常初等,因此其结论也毋庸置疑。

当然,作为进一步的探求,你或许会好奇于这里的 k,也就是 2*i - j 的具体含义,自行探索。

在这里插入图片描述

当然,作为 KMP 算法的有机组成部分,我们也不要忘了 next 表的构造过程。然而,正如我们已经看到的,这个预处理算法的原理及过程与主算法完全相同,因此其复杂度也应该线性正比于它自己的输入规模,也就是模式串的长度 O(m)。

这篇关于数据结构(邓俊辉)学习笔记】串 07——KMP算法:分摊分析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1113580

相关文章

Go标准库常见错误分析和解决办法

《Go标准库常见错误分析和解决办法》Go语言的标准库为开发者提供了丰富且高效的工具,涵盖了从网络编程到文件操作等各个方面,然而,标准库虽好,使用不当却可能适得其反,正所谓工欲善其事,必先利其器,本文将... 目录1. 使用了错误的time.Duration2. time.After导致的内存泄漏3. jsO

C#数据结构之字符串(string)详解

《C#数据结构之字符串(string)详解》:本文主要介绍C#数据结构之字符串(string),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录转义字符序列字符串的创建字符串的声明null字符串与空字符串重复单字符字符串的构造字符串的属性和常用方法属性常用方法总结摘

Spring事务中@Transactional注解不生效的原因分析与解决

《Spring事务中@Transactional注解不生效的原因分析与解决》在Spring框架中,@Transactional注解是管理数据库事务的核心方式,本文将深入分析事务自调用的底层原理,解释为... 目录1. 引言2. 事务自调用问题重现2.1 示例代码2.2 问题现象3. 为什么事务自调用会失效3

SpringBoot实现MD5加盐算法的示例代码

《SpringBoot实现MD5加盐算法的示例代码》加盐算法是一种用于增强密码安全性的技术,本文主要介绍了SpringBoot实现MD5加盐算法的示例代码,文中通过示例代码介绍的非常详细,对大家的学习... 目录一、什么是加盐算法二、如何实现加盐算法2.1 加盐算法代码实现2.2 注册页面中进行密码加盐2.

找不到Anaconda prompt终端的原因分析及解决方案

《找不到Anacondaprompt终端的原因分析及解决方案》因为anaconda还没有初始化,在安装anaconda的过程中,有一行是否要添加anaconda到菜单目录中,由于没有勾选,导致没有菜... 目录问题原因问http://www.chinasem.cn题解决安装了 Anaconda 却找不到 An

Spring定时任务只执行一次的原因分析与解决方案

《Spring定时任务只执行一次的原因分析与解决方案》在使用Spring的@Scheduled定时任务时,你是否遇到过任务只执行一次,后续不再触发的情况?这种情况可能由多种原因导致,如未启用调度、线程... 目录1. 问题背景2. Spring定时任务的基本用法3. 为什么定时任务只执行一次?3.1 未启用

Java时间轮调度算法的代码实现

《Java时间轮调度算法的代码实现》时间轮是一种高效的定时调度算法,主要用于管理延时任务或周期性任务,它通过一个环形数组(时间轮)和指针来实现,将大量定时任务分摊到固定的时间槽中,极大地降低了时间复杂... 目录1、简述2、时间轮的原理3. 时间轮的实现步骤3.1 定义时间槽3.2 定义时间轮3.3 使用时

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

Spring、Spring Boot、Spring Cloud 的区别与联系分析

《Spring、SpringBoot、SpringCloud的区别与联系分析》Spring、SpringBoot和SpringCloud是Java开发中常用的框架,分别针对企业级应用开发、快速开... 目录1. Spring 框架2. Spring Boot3. Spring Cloud总结1. Sprin

Spring 中 BeanFactoryPostProcessor 的作用和示例源码分析

《Spring中BeanFactoryPostProcessor的作用和示例源码分析》Spring的BeanFactoryPostProcessor是容器初始化的扩展接口,允许在Bean实例化前... 目录一、概览1. 核心定位2. 核心功能详解3. 关键特性二、Spring 内置的 BeanFactory