算法学习FFT系列（4）：任意模数的快速傅里叶变换（MTT）

算法学习FFT系列（4）：任意模数的快速傅里叶变换（MTT）

毛神好强，毛神好强

任意模数的快速傅里叶变换的解法

这里假设序列是$10^5$级别的，模数是$10^9$级别的。
首先找到问题的瓶颈。
由于模数的任意性，所以NTT失效了。
而由于如果没有模数，最后的结果是在$10^{23}$级别，会太大，所以FFT也不适用。
既然找到了瓶颈，所以我们解决的方针就有两种：(1)把NTT推广到任意模数的形式。(2)通过某种方法分步计算FFT使得精度符合要求。

三模数NTT

根据第一种思路，找到三个符合要求的模数在这三个模数意义下分别FFT然后利用中国剩余定理合并一下。
以后有空再补吧，今天主要介绍另外一种。

拆系数FFT

讲每个数拆成$k*M+b$的形式，其中$M$是常数
考虑卷积的过程。
$(k_1*M+b_1)*(k_2*M+b_2)=k1*k2*M^2+b_1*k_2*M+b_2*k_1*M+b_1*b_2$
$M$这个东西可以FFT出来之后乘
这样子的话，大概估计一下范围，考虑最大的情况。
k1∗k2=⌊PMPM⌋=⌊P2M2⌋ $k_1\ast k_2=\lfloor \frac{P}{M}\frac{P}{M}\rfloor =\lfloor \frac{P^2}{}$