查看“Ramsey@Home”的源代码


{{Project
|name=Ramsey@Home
|logo=Ramsey_at_Home_Logo.png
|developer=University of Wisconsin-Oshkosh[[Image:United_States.gif]]
|released=2008年5月7日
|app={{app/Windows}}
|platform={{platform/BOINC}}
|subproject=
|status=已结束
|genre={{genre/数学}}
|website=http://ramseyathome.com/ramsey/
|rss=http://ramseyathome.com/ramsey/rss_main.php
}}


[[Ramsey@Home]] 是一个设计目标为通过使用各种不同的技术为拉姆塞数（Ramsey Numbers）寻找新下界的分布式计算项目。项目灵感来自于大卫 福希博士（Dr.David Furcy）、汤姆斯 奈普博士（Dr Thomas Naps）、琳达 伊偌博士（Dr Linda Eroh）以及尼克 皮特森（Nick Peterson）在威斯康星大学奥什科什分校 2008 年春季和夏季学期的研究。

Ramsey@Home现在正在开发，预计开始时间是2008年8月末的某个时间。

如果你对这个项目所涉及的数学感兴趣，你可以通过这里阅读关于拉姆塞数的信息。同样的，对我们的研究的建议可以在这里浏览。拉姆塞数描述了确保某种特定类型的由节点和彩色边缘构成的在图形中存在的模型最少需要多少节点。Ramsey@Home 希望能够提升 R(3,3,3,3,3) 或者 R(4,4,4,4,4) 的下界。更多关于拉姆塞数的信息可以参考[http://en.wikipedia.org/wiki/Ramsey%27s_theorem 维基百科：拉姆塞定理]。

{{JoinBoincProject
|Project=Ramsey@Home
|URL=http://ramseyathome.com/ramsey/}}

{{BOINC topics}}