BM算法位移加速逻辑剖析:利用坏字符规则优化变量匹配

星墨小哥_1026

星墨小哥_1026

2026-05-06

200人浏览

原创

坏字符规则是bm算法提速核心,指从右向左匹配时首个失配字符(来自主串),位移量=坏字符在模式串中最右位置索引的差值(未出现则为-1),须取最右位置以防漏匹配,预处理坏字符表支持o(1)查询。

bm算法的位移加速,核心不在“多比几个字符”,而在于“少比很多字符”——坏字符规则正是实现这一点的关键机制。它不靠逐位试探,而是根据一次失配,直接算出模式串该跳多远,跳得越准、越远,总比较次数就越少。

坏字符是怎么定义的

坏字符不是主串或模式串“本身不好”,而是当前比较轮次中第一个不匹配的字符。BM算法从右往左比,所以这个“第一个”出现在右侧靠后位置。比如模式串是 "ABAC",主串某段是 "ABAD",从末尾开始比:C vs D → 不匹配 → D 就是坏字符。

注意:坏字符一定来自主串,且只取本轮失配位置上的那一个字符;它在模式串中可能有、可能没有、也可能有多个。

位移量怎么算:关键看“最右出现位置”

位移不是凭经验估的,而是严格按公式:
位移 = 当前坏字符在主串中的位置索引 - 该字符在模式串中最右出现的索引

更实用的写法(以模式串下标从0开始):
若坏字符 c 在模式串中最后一次出现在位置 last[c](未出现则为 -1),当前失配发生在模式串第 j 位(从右数,j 从0开始计,即末位是 j=0),则向右滑动:
shift = j − last[c]

  • 例如模式串 "ABAC",构建坏字符表得:A→2,B→1,C→3,D→-1
  • 若坏字符是 D,j=0 → shift = 0 − (−1) = 1 → 实际应跳过整个模式串长度(4),但此公式需结合起始对齐理解;更稳妥做法是统一用“主串失配位置 − 模式串最右c位置”
  • 若坏字符是 A,且 j=2(即从右数第3位失配),last[A]=2 → shift = 2−2 = 0?这显然不合理 —— 所以实际实现中,j 应取其在模式串中的绝对下标(如末位是 m−1),公式为:shift = (m−1) − last[c],再与好后缀位移取较大值

为什么必须取“最右出现位置”

因为只有对齐最右侧的那个相同字符,才能保证不漏掉潜在匹配。如果取左边的A,模式串会滑得太远,跳过本该重叠的正确对齐点。

举个典型反例:
模式串:"BABAC"(长度5)
主串片段:"XBABAC"
若失配时坏字符是 C,它在模式串中出现在位置 4(最右)和 2。若错误取位置 2 对齐,模式串会左移或滑动不足,导致错过末尾的完整匹配。

所以预处理时,遍历模式串只需从左到右扫一遍,不断覆盖同字符的位置值,自然留下最右索引。

坏字符表怎么建才高效

建表目标就一个:O(1)查出任意字符 c 的 last[c]。两种主流方式:

  • 定长数组法(适合ASCII等小字符集):开大小为256的整型数组,初值全填 -1;遍历模式串每个字符 pattern[i],执行 bc[ord(pattern[i])] = i
  • 哈希字典法(适合Unicode或稀疏字符):用 dict 或 map,键为字符,值为最右索引;同样遍历一次,遇到就更新

注意:不要在每次匹配时重建表;固定模式串务必缓存复用。表建错或没缓存,提速效果直接打五折。

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
页面置换算法
页面置换算法

页面置换算法是操作系统中用来决定在内存中哪些页面应该被换出以便为新的页面提供空间的算法。本专题为大家提供页面置换算法的相关文章,大家可以免费体验。

2023.08.14

6136

4

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

2026.10.22

20

11

Gradle Wrapper配置教程
Gradle Wrapper配置教程

本专题介绍Gradle Wrapper的基本作用,涵盖文件组成、生成方法、版本配置和任务调用,帮助你理解项目如何使用指定的Gradle版本,减少不同开发环境带来的构建差异。

2026.10.22

0

10

Golangci-lint检查器使用教程
Golangci-lint检查器使用教程

本专题整理Golangci-lint常用Linters的用途与配置方法,覆盖错误处理、无效代码、安全、复杂度、命名和依赖检查,帮助项目合理选规则。

2026.10.22

20

15

Gradle怎么构建Java项目
Gradle怎么构建Java项目

本专题介绍Gradle Java项目构建方法,涵盖Java插件配置、依赖声明、源码编译、测试执行和打包检查,帮助你理解各阶段的任务关系,逐步完成项目构建。

2026.10.22

0

10

PHP时间戳漏洞修复教程
PHP时间戳漏洞修复教程

本专题汇总PHP常见时间戳漏洞,包括2038年溢出、时区漂移、时间戳伪造、重放攻击、时间盲注与日志审计失效等,并给出升级64位环境、使用 DateTimeImmutable、统一UTC、严格超时校验、预处理绑定、hash_equals 比对等修复方案,帮助开发者快速排查和加固时间相关代码。

2026.10.22

20

25

Golangci-lint配置文件与规则设置
Golangci-lint配置文件与规则设置

本专题聚焦Golangci-lint YAML配置文件,讲清运行参数、规则启停、目录排除、问题过滤及严重级别设置,便于团队统一检查标准。

2026.10.22

0

15

Golangci-lint安装与入门教程
Golangci-lint安装与入门教程

本专题讲解Golangci-lint的安装、初始化、基础命令和首次代码检查,覆盖本地环境、Docker及多平台用法,帮助Go开发者快速上手。

2026.10.22

0

15

PHP2Shell高危漏洞修复教程
PHP2Shell高危漏洞修复教程

PHP2Shell漏洞是什么,哪些PHP版本和运行环境会受到影响,服务器应该如何检测与修复?本专题提供版本自查脚本、Linux与Docker升级命令、PHP-FPM和Apache排查步骤,以及修复验证、临时缓解和应急响应方案。

2026.10.22

80

12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.7万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.9万人学习