这是一个数论系列:)
一、素数
×费马小定理
Theorem: 设 p 是一个素数,a 是一个整数且不是 p 的倍数,那么
很遗憾,费马小定理的逆定理是不成立的。对 a = 2,满足的非素数 n 是存在的。
比如 n = 341 = 11 × 31
对于整数 a,称满足的合数为以 a 为底的伪素数。
经测试,
前 10 亿的自然数中,同时以 2 和 3 为底的伪素数有 1272 个。
我们用费马小定理验证素数的话,出错的概率大概只有 0.000025。
×Miller-Rabin
Theorem:.若 p 是素数,x 是一个正整数,且 那么。
Corollary:设待测数为 n,取一个比 n 小的正整数 a,设,