FFT理解

还是得靠理解啊

背景

FFT靠背板的选手被合数循环FFT题卡掉了。

前言

FFT的核心思想是DFT和IDFT.
换言之就是快速求出点值表示。

前置

单位根：$w$:n次方后变成1（乘法单位元）。
要是有$w^{\frac{n}{2}}=-1$更为舒适($2^{n}FFT$时使用)

实现

我们拿一个数组存储当前的对应的点值（废话）。
其中下标对应的是多少次根。
以2的n次方为循环节的fft为例:
如$F(x)=a_1{x}_n^0+a_2{x}_n^1......a_{n-1}{x}_n^{n-1}$
那么$F(x)=(a_1{x}_{n/2}^0+a_3{x}_{n/2}^2+.......)+x\ast (a_2{x}_{n/2}^0+a_4{x}_{n/2}^2+.......)$
并且由于$x_n^n==x_{n/2}^{n/2}$,因此上面两个值都不用换直接拿来用
大概是这个样子：
原数组:$a_1(x_{n/2}^0),a2(x_{n/2}^0),a_1{x}_{n/2}^1,a_2{x}_{n/2}^1......$
求数组:$a_n(x_n^0),a_n(x_n^1),a_n(x_n^2)$
由于单位根性质，$a_n(x_n^k)=a_1(x_n^{2k})+x_n^k\ast a_2(x_n^{2k})$,然后会发现如果2k>n变1了，因此每个新位置是由哪些原先的位置求出的呈一个循环，下标每增加1，区间（循环）右移当前分成了几个的长度。
这样做就可以递归分解合数的fft了。

优化

理论上多合数积底的fft也可以和$2^n$底的一样翻转。
但是裸奔的多合数基底fft都是黑题了，你还想优化常数？你以为你谁啊
上面那句话是作者自用的，请勿误伤。