A. 好题

很神仙的做法。

考虑颜色数较小的情况，可以直接通过状压$dp$实现。

对于颜色数较大，不妨通过随机数将每种颜色都映射到$k$的范围内。

显然这个玩意不会使答案更优，但是这样不一定能找出正确的答案。

然而算一下就可以发现，这个玩意的正确性高达$\frac{k!}{k^k}$，所以多次随机化就好了。

B. 坏题

显然这个题要用AC自动机来做，所以直接建出trie图来。

对于一个合法的串，它在trie图中一定可以表示为一个简单环，或者一个简单环连上一条链到达一个简单环。

所以tarjan缩完环之后在DAG上dp就好了。

C. 不好不坏题

正解似乎是洲阁筛，然而不会这个东西。

通过本题的特殊性质，$yy$出一个容斥做法。

考虑模数为$2$，只具有奇偶性的差别，所以只有$2^k*x^2$是非法的，扣掉这些数的贡献就好了。

考虑模数为$2017$，$2017$为一个质数，只要考虑在什么情况下模这个数为$0$。

将最终的数质因数分解，可以发现$p+1\ mod\ 2017=0$存在很多种情况，其中最小的情况$p=12101$。

$p^2+p+1\ mod\ 2017=0$存在$12$种情况，其中最小的情况$p=2311$。

$p^3+p^2+p+1\ mod\ 2017=0$只存在一种情况，即$p=229$。

打完这个表之后发现只要把这些玩意都通过$miller\ robin$预处理之后容斥一下就好了。