十七或者破產

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

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

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

这个项目发现的質数有:

k n k2n+1的位数 发现日期
33661 7031232 2116617 2007年10月13日
19249 13018586 3918990 2007年3月26日
4847 3321063 999744 2005年10月15日
27653 9167433 2759677 2005年6月15日
28433 7830457 2357207 2004年12月30日
5359 5054502 1521561 2003年12月6日
44131 995972 299823 2002年12月6日
46157 698207 210186 2002年11月27日
54767 1337287 402569 2002年12月22日
65567 1013803 305190 2002年12月3日
69109 1157446 348431 2002年12月7日

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

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

请参阅[编辑]

外部链接[编辑]