本文探讨了后缀自动机的基本概念，说明其如何在一个有向无环图上表示字符串的所有子串。通过对比trie树，解释了后缀自动机的构建方法，并讨论了endpos等价类的概念及子串之间的关系。最后，文章提到了后缀自动机的多种实用场景。
大部分内容来源于https://www.luogu.org/blog/Kesdiael3/hou-zhui-zi-dong-ji-yang-xie
1. 后缀自动机可以在一个DAG上表示所有子串
2. 在trie树中插入每个后缀就是后缀自动机的暴力版本
对于aabab建trie，红色为根，黄色为终止节点
3. endpos 的定义
4. 一些性质
1.如果两个子串的endpos相同，则其中子串一个必然为另一个的后缀
2. 若len(w) >= len(u)
3. 对于endpos相同的子串，我们将它们归为一个endpos等价类。对于任意一个endpos等价类，将包含在其中的所有子串依长度从大到小排序，则每一个子串的长度均为上一个子串的长度减11，且为上一个子串的后缀
5. 为何如此构造
6. 构造方法
证明看不懂，还是感性理解吧
7. 用途
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
