![]() |
|
不畏三十多年的寻找,借助一台超级计算机,数学家们终于发现了一种特殊的整数的新例子,称为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 | 阿根廷: 不要为我哭泣 | 秋念11 |
8 | 上海外语学院王季愚院长/普京 | 体育老师 |
9 | 最后的晚餐 | 山蛟龙 |
10 | 大不列颠:巴斯/利物浦 | 马黑 |