【模板】二次剩余Cipolla算法/欧拉准则-bzoj5104: Fib数列

---

欧拉准则

对于质数$p$，$x^2\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)\iff a^{\frac{p-1}{2}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。

证明：

充分性：
$a^{\frac{p-1}{2}}=(x^2{)}^{\frac{p-1}{2}}=x^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

必要性：
设$g$为模$p$意义下的原根，$g^i\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$，则
$g^{\frac{i(p-1)}{2}}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$
$g$为原根，则$(p-1)|\frac{i(p-1)}{2}$，$i$为偶数，$x\equiv g^{\frac{i}{2}}(\mathrm{m}\mathrm{o}\mathrm{d}p)$

---

Cipolla算法

一种求解模奇质数意义下的二次同余方程的算法。

即$p$为奇质数，给定$a$，求$x$满足：$$x^2\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

复杂度 O ( log ⁡ p ) O(\log p)