最近写了几道AC自动机的题。这几题主要考察的是对AC自动机的浅层理解套上计数。
几道计数题
【AC自动机】bzoj3172: [Tjoi2013]单词
把被动贡献看成主动贡献。
【状态压缩dp】1195: [HNOI2006]最短母串
一种做法是dp；另一种是AC自动机+BFS。
与下一题的对比在于要求包含所有串。
2938: [Poi2000]病毒
问题可以看做：一个串在AC自动机上无限匹配而不遇到终止节点。
那么在构造fail时，就可以把fail边连向终止节点的节点标记一下。
这应该是一种常见的套路吧。
1030: [JSOI2007]文本生成器
考虑问题的反面，即一个都不能匹配上的子串个数。
如上题，把连向终止节点的节点标记。
这样就可以做一个都匹配不上的子串的dp了。
其间的小trick
如果要将所有串都匹配，那么常见有BFS构造；dp状压处理。
如果使所有串都匹配不上，那么一般来说就是把连上终止节点的点都标记。
由此要注意问题的反面。有些时候问题的反面是比较好考虑的，那么不妨将第一类问题转为第二类问题。
END