“Seventeen or Bust”的版本间差异
小 |
|||
(未显示4个用户的14个中间版本) | |||
第1行: | 第1行: | ||
− | Seventeen | + | {{Project |
+ | |name=Seventeen or Bust | ||
+ | |logo=SoBLogo.gif | ||
+ | |developer=[http://www.seventeenorbust.com/help/about.mhtml] | ||
+ | |released=2002年3月 | ||
+ | |app=Windows/Linux/Mac | ||
+ | |platform={{platform/独立}} | ||
+ | |subproject= | ||
+ | |status=运行中/开放注册 | ||
+ | |genre={{genre/数学}} | ||
+ | |website=http://www.seventeenorbust.com | ||
+ | |rss= | ||
+ | }} | ||
− | [[ | + | [[Seventeen or Bust]] 是通过分布式计算找寻最小的谢尔宾斯基数 (Sierpinski numbers) 。我们的系统利用世界各地空闲的计算能力,组成一张巨大的计算网络来解决这个数学问题。欲加入此项目,请前往项目主页下载相应平台客户端。 |
− | [[ | + | |
+ | =='''项目介绍'''== | ||
+ | Seventeen or Bust(直译:“十七或者破产”),是一个解决[[谢尔宾斯基问题]]的[[分布式计算]]项目。 | ||
+ | |||
+ | 这个项目的目的就是证明78557是最小的[[谢尔宾斯基数]],要做到这一点,所有的小于78557的奇数都需要排除掉。如果一个数''k2<sup>n</sup> + 1''被证明是[[素数]],那么''k''就不可是谢尔宾斯基数。在这个项目开始之前,只17个数列有待排除。 | ||
+ | |||
+ | 如果这个目的达到,那么这个关于[[谢尔宾斯基数|谢尔宾斯基问题]]的猜想就被证明为真。现在已经有11个数列被排除,还有6个有待排除。 | ||
+ | |||
+ | 现在仍然有这种可能,剩下的序列当中包含有非素数,如果这种可能性不存在,那么这个问题将变的没有吸引力了。如果有这样的序列,这个项目就将因寻找不存在的素数而无法停止。但是,因为没有数学家成功地证明剩下的数列仅包含有[[合数]],这个猜想也通常被认为是真的。 | ||
+ | |||
+ | 尽管如此,我们仍然可以通过观察得到对这个猜想的一些支持。 已知的每一个[[谢尔宾斯基数]]都有一个很小的“覆盖集”,由一组数字组成,而且它们之中总有一个能够整除与该[[谢尔宾斯基数]]相关的 ''k''·2<sup>''n''</sup>+1 型数。 例如,对已知的最小的[[谢尔宾斯基数]],其覆盖集就是 <nowiki>{3,5,7,13,19,37,73}</nowiki>。 对另外一个已知的[[谢尔宾斯基数]]而言,覆盖集则是 <nowiki>{3,5,7,13,17,241}</nowiki>. 剩下的待检测的数列均没有这么小的覆盖集(这很容易检测),因此有理由相信它们全部包含反例。 | ||
+ | |||
+ | |||
+ | =='''项目进展'''== | ||
+ | 这个项目发现的素数有: | ||
+ | |||
+ | {| class="wikitable sortable" | ||
+ | !align=center| # | ||
+ | !align=center| ''k'' | ||
+ | !align=center| ''n'' | ||
+ | !align=center| Digits of ''k''·2<sup>''n''</sup>+1 | ||
+ | !align=center| Date of discovery | ||
+ | !align=center| Found by | ||
+ | |- | ||
+ | |1 | ||
+ | |align=right|4,847 | ||
+ | |align=right|3,321,063 | ||
+ | |align=right|999,744 | ||
+ | |15 Oct 2005 | ||
+ | |Richard Hassler | ||
+ | |- | ||
+ | |2 | ||
+ | |align=right|5,359 | ||
+ | |align=right|5,054,502 | ||
+ | |align=right|1,521,561 | ||
+ | |06 Dec 2003 | ||
+ | |Randy Sundquist | ||
+ | |- | ||
+ | |3 | ||
+ | |align=right| 10,223 | ||
+ | |align=right| | ||
+ | |align=right| | ||
+ | | | ||
+ | | | ||
+ | |- | ||
+ | |4 | ||
+ | |align=right| 19,249 | ||
+ | |align=right| 13,018,586 | ||
+ | |align=right|3,918,990 | ||
+ | | 26 Mar 2007 | ||
+ | |Konstantin Agafonov | ||
+ | |- | ||
+ | |5 | ||
+ | |align=right| 21,181 | ||
+ | |align=right| | ||
+ | |align=right| | ||
+ | | | ||
+ | | | ||
+ | |- | ||
+ | |6 | ||
+ | |align=right| 22,699 | ||
+ | |align=right| | ||
+ | |align=right| | ||
+ | | | ||
+ | | | ||
+ | |- | ||
+ | |7 | ||
+ | |align=right| 24,737 | ||
+ | |align=right| | ||
+ | |align=right| | ||
+ | | | ||
+ | | | ||
+ | |- | ||
+ | |8 | ||
+ | |align=right| 27,653 | ||
+ | |align=right| 9,167,433 | ||
+ | |align=right|2,759,677 | ||
+ | | 08 Jun 2005 | ||
+ | |Derek Gordon | ||
+ | |- | ||
+ | |9 | ||
+ | |align=right| 28,433 | ||
+ | |align=right| 7,830,457 | ||
+ | |align=right|2,357,207 | ||
+ | | 30 Dec 2004 | ||
+ | |Anonymous | ||
+ | |- | ||
+ | |10 | ||
+ | |align=right| 33,661 | ||
+ | |align=right| 7,031,232 | ||
+ | |align=right|2,116,617 | ||
+ | | 13 Oct 2007 | ||
+ | |Sturle Sunde | ||
+ | |- | ||
+ | |11 | ||
+ | |align=right| 44,131 | ||
+ | |align=right| 995,972 | ||
+ | |align=right|299,823 | ||
+ | | 06 Dec 2002 | ||
+ | |deviced (nickname) | ||
+ | |- | ||
+ | |12 | ||
+ | |align=right| 46,157 | ||
+ | |align=right| 698,207 | ||
+ | |align=right|210,186 | ||
+ | | 26 Nov 2002 | ||
+ | |Stephen Gibson | ||
+ | |- | ||
+ | |13 | ||
+ | |align=right| 54,767 | ||
+ | |align=right| 1,337,287 | ||
+ | |align=right|402,569 | ||
+ | | 22 Dec 2002 | ||
+ | |Peter Coels | ||
+ | |- | ||
+ | |14 | ||
+ | |align=right| 55,459 | ||
+ | |align=right| | ||
+ | |align=right| | ||
+ | | | ||
+ | | | ||
+ | |- | ||
+ | |15 | ||
+ | |align=right| 65,567 | ||
+ | |align=right| 1,013,803 | ||
+ | |align=right|305,190 | ||
+ | | 03 Dec 2002 | ||
+ | |James Burt | ||
+ | |- | ||
+ | |16 | ||
+ | |align=right| 67,607 | ||
+ | |align=right| | ||
+ | |align=right| | ||
+ | | | ||
+ | | | ||
+ | |- | ||
+ | |17 | ||
+ | |align=right| 69,109 | ||
+ | |align=right| 1,157,446 | ||
+ | |align=right|348,431 | ||
+ | | 07 Dec 2002 | ||
+ | |Sean DiMichele | ||
+ | |} | ||
+ | 这些数字当中每一个的位数都至少有一篇中篇小说那么大。目前,这个项目将这些数分配给他们的用户,希望在余下这些数列当中找到素数。 | ||
+ | :10223×2<sup>n</sup> +1 | ||
+ | :21181×2<sup>n</sup> +1 | ||
+ | :22699×2<sup>n</sup> +1 | ||
+ | :24737×2<sup>n</sup> +1 | ||
+ | :55459×2<sup>n</sup> +1 | ||
+ | :67607×2<sup>n</sup> +1 | ||
+ | |||
+ | |||
+ | =='''项目组'''== | ||
+ | 这个项目在2002年4月开始,是由 美国密歇根大学 的 Louis Helm 和 美国伊利诺伊大学 的David Norris 合作创立. 不计其数的个人也为本项目贡献了许多。 George Woltman (GIMPS 寻找最大质数的项目的创立者) 提供了 blindingly-fast 源代码。 Michael Garrison 维护这项目的核心服务器。我们感谢对于这些项目作出贡献的人。 | ||
+ | |||
+ | |||
+ | ==外部链接== | ||
+ | * [http://www.seventeenorbust.com Seventeen or Bust主页] | ||
+ | * [http://www.equn.com/forum/forum-311-1.html 本论坛Seventeen or Bust专区] |
2013年4月5日 (五) 20:46的最新版本
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 维护这项目的核心服务器。我们感谢对于这些项目作出贡献的人。