这里计算的是19棵树还是20棵树？
sheng_jianguo 发表于 2009-12-21 15:44 http://bbs.emath.ac.cn/images/common/back.gif
程序输出19棵树20行的数据，而如果存在20棵树24行数据，其中必然有一个树被不多于4行使用，去掉这颗树，就可以产生一个19棵树20行的数据。所以得到这个19棵树20行以上的所有数据，我们就可以构造处所有20棵树24行以上数据。
基于这个原理，这里只记录19棵树20行数据，而得到所有19棵树20行数据以后，就非常容易判断20棵树有没有24行以上结果。（同理，由于已知没有19棵树21行以上数据，故20棵树最多只能25行）
这里计算的应该是20颗树的"分数域"版本吧,即在复数范围内的"分数解"???(好像还不是所有解)
数学星空 发表于 2009-12-21 16:06 http://bbs.emath.ac.cn/images/common/back.gif
使用分数域就足够了是因为我们只是对一些有些系数二次方程组进行化简，简化的结果还包含部分二次方程组，也就是程序并不会进行完全求解（但是对于没有解的情况可以在化简过程中得出矛盾）。这也是为什么最后需要借助maxima等工具进一步求解。(可参考51#)
本帖最后由 数学星空 于 2009-12-21 16:53 编辑
程序输出19棵树20行的数据，而如果存在20棵树24行数据，其中必然有一个树被不多于4行使用，去掉这颗树，就可以产生一个19棵树20行的数据。所以得到这个19棵树20行以上的所有数据，我们就可以构造处所有20棵树24行以 ...
mathe 发表于 2009-12-21 16:23 http://bbs.emath.ac.cn/images/common/back.gif
也就是说:
我们这次验算主要复核一下之前计算的20颗树是否一定存在24行的结论外还能说明是否存在25行的解,
由于我们之前已经验算了24行解,结果为空,是否已经说明不存在24行以上的解了??
还有,这个程序能计算出复数域内24行以上的解吗?
没有24行解自然就没有24行以上的解了。
之前验算是在有限域上的，解可能同实数域或复数域稍微有点不同。
现在我们程序就是要验算复数域内没有24行以上解。
你可以查看链接http://bbs.emath.ac.cn/thread-2015-1-1.html，里面给出两个19棵树20行的例子中一个就是复数解，一个是实非有理数解。
计算人员:数学星空
开始时间:2009-12-17
计算文件:fid11
文件大小:0
进度:4000
目前进度
fid24：7171
fid25：9626
fid26：10612
fid27：11797
fid28：8467
fid29：10931
fid30：5789
target19文件大小都是0KB
不好意思，才看到分配给我的任务
今天才开始执行
12归我了
看看速度吧
如果速度可以，再开一个
另外solver和solver2有啥区别，用solver 算的
哦，明白了
改成solver2计算了
计算人员:数学星空
开始时间:2009-12-17
计算文件:fid11
文件大小:0
进度:4700
计算人员:数学星空
开始时间:2009-12-17
计算文件:fid11
文件大小:0
进度:5555