Seventeen or Bust:修订间差异
新页面: Seventeen Or Bust |
无编辑摘要 |
||
(未显示4个用户的15个中间版本) | |||
第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 维护这项目的核心服务器。我们感谢对于这些项目作出贡献的人。