摘要:2008年8月,美国加州大学洛杉矶分校(UCLA)的计算机专家史密斯(E.Smith)
通过参加了一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目,利用网格技术发现了第46个也是最大的梅森素数。这一成就被美国的《时代》杂
志评为“2008年度50项最佳发明”之一,排名在第29位。
2008年8月,美国加州大学洛杉矶分校(UCLA)的计算机专家史密斯(E.Smith)通过参加了一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目,发现了第46个也是最大的梅森素数
,该素数也就是2自身相乘43112609次减1,它有12978189位数,如果用普通字号将这个巨数连续写下来,它的长度可超过50公里!最近,这一成就被美国的《时代》杂志评为“2008年度50项最佳发明”之一,排名在第29位。
人类迄今只找到46个梅森素数
素数也叫质数,是只能被1和自身整除的数,如2、3、5、7等等。公元前300多年,古希腊数学家欧几里得用反证法证明了素数有无穷多个,并提出了少量素数可写成
(其中指数P为素数)的形式。此后许多数学家,包括数学大师费马、笛卡尔、莱布尼兹、哥德巴赫、欧拉、高斯、哈代、图灵等都研究过这种特殊形式的素数,而17世纪的法国数学家梅森(M.Mersenne)是其中成果最为卓著的一位。
由于梅森学识渊博,才华横溢,并是法兰西科学院的奠基人,为了纪念他,数学界就把
型的数称为“梅森数”,并以
记之(其中M为梅森姓氏的首字母);如果
为素数,则称之为“梅森素数”(Mersenne prime)。2300多年来,人类仅发现46个梅森素数。由于这种素数珍奇而迷人,因此被人们誉为“数学海洋中的璀璨明珠”。梅森素数一直是数论研究的一项重要内容,也是当今科学探索的热点和难点。
貌似简单却难度极大的探究
梅森素数貌似简单,但研究难度却很大。它不仅需要高深的理论和纯熟的技巧,而且还需要进行艰巨的计算。1772年,瑞士数学大师欧拉在双目失明的情况下,靠心算证明了
=2147483647)
是一个素数。它具有10位数字,堪称当时世界上已知的最大素数。欧拉的毅力与技巧都令人赞叹不已,他因此获得了“数学英雄”的美誉。难怪法国大数学家拉普
拉斯(P.Laplace)向他的学生们说:“读读欧拉,他是我们每一个人的老师。”在“手算笔录年代”,人们历尽艰辛,仅找到12个梅森素数。
电子计算机的出现,大大加快了探究梅森素数的步伐。1952年,美国数学家鲁滨逊等人将著名的卢卡斯-雷默方法编译成计算机程序,使用SWAC型计算机在短短几小时之内,就找到了5个梅森素数:
1963年9月6日晚上8点,当第23个梅森素数M11213通过大型计算机被找到时,美国广播公司(ABC)中断了正常的节目播放,在第一时
间发布了这一重要消息。发现这一素数的美国伊利诺伊大学数学系全体师生感到无比骄傲,为让全世界都分享这一成果,以至把所有从系里发出的信封都盖上了
是个素数”的邮戳。
随着素数P值的增大,每一个梅森素数
的产生都艰辛无比;而各国科学家及业余研究者们仍乐此不疲,激烈竞争。例如,在1979年2月23日,当美国克雷研究公司的计算机专家史洛温斯基和纳尔逊宣布他们找到第26个梅森数
时,有人告诉他们:在两星期前美国加州的高中生诺尔就已经给出了同样结果。为此他们又花了一个半月的时间,使用Cray-1型计算机找到了新的梅森素数
这件事成了当时不少报纸的头版新闻。
为与美国较量,英国原子能技术权威机构——哈威尔实验室专门成立了一个研究小组来寻找更大的梅森素数。他们用了两年时间,花了12万英镑的经费 ,于1992年3月25日找到了新的梅森素数
。不过,1994年1月14日,史洛温斯基等人为美国再次夺回发现“已知最大素数”的桂冠——这一素数是
。由于史洛温斯基一共发现7个梅森素数,他被人们誉为“素数大王”。
由于梅森素数在正整数中的分布是时疏时密极不规则的,因此研究梅森素数的重要性质——分布规律似乎比寻找新的梅森素数更为困难。数学家们在长期
的摸索中,提出了一些猜想。英国数学家香克斯、法国数学家伯特兰和托洛塔、印度数学家拉曼纽杨、美国数学家吉里斯和德国数学家伯利哈特等都曾分别给出过关
于梅森素数分布的猜测,但他们的猜测有一个共同点,就是都以近似表达式给出,而与实际情况的接近程度均难如人意。
中国数学家和语言学家周海中对梅森素数研究多年,他运用联系观察法和不完全归纳法,于1992年首先给出了梅森素数分布的精确表达式,从而揭示了梅森素数的重要规律,为人们探究这一素数提供了方便。后来这一科研成果被国际上称为“周氏猜测”。
利用网格技术搜寻梅森素数
网格(Grid)这一崭新技术的出现使梅森素数的探寻如虎添翼。1996年初,美国数学家和程序设计师沃特曼(G.Woltman)编制了一个
梅森素数计算程序,并把它放在网页上供数学家和数学爱好者免费使用,这就是著名的GIMPS项目。该项目采取网格计算方式,利用大量普通计算机的闲置时间
来获得相当于超级计算机的运算能力。只要人们去GIMPS的主页下载那个免费程序,就可以立即参加GIMPS项目去搜寻梅森素数。
12年来,人们通过GIMPS项目找到了12个梅森素数,其发现者来自美国、英国、法国、德国和加拿大。目前,世界上有160多个国家和地区近
16万人参加了这一项目,并动用了30多万台计算机联网来进行网格计算。该项目的计算能力已超过当今世界上任何一台最先进的超级矢量计算机的计算能力,运
算速度超过每秒350万亿次。
为了激励人们寻找梅森素数,设在美国的电子新领域基金会(EFF)不久前向全世界宣布了为通过GIMPS项目来探寻梅森素数而设立的奖金。它规
定向第一个找到超过1000万位数的个人或机构颁发10万美元。后面的奖金依次为:超过1亿位数,15万美元;超过10亿位数,25万美元。由于史密斯发
现的梅森素数已超过1000万位,他将有资格获得EFF颁发的10万美元大奖。其实,绝大多数研究者参与该项目并不是为了金钱,而是出于乐趣、荣誉感和探
索精神。
梅森素数的意义和价值
梅森素数在当代具有十分丰富的理论意义和实用价值。它是发现已知最大素数的最有效途径;它的探究推动了数学皇后——数论的研究,促进了计算技术、程序设计技术、密码技术的发展以及快速傅立叶变换的应用。
探寻梅森素数最新的意义是:它促进了网格技术的发展。而网格技术将是一项应用非常广阔、前景十分诱人的技术。另外,探寻梅森素数的方法还可用来测试计算机硬件运算是否正确。
由于探寻梅森素数需要多种学科和技术的支持,所以许多科学家认为:梅森素数的研究成果,在一定程度上反映了一个国家的科技水平。英国顶尖科学家
索托伊(M.Sautoy)甚至认为它是标志科学发展的里程碑。可以相信,梅森素数这颗数学海洋中的璀璨明珠正以其独特魅力,吸引着更多的有志者去探寻和
研究。
因特网梅森
素数大搜索分布式计算项目(GIMPS)宣布发现第47个梅森
素数。 梅森
素数是指形如2^n − 1的素数,去年GIMPS项目接连宣布发现了第45和46个梅森
素数,第47个新梅森
素
数是2^42,643,801 -
1,位数12,837,064位,没有去年发现的第46个素数大(12,978,189位),是已知第二大素数。这个素数的发现者是挪威Melhus的
Odd Magnar Strindmo,Odd是一位IT专业人士,他的电脑从1996年起便开始计算梅森
素数。至今共测试完成1400以上的候选数字,最新的数字在一台3.0 GHz Intel Core2 处理器上计算了29天。新的素数已于6月12日通过法国的Tony Reix的验证。
分享到:
相关推荐
梅森素数是素数的一个特殊类型,以其形式M_n = 2^n - 1定义,其中n也是一个素数。例如,当n=2时,M_2=2^2-1=3,是一个梅森素数。这些素数特别吸引数学家的兴趣,因为它们与其它数学领域有着紧密的联系,如生成偶数...
本文将详细介绍如何用Python实现反向数、回文数、回文素数、反素数、梅森素数以及双素数的判断。 首先,让我们定义这些概念: 1. **反向数**:一个数的反向数是将其每一位数字颠倒后得到的新数。例如,123的反向数...
梅森素数是一种特殊的素数形式,以数学家皮埃尔·德·费马的学生约翰·梅森命名。在数学领域,梅森素数是形如2^p - 1的素数,其中p本身也是一个素数。这些素数在数论中具有特别的地位,因为它们与梅森数(2^p)的...
C语言实现求梅森素数的代码与解析 梅森素数是一种特殊的素数,指的是形如2n-1的正整数,其中指数n是素数。梅森素数历来都是数论研究中的一项重要内容,也是当今科学探索中的热点和难点问题。通过C语言实现求梅森...
梅森素数,又称2P-1型素数,是一种特殊形式的素数,定义为2的某个素数次幂减去1。这种类型的素数最早由古希腊数学家欧几里得在公元前提出,他在证明素数无限性的过程中提到了这种结构。2P-1形式的素数在数学中具有...
梅森素数,又称梅森数,是一种特殊形式的素数,定义为\(2^p - 1\),其中\(p\)自身也是一个素数。这些数的探究始于17世纪,由法国数学家马林·梅森提出。梅森素数的发现历史充满了挑战和传奇,其中不乏数学巨匠们的...
小学数学数学故事梅森素数:第47个梅森素数被发现
MATLAB实现求梅森素数(完整代码) 2.代码说明:注释清晰,参数和变量说明清晰,方便更改、方便初学者使用,模块化编程,方便替换目标函数。运行环境Windows7及以上操作系统,MATLAB2014a及以上版本。 3.适用专业:...
梅森素数是素数理论中的一个重要概念,它的发现对于数学研究,尤其是素数分布的研究具有重要意义。梅森素数是指满足特定形式的素数,具体来说就是那些可以表示为2^n-1形式的素数,其中n本身也是一个素数。梅森素数的...
CS1200-计算第八个梅森素数。 给定的MATLAB代码是这样的: clear ; clc ; close all ; format compact ; tol = 1e- 10 ; nlimit = 2000000000 ; primelist = primes(nlimit); nprimes = length(primelist) fprintf( ...
我尝试生成和验证任意大的梅森素数。 当前最大的: M(859433)== 2 ^ 859433-1(258716位)(纯Python3) 梅森素数: 维基百科,自由的百科全书 已知最大术语2 ^ 77,232,917 − 1(2017年12月) OEIS索引A000668...
小学数学数学故事梅森素数:千年不休的探寻之旅3
用梅森素数期实现64位最大均衡分布的F 2线性生成器 什么是MELG-64? 64比特M aximallyëquidistributed F 2 L - inear与梅森素数周期(MELG-64)G enerators是64位梅森-倍捻机型伪随机数生成器2014和2017之间产生,...
寻找梅森素数不仅需要高效的素数判定,还需要对二进制表示和幂运算有深入理解,因为这些素数通常很大,常规方法可能不足以处理。 在这个对话框应用中,程序的反应时间可能通过计时函数(如C++的`clock()`或Windows ...
这些程序可能涵盖了基本的素数判断、梅森素数搜索以及优化技巧,比如使用位运算提高计算速度,或者利用动态规划和缓存策略避免重复计算。 在信息学奥赛中,掌握这类问题的解决方法不仅可以提升参赛者的算法设计能力...
标题和描述提到的是基于梅森素数的后量子可证明安全认证与MAC(消息认证码)的研究。这个话题涉及到网络安全的前沿领域,尤其是随着量子计算的发展,传统的加密和安全机制可能不再足够安全,因此研究后量子时代的...
在2005年秋季江苏省计算机二级VB(Visual Basic)的考试中,一道涉及梅森素数判定的上机试题,不仅考察了考生对于VB编程语言基础语法的掌握,还涉及了较为复杂的数学概念和算法实现。这道题要求考生编写程序,找出2...