第22章 微小的学术贡献(2 / 2)
需要注意的是,卢卡斯-莱默检验法只适用于特定形式的梅森素数,即形如2^p-1的素数。
尽管该算法对于这类素数非常高效,但并不适用于一般的素数验证。对于一般的素数,其他素数测试算法如miller-rabin素数测试更为常用和有效。
该算法的时间复杂度为o(p^2),其中p是待验证的素数。
按照这个说法来说,如果秦飞提交了“2的7427281次方-1是梅森素数”这个结论之后。
为了对这个结论进行验证,7427281是输入规模(或问题的大小,那么执行该算法的时间将取决于该数的平方。
即相应的算法时间复杂度为o(7427281^2))=o(55341983592961)。
需要注意的是,时间复杂度仅提供了算法执行时间增长的大致趋势和量级估计,并不能直接转化为具体的执行时间。
实际的执行时间还受到多种因素的影响,包括计算机硬件、算法实现的优化程度、输入数据的特征等。
因此,对于如此大的输入规模,具体的执行时间将取决于实际执行环境和算法的实现细节。
一般来说,对于o(55341983592961)这种时间复杂度的问题。
并不是所有的计算资源和现有计算机系统都能驾驭如此棘手的问题。
不过对于应用了分布式计算的gimps项目应该是问题不大的。
即便是有一点小问题,这也不是秦飞所关心的。
秦飞要做的只是将“2的7427281次方-1是梅森素数”这个结论进行程序化的提交就完事了。
至于具体如何验证这工作倒是跟秦飞关系不大。
虽然具体如何验证之类的内容跟秦飞关系不大,但秦飞却不能无视这些。
即便是很多平平无奇的成果甚至是很多云淡风轻般得出的学术进步也不是一蹴而就达成的。
一点点微小的成果的出现其背后所历经的艰辛是难以想象的。
这可能需要动用庞大的人力资源甚至是计算资源。
一个平平无奇的项目背后往往有着无数搬砖的人在默默付出。
只看到一门学科华丽的外表却看不到背后的各种艰辛是不应该的。
-----------------
秦飞没怎么费力就完成了gimps中相应的账号的注册。
并且完成了“2的7427281次方-1是梅森素数”这个结论提交。
不过饶是如此,事情也并没有结束,怎样让自己提交的这个结论被注意到呢?
毕竟每天gimps中要处理的数据是相当庞大的。
甚至于直接提交结论的这种行为严格来说都是有点不合正常操作流程的。
不过此时的gimps项目管理还不像15年之后那么严格。
一个不太合乎流程的数据提交别被无视就不错了,又怎么能奢望被重视对待呢?
不过似乎这不重要了,因为秦飞发现随着其完成了“2的7427281次方-1是梅森素数”这个结论提交。
一向沉寂的系统居然有了新的反应:
宿主发掘并提交了新的梅森素数,宿主做出了微小的学术贡献,奖励宿主1点学术积分
宿主拥有了学术积分,现已为宿主开启系统商城,凭借着学术积分,宿主可以在新开启的系统商城中进行自由兑换
当前宿主所拥有的学术积分:1点
当前系统等级为lv,升级进度/1