mathe
发表于 2009-11-23 08:45:53
可以拷贝到另外一台机器,只要把tag文件也复制过去就可以了。
如果要重新开始,将tag文件删除就可以。或者也可以手工从某个指定的行号开始,只要修改tag文件的内容为对应行号就可以了
数学星空
发表于 2009-11-23 09:01:40
本帖最后由 数学星空 于 2009-11-23 09:03 编辑
"手工从某个指定的行号开始,只要修改tag文件的内容为对应行号就可以了 "
在tag文件中,如何修改对应的行号,若现在我要从10000行开始,具体如何操作??
呵呵,果然很简单,只需要在tag文件中输入"10000"即可!
数学星空
发表于 2009-11-23 09:05:12
计算人员:数学星空
开始时间:
计算文件:fid2
当前文件大小:0
进度:10000
sheng_jianguo
发表于 2009-11-23 09:24:52
这两天一台机器没法计算,故fid26,fid27,fid28基本上没算,今检查发现计算fid28时tag文件中内容为1,(有逗号),其他数据文件正常,不知是什么原因造成的?我再继续同时算4个数据计算,因同时计算时间要比单独一个一个计算时间少。
我的进展是:
fid29:7694
fid30:7749(这个数据处理速度很慢,这台机器不差,已经连续算了好几天了)
mathe
发表于 2009-11-23 09:51:29
我也不知道是什么原因。
现在我已经将通过16棵树12条边以上的图构造的结果重新验证了一次。得到结果同上次无心人一起计算的结果完全相同(而且上次使用的有限域的阶数还不同),无法得到24条边以上的结果。同样可以得到两个23条边的结果。所以那部分数据已经检验完毕。
而且如果不考虑使用有限域可能带来的微乎其微的损失解的可能性,已经验证了20棵树不存在26行的解。
mathe
发表于 2009-11-23 09:52:27
这两天一台机器没法计算,故fid26,fid27,fid28基本上没算,今检查发现计算fid28时tag文件中内容为1,(有逗号),其他数据文件正常,不知是什么原因造成的?我再继续同时算4个数据计算,因同时计算时间要比单独一个一 ...
sheng_jianguo 发表于 2009-11-23 09:24 http://bbs.emath.ac.cn/images/common/back.gif
这个数据处理慢,是不是说明遇到可能解了?:)至少说明这里搜索的分支更加多。
sheng_jianguo
发表于 2009-11-23 10:09:03
我建议大家不要随意改变tag文件中的数。
因为这是一个严谨的工程,为了保证这个宏伟的工程得出正确结论,不能跳过每一条数据的检验,如果你跳过的数据就是24行结果就惨了
mathe
发表于 2009-11-23 10:11:50
另外上面的计算也说明了19棵情况最优解是20行(包含复数解)
数学星空
发表于 2009-11-23 10:16:22
若同样搜索25行的解不知是现在搜索24行解规模的多少倍呢?
即若设同样的机子,完全搜索24行解的时间为1,那完全搜索25行解的时间是多少?
mathe
发表于 2009-11-23 10:20:29
25行的结果都可以通过24行的结果来构造的。而且由于24行的结果数目不会很多(现在看来可能没有,毕竟19棵树只有20行),只要全找出来,继续构造25行的情况非常容易(甚至都可以手工来)