找回密码
 新注册用户
搜索
楼主: wpf999

[讨论] 国产项目RamseyX反馈专用贴

[复制链接]
发表于 2013-10-1 03:10:30 | 显示全部楼层
超哥不郁闷 发表于 2013-9-30 23:14
那我们现在知道哪些符合R(a,b,c)这种形式的拉姆齐数?有相关资料吗?我们现在都是在提高下界,那上界没办 ...

三元Ramsey数现在貌似就知道R(3,3,3)=17,连R(3,3,4)都只知道在30和31之间。

其实算Ramsey数的下界比上界容易得多,因为要提高下界只需要找到一个满足条件的图就可以了,而想要提高上界的话,就要证明所有图都不满足条件,这就需要检查所有图,工程量是极其大的,目前都需要靠复杂的数学推理和计算机计算结合才能做出上界。

回复

使用道具 举报

发表于 2013-10-1 09:56:02 | 显示全部楼层
本帖最后由 超哥不郁闷 于 2013-10-1 10:02 编辑
fwjmath 发表于 2013-10-1 03:10
三元Ramsey数现在貌似就知道R(3,3,3)=17,连R(3,3,4)都只知道在30和31之间。

其实算Ramsey数的下界比上 ...

原来如此~,我还有几个小小的问题需要请教一下:(1)为何有的拉姆齐数已经被压缩到了很小的范围内,但我们还是不能确定它们到底是几?这个计算量极大吗?(2)拉姆齐数应该有无数个吧,我们光是想压缩其中一个数的范围都显得那么困难,那不是我们永远都无法完全了解拉姆齐数了?应该有某种通用的方法来计算拉姆齐数吧,只是现在我们不知道?(3)为何RamseyX计算的都是三元拉姆齐数,它的计算量难道比二元拉姆齐数小吗?为何我们不着手确定出那些范围已经被压缩得很小的拉姆齐数?如R(3,3,4)?(3)关于拉姆齐数的应用问题,我之前问过邰弟的,他给了我这个链接http://www.cs.umd.edu/~gasarch/TOPICS/ramsey/ramsey.html,不过这些论文我肯定是看不懂的啊,我对其中的“I define `Ramsey Theory' to be any theorem that (roughly) says that if some structure is big enough, order emerges."很感兴趣,因为我之前在查拉姆齐问题的时候,也看过类似的话,我记得是说“对于任何一个整体上庞大且混乱无序的系统,其中必有一部分是有序的”。这里所说的拉姆齐理论与拉姆齐数是个什么关系?(4)BOINC上也有类似的项目Ramsey@Home,它现在的状况如何(貌似停止运行了)?取得了什么进展?(5)“对于所有的N顶图,包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数,记作R(k,l)”一句中“团”,“顶”以及“独立集”分别是什么意思?哈哈~问的有点多,不过这些都是我现在感到疑惑的地方,希望学长能前来答疑解惑~

回复

使用道具 举报

发表于 2013-10-1 12:53:03 | 显示全部楼层
本帖最后由 fwjmath 于 2013-10-1 12:58 编辑
超哥不郁闷 发表于 2013-10-1 09:56
原来如此~,我还有几个小小的问题需要请教一下:(1)为何有的拉姆齐数已经被压缩到了很小的范围内 ...

(1) 的确计算量很大,因为要验证每个图。假设我们考虑31个顶点的图,它有465条边,二染色的所有可能性是2^465种,即使每个原子都是一个CPU,CPU每个时钟周期检查一个图,从大爆炸开始算到现在,还远远算不到一个零头。当然因为各种对称性,实际上没那么多,但也是非常难的。

(2) 目前不知道有没有通用的方法,我估计没有,我觉得大部分人大概也是这样想的。实在是太难了。

(3) 这是我的建议,因为这方面做得相对比较少,可能有些发挥的空间。但是我去查了一下苏文龙和罗海鹏的近期工作,貌似他们把这个也做了不少,而且顶点数目都上百了……

(3) 为什么有两个(3)……实际上,Ramsey理论就是一堆类似的定理的集合,这堆定理说的内容基本上就是,对于某个系统中的某种特征,如果这个系统足够大,那么这种特征必然出现,无论系统本身是多么混乱。也就是无序中必然能寻出规律,所以很多所谓奇迹其实只是必然的现象。Ramsey一开始研究的是图的二染色中存在的单色完全子图,而Ramsey数就是这个系统中“足够大”要多大的度量,也就是至少需要多少个顶点才会必然出现单色完全子图。

(4) 停止了,貌似没啥进展。

