【学习笔记】多项式 (2.快速数论变换)

这是一篇基于OI Wiki中的内容进行整理的算法竞赛中关于多项式的相关内容的第二篇笔记。

1.前置知识

1.1 阶

若正整数$a,p$互质，且满足$p>1$，则对于$a^n\equiv 1(\mathrm{mod}p)$的$n$，我们称这样的$n$为$a$模$p$的阶，记作${\delta }_p(a)$。

如：$2$是$3$模$8$的阶，因为$3$与$8$互质，且$n=2$是最小的满足$3^n\equiv 1(\mathrm{mod}p)$的值。

阶具有以下性质：

1. 对于$i\in [0,{\delta }_p(a))$，所有的$a^i(\mathrm{mod}p)$结果互不相同。（可以用反证法证明）
2. 若$a^n\equiv 1(\mathrm{mod}p)$，则${\delta }_p(a)|n$。($3^2\equiv 1(\mathrm{mod}8)$，$3^4\equiv 1(\mathrm{mod}8)$）
3. 若$p$为质数，则${\delta }_p(g^i)={\delta }_p(g)$的充要条件为$\gcd ({\delta }_p(g),i)=1$，其中$g$为任意的正整数。
4. δ p ( a b ) = δ p ( a ) gcd ⁡ ( b , δ p ( a ) ) \delta_p(a^b)=\frac{\delta_p(a)}{\gcd(b,\delta_p(a))}