题解: 树上的串匹配,模式串的总长$|S|$,令$\overline {S} $为$S$的反串: 对$S$和$\overline {S} $分别建自动机 $u -> v$可以分成三个部分去统计 ①跨越了$lca(u, v)$的部分,长度不会超过$2|S|$,$kmp$暴力统计答案: ②$(u,lca)$上不跨越$lca$的部分,差分变成两个到根的询问: ②$(lca,v)$上不跨越$lca$的部分,差分变成两个到根的询问: $dfs$原树并记录走到两个自动机的节点$x / y$,$BIT$维护$…