从大学讲师到首席院士 第92节 (第7/7页)

卢卡斯－莱默检验法。

    卢卡斯－莱默检验法，是针对梅森数的素性检验，由爱德华－卢卡斯于1878年制定的，五十年后，德里克－亨利－莱默对于方法进行了改进完善。

    这个针对梅森素数的素性检验方法已经非常简化。

    利用卢卡斯－莱默检验法，验证梅森数‘mn=2的n次方－1’是否是素数，只需要让程序循环运行‘n－2次’就够了。

    当然，因为牵扯到千万位的超大数，每一次循环的计算量还是很高的，但针对千万位超大数的素性检验，已经可以说是简化到了极致。

    比如，家用普通电脑，运行一百个小时左右，就可以检测出一个千万位梅森数的素性。

    这种速度相当惊人。

    正因为如此，一直到现在快要百年时间，针对梅森数的素性检验，使用的依旧是卢卡斯－莱默检验法。

    卢卡斯－莱默检验法的内容，只要看一眼就能明白过来，方法没有什么难度可言。

    正因为方法太过于简单，想改善就显得无从下手。

    比如，普通的加法，方法已经足够简单，还怎么去改善呢？

    王浩仔细思考了一下，也根本是无从下手，但研究肯定是有方向的，针对单个素数的检验方法无法突破，也能够在检验数字筛选上做突破。

    但是，他仔细想了很久，还是找不到方向，只能慢慢看看能不能有什么灵感。

    ……

    第二天早上，王浩早早的爬起来去晨跑。

    生活节奏回归了以往的规律，锻炼也碰到了熟悉的人。

    苏映雪。