看一个数是否为质数,我们通常会用那个O(√N)的算法来做,那个算法叫试除法.然而当这个数非常大的时候,这个高增长率的时间复杂度就不够这个数跑了. 为了解决这个问题,我们先来看看费马小定理:若n为素数,a与n互质,则an-1Ξ1(mod n).于是有人想过把它倒过来判断n是否为素数.首先,若a与n不互质,那么n为合数.所以只需要满足an-1Ξ1(mod n)即可,这个a干脆就让它等于2了.即判断2n-1Ξ1(mod n)是否成立.若不成立,那么n必定为合数.但成立时n就是素数吗?又有人找出了个数:…