Seventeen or Bust

出自中国分布式计算总站

(重定向自SoB
跳转到: 导航, 搜索
Seventeen or Bust
Seventeen or Bust logo
Seventeen or Bust logo
无屏保图形
无屏保图形
开发者 [1]
版本历史 2002年3月
计算程序 Windows/Linux/Mac
子项目
项目平台 独立平台
项目类别 数学
项目状态 运行中/开放注册
官方网址 Seventeen or Bust
项目文献 分类:Seventeen or Bust 相关文献
[[Image:Rss_icon.png|]] [ 通过 RSS 获取项目新闻]


Seventeen or Bust 是通过分布式计算找寻最小的谢尔宾斯基数 (Sierpinski numbers) 。我们的系统利用世界各地空闲的计算能力,组成一张巨大的计算网络来解决这个数学问题。欲加入此项目,请前往项目主页下载相应平台客户端。

目录

项目介绍

Seventeen or Bust(直译:“十七或者破产”),是一个解决谢尔宾斯基问题分布式计算项目。

这个项目的目的就是证明78557是最小的谢尔宾斯基数,要做到这一点,所有的小于78557的奇数都需要排除掉。如果一个数k2n + 1被证明是素数,那么k就不可是谢尔宾斯基数。在这个项目开始之前,只17个数列有待排除。

如果这个目的达到,那么这个关于谢尔宾斯基问题的猜想就被证明为真。现在已经有11个数列被排除,还有6个有待排除。

现在仍然有这种可能,剩下的序列当中包含有非素数,如果这种可能性不存在,那么这个问题将变的没有吸引力了。如果有这样的序列,这个项目就将因寻找不存在的素数而无法停止。但是,因为没有数学家成功地证明剩下的数列仅包含有合数,这个猜想也通常被认为是真的。

尽管如此,我们仍然可以通过观察得到对这个猜想的一些支持。 已知的每一个谢尔宾斯基数都有一个很小的“覆盖集”,由一组数字组成,而且它们之中总有一个能够整除与该谢尔宾斯基数相关的 k·2n+1 型数。 例如,对已知的最小的谢尔宾斯基数,其覆盖集就是 {3,5,7,13,19,37,73}。 对另外一个已知的谢尔宾斯基数而言,覆盖集则是 {3,5,7,13,17,241}. 剩下的待检测的数列均没有这么小的覆盖集(这很容易检测),因此有理由相信它们全部包含反例。


项目进展

这个项目发现的素数有:

# k n Digits of k·2n+1 Date of discovery Found by
1 4,847 3,321,063 999,744 15 Oct 2005 Richard Hassler
2 5,359 5,054,502 1,521,561 06 Dec 2003 Randy Sundquist
3 10,223
4 19,249 13,018,586 3,918,990 26 Mar 2007 Konstantin Agafonov
5 21,181
6 22,699
7 24,737
8 27,653 9,167,433 2,759,677 08 Jun 2005 Derek Gordon
9 28,433 7,830,457 2,357,207 30 Dec 2004 Anonymous
10 33,661 7,031,232 2,116,617 13 Oct 2007 Sturle Sunde
11 44,131 995,972 299,823 06 Dec 2002 deviced (nickname)
12 46,157 698,207 210,186 26 Nov 2002 Stephen Gibson
13 54,767 1,337,287 402,569 22 Dec 2002 Peter Coels
14 55,459
15 65,567 1,013,803 305,190 03 Dec 2002 James Burt
16 67,607
17 69,109 1,157,446 348,431 07 Dec 2002 Sean DiMichele

这些数字当中每一个的位数都至少有一篇中篇小说那么大。目前,这个项目将这些数分配给他们的用户,希望在余下这些数列当中找到素数。

10223×2n +1
21181×2n +1
22699×2n +1
24737×2n +1
55459×2n +1
67607×2n +1


项目组

这个项目在2002年4月开始,是由 美国密歇根大学 的 Louis Helm 和 美国伊利诺伊大学 的David Norris 合作创立. 不计其数的个人也为本项目贡献了许多。 George Woltman (GIMPS 寻找最大质数的项目的创立者) 提供了 blindingly-fast 源代码。 Michael Garrison 维护这项目的核心服务器。我们感谢对于这些项目作出贡献的人。


外部链接