关于 FFT 和 NTT 等多项式科技的学习
给大家整个活。
最基础的狒狒贴可以 $O(N \log N)$ 解决多项式乘法。
朴素的就是 $O(N^2)$ 比较低端。
狒狒贴先是把一个用系数表示的多项式转化为点值表示。
然后通过这样的转换搞科技。
首先一个 $n-1$ 次 $n$ 项多项式 $\rightarrow f(x)=\sum\limits_{i=0}^{n-1}a_{i}x^i$， 默认 $a_{0,…,n-1}$。
或者可以表示为 $f(x)={a_0,a_1,…,a_{ n-1}}$。
然后引入一种高级的东西 - 点值表示法。
把一个多项式丢到平面直角坐标系里面，看成一个函数。
然后不同的 $x$ 代进去 $f(x)$ 都会得到不同的 $(x,f(x))$。
然后规定一下 $f(x)$ 用 ${(x_0,f(x_0)),…,(x_{n-1},f(x_{n-1}))}$ 表示，就是点值表示法。
然后如果你要暴力搞的话肯定系数转点值和点值转系数都 $O(N^2)$。
两种朴素算法分别叫做 DFT 和 IDFT，离散傅里叶变换和离散傅里叶逆变换。
首先可以直接将任何一个复数表示到复平面直角坐标系上面变成一个点。
横坐标是实部，单位为 $1$；纵坐标为虚部，单位为 $i=\sqrt{-1}$。
复数运算不多赘述了。
多项式转点值可以找到一个地方突破，就是代入一组特殊的 $x$ 使次方运算减少。
那么就可以直接钦定一个复平面坐标系上以原点为圆心划一个半径为 $1$ 的圆。
例如 $(0,i) \rightarrow (1,0) \rightarrow (0,-i) \rightarrow (-1,0)$ 这样一个圆。
规定一下方便的叫法，这是个单位圆。
那么所有点经过若干次方都可以变成 $1$。
方便起见可以把它分成 $n$ 份代表 $n$ 项式。
从 $(1,0)$ 开始逆时针编号，其实随便怎么标都可以，你开心就好。
令 $\omega_{n}^1$ 代表 $n$ 次单位根。
然后设第 $i$ 个点的复数值为 $\omega_{n}^i$。
然后丢个简单的公式，就是模长相乘，极角相加。
大概就是 $(a,\theta_{1})\times(b,\theta_2)=(ab,\theta_1+\theta_2)$，其中横坐标为实，纵坐标为虚。
这里就可以稍稍拓展一下知道 $\omega_n^{i+j}=\omega_n^i \times \omega_n^j$。
然后由定义显然有 $(\omega_{n}^i)^j=\omega_n^{ij}$。
所以由这个公式知道 $(\omega_{n}^1)^i=\omega_n^i$。
那么每一个 $\omega$ 就可以通过三角函数乘上占的比例求出来。
$$\omega_n^k=\cos\dfrac{k}{n}2\pi+i\sin\dfrac{k}{n}2\pi$$
（这里下标不用 $i$ 了是因为怕跟虚数单位 $i$ 混淆）
那么这一大堆 $\omega$ 就可以当 $x_{0…n-1}$。
推狒狒贴需要用到两个性质，就是可以拿来搞分治的两个性质。
就是 $\omega_n^k=\cos \dfrac{k}{n}2\pi+i\sin\dfrac{k}{n}2\pi=\cos \dfrac{2k}{2n}2\pi+i\sin\dfrac{2k}{2n}2\pi=\omega_{2n}^{2k}$。
以及 $\omega_n^i=-\omega_n^{i+\frac{n}{2}}$，就是类似一个多边形对角线的性质。
因为两个点关于原点对称所以有这个定理，很显然。
那么下面就是整活的推柿子了。
设 $f(n)=\sum\limits_{i=0}^{n-1}a_ix^i=a_0+a_1x+a_2x^2+…+a_{n-1}x^{n-1}$
默认 $n$ 为奇数，方便计算。
那么将 $f(n)$ 按照下标奇偶性分成两半
$=(a_0+a_2x^2+…+a_{n-2}x^{n-2})+(a_1x+a_3x^3+…+a_{n-1}x^{n-1})$
$=(a_0+a_2x^2+…+a_{n-2}x^{n-2})+x(a_1+a_3x^2+…+a_{n-1}x^{n-2})$
然后因为两边非常相似，所以设
$f_1(n)=a_0+a_2x+a_4x^2+…+a_{n-2}x^{\frac{n-2}{2}}$
$f_2(n)=a_1+a_3x+a_5x^2+…+a_{n-1}x^{\frac{n-2}{2}}$
很明显可以把 $f_1$ 和 $f_2$ 代进去。
原式 $=f_1(n^2)+n\times f_2(n^2)$
然后可以开始 DFS / 迭代这样子做，前半段设有 $i<\dfrac{n}{2}$，那么把 $x=\omega_n^i$ 代入原式
$f(\omega_n^i)=f_1((\omega_n^i)^2)+\omega_n^i\times f_2((\omega_n^i)^2)$
然后因为是平方，所以 $2$ 可以乘到上面去，所以有
原式 $=f_1(\omega_n^{2i})+\omega_n^i \times f_2(\omega_n^{2i})=f_1(\omega_{\frac{n}{2}}^i)+\omega_n^i \times f_2(\omega_{\frac{n}{2}}^i)$
后面那个成立是因为 $\omega_{n}^i=\omega_{2n}^{2i}$。
因为分治特别好玩，所以后面那段也要分治。
同理可以推推推，设 $t=\dfrac{n}{2}$（手敲累了）。
$f(\omega_n^{i+t})=f_1(\omega_n^{2i+n})+\omega_n^{i+t}\times f_2(\omega_n^{2i+n})$
因为显然有 $\omega_{n}^{2i+n}=\omega_n^n \times \omega_{n}^{2i}$
所以直接拆开，因为 $\omega_n^n=\omega_n^0=0$，跑路。
原式 $=f_1(\omega_n^{2i})+\omega_n^{i+t} \times f_2(\omega_n^{2i})$
做到这里发现推不动了，直到看到 $\omega_n^i=-\omega_n^{i+\frac{n}{2}}$ 这个玩意我们发现可以代进去。
原式 $=f_1(\omega_n^{2i})-\omega_n^i\times f_2(\omega_n^{2i})$。
然后因为 $\omega_{n}^i=\omega_{2n}^{2i}$ 有原式 $=f_1(\omega_{t}^i)-\omega_n^i \times f_2(\omega_{t}^i)$
最后发现后面那一项，两半分别为相反数。
所以我们知道 $f(\omega_n^i)$ 和 $f(\omega_n^{i+t})$ 只有后面那个地方不同。
换句话说知道了 $f(\omega_{n}^i)$ 就算出了 $f(\omega_n^{i+t})$。
那么就可以这样迭代下去求了。
时间复杂度 $O(\sum\limits_{i=0}^{\log_2N}2^i)=O(N \log N)$。
好耶，没有代码。
听说 DFS 版本的狒狒贴会 TLE。
到时候应该会贴一个迭代版本的狒狒贴上来。
1 |
|
闹太套主要思想就是把毒瘤的狒狒贴复数给换掉
换成一种可以代替复数的、并且能够解决精度问题的东西，原根。
介绍几个专有名词。
阶：如果 $\gcd(a,p)=1$ 并且 $p>1$，
那么对于 $n_{\min}$ 满足 $a^n \equiv 1 \space (\bmod \space p)$，我们称 $n$ 为 $a$ 模 $p$ 的阶，记作 $\delta_p(a)$。
原根：设 $p \in N^*,\space a \in Z$（不会打 $\LaTeX$，轻喷）。
如果 $\delta_p(a)=\phi(p)$，则称 $a$ 为模 $p$ 的一个原根。
原根存在的充要条件是，原根 $d=2,4,x^y,2x^y$（其中 $x$ 为奇素数，$y \ge 1$）。
每一个正整数 $p$ 都有 $\phi(\phi(p))$ 个原根，素数也一样。
闹太套到这里基本上就出来了，也就是最重要的定理：
- 若 $p$ 为素数且 $g$ 为 $p$ 的原根，那么 $g^i \bmod p$ 的结果两两不同。
其中$g \in (1,p), \space i \in (0,p)$
这玩意儿可以代替原来的复数来进行狒狒贴，所以有了个新名字，闹太套。
狒狒贴里面不是用到了单位根的几条性质吗，恰好原根也满足这几个性质。
所以原根就可以拿来代替毒瘤的复数了。（
如果有证明欢迎私信，我会蒯走
那么我们直接将 $\omega_i$ 替换为 $g^{\frac{p-1}{i}} \bmod p$ 即可。
$p$ 的取值嘛，听大佬说 $p$ 取 $998244353$ 非常好，原根为 $3$。
关于求原根，这个鸽子咕了 … …
大概求解任意一个质数 $t$ 的原根，只需要把 $t-1$ 分解质因数
变成 $t=\prod\limits_{i=1}^np_i^{k_i}$ 这样的乘积形式
然后如果 $\forall 1 \le i \le n, \space g^{\frac{t-1}{p_i}} \not =1 \space (\bmod\space t)$，那么 $g$ 为 $p$ 原根。
人太懒了没有加 fread 和 fwrite，导致跑得比狒狒贴还慢。
1 |
|