数，树，肚子，无心

mathe · 发表于 2009-4-3 08:19:20

现在我的计算机对于另外一个17棵树13行的结果集(200万个文件约1.4亿个数据)中约4万个数据进行分析,其中计算出来的18棵树16行的2000多个结果,但是没有一个可以产生19棵树20行的结果.由此来推断,通过这200万个文件产生的19棵树20行的数据不会很多,而如果要产生20棵树24行以上的可能性微乎其微.

无心人 · 发表于 2009-4-3 08:22:02

是不是表明在可预见的时间内 20棵树23行结果是最优的要证明或者否定24行结果短时间是不可能的？？

mathe · 发表于 2009-4-7 08:47:37

这个我不肯定. i)我们已经知道程序里面存在bug ii)我们使用了有限域替换实数域进行数据筛选,这个过程可能会淘汰一些有用的解. 不过从这个计算结果我们可以估计出20棵树很难有更好的解了.也许存在24行的,但是概率不高;而25行的估计没有了. 另外从计算量来看,我觉得,如果能够花时间好好优化一下程序(最好能够继续改善一下解方程的程序),彻底解决19棵树的问题是可能的. 而找到20棵树的最优解(如果存在24行以上)也是非常可能的,但是在现有的计算机水平下,不使用大量的计算机想证明其结果应该是不行的

无心人 · 发表于 2009-4-7 11:35:44

这么复杂的程序，很难查错误了重构吧全部拆成小函数

无心人 · 发表于 2009-4-7 11:36:45

另外， d6快机器快算完了综合判定，4天内出结果

mathe · 发表于 2009-4-7 11:53:52

等以后有空再考虑.可以考虑直接调用Pari/Gp来计算

mathe · 发表于 2009-4-8 09:43:21

原帖由 mathe 于 2009-3-9 05:33 发表现在根据上面已经出来的数据进行分析，没有找到20棵树24行的，但是找到一个23行的。根据各个点上边的数目分析的结果来看，估计和王兴君的结果是一致的。（但是这里的程序不会找出所有23行的数据，因为程序本来是用 ...

今天写个小程序将王兴君作为输入,标准化了一下结果,结果同我在28#的完全相同. 而这个结果也说明很可能23行已经是最优结果了(随便找出一个就同王的相同,说明解的总数目也不会多)

mathe · 发表于 2009-4-8 16:45:09

发现代码里面的一个bug,对结果应该有比较大的影响.

finder.zip (9.38 KB, 下载次数: 1) 无心人可以将这个附件中的代码替换原先的对应代码(实际上只要替换函数initFromGlobal就可以了) 然后可以选择性的运行几个目录,比较一下结果看看. 我现在决定重新产生17棵树的部分数据,然后再继续其它部分运算

无心人 · 发表于 2009-4-9 09:17:53

这个Bug是无中生有还是错杀？？

mathe · 发表于 2009-4-9 11:39:49

应该是部分数据一些意义发生的变化,但是代码没有完全相应变化.它会导致finder很多运行中的异常,而且我估计会漏掉很多数据(但是不知道比例有多高).

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

[原创] 数，树，肚子， 无心

[原创] 数，树，肚子，无心