![]() |
|
不畏三十多年的寻找,借助一台超级计算机,数学家们终于发现了一种特殊的整数的新例子,称为Dedekind数。
这是第九个这样的数,或者说D(9),它被计算为286 386 577 668 298 411 128 469 151 667 598 498 812 366,如果你想更新你自己的记录的话。这个42位的庞然大物是在1991年发现的23位的D(8)之后的。
对于非数学家来说,理解Dedekind数的概念是很困难的,更不用说计算它了。事实上,涉及到的计算是如此复杂,涉及到的数字是如此巨大,以至于人们不确定D(9)是否会被发现。
Dedekind数的核心是布尔函数,或者一种逻辑,它从只有两种状态的输入中选择一个输出,比如真和假,或者0和1。
单调布尔函数是那些以这样一种方式限制逻辑的函数,即在输入中将0换成1只会导致输出从0变成1,而不会从1变成0。
研究人员用红色和白色来描述它,而不是用1和0,但是思路是一样的。
在寻找32年后,数学家们终于找到了第九个Dedekind数
“基本上,你可以把二维、三维和无限维的单调布尔函数想象成一个n维立方体的游戏,”Van Hirtum说。
“你把立方体平衡在一个角上,然后把剩下的每个角都涂成白色或红色。”
“只有一个规则:你永远不能把一个白色的角放在一个红色的角上。这样就会形成一种垂直的红白交界。游戏的目的是数有多少种不同的切割。”
前几个数是相当简单的。数学家们把D(1)算作2,然后是3,6,20,168……
回到1991年,数学家Doug Wiedemann用了一台当时最强大的超级计算机Cray-2和200个小时才算出了D(8)。
D(9)最终是D(8)的近两倍长度,而且需要一种特殊的超级计算机:一种使用了一种叫做可编程门阵列(FPGAs)的专用单元的超级计算机,它可以并行地处理多个计算。这让团队找到了帕德博恩大学的Noctua 2超级计算机。
“用FPGAs解决难度高的组合问题是一个有前景的应用领域,而Noctua 2是全球为数不多的能够进行这种实验的超级计算机之一,”帕德博恩并行计算中心(PC2)的负责人、计算机科学家Christian Plessl说。Noctua 2就存放在PC2中。
为了给Noctua 2提供一些可行的数据,研究人员还需要进一步优化。他们利用公式中的对称性来提高效率,给超级计算机一个巨大的求和问题,这个问题涉及到5.5*10^18个项(与之相比,地球上的沙粒数量估计为7.5*10^18)。
经过五个月,Noctua 2得出了答案,我们现在有了D(9)。研究人员暂时没有提到D(10)——但我们可以想象,它可能需要再过32年才能找到。
这篇论文于9月在挪威的布尔函数及其应用国际研讨会(BFA)上发表。
当前新闻共有0条评论 | 分享到: |
|
||||||||||
评论前需要先 登录 或者 注册 哦![]() |
24小时新闻排行榜 | 更多>> |
1 | 留学生刷爆信用卡后逃回国 如今回旋镖来了 |
2 | 逼习退位 这三人接掌“党政军” |
3 | 冷清得令人震惊 挡不住的大萧条来了 |
4 | 董军突然消失 美情报证实重磅“谣言” |
5 | 美情报部门证实:何卫东被罢免 曝习新一轮 |
48小时新闻排行榜 | 更多>> |
1 | 挡不住的大萧条来了 |
2 | 一片萧条 房子连租都租不出去了 |
3 | 留学生刷爆信用卡后逃回国 如今回旋镖来了 |
4 | 逼习退位 这三人接掌“党政军” |
5 | 亮瞎眼,原来大家真的误会川普了 |
6 | 重大变革!川普刚刚签令 |
7 | 太子党密会 陈一新发文另有内幕 |
8 | 中共军方传出新消息 |
9 | 重病? 故意示弱? 习满头白发 网:重大政治 |
10 | 冷清得令人震惊 挡不住的大萧条来了 |
一周博客排行 | 更多>> |
一周博文回复排行榜 | 更多>> |