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

mathe

试着上载一个。这个附件包含源代码和编译后的可执行代码。
目录orchard/binary里面包含所有可执行代码。
后面继续添加各个输入文件，共30个。
到目录orchard/binary下
运行
test < 输入文件名
就可以开始处理一个文件。
程序可能会输出一些结果到文件target20中，
并且产生一个文件tag记录当前处理的数据的数目（如果机器重启以后重新开始运行，会直接读取tag文件然后处理后面的数据）
处理完一个文件继续其它的文件需要删除tag文件。
target20中保存的只是一些可能的候选结果。还需要进一步处理

mathe

附件中各文件需要解压以后再使用
fid1.zip (212.75 KB, 下载次数: 6)

2009-11-6 14:39 上传

点击文件名下载附件

mathe

更多文件

mathe

11-20部分

mathe

最后部分

mathe

后面还有几个文件好像丢了，下次再来
----------------------------------------
现在补好了

mathe

刚刚发现程序没有上载。可能昨天弄错了。
orchard.zip (94.37 KB, 下载次数: 6)

2009-11-7 12:43 上传

点击文件名下载附件

现在我的计算机在算文件1

数学星空

请问如何读取tag文件数据(用什么程序打开呢),我在算第二个文件....

我感觉程序没有运行嘛....(因为占用内存很小哟)

mathe

内存使用量不会很大。但是CPU使用量会很大。我双核的机器也经常会被用满。
在桌面开始菜单选择"运行....",输入cmd命令打开命令窗口。
然后用cd命令转到这个目录
比如
cd  c:\orchard\
然后输入命令
test <fid2
于是程序开始运行，运行过程会向窗口输出进度，比如我的进度如下。

tag文件是个文本文件，用notepad打开就可以。可以拷贝一份到一个.txt文件然后再打开
另外需要注意的是重新处理一个新文件之前一定要删除tag文件。比如数学星空这时需要先删除tag文件再运行test<fid2
而如果同一个文件机器重启以后继续运行，那么就不要删除tag文件了。

mathe

另外，程序处理完以后，target20文件中收集的大部分解都不是合法的果树问题的解。
这个时候可以继续通过一些过滤程序处理数据。比如我以前已经贴了不少的过滤程序。
这里我再附带一个这样的程序。
下面这个程序的用法为再命令行下使用
s8m <target20 >target20s.txt
通常处理以后target20s.txt里面应该完全空或者只有很少量的数据。
然后将结果贴到这里，我可以进一步判断是否合法，如果合法，可以为它产生坐标。
然后就可以删除tag和target20文件，继续处理下一个文件的数据