数学研发论坛

 找回密码
 欢迎注册
楼主: 0→∞

[求助] 果树问题讨论:这两个问题等价么?

[复制链接]
发表于 2009-11-27 09:12:17 | 显示全部楼层
发现我Linux的机器运行的特别慢(应该不是CPU的问题)。最大的可能是因为是使用gcc编译,编译器效率比较差。不像在Windows下,我使用了intel编译器。
现在试着使用profiling重新编译了一下,估计速度可以提高一些。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 09:31:35 | 显示全部楼层
计算人员:yaos
目标:fid21
开始时间:2009.11.19 8点左右
进度:17493

破服务器挂了,要不就再开一个
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 09:40:17 | 显示全部楼层
mathe开始考虑下面的问题
用多少个不同素数
能保证得到全部解

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

我想没这么简单

另外,一个素数P,大于等于65536(或者其他数字),是否会有点坐标
(x, y)是20点24行的解中的最简解,且
P | x或者P | y
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 09:48:41 | 显示全部楼层
呵呵,这个问题要理论上解决可不容易。而且坐标还不一定是整数或有理数,还可以是其他代数数。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 09:51:42 | 显示全部楼层
难道非要在实数域上计算么?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 10:15:45 | 显示全部楼层
这个题目本身是实数域中的。如果我们用有限域去替换,那么必须能够理论上证明两者之间的解是等价的才行。不然,象现在,还是只能算是猜测。只是我们的猜测的可信度很高。

现在我试着将最慢的程序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 11:08:07 | 显示全部楼层
怎样知道机器的CPU最适用哪个对应的版本?
以前得出的16~19棵树结论也是只在有限域中计算得出的?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 11:57:14 | 显示全部楼层
以前算到18棵树的结论是在有理数域中计算的(其中16棵树以前的复数解都找出了,但是17棵以上时没有保留复数解)。但是19棵树以上就不行了。
我是先用sse4版本的在我机器上运行(不过记住先备份tag文件),结果报错,然后改用sse3版本,如果再出错继续使用上一个版本)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 12:00:21 | 显示全部楼层
如果考虑到使用有理数域版本比有限域版本的大概慢10倍左右,现在要证明19棵树没有21行的结果还是可行的了,但是处理20棵树问题计算量还是太大了一些。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-11-27 12:51:11 | 显示全部楼层
回520#
fid23 已经全部检查完毕,没有找到解。文件target20为空。

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


截止到现在,fid24 计算至3530, target20 为空。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2019-6-17 01:31 , Processed in 0.161404 second(s), 17 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表