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

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

这个数据处理慢，是不是说明遇到可能解了?：）至少说明这里搜索的分支更加多。

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行的情况非常容易（甚至都可以手工来）

账号		自动登录	找回密码
密码			欢迎注册

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