项目名称:All Things SoB Sieving

项目地址:http://www.aooq73.dsl.pipex.com/

1项目介绍
SoB项目是一项为了检验谢尔宾斯基猜想而设立的分布式计算项目. 为了检验谢尔宾斯基猜想，需要寻找关于17个k的形如k*2^n+1的质数。迄今为止，已经发现了9个k所属的质数，还有8个尚未找到．SoB指数筛选是一个辅助项目，努力通过试除法排除这些候选k/n对．

优势：

可以通过任意的电脑进行筛选,甚至不用连接因特网．筛法是非常有效的排除候选数字的方法．

劣势：

你将不会从筛选中发现素数，所以除非你参加SoB的主项目，你将没有任何机会在历史上留下你的名字！ 筛选的软件还未对P4进行完全优化，结果就象钟表的速度，非P4将快大约3倍．P4的使用者可以考虑http://www.free-dc.org/forum/for ... =&forumid=52P-1的辅助项目； 来这个由hc_grove提供的包含更多信息的不错的站点． 要参与筛选计划，你需要你的计算机，一个客户端，一个sob.dat文件，和一个筛选的范围．

2.项目客户端
对于Windows和Linux平台的客户端，可以选择由Mikael Klasson提供的，Paul Jobling协助完成的Proth Sieve。

Proth Sieve提供命令行接口，包括自动化，批量数据和服务类型环境的一体化. 拥有旧处理器的计算机应该使用传统版本。

PII, PIII和AMD用户可以选择cmov版本，P4用户使用SSE2版本。

同样Mikael提供了一个叫做sobistrator的工具可以从一台计算机来控制多台客户端。

为了一些需要Windows图形界面的用户，唯一的选择是由Paul Jobling提供的SobSieve.exe.
SobSieve 1.34提供一个简便的操作方式，但是要注意，它要比Proth Sieve慢大约/40%

对于Windows和Linux以外的操作系统，由Phil Charmody提供的NbeGone是不错的客户端选择。

察看对于不同的操作系统的支持。

SoB指数筛选的镜象站点，为居住在那些不同方式支持2003/4美国/英国发动的入侵伊拉克的国家的清白的人。

如果你要尝试登陆Phil的站点，可以在Google里搜索"public proxies country" .

指数筛选的范围在这里预定.

任务完成后结果要在这里提交。
在这里提交大的因数.

