第25章 查找递推数列(1 / 2)

科学幻想世界 九极残废 1352 字 10小时前

“这……”

伊莎贝尔反复检验了几遍自己的操作,发现确实没错,一时洁白细嫩的面皮微微抽搐了几下,有些郁闷:

“59和67,居然真的都是合数,而不是素数。”

自己信心满满确定的两个重要候选数字,居然都是错的,这让伊莎贝尔一阵尴尬。

但随后,她螓首一扭,望向身侧的罗伦,心里又不禁有些庆幸。

还好罗伦及时指出了59和67是合数,不然单凭自己硬算,不知要算多久,才能确定这两个数不是素数。

少则两三个月,多则接下来的半年时间全都会浪费在这两个数上。

伊莎贝尔深呼吸了一口气,语气复杂地说:

“罗伦,我果然没有看错你,你一上来就给了我一个大惊喜啊,好,这很好,只是……你究竟是怎么发现这两个数并非素数的?”

“偶然的灵感,以及直觉,我也解释不清,反正忽然就注意到了。”

这事儿没法详细解释,罗伦一如既往是进行模糊化处理。

数学天才嘛,直觉很强不是很合理吗?

伊莎贝尔一阵无言,也没法反驳,因为这种事情确实可能存在,甚至很多时候,数学的进步,都来自于偶然的灵感。

她想了想,说道:“既然你能忽然注意到59和67不是素数,那你能忽然注意到哪两个数是新的素数吗?”

罗伦迟疑了下:“教授您给我一点时间,我或许就能。”

见他竟是这等回答,结合对方是个数学天才,不能以常理度之,伊莎贝尔一时竟是信了七八分。

她轻捋耳鬓金发,那张洁白无瑕的面庞上,带了一丝好奇之色:“罗伦,你对查找和判断素数,是不是有什么不一样的思路?”

罗伦点了点头,又摇头:“有一些想法,但还不成熟,教授您给我点时间,让我好好琢磨下,等有了结果,我再向您汇报。”

还真有不一样的思路?

伊莎贝尔听闻此言,碧绿色的眸子微凝,语气陡然变得严肃起来:

“好,那接下来,你按照你自己的节奏来研究这个课题,我就不给你布置任务了,免得打乱你的思绪,嗯,给你三个月时间,如果三个月后没出结果,再跟着我的节奏来,如何?”

“一切如您所言。”

嗅着身侧伊莎贝尔传来的好闻馨香,罗伦靠在椅背上,微闭着眼睛,意识默默勾连上了前世数据库。

伊莎贝尔见状,也没打搅他,起身回到了自己常坐的位置,将丰腴的臀儿陷进柔软的坐垫中,白嫩的面颊上神情恢复冷淡与端庄,捏着笔按照她自己的节奏,在一张纸上写画起来。

对于素数,罗伦前世并没有深入研究过,虽然他知道的素数远不止十个,但光知道没用,能写出来也没用。

得证明那些数是真正的素数才行。

低位数的素数还好说,但高位数的素数,那就非常叫人头疼了。

比如伊莎贝尔想要查找的第十位完美数,所应对的素数为89,但这玩意儿足有27位数,为618970019642690137449562111。

要证明它是素数,那计算量可不是一般的大。

完全是指数级的复杂度。

这显然是笔算不可能完成的任务。

不过,天无绝人之路。

罗伦通过勾连前世数据库,在里面逐帧检索了一阵相关信息,发现确实有一种检验法,可以快速检验高位数的素数。

——卢卡斯-莱默检验法。

其内核算法是构造一个递推数列去模p,当某一项模p的馀数归零时,就能确定p是素数。

但那个递推数列的公式,罗伦的前世数据库里根本没有,他就只知道些相关的文本描述。

所以,得先想办法将那个递推数列找出来。

“卢卡斯-莱默检验法,递推数列,唔,这就是解决的方向了……”

罗伦睁开了眼睛。

搞研究,尤其是搞数学研究,最怕的就是没方向,

现在有了方向,那就好办了……即便罗伦还不知道检验法的具体形式是什么,但只要瞄准这个方向去研究,肯定是能出结果的。

无非是下一番苦功夫罢了。

……

转眼,时间过去了十几日,进入了十二月。

期间,爱德华磨磨蹭蹭了好一阵,终于来到了166号院,而他也总算完成一次异变,踏足了异变期。

一瞧罗伦正在研究完美数与素数的课题,他也跟着添加了进来。

罗伦见他想跟着自己一起研究,便也不客气,直接给他分配了枚举各类递推数列的任务,而罗伦则从他枚举的递推数列之中,查找有用的线索。

还真别说,这种做法确实有用。

十二月六号,罗伦结合低位素数的数值,以及爱德华枚举的一种平方递推数列,发现了一丝端倪。

十二月九号,罗伦从一连串乱码与算式之中,将思路基本理清,初步确定了递推数列的形式,以及基本的判定条件。