BZOJ 4259 残缺的字符串

题目大意

给出两个字符串 $A$ 和 $B$，长度分别为 $n$ 和 $m$，其中包含 ${}^{\prime }{\ast }^{\prime }$ 字符，它可以匹配任意 1个 字符，求 $A$ 串在 $B$ 串中的出现次数。
数据范围　$1⩽m⩽n⩽300000$

题解

为了方便叙述，定义 $S_{i..j}$ 表示由S的第 $i$ 个字符开始到第 $j$ 个字符组成的字符串。
设 ${}^{\prime }{\ast }^{\prime }=0$，定义两个字符串之间的距离为：
$dis(S,T)=\sum (S_i-T_i{)}^2{S}_i{T}_i$
可以发现，当且仅当 $dis(S,T)=0$ 时，$S$ 和 $T$ 匹配。
接下来暴力一些，定义 $f[i]=dis(A_{0..(m-1)},B_{(i-m+1)..i})$，如果我们求出了 $f$ 数组，那问题就变成了 $f$ 数组中有多少个 $0$。
$f[i]=\sum _{j=0}^{m-1}(A[j]-B[i-m+1+j]{)}^{2}A[j]B[i-m+1+j]$
将A串翻转，得：
$f[i]=\sum _{j=0}^{m-1}(A[m-j-1]-B[i-m+1+j]{)}^{2}A[m-j-1]B[i-m+1+j]$
拆开得到：
$$\begin{gathered} f[i]=\sum _{j=0}^{m-1}A[m-j-1{]}^{3}B[i-m+1+j] \\ -2\ast \sum _{j=0}^{m-1}A[m-j-1{]}^{2}B[i-m+1+j{]}^2 \\ +\sum _{j=0}^{m-1}B[i-m+1+j{]}^3\ast A[m-j-1] \end{gathered}$$
定义
$fa[i]=\sum _{j=0}^{m-1}A[m-j-1{]}^{3}B[i-m+1+j]$

$fb[i]=\sum _{j=0}^{m-1}A[m-j-1{]}^{2}B[i-m+1+j{]}^2$

$fc[i]=\sum _{j=0}^{m-1}A[m-j-1]B[i-m+1+j{]}^3$
则：$f[i]=fa[i]+2\ast fb[i]+fc[i]$
然后 $fa$，$fb$ 和 $fc$ 用FFT计算即可。