米勒-拉宾质数判断证明

学习自 wiki
米勒-拉宾素性检验
同余
欧几里得引理

同余式

a≡b (mod m)
两个整数a,b,若它们除以正整数 m所得的余数相等,则称a, b对于模m同余

欧几里得引理

如果a|bc ,gcd(a,b)=1 那么 a|c
如果一个正整数整除另外两个正整数的乘积,第一个整数与第二个整数互质,那么第一个整数整除第三个整数。

命题30的表述
如果 p|bc 那么 p|b 或者 p|c
如果一个素数整除两个正整数的乘积,那么这个素数可以至少整除这两个正整数中的一个。

平凡平方根

平凡平方根: 12mod p 和 (-1)2mod p 总得到 1 ,我们称-1和1是1 mod p 的“平凡平方根”

当p是素数且 p>2时,任意 x 是1 mod p 的 “平凡平方根”
在这里插入图片描述

费马小定理

假如 a是一个整数, n是一个质数
1≤a≤n-1都有 an ≡a (mod n), 即an-1≡ 1mod n
在这里插入图片描述

注:第一步是由公式化来

米勒-拉宾质数判定法

在这里插入图片描述

附上实现

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 6
    评论
费马素性检验算法、米勒-拉宾素性检验算法和Solovay-Stassen素性检验算法都是判断一个数是否为素数的经典算法,它们的区别和联系如下: 1. 费马素性检验算法: 费马素性检验算法是最早提出的素性检验算法之一,它基于费马小定理:如果p是质数,a是不被p整除的任意整数,则a^(p-1) ≡ 1 (mod p)。因此,如果对于给定的a和p,a^(p-1) mod p = 1,则p可能是质数,否则p一定是合数。 2. 米勒-拉宾素性检验算法: 米勒-拉宾素性检验算法是一种基于费马小定理的改进算法,它随机选取若干个数a,对每个a进行费马小定理的检验,如果某个a使得a^(p-1) mod p ≠ 1且a^((p-1)/2) mod p ≠ -1,则p一定是合数,否则p可能是质数米勒-拉宾素性检验算法的可靠性与选取的a有关,但是经过多次检验,误判的概率可以降低到极小。 3. Solovay-Stassen素性检验算法: Solovay-Stassen素性检验算法是一种基于欧拉准则的改进算法,它首先利用欧拉准则判断给定的数n是否为合数,如果n是合数,则返回false;如果n是质数,则随机选取若干个数a,并计算它们的雅可比符号,如果所有的雅可比符号都满足a^((n-1)/2) ≡ Jacobi(a, n) (mod n),则n可能是质数,否则n一定是合数。 这三种算法都是基于数学定理来判断一个数是否为素数。费马素性检验算法最简单,但误判率较高,适合于小范围的素数判断米勒-拉宾素性检验算法相对来说误判率较低,适合于大范围的素数判断;Solovay-Stassen素性检验算法也是误判率较低的算法,但比米勒-拉宾素性检验算法更加复杂。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

yilyil

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值