蒙地卡罗算法(英语:蒙地卡罗)的素性测试是乱数算法,可能会产生伪阳性的结果(不是素数的数却通过素性测试),根据普罗斯定理的算法是拉斯维加斯算法,其答案都是对的,但要找到答案的时间则是随机变化.
对于p = 9,不存在a使得a4 + 1能被9整数,所以9不是素数.
头几个普罗斯质数是(OEIS数列A080076):
截至2009年 (2009-Missing required parameter 1=month!)[update],已知最大的普罗斯质数是19249 · 213018586 + 1,是由十七或者破产所找到的,有3918990个数字,是已知不是梅森素数的素数中,数值最大的质数[1].
这是一篇关于数论的小作品.你可以通过编辑或修订扩充其内容.
本页面最后修订于2022年10月28日 (星期五) 04:18.