天才一秒记住【孤独小说网】地址:https://www.gdntek.com
话说回来,一个梅森素数如此麻烦,那么就算林枫提出了一个数是梅森素数,那么会不会验证起来也很麻烦呢?
如果真要验证一个梅森素数也要用时很长,那林枫岂不是想要通过梅森素数搞快钱的思路要崩溃了?
非也,虽然发现一个梅森素数很麻烦。
但如果对於给定的一个数,验证其是不是梅森素数从理论上出发还是要相对简单的。
验证一个数是否为梅森素数一般是有套路的。
首先判断该数是否为素数。
素数是只能被1和它本身整除的正整数,有多种方法可以判断一个数是否为素数,比如试除法、欧拉判別法、费马小定理等。
如果该数是素数,再判断是否满足梅森素数的定义。
判断是否可以表示为2^p-1的形式,其中p是一个素数。
为了判断一个数是否可以表示为2^p-1的形式,可以使用卢卡斯-莱默检验法。
这是一种特殊的测试方法,適用於梅森素数的验证。
呃,好像看起来也不容易的。
不过上述步骤都是用最新的计算机网络来实现。
何况还是用一个超级分布式计算网络来进行验证的。
验证起来並不会很麻烦。
虽然理论上用m74207281、m77232917和m82589533这3组数可以换得75万美元。
但出於稳妥起见,实际执行的时候,林枫也不至於说是一下子就拿出三个来。
从过往发现梅森素数的进度来看:
m74207281(即2^74207281-1),前世於2016年1月被发现。
m77232917(即2^77232917-1),前世於2017年12月被发现。
m82589933(即2^82589933-1),前世於2018年12月被发现。
这玩意正常发现速度是一年发现一个。
甚至在m82589933后好多年都没发现一个。
因此,一下子搞出3个梅森素数显然看起来不是很合理。
从合理性考虑,林枫感觉还是一次性拿出一个是最合適的。
但短时间內,林枫还是对资金很犯愁的。
权衡了一下,林枫决定还是拿出两个最合適。
当然,怎么拿出来也是有策略的,如果加入gimps中进行提交的话。
林枫感觉很可能提出的数据会石沉大海,毕竟在gimps项目中每天都会有海量的新的“梅森素数”
被宣称搞了出来,这种情况下林枫就是提出来新的,核验优先级也不会很高。
想了想,林枫乾脆决定把事情公开化,充分利用现在自己的身份来搞事情。
在刚才进一步融合记忆之后,林枫注意到原身还有个实名认证的推特帐户,虽然並没有什么推文,但身份认证却是普林斯顿大学数学系在读博士。
这刚好符合林枫的需要。
林枫乾脆用这个帐號就发布这样一条简短推文:
“我发现了两个新的梅森素数:2^74207281-1和2^77232917-1。”
本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!