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

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

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

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