k进制FWT学习笔记

从线性代数角度看快速变换

考虑我们现在对两个幂级数 $A,B$ 定义运算 $\ast$ :

假设 $A\ast B=C$ ，那么要求满足 $C_k=\sum _{i\oplus j=k}{A}_i{B}_j$ ，现在给出 $A,B$ ，要求快速求出 $C$ 。

于是我们考虑构造矩阵 $f$ 满足 $(f\ast A)\ast (f\ast B)=(f\ast C)$ 且 $f$ 可逆，那么现在只需快速求出 $f\ast A,f\ast B,f^{-1}(f\ast C)$即可。

不难发现当 $\oplus$ 为加法时我们的 $f$ 即是系数表示法到点值表示法的转移矩阵。

现在考虑推导 $K$ 进制 $FWT$ 的系数矩阵：

不妨设 $n=K^i-1$ ，那么有
$$\begin{array}{rl}(f\ast A)[x]\ast (f\ast B)[x]=& (f\ast C)[x]\\ (\sum _{i=0}^n{f}_{x,i}{a}_i)(\sum _{i=0}^n{f}_{x,i}{b}_i)=& \sum _{i=0}^n{f}_{x,i}{c}_i\\ f_{x,k}=& \sum _{i\oplus j=k}{f}_{x,i}{f}_{x,j}\end{array}$$