素性测试

    今天在看《算法之道》一书，其中讲到了素数的判定。从传统方法来说，我们测试一个数N是否为素数的时候，是使用2到根号N来判断N是否能被这些数整除，这个方法的缺点在于算法的时间复杂度是指数级别的，如果一个数很大，那么计算时间是无法忍受的，所以一些数论前辈发现了素数的特征，得出了一些十分经典的结论，下面我给大家简要介绍一下判断素数的新方法。 这个方法被称为蒙特卡罗算法，这个算法并不保证结果的绝对的正确性，但是它能保证绝大部分的正确性，总得说来，这个算法说的是我们宁愿结果是错误的，我们也不愿意投入无限的精力。下面进入正题。

要进行素性测试，那就需要用到一个数论中的定理：费马小定理。其描述如下：

   假如p是质数，假如a是整数，p是质数，且a,p互质，那么a的(p-1)次方除以p的余数恒等于1。

测试的伪代码如下：

randomized-prime-test（N）

1.随机选择一个正整数 a<N

2,if a^N-1 恒等于 1 mod N then

 return yes

else

return No