实系数多项式卷积 DFT的优化

如果要计算 $C(x)=A(x)B(x)$，通常的做法是对$A,B$各做一次DFT，各处点值相乘后再做一次逆DFT
但是这样做了三次DFT，在某些丧心病狂的题目中可能会被卡常
但是如果 $A(x),B(x)$ 的系数都是实数，可以只做两次DFT

方法一

从毛爷论文上搬的
令 $P(x)=A(x)+iB(x),Q(x)=A(x)-iB(x)$
如果我们求出了 $P(x),Q(x)$ 的点值，那么 $A({\omega }_n^k)=\frac{P({\omega }_n^k)+Q({\omega }_n^k)}{2},B({\omega }_n^k)=-i\frac{P({\omega }_n^k)-Q({\omega }_n^k)}{2}$
事实上只要求出了$P(x)$的点值就相当于求出了$Q(x)$的点值，因为$conj(P({\omega }_n^k))=Q({\omega }_n^{n-k})$
证明可以考虑几何意义，$P,Q$的每一项系数都共轭，而$conj({\omega }_n^k)={\omega }_n^{n-k}$，所以乘起来也共轭

方法二

令$D(x)=A(x)+B(x)+i(A(x)-B(x))$
直接对$D(x)$做DFT，将点值自乘，再做逆DFT
最后$D(x)$中实部恰好就是我们要求的值的4倍
也就是说，$D^2(x)$的实部所组成的多项式的各项系数恰好是$(A\ast B)(x)$各项系数的4倍
证明 ：$real(D^2(x))=real([A(x)+B(x)+i(A(x)-B(x)){]}^2)=(A(x)+B(x){)}^2-(A(x)-B(x){)}^2=4A(x)B(x)$