Miller_Rabin素数测试[Fermat小定理][二次探测定理][同余式][Wilson定理]

最新推荐文章于 2020-07-06 14:47:15 发布

iYUNDI

最新推荐文章于 2020-07-06 14:47:15 发布

阅读量4.3k

点赞数 2

分类专栏：各种数学

本文链接：https://blog.csdn.net/iyundi/article/details/9955353

版权

本文介绍了素数测试中的几个关键概念，包括同余式、Wilson定理、Fermat小定理、Euler定理以及Fermat素数测试。重点讲解了Miller-Rabin素数测试算法，该算法基于二次探测定理，是对Fermat小定理的优化，用于提高素数判定的准确性，同时讨论了强伪素数的概念。

摘要由CSDN通过智能技术生成

部分引用自:

http://blog.csdn.net/fisher_jiang/article/details/986654

很大部分引用自:

http://www.matrix67.com/blog/archives/234

从零开始~

同余式

如果两个正整数a和b之差能被n整除,我们就说a和b对模n同余,记作 a ≡ b (mod n)

+ - * 均可, / 的时候注意:

若c与n互质,则有 a / c ≡ b / c ( mod n )

简单解释: 如果ac≡bc(mod m)，且c和m互质，则a≡b(mod m) （就是说同余式两边可以同时除以一个和模数互质的数）。
证明：条件告诉我们，ac-mp = bc-mq，移项可得ac-bc = mp-mq，也就是说(a-b)c = m(p-q)。这表明，(a-b)c里需要含有因子m，但c和m互质，因此只有可能是a-b被m整除，也即a≡b(mod m)。 ^[matrix67]
若a / c ≡ b / c ( mod n ) , 则不一定有c与n互质.

反例: 4 ≡ 64 (mod 10) 两边同除以c = 2 (n = 10)

2 ≡ 32 (mod 10)

当且仅当p为素数时：( p -1 )! ≡ -1 ( mod p ).

简要来说就是{ 2..p-2 }之间的数可以两两配对,乘积与1模p同余.

因此这些连乘的部分都可以换成1,只剩下了 1* ( p-1 ).由最后一式,得证.

[但是为什么可以两两配对, 目前还没看懂, 以后看懂了补上吧]

Wilson定理有很高的理论价值.但实际用于素数测试所需要计算量太大,无法实现对较大素数的测试.到目前为止,尚未找到素数测试的有效的确定性算法.

著名的费马小定理为素数判定提供了一个有力的工具.

费马小定理:如果p是一个素数,且(0<a<p),则

关注

专栏目录