当前课程知识点:数据结构(下) > 第十一章 串(上) > (b2)蛮力匹配 > 11b2-2: 版本一
上述的蛮力算法 至少有两种实现的版本
因为由它们 可以很方便地分别导出后续更为高效的算法
因此 我们这里不妨对它们都作一介绍
这两个版本对外的接口都是一样的
按照我们这里的命名习惯 入口参数P和T 分别指向模式串和文本串
而且在这里 我们采用了最为基本的字符串表示方法
而且约定 在每一个串的末尾 都有一个数值为0的哨兵
而且按照我们一贯的约定 串长并不计入尾部的这个哨兵
为了分别指示在模式串和文本串中当前的字符位置
这里还需要使用两个整数 i和j
在后一版本中 我们同样会用到这样的两个整数
但它们的语义却不尽相同
这也是前后两个版本的本质区别所在
如这个图所示
在这里 i和j所指示的 分别是当前主串中与模式串中 接受比对的那样一对字符
因此 二者同时初始化为0 也再自然不过了
算法将两个串逐位对齐 并进行比对的过程
兑现为这样一个while循环
正如刚才所介绍的
在每一对齐位置 我们都需要将文本串与模式串的当前字符取出
并将二者作一比对
如果相等 则令两个整数携手并进
从而分别指向下一对字符
否则 则意味着失配
你应该记得 此时我们应该令模式串相对于文本串向后滑动一个字符
并重新对齐
为此 对于j而言我们只需令其复位为0
那么 文本串的指针i呢
为了确定指针i的更新方法 我们需要重新回到这幅图
这幅图告诉我们 在算法的任何一个时刻
模式串相对于文本串的对齐位置 都是由i和j的差来指定的
因此 既然j的更新 等效于其在数值上减少了j
i的更新 也就应该等效于其在数值上减少j-1
如果能悟到这一点
也就自然可以理解 在这里对i的更新方法了
总而言之 这里的if相当于在保持相对位置不变的情况下
去比较每一对字符
而else才对应于P与T之间的相对滑动
我们再来考察这个循环的退出条件
不难看出 有两种情况
无论是j越过了它的上界m
或者i越过了它的上界n
这个循环都会随即退出
你能看出 这两种情况分别对应于什么吗
没错 分别对应于整体的匹配成功与否
为此我们需要注意到这个算法的另一个不变性
考察这里作为指针的整数j
实际上 在整个算法过程中的任何一个时刻
j的数值就对应于在当前的对齐位置下 已经做过的成功比对次数
因此 一旦j达到它的上界m
也就意味着模式串中的这m个字符 都得到了匹配
这难道不正是一次整体的匹配吗
在这种情况下 我们返回i-j 是再自然不过的了
因为通过它 可以向这个算法的上层调用者报告
就在文本串的这个位置
发现了一处完全匹配
我们再来考虑i越界的情况
因为i是逐一增加的
因此 它在越界的时候必然会恰好等于n
而此时的j依然处于合法的区间
综合这两个条件不难得知
而在这一分支退出时 返回值i-j必然会大于n-m
我们知道n-m应该是模式串相对于文本串而言 能够对齐的最靠右、也是最后一个位置
因此 这时的i-j既然已经超越了这个合法的位置
这个算法的上层调用者自然就可以据此断定 整个匹配是以失败告终的
总而言之 在这里通过简明地返回对齐位置i-j 就可以准确地向算法的上层调用者报告
究竟是匹配成功还是失败
-选课之前
--写在选课之前
--宣传片
-考核方式
--考核方式
-OJ系统说明
--关于OJ
--1-注册与登录
--2-界面与选课
--3-提交测试
-关于课程教材与讲义
--课程教材与讲义
-关于讨论区
--关于讨论区
-微信平台
--html
-PA晋级申请
--PA晋级
-(a)概述
--07A-1 纵览
--07A-5 接口
-(a)概述--作业
-(b1)BST:查找
-第七章 二叉搜索树--(b1)BST:查找
-(b2)BST:插入
-(b2)BST:插入--作业
-(b3)BST:删除
-第七章 二叉搜索树--(b3)BST:删除
-(c)平衡与等价
-(c)平衡与等价--作业
-(d1)AVL树:重平衡
-第七章 二叉搜索树--(d1)AVL树:重平衡
-(d2)AVL树:插入
-(d2)AVL树:插入--作业
-(d3)AVL树:删除
-(d3)AVL树:删除--作业
-(d4)AVL树:(3+4)-重构
-(d4)AVL树:(3+4)-重构--作业
-本章测验
--章节测验
-(a1)伸展树:逐层伸展
--习题
-(a2)伸展树:双层伸展
--习题
-(a3)伸展树:算法实现
--习题
-(b1)B-树:动机
--习题
-(b2)B-树:结构
--习题
-(b3)B-树:查找
--习题
-(b4)B-树: 插入
--习题
-(b5)B-树: 删除
--习题
-(xa1)红黑树:动机
--习题
-(xa2)红黑树:结构
--习题
-(xa3)红黑树:插入
--习题
-(xa4)红黑树:删除
-本章测验
--习题
-(b)散列:原理
--09B-3 数组
--09B-4 原理
--09B-5 散列
--09B-6 冲突
--习题
-(c)散列:散列函数
--习题
-(d1)散列:排解冲突(1)
--习题
-(d2)散列:排解冲突(2)
--习题
-(e)桶/计数排序
--习题
-本章测验
--本章测试
-(a1)需求与动机
--习题
-(a2)基本实现
--习题
-(b1)完全二叉堆:结构
--习题
-(b2)完全二叉堆:插入与上滤
--习题
-(b3)完全二叉堆:删除与下滤
--习题
-(b4)完全二叉堆:批量建堆
--习题
-(c)堆排序
--习题
-(xa1)左式堆:结构
--习题
-(xa2)左式堆:合并
--习题
-(xa3)左式堆:插入与删除
-本章测验
--本章测试
-(a)ADT
--习题
-(b1)串匹配
--习题
-(b2)蛮力匹配
--习题
-(c1)KMP算法:从记忆力到预知力
--习题
-(c2)KMP算法:查询表
--习题
-(c3)KMP算法:理解next[]表
--习题
-(c4)KMP算法:构造next[]表
--习题
-(c5)KMP算法:分摊分析
--习题
-(c6)KMP算法:再改进
-(d1)BM_BC算法:以终为始
-(d2)BM_BC算法:坏字符
-(d3)BM_BC算法:构造bc[]
-(d4)BM_BC算法:性能分析
-(e1)BM_GS算法:好后缀
-(e2)BM_GS算法:构造gs表
-(e3)BM_GS算法:综合性能
-(f1)Karp-Rabin算法:串即是数
-(f2)Karp-Rabin算法:散列
-本章测验
--本章测试
-(a1)快速排序:算法A
-- 12a1-5: 实例
--习题
-(a2)快速排序:性能分析
--习题
-(a4)快速排序:变种
-(b1)选取:众数
-(b3)选取:通用算法
--习题
-(c1) 希尔排序:Shell序列
--习题
-(c2)希尔排序:逆序对
-本章测验
--本章测试