武汉水运工程学院学报.pdfVIP

；}， 武 汉 水 运 工 程 学 院 学 报 第 18卷 第 2期 Jo~rna$ W m堪nUIliver墨ity 晴 V。1．18 No．2 1994年 6月 W ater TransDortaUon Engin~ring June l994 莫森数素性判别的PC机程序 苎壁堡’壁堂 (武汉交通科技大学船舶机械工程系 基础课部 430063) 摘蔓 培出了一种用fc徽机搜索与判别大h时‘冀niic素数的汇箱程序．试验说明该程序 的运行结果正确可靠 ．运算速度较高 ．是将 Pc徽机应用于计算数论疆域的一次有意义 的尝试． 关t调，塑唑!墼，墼 堕熟 中由法分类号，2 TP31i 0 引 言 大数的素性判别是计算数论中的难题之一，由于计算量之大 ，使得在计算机技术高度发 展的今天 ，要证明一个庞大的随机数为素数仍然是极为困难的。Mersenne素数是形如 2’一1(p 是素数)的素数。自1644年至今，巳发现的Mersenne素数总共只有 32个Ⅲ，并且没有人能肯定 在 巳发现的Mersenne素数之间是否还存在其它的Merscnne素数。最近宣布发现的最新且最大 的Mersenne素数 (eP2 ～1)是一个有 227832位数的大数 ，该数 已由武汉交通科技大学计 算中心程胜利老师主持研制的大数生成系统于 1993年5月成功地得到，其形式为， 17413590682008709732… … … … 02603793328 544677887 — — — — — — —— — — — — v — — — —— — — — — — — — — — — v — — — — — — — — — — — — — — ’ — — — — — — — — — — 一 最高 20位 中间227792位 最低 20位 迄今为止 ，大数的紊性判别与检验主要依赖于大型计算机完成 。由于代价昂贵 ，难 以进行 连续地搜索与检验 ，使得这个锾域留下的重重迷团至今尚未完全揭开。显然如果糍开发出实 用的Mersenne素数判别的Pc机程序．采用多台微机同时进行连续搜索和检验 ，可望大大降低 搜索代价 ，这对揭开谜底具有一定的积极意义。 1 Mersenne数素性检验方法[1] 对于M~rsenne素数有著名的Lucas—Lehmer检验 ． M，；2，一 1(p是素数)是素数， 收瞢 日期I1993-09-24~收到蕾改稿日期t1993-12·28 *男 ．38岁 ．磺士 ．讲 · 232 · 武汉水运工程学院学报 1994年 第 l8卷 当且仅当n—p时 ，U．能被 ，整除。其中 {以)是 由U d及 以一 (UI一，一2)modM，(n一3，4，5，…，)递推定义的数列。 倒 l：当 =11时，M，一2047，Lucas—Lehmer定义的数列为 {“}= {4，14，194，788，70l，119，1877，240，282，1736} 由Luvas--Lehmer检验知 ，不是素数。 倒 2：当 一l3时 ，M，一8191，Luca~一Lehmer定义的数列为 { )一 {d，14，194，d870，3953，5970，1857，36，1294，3d70，128，0} 由I~~as-Lehmer检验知 P是素数。 2 程序设计 的难点与对策 2．1 Pc微机内存容量的限制 设脚，占用内存空间数为 = ／(8×1024)(kB)，则计算 (：一，一2)所需内存空间应为 2， (IO3)，那么递推计算 { }时总共需要的内存空间数 为．3B(k3)，即 凡=3p／(8×1024) (kB