果树问题讨论:这两个问题等价么？

mathe

发现我Linux的机器运行的特别慢（应该不是CPU的问题）。最大的可能是因为是使用gcc编译，编译器效率比较差。不像在Windows下，我使用了intel编译器。
现在试着使用profiling重新编译了一下，估计速度可以提高一些。

无心人

计算人员：yaos
目标：fid21
开始时间：2009.11.19 8点左右
进度：17493

破服务器挂了，要不就再开一个

无心人

mathe开始考虑下面的问题
用多少个不同素数
能保证得到全部解

即，假设20点24行下
有N个字母解
那么，是否取
P1 * P2 * P3 > N
就可保证得到全部解

我想没这么简单

另外，一个素数P，大于等于65536（或者其他数字），是否会有点坐标
(x, y)是20点24行的解中的最简解，且
P | x或者P | y

mathe

呵呵，这个问题要理论上解决可不容易。而且坐标还不一定是整数或有理数，还可以是其他代数数。

无心人

难道非要在实数域上计算么？

mathe

这个题目本身是实数域中的。如果我们用有限域去替换，那么必须能够理论上证明两者之间的解是等价的才行。不然，象现在，还是只能算是猜测。只是我们的猜测的可信度很高。

现在我试着将最慢的程序s8m重新使用Intel编译器的profiling信息编译了一下（VC本身好像没有这个功能），并且根据不同的CPU类型编译各自编译了一个s8m.*.exe.
如果要使用对应的版本，将附件中的s8m.*.exe解压，然后重命名覆盖原先的s8m.exe程序，再重新启动程序的运行就可以了。
我这边我试用了see3版本的(see4版本的CPU不支持)，速度好像提高了一些，不过没有Linux上面那么显著（其中s8m.icc.prof.exe版本大家应该都可以使用）。
s8m.icc.zip (50.7 KB, 下载次数: 6)

2009-11-27 10:15 上传

点击文件名下载附件

sheng_jianguo

怎样知道机器的CPU最适用哪个对应的版本?
以前得出的16~19棵树结论也是只在有限域中计算得出的?

mathe

以前算到18棵树的结论是在有理数域中计算的（其中16棵树以前的复数解都找出了，但是17棵以上时没有保留复数解）。但是19棵树以上就不行了。
我是先用sse4版本的在我机器上运行（不过记住先备份tag文件），结果报错，然后改用sse3版本，如果再出错继续使用上一个版本）

mathe

如果考虑到使用有理数域版本比有限域版本的大概慢10倍左右，现在要证明19棵树没有21行的结果还是可行的了，但是处理20棵树问题计算量还是太大了一些。

liangbch

回520#
fid23 已经全部检查完毕，没有找到解。文件target20为空。

现在开始检查fid24,请mathe 更新任务分配表格
liangbch 发表于 2009-11-26 14:26

截止到现在，fid24 计算至3530， target20 为空。