解析 Miller - Rabin 素数测试思想

1、Miller - Rabin 素数测试

定义：令 n - 1 = ( 2^s ) * d，其中 s 是非负整数，d 是正奇数。若 a^d =1 ( mod n ) 或 a^((2^r)*d) = -1 ( mod n )，0 <= r <= s - 1，则称 n 通过以 a 为基的 R-M 测试。

定理：若 n 为奇合数，则 n 通过以 a 为基的 R-M 测试的数目最多为 ( n - 1 ) / 4， 1 <= a <= n - 1

---

这便是 Miller - Rabin 素数测试的基本思想。

---

2、二次探测定理：

若 p 为素数，且 0 < x < p，则方程 x * x = 1 ( mod p ) 的解为 x = 1, p - 1 ( mod p )。

事实上 x * x = 1 ( mod p ) 等价于 x * x - 1 = 0 ( mod p )，则 ( x - 1 )( x + 1 ) = 0 ( mod p )。故 p 须整除 x - 1 或 x + 1，由 p 为素数且 0 < x < p，推出 x = 1 ( mod p ) 或 x = p - 1 ( mod p )。

---

3、费马小定理：

若 p 为素数ÿ