Miller-Rabin随机性素数测试方法 & [CodeVS 1702] 素数判定2

Miller-Rabin算法用于判定某数x是否为素数。如果x被判定为合数，它一定是合数。如果x被判定为素数，它有很大的概率是素数，此概率取决于参数。

费马小定理：
如果n为素数，那么对于任意与n互质的a，有

$$a^{n-1} \equiv 1 \pmod n \ \ \ \ \ (*)$$

如果a与n不互质，上式一定不成立。因为它意味着 aan−2≡1