最小无法表达的正整数

gxqcn

我来瞎说一下。

一般来说，表达式的结果以乘积为大，
所以楼主的最终结果应该是一个素数，或是一个有大因子的合数，
只要证明低于它的都可表达即可。

这只是换个角度看问题，是否有助于解决问题就很难说了。

mathe

从前10项结果来看,素数比例很低,而大因子通常也不算太大

无心人

20#
肚子兄：
如何生成那些表达式啊？
连递归生成重复的都没搞定呢
呵呵

无心人

21#
TO GxQ兄
有的素数加或者减某个数字
后的结果是可以转化为合数的
反而某些合数却无论如何
不能表示成这种形式

mathe

原帖由 无心人 于 2008-8-4 08:38 发表
20#
肚子兄：
如何生成那些表达式啊？
连递归生成重复的都没搞定呢
呵呵

我那个计算到10的程序好像是2002年写的,现在没有重读代码,所以具体细节也忘了.但是估计也是穷举,只是尽量将一些重复的表达式淘汰掉. 我估计就是穷举所有不等价的表达式,所以根据上面的公式,大概在3T个表达式的话,运行2天解出来是很可能的.

无心人

是否改为先穷举部分结果
比如得到95％的数字的解析
然后去掉若干数字
再穷举，后，对去掉的数字加入运算
得到新的数字
逐步逼近？

无心人

不过要考虑
在结果里，原生无法拆分的式子的比例是多少?

mathe

原帖由 无心人 于 2008-8-4 09:30 发表
是否改为先穷举部分结果
比如得到95％的数字的解析
然后去掉若干数字
再穷举，后，对去掉的数字加入运算
得到新的数字
逐步逼近？

这是一个好想法.
我觉得可以用这个方法超越n=10的结果.

无心人

呵呵，我那个程序现在能生成所有右偏的表达式
即a op b op c op d .....的类型的
不知道能覆盖多大的范围

无心人

mathe：
   linux下有什么好的调试器？
  不要提GDB和Nemiver Debugger

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
Aujuta如何？似乎比上面的好
PS:
  幡然悔悟，要重构代码去了
呵呵
  原来是根节点和左右节点三个函数
  应该是根节点和子节点两个函数
  否则，很难递归产生所有可能

[ 本帖最后由 无心人 于 2008-8-4 11:28 编辑 ]