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

fwjmath

刚刚试用了一下客户端，貌似连不上服务器……但是不注册没链接也可以算，这样的话，在项目描述确切的假定下，可以有几方面的推断：

1. 计算内容应该是不需要输入的东西，也就是说要通过计算确定的Ramsey数应该是写在了程序里，不能改的。而且具体的算法没有输入的话，不可能是全面搜索，也就是说不能确定上界，只可能是下界。这种算法，坏的就是随机生成图然后检验，好的就是用组合优化的算法（比如说模拟退火）来尝试优化搜索过程。不过即使是好的那个也很困难，我之前写过类似的程序，求R(3,3,3,3)的，效果很不好，连R(3,3,3)的准确界都确定不了。当然，如果是用罗海鹏和苏文龙的方法的话，也不是不能写出不需要输入的更好的搜索算法，但我觉得可能性不太大，高中生一般不太查论文的，虽然是中文，另外也很难达到程序的速度。

2. 统计方面应该很容易攻击，看程序内部的话，可以直接看到调用的sql语句，那么想办法注入也可以，或者自己另外写个程序虚报成绩也可以，因为没有输入，所以不需要服务器端的确认。

coju

fwjmath 发表于 2013-7-31 11:15
刚刚试用了一下客户端，貌似连不上服务器……但是不注册没链接也可以算，这样的话，在项目描述确切的假定下 ...

高人，膜拜……

fwjmath

现在注册上了，然后再profile了一下，再总结出一些程序的特性。

程序本身是很线性化的，没有什么递归，这从另一方面说明做的不是类似回溯的搜索，所以应该不是做上界的，因为如果不用回溯剪枝的话，对于Ramsey问题，遍历所有图是非常没有效率的。

程序很多时间花在一个叫FlsGetValue的函数上，这个函数是有关纤程的内存访问的，所以可以判断程序的多线程机制是纤程。这有优点也有缺点，优点是调度和支持都比较丰富，缺点是访问内存需要调用库函数，效率比较低。

Stella

已开跑。
总的来说有点意思。设置比较简单易懂，显眼直白。
cpu占用调用的很足，内存占用很小，只有不到6Mb。超线程粗略测试有30%左右的性能提升。
相比核心数，比较实用的是速度模式。这个设计的很不错。
中速+8线程60秒能验证17百万个图，温度在72度左右，不过监测显示实际为6线程以30-60%效率工作外加2线程不工作。
高速+8线程60秒能验证33百万个图，大约是中速的两倍。温度在90度左右。监测显示全部线程满负荷工作。唯一有点问题的地方就是下载的时候被谷歌认为是危险软件。

刚上手，暂时先测这么多。能做成这样感觉在分布式项目中已经算是很良心了。尤其是实时能看到计算结果的变动对于一些较为急躁的用户来说会有很大的安慰和坚持下去的动力。由于是高中生项目，所以不知道是否会长久。不过建议暂时（尤其是最近）支持一下。把梦转化为梦想不是一件容易的事，还是应该鼓励一下。建议考虑作为推动项目来支持。

xiaoluo

我的破机器跑ABC有几万分的样子，然后就没任务了。

swh@home

FAQ给出的信息值得注意一下！有点儿奇怪。提到了“积分在将来可用以兑换奖励”，推广政策也有一些问题，貌似太具功利性了。

http://www.ramseyx.org/help.html

应该争取引导一下，网页很不规范，尤其注意法律问题，公益项目与积分可兑换奖励有冲突，没有免责声明也是一个漏洞。

另外，代码不开源，加之纯个人项目，不建议在连接外网的非个人计算机上运行，可以用自己的机器跑跑。

我的看法是应该支持，可以小规模测试，不建议重点推广。对组织者应该给予鼓励，但也要让他们认识到不足。最好可以拉进论坛跟大家交流一下。

xx318088

诶，这不是基于boinc平台的啊……

gameboybf2142

我觉得应该将项目转移到BOINC上面来，毕竟BOINC的积分，调度，通讯，后台运行等机制很成熟
还有，最好能开放源代码，这样大家都可以去优化，改写，移植，可以大大推进项目的进度

swh@home

已经开跑，留了一个线程给它。

青島人

對大陸項目無愛。

Stella

xuyongchen,

您好！非常感谢您的来信。我已经去您给的链接仔细看过了，并且和fwjmath也在通信。从中受益匪浅，甚为感谢。如果您能争取让RamseyX成为推广项目，那更是十二分感谢！

这个项目是长期项目——如果“不解决目标问题绝不停止”可以算是长期的话。负责沟通的专人的话，目前就是我；但如果有有意愿加入项目并承担这项任务的朋友那是更好。
哈哈其实Chrome误报的问题我在自己的电脑上也遇到了，暂时没有头绪，不过会想办法解决的！

另外，我在论坛上看到了大家对RX的建议，如果您方便的话，能否先帮我转告一声各种建议我都看到了，非常感谢？因为这几天在高三开学考试，比较紧张，等过几天稍微不那么紧张了我就去注册！

顺致夏安，

邰子正

arthur200000

其实开什么速度模式不是问题，只需要一个最低优先级……来自: iPhone客户端

apm46

完全看不懂~ 没上过高中!

arthur200000

xss 发表于 昨天 02:23
总觉得这个项目好像没太大的意义，想计算Ramsey Number最好的方法应该还是优化上下界的数值再进行计算。好像按照目前的计算能力，想找到 R（5,5）都不太可能。
--------------...

话说可以用CUDA-C编译器搞上N卡不……来自: iPhone客户端

Stella

关闭程序之后似乎不能继续计算的样子。下午项目方挂了之后尝试了一下，虽然计算时间会继续累积（因为连不上项目方网站，所以上报失败，时间继续累积），但是验证的图的个数会从头计算。一次性废掉我33亿张图。。
希望项目方能够改进这个问题，以免项目方自己出问题影响到用户的正常计算。