A. [2021.1.31多校省选模拟12]字符串计数（字符串理论/border/容斥原理/动态规划）

A. [2021.1.31多校省选模拟12]字符串计数

部分分1：直接暴力

部分分2、3：n-m很小可以直接得到一个容斥的式子

部分分4：只有m很小，我们可以考虑枚举所有本质不同的T串，显然我们只需要知道它使用了哪些颜色，然后就是一个GT考试的经典问题，包含给定串的长度为n的串的数量，显然容斥一步变为求解有多少不包含的数量，然后可以利用kmp自动机转移。

最后只需要组合数计算一下即可，然后对于枚举本质不同的串的方法就是维护一个a进制数，但是要求其中出现的数码是从0开始的连续一段，我们只需要知道这个偏序关系，所以必须有这个限制否则会产生重复。我们每次让这个a进制数加1即可。

正解：

首先考虑dp，$f_i$表示的是前i个字符没有出现T的方案数，然后朴素转移$f_i=a\ast f_{i-1}$但是这样会多计算在i这个位置出现T的方案，所以加入 g i g_i g