BOINC年度会议小结【图片已更新】

fwjmath · 发表于 2013-10-4 15:13:00

JUST 发表于 2013-10-4 14:25
还有个相关的，或许大家感兴趣
就是代码综合，就是你给一堆输入和输出，然后自动把code生成出来
比如

的确，这个如果只是数列的话，就相当于猜表达式，的确会有活，因为在组合数学里边有很多这样的东西，对特殊情况也有一些比较好的算法。但是算法比较成熟，耗时也不太长，可能找不到足够的活。如果是做更广泛的东西的话，之前的算法也不一定能行。我觉得可以稍微探讨一下，但是不抱非常大的希望。

JUST能说说最近这方面的进展么？

JUST · 发表于 2013-10-4 15:15:07

gameboybf2142 发表于 2013-10-4 15:05
请教一下旧的源码用的是什么算法呢？如果新的算法用BBP公式可以吗？

别客气

用的是这个，大牛Fabrice Bellard的发明，也曾经用于PiHex
http://en.wikipedia.org/wiki/Bellard%27s_formula
http://en.wikipedia.org/wiki/Fabrice_Bellard
其实这个公式就是BBP的变体

JUST · 发表于 2013-10-4 15:23:04

fwjmath 发表于 2013-10-4 15:13
的确，这个如果只是数列的话，就相当于猜表达式，的确会有活，因为在组合数学里边有很多这样的东西，对特 ...

我不是做这个方向的，所以不是特别了解
总的来说理论上一直在发展，但能到实用的基本没有
有个问题是综合出的代码不光要能用，可读性也得有，这个就更复杂了
大概能综合一两百行代码就很不错了
paper里一般都是写特定环境下做reduction

其实也不光是代码，连同UI也能综合出来

草木茂盛 · 发表于 2013-10-5 14:27:25

我现在要挣钱挣钱再挣钱，然后买变态装备！

前朝遗少 · 发表于 2013-10-5 14:40:11

CPDN对东亚气候有兴趣？

碧城仙 · 发表于 2013-10-5 16:01:58

DrEason7-11 发表于 2013-10-4 01:02
楼主，我是医学院毕业的，也做过生命科学方面的实验，对于文献阅读没有问题，志愿帮助WCG校对和翻译，如有 ...

本论坛 FightMalaria@Home 翻译 http://www.equn.com/forum/thread-38473-1-1.html ，求医学专业人士校对

碧城仙 · 发表于 2013-10-5 16:06:50

JUST 发表于 2013-10-4 15:15
别客气
用的是这个，大牛Fabrice Bellard的发明，也曾经用于PiHex

PiHex 的源代码在这里下载：http://www.equn.com/pihex/source.html @gameboybf2142
Pi Segment 的源代码在这里：http://www.pisegment.net/project/projectpart.aspx 只是网站早打不开啦

帖子 “[讨论]Pi Segment算完之后” http://www.equn.com/forum/thread-15988-3-1.html
第28楼，@YINGYING 提出：“可以考虑算Ramsey数，很有实际意义，在很多领域都可以用到 ” @超哥不郁闷 @ZizhengTai
第33楼，@fwjmath 提出“Perfect Cuboid（完美长方体）”

哈哈，我只想说，翻翻老帖，发觉我们网站是一个神奇的网站！

超哥不郁闷 · 发表于 2013-10-5 21:47:44

本帖最后由超哥不郁闷于 2013-10-5 21:50 编辑

碧城仙发表于 2013-10-5 16:06
PiHex 的源代码在这里下载：http://www.equn.com/pihex/source.html @gameboybf2142
Pi Segment 的源代码 ...

幸亏上论坛，且瞟见碧大的评论了.....@咋又失效了

......（刚才正在写话剧剧本

）......我来看看~

超哥不郁闷 · 发表于 2013-10-5 21:49:41

碧城仙发表于 2013-10-5 16:06
PiHex 的源代码在这里下载：http://www.equn.com/pihex/source.html @gameboybf2142
Pi Segment 的源代码 ...

@gameboybf2142 @ZizhengTai 请看碧大的评论~

超哥不郁闷 · 发表于 2013-10-5 21:56:18

碧城仙发表于 2013-10-5 16:06
PiHex 的源代码在这里下载：http://www.equn.com/pihex/source.html @gameboybf2142
Pi Segment 的源代码 ...

@fwjmath 完美长方体！？

超哥不郁闷 · 发表于 2013-10-5 23:42:45

本帖最后由超哥不郁闷于 2013-10-6 00:01 编辑

fwjmath 发表于 2013-10-4 15:13
的确，这个如果只是数列的话，就相当于猜表达式，的确会有活，因为在组合数学里边有很多这样的东西，对特 ...

或许我们可以着手“完美长方体”的搜寻工作？这么一说，让我联想到了完美正方形http://wapbaike.baidu.com/view/8 ... ;tj=Xk_1_0_10_title

超哥不郁闷 · 发表于 2013-10-6 10:52:58

本帖最后由超哥不郁闷于 2013-10-6 11:01 编辑

天书........

完美长方体.pdf (663.67 KB, 下载次数: 1273) 论文开头的那三个长方体就是目前的最好结果吗？它们总有一个长度不是整数....那理论上能证明“完美长方体”的存在吗？（仅仅是存在性）

超哥不郁闷 · 发表于 2013-10-6 21:49:12

超哥不郁闷发表于 2013-10-6 10:52
天书........论文开头的那三个长方体就是目前的最好结果吗？它们总有一个长度不是整数.. ...

@fwjmath 学长求解～:-P

超哥不郁闷 · 发表于 2013-10-6 23:27:52

见楼上～:-P

fwjmath · 发表于 2013-10-7 00:41:14

超哥不郁闷发表于 2013-10-6 10:52
天书........论文开头的那三个长方体就是目前的最好结果吗？它们总有一个长度不是整数.. ...

也不能说好不好的，不符合定义就不是perfect cuboid……而且现在其实还不知道perfect cuboid是否存在……这是我说水很深的原因之一……

		自动登录	找回密码
密码			新注册用户