[原创] 尹志元_简证命题（1+1）

vfbpgyfk

建表方法：
1、进入VFP主页。
2、单击工具栏的“新建”图标（在最左边的白纸标），就会显现新建工作单。
3、点击“表”项，而后点击“新建文件”按钮后，就会出现“创建”表单。
4、点击最上面“保存在”行的下三角，选择存放路径（到您安装的主目录）。
5、把下面的“输入表名”文本框中的“表1.DBF”的”表1”(或表2)改为SSB或SSD.
6、目击该栏上面的(最大框)中的“DATA”子菜单。
7、点击“保存”按钮，即可进入“表设计器”表单。
8、这时就可以设计表啦。
8.1建立SSB表。
8.1.1在大框上面的“字段名”下方小框中填写“偶数”；
8.1.2在“类型”中选择“数值型”；
8.1.3在宽度中确定这个字段的宽度。即：需要有多少个字符，如您的程序中定为12，如果有小数，就在“小数位数”处定出小数位数。注意！！宽度=整数位数+小数位数+1（小数点）。到此，一个字段就完成了。以下类同，再在下面框中填写“素数”，依上操作即可。当全部完成后，点击“确定”按钮。
8.1.4点击“确定”按钮后，就进入下一个步骤，即问您“现在输入数据记录吗？”一般是选“否”。如果想录入数据，就选“是”。
8.2建立SSD表。建立这个表只是重复上面操作即可。表的结构是：“偶数、小素数、大素数”三个字段。完成后就可以使用啦。
9、按您介绍的方法，把网上的程序复制下来，就能用。复制下来后，再把程序中的路径改为您使用的路径，就可以运行程序啦。
有问题及时联系。

尹志元

下面引用由尹志元在 2010/03/15 02:43pm 发表的内容：
fbpgyfk先生：您好！
    请您把“一个PRG和两个DBF”一起压缩成RAR文件传上来。
这样，就都方便了。

    按您的“建表方法”，建 SSB.DBF 和 SSD.DBF 后，
还是运行不了。还是请您把“一个PRG和两个DBF”放进
一个新建的文件夹内，将此文件夹压缩成RAR文件传上来。
或发到我的 YZY_38@163.COM。

vfbpgyfk

已经通过电子邮件全部发给您啦，验收结果如何？

尹志元

下面引用由vfbpgyfk在 2010/03/15 00:23pm 发表的内容：
看了您的证明，也研读了您程序，在此献丑，请见谅。
1、思路廷好，采用了奇数对原理。
2、由于没有使用中间点，出现了重复素数对，而后还要减去一半，影响运算速度。
...

    下载并运行了您改编的程序，速度确实比原程序快的太多了！
    vfbpgyfk先生，您不必客气。我只懂一点点VF语言，对于您
改编的程序，我将仔细研读，定能获益匪浅。今后，尚请不吝赐教。
    顺便说一下，在
@5, LEN(LTRIM(STR(Pn*2)))+15 SAY "(Dx="+LTRIM(STR(x))+")"
行的“Dx”，出现笔误，应为“x”。
    另外，建议将“SECONDS() ”改用为“TIME()”。这样，既可
把时间记录下来，也不用点击屏显的“确定”了。
   
    需要说明的是，我的程序主要是用于推理的。例如，在我的
yzy_dxxj_tb.PRG 中的：
     if p1=';1';.and.p2=';1';
     @RW,CL say P1 +"←x1="+str(x1,12)color +w/G
     @rw+1,cl say p2 +"←x2="+str(x2,12)color +W/B
     Pn=Pn+1
     wait';';。
    就是要突出地、动态地、表明“同时出现”“上下对应”的（1+1）
加数对。
     拜读了您的相关文章，说得有情、有理、有力。祝您的研究
能像您的程序速度那样，取得突飞猛进的成果。
     再次谢谢您的指教。

vfbpgyfk

“TIME()”是提取当时，而“SECONDS() ”是记录下启动时间，如同启动秒表，在全部计算结束时再取一次“SECONDS() ”，如同再按一次秒表来停止秒表一样，计算出两次时间之差，则是程序运行时间。详见程序后面的显示标签，如下语句：
=MESSAGEBOX("共用时间："+LTRIM(STR(INT((SECONDS()-kssj)/60)))+"分"+LTRIM(STR(MOD(SECONDS()-kssj,60),5,2))+"秒",64,"进展显示")

尹志元

    是的，很好。用“TIME()”是取其记录功能。

白新岭

104053950
104053948
104053946
104053944
104053942
104053940
104053938
104053936
104053932
104053930
104053928
104053926
104053924
104053922
烦请两位编程高手有空时计算一下上面15个偶数的素数对，先谢谢你们。

vfbpgyfk

白薪岭：
您要的素数对已经出来啦。现在只能提供总对数、相距最远的和相距最近的素数对。全部素数共有5307456对。
这个素数对表中包含了奇数1（共有4对），如果不需要，就把它删除。
在我的计算机上配素数对共用将近41分钟，因为我已经有2亿内的素数表，就不用再求啦，直接使用即可。
如果您需要全部素数对，请把您的邮箱告诉我。需要考虑的是，我的数据表是VFP结构。
偶数_____远小_远大_____近小____近大____总共对数
104053922¬____1_104053921_52026109_52027813__276000
104053924____3_104053921_52026917_52027007__247199
104053926____5_104053921_52026833_52027093__452869
104053928____1_104053927_52026487_52027441__251815
104053930____3_104053927_52026893_52027037__301952
104053932____1_104053931_52026893_52027039__474512
104053934____1_104053933_52026757_52027177__230236
104053936____3_104053933_52026929_52027007__273420
104053938____5_104053933_52026901_52027037__453065
104053940____7_104053933_52026901_52027039__322155
104053942___11_104053931_52026893_52027049__227447
104053944___11_104053933_52026763_52027181__453160
104053946___13_104053933_52026673_52027273__233808
104053948___17_104053931_52026941_52027007__231526
104053950___17_104053933_52026901_52027049__878292

白新岭

再次谢谢vfbpgyfk先生。我只要最后统计结果，不需要具体素数对。

尹志元

http://bbs.mathchina.com/usr1PvjRWKew/5/4/B7D6B2BFBBFDB7D6_1269773700.jpg
luyuanhong先生的证明：
http://bbs.mathchina.com/usr1PvjRWKew/5/4/D3C3B7D6B2BFBBFD_1269796000.gif