快速傅里叶变化（FFT）含模板

快速傅里叶变化（FFT）

资料来源：https://www.bilibili.com/video/BV1Y7411W73U

前置知识索引

FFT的核心算法是基于复数和单位根的，并且在算法竞赛中FFT的最普遍应用是求i多项式乘法，或者是卷积。

复数 Complex Number

​
$$\begin{gathered} 定义：z=a+bi其中a,b\in R，i=\sqrt{n} \\ 加法法则：(a+bi)+(c+di)=(a+c)+(b+d)i \\ 乘法法则：（a+bi)(c+di)=(ac-bd)+(ad+bc)i \\ 欧拉定理：e^{i\theta }=\cos \theta +i\sin \theta \end{gathered}$$

复数的几何意义

单位根

快速傅里叶变换的核心是用单位根的某些独特性质来快速实现的

我们知道每个复数都可以表示为:
$$z=r\ast e^{i\theta }$$

所以两复数相乘可以表示为
$$z^2=r^2\ast e^{(2\theta )i}$$

每个单位根都可以看成如下公式单位根的幂
$${\omega }_n=e^{i\frac{2\pi }{n}}$$

单位根-三个引理

• lemma.1 消去引理：

$$\begin{gathered} {\omega }_{dk}^{dn}={\omega }_k^n \\ {\omega }_n^{\frac{n}{2}}={\omega }_2=-1 \end{gathered}$$

证明：
$${\omega }_{dk}^{dn}=(e^{\frac{2\pi }{dn}i}{)}^{dk}=(e^{\frac{2\pi }{n}i}{)}^k={\omega }_k^n$$

• lemma.2 折半引理：

$$({\omega }_n^{k+\frac{n}{2}}{)}^2=({\omega }_k^n{)}^2={\omega }_{\frac{n}{2}}^k$$

证明：
ω n k + n 2 = ω n k ω n n 2 = − ω n k ( ω n k ) 2 = ω n 2 k = ω n 2 k ω n k + n 2 = ω n k ω n n 2 = − ω n k ( ω n k ) 2 = ω n 2 k = ω n 2 k ω^{k+\frac{n}{2}}_{n} = ω_{n}^{k}ω_{n}^{\frac{n}{2}} =- ω_{n}^{k}\\ (ω^{k}_{n})^2 = ω_{n}^{2k} = ω_{\frac{n}{2}}^{k}\\ω^{k+\frac{n}{2}}_{n} = ω_{n}^{k}ω_{n}^{\frac{n}{2}} =- ω_{n}^{k}\\ (ω^{k}_{n})^2 = ω_{n}^{2k} = ω_{\frac{n}{2}}^{k}\\ ωnk+2n​​=ωnk​ωn2n​​=−ωnk​(ωnk​)2=ωn2k​=ω2n​k​ωnk+2n​​=ωnk​ωn2n​​=−ωnk​(ωnk​)2=ωn2k​=ω