【模板】通配符单模式串匹配 -FFT bzoj4259: 残缺的字符串

传送门:bzoj4259

---

题解

带通配符的字符串匹配无法有效地用$kmp$处理，这时大常数的$FFT$派上了用场。

这题已经升级为一种套路/模板了，暂且引用ebola’s题解的称呼：带通配符的单模式串匹配。

设模式串为$T$，文本串为$S$。“*”对应0，$a,b,...,z$分别对应$1,2,...,26$。

为便于叙述和进行FFT，设字符串下标均从0开始。

假设在$S$中以$x$位置结尾的长度为$|T|$的子串能匹配上$|T|$，则：
$$\sum _{i=0}^{|T|-1}(S_{x-i}-T_{|T|-1-i}{)}^2{S}_{x-i}{T}_{|T|-1-i}=0\text{\hspace{1em}(1)}$$

S x − i = 0 , T ∣ T ∣ − 1 − i = 0 S_{x-i}=0,T_{|T|-1-i}=0 Sx−i​=</