字符串进阶(自动机，失配树)
自动机的引入
自动机是一个数学模型，不是算法也不是数据结构。OI 所说的「自动机」一般都指「确定有限状态自动机（DFA）」。
自动机的工作方式和流程图类似，不同的是：自动机的每一个结点都是一个判定结点；自动机的结点只是一个单纯的状态而非任务；自动机的边可以接受多种字符。
例如：用自动机解决判断二进制数是否为偶数时，你可以从高位往低位处理，根据每一位是
在某些情况下看起来挺废物的作用不明显，但处理一些特定问题时会很方便。
自动机的形式化定义
- 字符集（
- 状态集合（
- 起始状态（
- 接受状态集合（
- 转移函数（
当 DFA 读入一个字符串时，其会从起始状态开始按照转移函数一个个地处理字符转移。若读入完一个字符串后停留的状态属于接受状态集合，则称 DFA 接受这个字符串，否则成为 DFA 不接受这个字符串。
若一个状态
例如一个只接受字符串 a，ab 和 aac 的 DFA如下：
KMP 自动机
快速回顾：KMP。
nxt[0][t[1] - 'A'] = 1; for (int i = 1; i <= m; i++) { for (int j = 0; j < 26; j++) { if (i < m && j + 'A' == t[i + 1]) { nxt[i][j] = i + 1, p[i + 1] = nxt[p[i]][j]; } else { nxt[i][j] = nxt[p[i]][j]; } } }
快速回顾：失配树。
失配树，即一棵利用失配数组建出来的树，树上一个节点
性质
- 树上的两个节点
- 一个前缀的所有 Border 都对应其在失配树上的一个祖先节点。
- 一个前缀在串中每一次出现都对应其在失配树上的节点的子树范围内的一个节点。
习题
模板题：P5829 【模板】失配树。
习题：CF432D Prefixes and Suffixes(利用性质
本文作者：wnsyou の blog
本文链接：https://www.cnblogs.com/wnsyou-blog/p/18289314/string_plus
版权声明：本作品采用知识共享署名-非商业性使用-禁止演绎 2.5 中国大陆许可协议进行许可。
【推荐】国内首个AI IDE，深度理解中文开发场景，立即下载体验Trae
【推荐】编程新体验，更懂你的AI，立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包，你的智能百科全书，全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell：AI 加持，快人一步