关于一个新国产项目RamseyX的介绍&讨论

zhouxiaobo

今天我们收到了一条消息，是这么说的：

您好，打扰了~我是深圳中学的学生，我们最近自发了一个搜寻拉姆齐数的分布式计算项目。一方面是为了继承BOINC的Ramsey项目，更主要的是希望能在周围群体中推广公益分布式计算的概念。我们的网址是 www.ramseyx.org ，如果您方便的话请稍微试用一下并帮忙推广~十分感谢！！            

按照项目说法，是验证“拉姆齐定理”。
打开他们的网址：http://www.ramseyx.org/index.html ，别的不说，我先对这项目的真实性进行了分析：
搜索了下“联系我们”的组织人，出来如下结果，的确都是深圳中学的优秀生。
http://bbs.eduu.com/thread-1317408-1-1.html
http://roll.sohu.com/20120904/n352260651.shtml

所以可以基本判定这真是一群高中生的研究项目。

下载下的安装包实质是一个RAR自解压程序：


经过分析判断这是一个由 C语言编写的程序，界面如下：


开了12s，log为：

已验算图数：59392
运算时长：12秒

总图数的基本单位为亿。
注意：在运行主程序后，会在%APPDATA%目录下生成RamseyXUninstall.exe。

大致的情况如下，现请各位算友讨论一下本项目的情况。

ZizhengTai

大家好~我是RamseyX小组的成员邰子正，今天刚刚考完分班考，心力交瘁地过来了...大家的关注让我们非常非常感动啊，更加坚定了一定要让RamseyX作为国产项目的先锋之一长久地运行下去的决心。我们近期就打算开源，整个项目有许多技术和非技术上的不足都要向大家征求意见和帮助，希望大家能一起让它变得更好~

看到了前面大家的一些疑问和建议，这里集中回复一下：

(1)RamseyX以目前的目标(推进R(5, 5)下界)和算法，确实有如大海捞针，或者说数星星，因为确实RamseyX之前的意义更多在于宣传。不过，和fwj老师讨论之后，我们决定进一步在此和大家讨论一下，是否应该照fwj老师所说，将目标定为R(3,3,3,3)，R(3,3,3,3,3)，或者R(3,3,3,4)，又或者R(3,3,5)或者R(3,3,6)？

(2)如果大家在使用过程中遇到BUG，请直接给我发邮件（zizheng.tai##gmail.com  ##->@）。或者可以在这里专门开一个帖用以反馈RamseyX的使用情况？

(3)服务器偶尔可能速度慢，但一般不会连不上。由于现在负担较小，我们直接租用了云主机。随着人数增多，只要需要我们就会更新服务器。

(4)“对大陆项目无爱”之类的只好见仁见智咯，虽然我个人认为科学研究无分地域，但毕竟是自己的机器。

(5)加入BOINC方面我们会仔细考虑的！

(6)我们确实只是高三学生，但请大家不要因为这个影响到对RamseyX的看法。我们现在确实还图样图森破，但是在大家的一起努力下，我们非常肯定能看到RamseyX成为真正能解决某一个宏大目标的成熟项目，绝对会超越CAS或清水或DRUG。如果有人愿意加入开发组，我们更是不胜荣幸。虽然现在做得不够好，但只有开始尝试才能最终达到完美嘛，现在BOINC的用户又有多少个真的经历过“BOINC”还根本不存在、SETI挣扎着壮大的时期呢？那么，为什么我们就不可以是下一个BOINC呢？以中国的运算资源，我们为什么不可以以超越BOINC为目标呢？

再次谢谢大家的关注~^_^

xss

总觉得这个项目好像没太大的意义，想计算Ramsey Number最好的方法应该还是优化上下界的数值再进行计算。好像按照目前的计算能力，想找到 R（5,5）都不太可能。
-------------------------------------
转念一想，这种研究好像比boinc中的Collatz Conjecture 要靠谱的多。毕竟如果Collatz Conjecture正确的话，这个项目就永远无法完结了。所以我觉得这至少是给国内科研（高中生也能算科研吧）做做宣传，开个好头，希望能比不靠谱的CAS做得好。

equn

希望FWJ来评论一下。我觉得应该鼓励。我把权限解除了，没必要神神秘秘的。

fwjmath

关于Ramsey数，我引用一段我之前写了但是还没有发表的科普文：