(5) 这些是图论中的概念,虽然我一直不喜欢国内某些教材的说辞,把简单的东西都弄复杂了。“N顶图”就是有N个顶点的图;团就是完全子图,也就是说团里边的顶点两两之间都有边相连;独立集就是一堆互相都不相连的顶点。其实这种表述跟二染色的表述是等价的,但是看起来很费解,所以我不喜欢……

回复

使用道具 举报

发表于 2013-10-1 13:33:33 | 显示全部楼层
本帖最后由 超哥不郁闷 于 2013-10-1 13:38 编辑
fwjmath 发表于 2013-10-1 12:53
(1) 的确计算量很大,因为要验证每个图。假设我们考虑31个顶点的图,它有465条边,二染色的所有可能性是2^ ...

哈哈~听君一席话胜读十年书~。。。。                                                                                                                                               
对于回答(1):这个比喻很形象!不过这个计算量还真的不是人类目前能够完成的啊(靠量子计算机来实现吧~)。。。太吓人了。。。
对于回答(2):虽然目前没有,但我相信它是存在的,应该有一个统一的理论(就像物理中的统一场论一样吧
对于第一个(3):苏文龙与罗海鹏他们也是运用计算机来进行研究的吗?如果可能,学长您能够联系上他们,让他们为RamseyX做一些指导吗?
对于第二个(3):这么说的话拉姆齐理论能够应用到混沌现象的研究中吗?那现实当中的奇迹,比如说生命的产生,也是这一理论的体现吗?(好厉害!!!)



回复

使用道具 举报

发表于 2013-10-1 13:57:12 | 显示全部楼层
超哥不郁闷 发表于 2013-10-1 13:33
哈哈~听君一席话胜读十年书~。。。。                                                            ...

苏文龙和罗海鹏在这个领域做了很多年了,手头上应该也有很成熟的程序,不过再成熟大概也就跟现在RamseyX用的差不多,可能再优化一些。不过他们可能也留了一手,我也不是很清楚,不过指导的话恐怕是不行了,因为当年我也写过信,没有回音……

Ramsey理论跟混沌是差很远的,如果有兴趣的话可以买些书深入研究一下~~~

回复

使用道具 举报

发表于 2013-10-1 15:08:16 | 显示全部楼层
本帖最后由 超哥不郁闷 于 2013-10-1 15:12 编辑
fwjmath 发表于 2013-10-1 13:57
苏文龙和罗海鹏在这个领域做了很多年了,手头上应该也有很成熟的程序,不过再成熟大概也就跟现在RamseyX ...

学长说的“当年”是指RamseyX发起之前吗?我觉得也许是信件中途出问题了,真正做学问的大师级人物不会这么保守的。。。还有那个问题还没回答,就是:“拉姆齐定理适用于现实中的问题吗?比如生命的产生这类所谓的奇迹?”,因为宇宙也是整体上混乱无序的庞大系统啊,而生命也是秩序的完美体现啊,不知能否这样理解,哈哈~~~
回复

使用道具 举报

发表于 2013-10-1 15:34:55 | 显示全部楼层
超哥不郁闷 发表于 2013-10-1 15:08
学长说的“当年”是指RamseyX发起之前吗?我觉得也许是信件中途出问题了,真正做学问的大师级人物不会这么 ...

应该是不适用的,生命之类的东西还没有很好的模型……
回复

使用道具 举报

发表于 2013-10-1 16:40:26 | 显示全部楼层
@ZizhengTai 发现一个问题:为何我电脑中客户端任务的自动更新频率很低(多数时候不手动点“下载任务”就不会自动下载新任务),而我服务器中的客户端自动更新频率很高,基本没有闲置的时候?
回复

使用道具 举报

发表于 2013-10-1 18:05:20 | 显示全部楼层
上传400个任务用了2个小时!带宽是最大的敌人
回复

使用道具 举报

发表于 2013-10-1 18:30:08 | 显示全部楼层
在Linux下用Wine模拟打开安装包,这个就已经不行了。@ZiZhengTai
R1.png
估摸着乃们是用 Inno Setup,我更推荐是那NSIS,以下是部分脚本:
  1. /****
  2. This is a part of RamseyX source codes.
  3. Copyright(R)2013 RamseyX Team
  4. Build date :2013/10/01

  5. 以下 脚本中带有注释的皆为有问题的代码。
  6. 开始菜单将会自动创建,如要添加,请不要使用"MUI_STARTMENU",的确太烦且需要额外插件,不大划算。
  7. 尽可能使用 !insertmacro MUI_PAGE_COMPONEMTS 方法。
  8. 开始菜单什么的我这里还没来得及加上去。
  9. 键入注册表好让添加、删除程序直接卸载的一段代码如果需要就补上吧,其实做成绿色软件也不错的。
  10. 关于英文版的问题,因为牵涉到一些提示性字段的问题,可以提供中英两个不同的版本。或者呢,找一下网上有没有多语言的解决方案。
  11. NSIS相比较Inno,灵活性提高了不少。这是肯定的,我挺喜欢这个语言。
  12. 需要你们制作安装包的ISS脚本和图标文件,继续完善这里的内容。
  13. 其余的部分,可以邮件联系,谢谢!国庆快乐。
  14. ****/
复制代码
RamseyX_4.4.1_x86_setupNSIS.exe.xz (1.46 MB, 下载次数: 1208)
这是预览程序,数据目录什么还没搞清楚,不建议运行,安装后就可以卸载了。
卸载文件是放在%APPDATA%\RamseyX 文件夹里。

源码一会儿发到邰第邮箱里。
回复

使用道具 举报

发表于 2013-10-1 20:04:01 | 显示全部楼层
本帖最后由 超哥不郁闷 于 2013-10-1 20:12 编辑

@fwjmath @ZizhengTai 刚才无意中看到大家在http://www.equn.com/forum/thread-38451-2-1.html中对于重启Pi Segment的相关讨论,于是心生感慨~,我觉得两位如果有兴趣的话,可以搞个用分布式计算模拟“无规行走”的项目啊,这个模型在很多领域里都有非常大的用处(@fwjmath 学长应该很清楚的),只可惜我不会编程,如果会的话我会毫不犹豫地开展这个项目的。。。。 计算模拟-random-walk.ppt (352.5 KB, 下载次数: 958) 无规行走.pdf (198.87 KB, 下载次数: 1406) 醉步.pdf (725.02 KB, 下载次数: 1254)
回复

使用道具 举报

发表于 2013-10-1 21:43:53 | 显示全部楼层
本帖最后由 zzfwind2007 于 2013-10-1 22:01 编辑
超哥不郁闷 发表于 2013-10-1 20:04
@fwjmath @ZizhengTai 刚才无意中看到大家在http://www.equn.com/forum/thread-38451-2-1.html中对于重启Pi ...

数学类项目总是费力不讨好。

Pi Segment 动用那么多人创个纪录,和那个“水上麻将吉尼斯纪录”,又有什么不同?
http://weibo.com/1651428902/AaklxldOK?type=repost


除非用 Pi Segment 来做相关研究,比如:”不同进制下的数字分布“,”算法改进“……
这样才有宣传的机会,否则会被”数学愤青“们贴上”民科“、”无意义“、”劳民伤财“的标签。


突然觉得,”数列吉尼斯“--OEIS,也好不了那里去。
某些数列算那么多项,也有”浪费人类算力之嫌“。


只可惜,不少数学类项目都与OEIS有关。
单是”分布式项目“就一大堆:
http://distributedcomputing.info/ap-math.html


还有一些“私营企业”:
http://www.elektrosoft.it/matematica/repunit/repunit.htm
http://bbs.emath.ac.cn/forum.php?mod=forumdisplay&fid=15
http://www.worldofnumbers.com/  

但是,对“个体户”来说,如果不做些“微型数学类项目”,辛辛苦苦学编程,又有什么意义?
回复

使用道具 举报

发表于 2013-10-1 23:17:13 | 显示全部楼层
本帖最后由 超哥不郁闷 于 2013-10-1 23:19 编辑

@fwjmath @ZizhengTai 又找了些资料 平面上的一种随机行走模型及其计算机模拟.pdf (2.13 MB, 下载次数: 1512) http://baike.baidu.com/view/3606415.htm
回复

使用道具 举报

发表于 2013-10-2 01:48:00 | 显示全部楼层
随机行走是概率论的内容,其实没多少东西可以算的……
回复

使用道具 举报

发表于 2013-10-2 09:50:15 | 显示全部楼层
fwjmath 发表于 2013-10-2 01:48
随机行走是概率论的内容,其实没多少东西可以算的……

它虽然是概率论中的一个模型,但却能运用到诸多领域中~我又找了一篇资料(http://www.docin.com/p-86980565.html),这篇文章中的第三部分提到了无规行走问题,里面提到了三维无规行走返回原点的概率(Polya常数),我们可以“精确”计算它的值啊(就像我们算圆周率一样啊~),我们还可以计算三维无规行走从原点出发到空间各点的概率,从而知晓概率在空间位置上的分布情况(这个也就是无规行走问题的进一步深化,需要极大的计算量),因为现在很多领域都用到这一模型及其变形,比如模拟溶液中高分子链的自回避行走模型,我们可以深入研究一下,也给需要用这一理论解决问题的人们提供一些有价值的参考。
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 新注册用户

本版积分规则

论坛官方淘宝店开业啦~

Archiver|手机版|小黑屋|中国分布式计算总站 ( 沪ICP备05042587号 )

GMT+8, 2025-5-8 11:11

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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