在提交时请确保你已经登陆(否则不能保证分数）

大概来说，一个100G的范围需要在AMD XP2100+上运行三天，在P3-850上需要六天,P2-400则需要十五天。

还有，如果试除的质数的范围有100G那么宽而又在700T附近的话，大概就会发现3个因子。

指数筛选的讨论区和SoB的讨论区。

翻译自http://www.aooq73.dsl.pipex.com/

[ Last edited by fwjmath on 2006-8-4 at 09:37 ]

结果就象钟表的速度 <--------这句话好象有点问题……

计分系统



这里是筛选指数和P-1分解因子的全部 和 2005年 的分数统计。这些每天都在英国本地时间大约03:00, 09:00, 15:00 和 21:00左右更新。分数的计算方法如下：



一个首先发现的因子p如下计分：:
当p < 40T时, 分数 = p/1T

当p > 40T,并且n在主要筛选区间内,没有进行 PRP测试的话, 分数 = (n/1M ^ 2) * 125 * 偏离值

当p > 40T, 并且n在主要筛选区间和n的最小上界之间, 没有进行 PRP测试的话, 分数 = (n/1M ^ 2) * 125 * 偏离值 ( 这时计算出来的分数不会再增加了).
当p > 40T,并且n在复查筛选区间内,没有进行 PRP测试的话, 分数 = (n/1M ^ 2) * 125 * 偏离值
当p > 40T,并且n在复查筛选区间内,进行了1次 PRP测试的话, 分数 = (n/1M ^ 2) * 125 * 0.6 * 偏离值
当p > 40T,并且n在复查筛选区间内, 2 PRP tests performed, 分数 = (n/1M ^ 2) * 125 * 0.2 * 偏离值
当p > 40T,并且n在已完成 区间内的话, 分数 = (n/1M ^ 2) * 125 * 0.2

当p > 40T,当发现了当某个k值所属的质数以后，上面所有的计分都会被冻结固定，后面再发现的这个k值的因子不再计入分数。
都不属于这个情况的话，分数按照后续找到的其它因子的分数计算方式来计算。



偏离值 = p/40T 和 当前筛选到的质数上界的90%/40T 两个当中更小的一个。


一个发现的其它因子的计分方法如下:
分数 = p/100T, 但是不大于 35, 和把它当作首先发现的因子来计算出的分数中较低的一个。当发现了当某个k值所属的质数以后，计分会被冻结固定，后面再发现的这个k值的因子不再计入分数。

首先发现的因子就是在当前筛选区间内发现的某个数的第一个因子。
对于每个首先发现的因子的分数都被记录。分数可以上升（当主要活跃区间上升时），但不会下降（当一个因子移出区间）。

在主要活跃区间以外而又没有进行 PRP 测试 而发现的因子给出的分数将不再上升 （比如当它们达到复查筛选区间的时候）。
主要筛选区间是 (<下一个筛选目标>) < n < (<下一个筛选目标> + 200K).

复查筛选区间是 (<下一个复查目标>) < n < (<下一个复查目标> + 200K)

第二个复查筛选区间是 (<第二个复查目标>) < n < (<第二个复查目标> + 10K)

已完成区间是 0 < n < (<下一个复查目标>)

n的最小上界是在这里描述的n的上界的最小值。

被排除的因子（那些在筛选100<n<20M 到p=1G仍未出现的因子）不予计分。



在2003年7月21号之前计分方法如下：



当n < 300K时, 分数 = p/1T * ((n*n)/(300K * 300K))
当300K < n < 20 M时, 分数 = p/1T
当n > 20M时, 分数 = p/1T *0.05
发现的其它因子, 分数 = 首次发现时的分数 * 0.01。当发现了当某个k值所属的质数以后所有发现的其它因子都不计分。



对于一对 k/n ，最小的因子以首先发现的因子的方法来计分，所有其它因子以发现的其它因子的方法来计分。

被排除的因子（那些在筛选100<n<20M 到p=1G仍未出现的因子）不予计分。



更多信息作为一个记录分数的文件被放在 results.txt中，其中发现的其它因子和被排除的因子都被标记出来，用户和团队的信息也被完全记录下来。这些每天在大约 03:00的时候更新。





断层统计


这里我们尝试那些被完整地筛选过的区间，这对以后的工作会有帮助。



0T<p<400T

400T<p<500T

500T<p<600T

600T<p<700T

700T<p<800T

800T<p<900T

900T<p<1000T

1000T<p<2000T

2000T<p<9990T



对100T<p<1000T区间的总结




这些每天都在英国本地时间大约03:00, 09:00, 15:00 和 21:00左右更新。





统计历史


日期
事件
用户分数
团队分数
项目状态

2005/10/19
当 k= 4847被移除后的统计 （筛选8个k的指数的第一天）
用户
团队
项目

2005/10/19
发现当 k= 4847 时的质数后的统计（筛选9个k的指数的最后一天）
用户
团队
项目

2005/6/17
当 k=27653 被移除后的统计 （筛选9个k的指数的第一天）
用户
团队
项目

2005/6/16
发现当 k=27653 时的质数后的统计（筛选10个k的指数的最后一天）
用户
团队
项目

2005/1/4
当 k=28433 被移除后的统计 （筛选10个k的指数的第一天）
用户
团队
项目

2005/1/3
发现当 k=28433 时的质数后的统计（筛选11个k的指数大于11k的最后一天）
用户
团队
项目

2004/9/3
完成了低于300T的质数的筛选
用户
团队
项目

2003/12/20
当 k=5359 被移除后的统计 （筛选11个k的指数的第一天）
用户
团队
项目

2003/12/16
发现当 k=5359 时的质数后的统计（筛选12个k的指数的最后一天）
用户
团队
项目

2003/5/12
另一份早期指数筛选的统计（当时已经完成了低于17T的质数的筛选）
综合

2003/4/1
我能找到的最早的指数筛选的统计（当时已经完成了低于10T的质数的筛选）
综合






其它有用的链接


P-1 分解因子计划的信息 ，由 hc_grove提供.

每天更新的 P-1 sob.dat – 只对P-1因子分解有用.  使用这个文件进行P-1因子分解，并且经常更新这个文件（只有16KB）。而结果放在 results.txt (1.9MB)中

筛法的相关信息 ...还有更多信息

从10^-24 到 10^24的国际单位制前缀

用P-1因子分解方法发现的最大质因数 （需要有很好的B1与B2的猜测值才可以破纪录！还没有来自SoB的纪录呢！）

最大的200 个已知质数 (“who”的一栏是 “SB几” 的就是 SoB 的贡献了。)









有什么问题吗？  可以通过 SoB forum 或者 这里 找到我



翻译者：wenmao, fwjmath. 中国分布式计算总站版权所有。

本页面内容已转至：http://www.equn.com/sob/AllThingsSieving.html

原始页面是用 Word 做的，所以代码上非常混乱，而且转换为 UTF-8 格式过程中屡屡出错，没办法只能采用 GB2312 编码。等有空的时候，我把纯文本拷出来，还是用 HTML 编辑器重整页面。