多项式乘法入门

多项式乘法入门

By SemiWaker

这是一篇蒟蒻对FFT、DFT、CZT、NTT的弱鸡理解

多项式

$$a_0x+a_1x^1+a_2x^2\cdots+a_{n-1}x^{n-1}$$
上面的这个形式叫做多项式。
系数： $a_{0..n-1}$
项： $a_ix^i$
界：n
为了方便我们系数序列就可以表示多项式。

线性卷积

$$A\times B=\sum_{i=0}^{2n-2}(\sum_{j=0}^{i}A_jB_{i-j})x^i$$
简单来说，就是把两个多项式直接乘起来。
第i项的构成如下：
任取两个项 $A_jx^j$和 $B_kx^k$，如果 $j+k=i$，那么得到 $A_jB_kx^i$。
将所有 $j+k=i$的项系数两两相乘加起来即可。

循环卷积

$$A\times B=\sum_{i=0}^{n-1}(\sum_{j,k}A_jB_k[j+k\equiv i\pmod n])x^i$$
比较难理解。
其实就是把多项式的-1项设为n-1项，-2项设为n-2项……
然后，线性卷积为了防止出现-1项，设定了j<=i，现在我们把它去掉。
$$A\times B=\sum_{i=0}^{n-1}(\sum_{j=0}^{n-1}A_jB_{i-j})x^i$$

线性卷积和循环卷积关系

我们用比较形象地方式说明。
举个例子

$$(1+2x+3x^2+4x^3)\times(5+6x+7x^2+8x^4)$$
即 $(1,2,3,4)\times(5,6,7,8)$
线性卷积：

循环卷积

如果把 (5,6,7,8) 复制展开

然后我们观察，设线性卷积的结果为 $C_{0...6}$，循环卷积的结果为 $D_{0..3}$
则有：
$D_0=C_0+C_4$
$D_1=C_1+C_5$
$D_2=C_2+C_6$
$D_3=C_3$
也就是说，把线性卷积重叠在一起，就得到了循环卷积。

多项式点值表示

我们把N个数$x_{0..n-1}$带入x，可以得到多项式的N个值$A(x_{0..n-1})$。
将每一个数和对应的值当成一个点 (xi