经过32年的探索 数学家找到了第九个戴德金数
数学家们经过32年的努力,终于在一台超级计算机的帮助下,发现了一个新的特殊整数--戴德金数。它是同类数字中的第九个,或称D(9),计算结果等于286386577668298411128469151667598498812366。继1991年发现的23位D(8)之后,这个42位数的怪物又出现了。
非数学家很难理解戴德金数的概念,更不用说计算它了。事实上,D(9)的计算非常复杂,涉及的数字也非常庞大,因此并不确定是否会被发现。
德国帕德博恩大学的计算机科学家伦纳特-范-希尔图姆(LennartVanHirtum)说:"32年来,D(9)的计算一直是一个公开的挑战,能否计算出这个数字都是个问题。"
戴德金数的核心是布尔函数,或者说是一种逻辑,它能从只有两种状态的输入中选择输出,如真和假,或0和1。
单调布尔函数是一种限制逻辑的函数,输入中的0换成1只导致输出从0变为1,而不会从1变为0。
研究人员用红色和白色而不是1和0来描述这种逻辑,但思路是一样的。
VanHirtum说:"基本上,你可以把二维、三维和无限维度的单调布尔函数看成是一个n维立方体的游戏。你要让立方体的一个角保持平衡,然后给剩下的每个角涂上白色或红色。只有一条规则:绝不能把白色的角放在红色的角上面。这就形成了一种垂直的红白交点。游戏的目的就是数出有多少种不同的切法。"
前几种很简单。数学家们数出的D(1)只有2,然后是3、6、20、168......
1991年,一台Cray-2超级计算机(当时最强大的超级计算机之一)和数学家DougWiedemann花了200个小时才算出D(8)。
D(9)的长度几乎是D(8)的两倍,因此需要一种特殊的超级计算机:一种使用称为现场可编程门阵列(FPGA)的专用单元的超级计算机,这种单元可以并行处理多个计算。因此,研究小组找到了帕德博恩大学的Noctua2超级计算机。
Noctua2超级计算机所在的帕德博恩并行计算中心(PC2)负责人、计算机科学家克里斯蒂安-普莱斯尔(ChristianPlessl)说:"用FPGA解决难以解决的组合问题是一个前景广阔的应用领域,而Noctua2是世界上为数不多的几台超级计算机之一,用它进行实验是完全可行的。"
为了让Noctua2能够发挥作用,还需要进一步优化。为了提高计算效率,研究人员利用公式中的对称性,让超级计算机计算出一个巨大的总和,这个总和涉及5.5*10^18个项(作为比较,地球上沙粒的数量估计为7.5*10^18)。
五个月后,Noctua2找到了答案,我们现在得到了D(9)。研究人员暂时没有提到D(10),但我们可以想象,要找到它可能还需要32年的时间。
这篇论文于9月份在挪威举行的布尔函数及其应用国际研讨会(BFA)上发表。
踩一下[0]
顶一下[0]