广义后缀自动机
广义SAM的定义
广义SAM是针对Trie树(广义字符串)构建的、能接受所有广义后缀(Trie树叶子路径)的最小DFA
同理,我们可以知道广义SAM是针对广义endpos建立的、以广义后缀为终止点的DFA
广义SAM的理论基础
广义endpos
略
线性状态数
略
转移数
这里注意,由于Trie树的后缀是\(O(n^2)\)个,所以我们不能像普通SAM那样的出其线性转移数,由于\(O(n^2)\)上界实在是不让人满意,所以我们得出另一个上界:\(O(n |\Sigma|)\)
构造
由于\(cdsidi\)去吃七分饱了,咕了
注意空节点