数学研发论坛

 找回密码
 欢迎注册
楼主: mathe

[原创] 20棵树最优解计算

[复制链接]
 楼主| 发表于 2009-12-21 16:23:43 | 显示全部楼层
这里计算的是19棵树还是20棵树?
sheng_jianguo 发表于 2009-12-21 15:44

程序输出19棵树20行的数据,而如果存在20棵树24行数据,其中必然有一个树被不多于4行使用,去掉这颗树,就可以产生一个19棵树20行的数据。所以得到这个19棵树20行以上的所有数据,我们就可以构造处所有20棵树24行以上数据。
基于这个原理,这里只记录19棵树20行数据,而得到所有19棵树20行数据以后,就非常容易判断20棵树有没有24行以上结果。(同理,由于已知没有19棵树21行以上数据,故20棵树最多只能25行)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2009-12-21 16:26:05 | 显示全部楼层
这里计算的应该是20颗树的"分数域"版本吧,即在复数范围内的"分数解"???(好像还不是所有解)
数学星空 发表于 2009-12-21 16:06

使用分数域就足够了是因为我们只是对一些有些系数二次方程组进行化简,简化的结果还包含部分二次方程组,也就是程序并不会进行完全求解(但是对于没有解的情况可以在化简过程中得出矛盾)。这也是为什么最后需要借助maxima等工具进一步求解。(可参考51#)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-21 16:45:50 | 显示全部楼层
本帖最后由 数学星空 于 2009-12-21 16:53 编辑
程序输出19棵树20行的数据,而如果存在20棵树24行数据,其中必然有一个树被不多于4行使用,去掉这颗树,就可以产生一个19棵树20行的数据。所以得到这个19棵树20行以上的所有数据,我们就可以构造处所有20棵树24行以 ...
mathe 发表于 2009-12-21 16:23


也就是说:
我们这次验算主要复核一下之前计算的20颗树是否一定存在24行的结论外还能说明是否存在25行的解,
由于我们之前已经验算了24行解,结果为空,是否已经说明不存在24行以上的解了??
还有,这个程序能计算出复数域内24行以上的解吗?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2009-12-21 17:54:50 | 显示全部楼层
没有24行解自然就没有24行以上的解了。
之前验算是在有限域上的,解可能同实数域或复数域稍微有点不同。
现在我们程序就是要验算复数域内没有24行以上解。
你可以查看链接/thread-2015-1-1.html,里面给出两个19棵树20行的例子中一个就是复数解,一个是实非有理数解。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-22 08:00:33 | 显示全部楼层
计算人员:数学星空
开始时间:2009-12-17
计算文件:fid11
文件大小:0
进度:4000
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-22 09:24:11 | 显示全部楼层
目前进度
fid24:7171
fid25:9626
fid26:10612
fid27:11797
fid28:8467
fid29:10931
fid30:5789
target19文件大小都是0KB
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-22 09:24:32 | 显示全部楼层
不好意思,才看到分配给我的任务
今天才开始执行
12归我了
看看速度吧

如果速度可以,再开一个
另外solver和solver2有啥区别,用solver 算的
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-22 09:31:31 | 显示全部楼层
哦,明白了

改成solver2计算了
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-22 18:16:48 | 显示全部楼层
计算人员:数学星空
开始时间:2009-12-17
计算文件:fid11
文件大小:0
进度:4700
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2009-12-23 07:59:40 | 显示全部楼层
计算人员:数学星空
开始时间:2009-12-17
计算文件:fid11
文件大小:0
进度:5555
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2019-10-15 17:45 , Processed in 0.056764 second(s), 15 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表