二次剩余的判定及Cipolla算法

二次剩余

$p$是奇素数。所有的运算都是在群$Z_p^{\ast }$中的运算。方程$x^2=a̸=0$问是否有解，以及解是什么?若有解，$a$就是模$p$的二次剩余；若无解，则$a$就是模$p$的非二次剩余。

1. $a=0$,显然只有唯一解$x=0$.

2. $a̸=0$,有解等价于$a^{\frac{p-1}{2}}=1$;无解等价于$a^{\frac{p-1}{2}}=-1$.

群$Z_p^{\ast }$恰好有一半的元素是二次剩余，一半的元素不是二次剩余。当元素$a$是二次剩余是，解有且只有两个$x_0,x_1$,且$x_0=-x_1$,即解$x=\pm c$

因此，验证$a$是否是二次剩余可以用快速模幂,复杂度$O({\log }_{2}p)$.

对于二次剩余$a$，求解x使用[Cipolla]{.underline}（洋葱? 奇波拉?）算法。

Cipolla（洋葱？）算法

这是一个随机性算法，复杂度是$O({\log }_{2}p)$

这个算法是在域$F_{p^2}$上进行运算的，在这个域上做乘法、幂运算，然后解的那个表达式算出来之后，一定是属于域$F_p$的，$F_{p^2}$是$F_p$的扩充。

1. 使用随机的方法，找到一个满足$b$满足$b^2-a$不是二次剩余。需要检验$b^2-a$是不是二次剩余的期望次数是$2$.每次检验是 O (