求解模奇质数意义下的二次同余方程

若有方程：

$$x^2 \equiv a\pmod{p}$$

这个方程的解已经可以在优秀的时间内求解，不过这里只探讨$p$为奇质数的情况。

---

$O(\sqrt{n})$解法

首先有欧拉准则：$x^2 \equiv a\pmod {p}$有解$\Leftrightarrow$ $a^{\frac{p-1}{2}}\equiv 1 \pmod{p}$

证明：
1.充分性。

$$a^{\frac{p-1}{2}}=(x^2)^{\frac{p-1}{2}}=x^{p-1}$$
由费马小定理， $x^{p-1}\equiv 1\pmod{p}$
2.必要性。
设 $g$为模 $p$意义下的原根， $g^i\equiv a\pmod{p}$。
有 $$g^{\frac{i(p-1)}{2}}\equiv 1\pmod {p}$$
$g$为原根，那么 $(p-1)|(\frac{i(p-1)}{2})$
此时 $i$为偶数，令 $x=g^{\frac{i}{2}}$可以构造出一组解。

显然$BSGS$可以构造出一组解，问题可以在$O(\sqrt{n})$内解决，不过还有更加优美的解法。

---

$O(\log ^2n)$解法

若$x^2 \equiv w \pmod{p}$无解，则称$w$为$p$的一个二次非剩余系中的一类。对于这样的