实际上，英国数学家拉姆齐(Frank P. Ramsey)在1926年发表的一篇关于逻辑的论文中，就证明了更一般的结论：对于任意的自然数n，k，当N足够大时，对有N个顶点的完全图的边染上红蓝两色，无论染色方案如何，要么有n个顶点，它们之间的边都是红色；要么有k个顶点，它们之间的边都是蓝色。满足这个条件的最小的N被称为拉姆齐数R(n,k)。这个定理被称为拉姆齐定理。

这个定理开创了现在被称为“拉姆齐理论”的数学分支。这个数学分支告诉我们，没有完全无序的系统。只要系统足够大，无论在整体上看上去多么无序，总会有一些局部是有序的。拉姆齐理论不仅在离散数学和计算机科学中有着各种各样的应用，它还与数理逻辑——一门研究数学的逻辑基础的数学分支——有着紧密的联系。

Ramsey数我之前也看过一点资料。其实如果是下界的话，广西的苏文龙和罗海鹏做的一系列结果在全世界也算是领先的，这方面的专家还有Exoo。上界的话貌似是McKay，还有一堆不太认识的中国人做的论文。具体可以看这个综述：http://www.combinatorics.org/ojs ... ticle/view/DS1/html

但话说回来，现在也不知道这些高中生们用的什么算法。如果是一个一个图去验证的话，那么是注定失败的，因为图实在太多了。但从他们的程序截图推断，他们有相当的可能性是用这种方法。所以目前不太着急，我先给他们发个邮件问问用的是什么算法。

不过对于高中生来说，搞出这个也是不太容易的，也应该鼓励一下。

arthur200000

fwjmath 发表于 16 分钟前
关于Ramsey数，我引用一段我之前写了但是还没有发表的科普文：

   引用: 实际上，英国数学家拉姆齐(Frank P. Ramsey)在1926年发表的一篇关于逻辑的论文中，就证明了更一般...

指导老师fwj.xml来自: iPhone客户端

acp134

感觉前面几位大神的意见都是理性上不支持，感性上支持的样子

arthur200000

acp134 发表于 19 分钟前
感觉前面几位大神的意见都是理性上不支持，感性上支持的样子...

我不是大神嗯。我发了个邮件扯了扯什么去boinc项目抄代码和去yoyo蹭算力……来自: iPhone客户端

equn

FWJ呀，那就麻烦您联系了，如果能有些指导沟通，那自然更好。我也觉得一个鼓励。欢迎在这里讨论。
我现在来消除权限。

arthur200000

顶楼上，看来数学是不得不好好钻了否则找不到共同语言了……

zhouxiaobo

equn 发表于 2013-7-31 08:32
FWJ呀，那就麻烦您联系了，如果能有些指导沟通，那自然更好。我也觉得一个鼓励。欢迎在这里讨论。
我现在来 ...

权限的问题是我想太多了...

ManHo

膜拜深中。深圳三流高中撸过.

zzfwind2007

一看到标题就进来了。
看到 Ramsey 就被吓了一跳！

不过，他们没说要算哪个 Ramsey数……
反正都不容易，都要联合全人类的算力。（百度一下，你就知道。）

看来要算到天荒地老，就像Collatz Conjecture和GIMPS那样。
但CC和GIMPS都是开源的，一直在优化，而且还有GPU程序。
希望这项目也如此，毕竟要动用大多数人的资源，效率还是要保证的。

zzfwind2007

不过，总感觉数学类（非密码）项目总有些费力不讨好。

CC凭着GPU优势，人气才32,496。

ABC猜想看起来要高端一些，76,205
但去年据说有些眉目……
万一证出来了，ABC@home 就倒闭了。
万一证不出来，ABC@home 就要算到天荒地老。
（猜想类的就是纠结！）

PrimeGrid找质数，感觉就像“数星星”，但比 Milkway@home 人气少。
GIMPS人气多一些，110,882，但感觉也像“数星星”。
（这个Ramsey项目也有点像“数星星”。）

其他数学类项目，说不定比CC“更有意义”，但人气不多。
其实，网上还有不少“数学类项目”。
但由于“意义不大”，或者“仅供娱乐”，“个体户”偏多。
比如：
http://www.elektrosoft.it/matematica/repunit/repunit.htm

http://www.worldofnumbers.com/
（这网站一个程序都没有，只是提供结果。)

http://bbs.emath.ac.cn/forum.php?mod=forumdisplay&fid=15  
（大多都是“数星星”。）

（算力有限的话，还是集中在BOINC或GIMPS好了。）

arthur200000

GIMPS或Prime95成为了最受欢迎的烤鸡压力测试软件之一，这还是值得肯定的……来自: iPhone客户端

cuihao

仰望。数学渣就不发表专业意见了……
看着有前途。