摘要：
题目描述 题解： 假的$3-SAT$，真的$2-SAT$。 我们可以枚举所有的$x$都是什么，这样做是$O(n*3^d)$的。 但是考虑到$a$包含了$B$和$C$，$b$包含了$A$和$C$，我们可以不用将$x$改成$c$，改成$a$或$b$就好了。 将每个地图分为两个点。比如当前为$a$，那么我 阅读全文
摘要：
题目描述 题解： 广义$SAM$+倍增+线段树合并三连。 对于给出的$m$个串建广义后缀自动机，用线段树合并处理$parent$树子树内所有串出现次数。 将询问挂在第$pr$位上。 最后扫一遍原串，记录当前节点以及当前串长，在$parent$树上倍增找$s[pl,pr]$串，最后用线段树查询就好了。 阅读全文