当然，尽管是确定了阅读顺序，林枫也没有马上开始。
任何星辰大海那都是遥远的梦想，想要追求遥远的梦想这没什么。
但前提是要在此之前不需要为物质而烦恼。
想想那令人压抑的信用卡账单，林枫就一个头两大。
林枫现在还得为物质奔波。
「去码头整点薯条jpg」
林枫记得当时加州大学洛杉矶分校高性能计算实验室可是在第一时间表示他们已经安排算集群开始验证-和-是否是梅森素数了。
怎么这么久还没出结果呢？
虽然说漫无目的地去寻找梅森素数挺困难的。
但要通过级计算机验证一个数是不是梅森素数还真不费劲。
一般来说，要验证-是否是素数。
直接计算出这个数并检查它是否有其他因数是最容易想到的思路。
但这明显不可行。
像是-这种大数的位数太多，如果暴力因式分解挨个试肯定无法在合理的时间内完成。
不过也不是毫无办法。
卢卡斯-莱默测试可以有效简化这个过程。
在借助这个方法的情况下完全通过递归迭代序列验证是否满足特定条件。
具体步骤也不复杂。
此前在写论文的时候林枫还特别了解过这方面。
先是初始化设s_o=，而后递归：计算s_（n+）=s_（n-）
模p-，运算从n=开始，直到n=p-为止。
如果最终结果s_（p-）是o，那么p-就是一个素数；否则它不是素数。
听起来依旧是有点麻烦的。
但对于级计算机来说这完全是小儿科好不好。
而且由于卢卡斯-莱默测试的复杂度是线性时间复杂度，即o（p），这意味着计算的时间与p成正比。
对于-来说，只需要执行次循环，每次计算一个模运算。
卢卡斯-莱默测试每次迭代中包含的运算量比较复杂，涉及到大整数的平方和模运算。
不过估算的话也不是没办法。
可以粗略假设每次迭代进行模运算需要进行约o次计算。
这样计算的话，总的计算次数是：
o约等于o次计算。
如果计算机每秒可以执行o次计算。
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
诱哄！占有！周少跪求夫人二婚！ 叫我如何不恋他 落日归挽 月亮盏 天龙：别人练武我修仙 星际文相亲养娃 （足球同人）[足球]冰山社恐型门将 娶了旺夫小夫郎之后 黎明之后[破镜重圆] 易，三国 暗诱！明甜！被疯批恶犬搂入怀 分手后我在娱乐圈杀疯了 心动肆吻 娇贵雄虫直播爆红 妖月悬空，开局觉醒双星核 拜托，爹系男友超宠的！ 星际文花店主他很香 当魅魔成为被抛弃的Omega 蓄意谋欢 今夜勾欢