官方主页：http://evil.podzone.org/decs/

The Generic Distributed Exact Cover Solver (DECS) project uses Internet-connected computers to solve exact cover problems. Exact cover is a general type of problem which can be used to solve problems including, but not limited to, n-queens, Latin Square puzzles, Sudoku, polyomino tiling, set packing and set partitioning. A modified version of Donald Knuth's  Dancing Links algorithm is used. You can participate by downloading and running a free program on your computer.

数学类的项目，好像研究好多个问题，我自己不太懂。。
项目好像1月份就出来了。。

嗯，刚登录看了下，我是去年12月注册的帐号，还没算过一个包。。。

这个研究的就是集合覆盖问题~~~数独和铺砖都是它的一些特殊情况~~~是一个带约束的搜索问题~~~
这个项目用的算法是现在在这个问题上最有效的算法：Knuth的X算法~~~其中很重要的一部分就是叫Dancing Link的数据结构~~~也就是将约束条件矩阵中的每个1和它上下左右的1连起来成网状的数据结构~~~
具体的可以爬墙查wiki~~~
不过好像还在Alpha~~~而且好像很不活跃~~~研究人员都不知道去了什么地方~~~不见他出现~~~

[ 本帖最后由 fwjmath 于 2008-6-11 00:42 编辑 ]

数学~~
对我来说就是：

  会的那些数学方法——很好用，
不会的那些数学方法——很高深！

还是别人去研究去吧，等我要用了再现学~

我现在正做一道数独的题...

那是一个随机算法~~~多线程跑就是了~~~

数学?没兴趣

这个……参加太多项目不太好吧，会分散精力的。我就算了。