|
|
项目已正式开始，本帖作废
经过一天晚上的测试，我感觉程序拿得出手了，所以就放上来测试了。
压缩包中名为GTV.exe的程序就是主要的计算程序，意为Graceful Tree Verification，即优美树验证。而7za是一个命令行的压缩工具，用于压缩结果文件。
经过思考，我觉得我有足够的把握可以不需要第二个人的验证，所以每个包都是做的有用功，大家要珍惜啊~~~
注意！计算程序需要SSE2指令集。如果你的机器不支持的话，请发送一封电子邮件到 [email protected] 说明情况，我会将不依赖SSE2的计算程序作为附件发送给你，只需要用它替换压缩包中的计算程序即可。
如果你下载了之前的GTV.zip而遇到类似“由于应用程序配置不正确，应用程序程序未能启动。重新安装应用程序可能会纠正这个问题”的错误的话，请下载新版的GTV.zip并将对应文件进行替换，这样就应该没问题了~~~
计算的流程很简单：
1. 下载附件GTV.zip，解压缩到你自己喜欢的位置
2. 向 [email protected] 发送一封电子邮件，最好题为"GTV Block Request"，稍后我就会向你发送一封电子邮件，里边会包含一个叫"data.txt"的文件。
3. 将"data.txt"下载到GTV.exe所在的文件夹中。
4. 执行"start.cmd"
5. 当你需要停止程序的时候，请执行"stop.bat"，程序会在下一个存盘点处停止，并在命令行给出提示，这时候就可以关闭程序而不丢失进度了。建议执行这个命令的原因还有因为这个命令可以记录CPU时间，对于统计比较有用，不过可能在正式版中就会删去这个功能了。
6. 程序计算完成后，在命令行会给出提示，这时请执行"stop.bat"，然后关闭程序。为了将结果打包，请执行"PackResult.bat"，这时计算结果将会被打包到"Result.zip"
7. 将 Result.zip 以附件的形式发送到 [email protected]，这就完成了一个包的计算了。你还可以顺带要下一个包，周而复始下去。
现在测试使用 n=32，是之前没有人计算过的，所以算是真正的研究。
一个包在C2D T7200上大概需要5天的计算，期限暂定一个月。一个月仍然没有返回结果的话，我会发电子邮件询问，如果在一个星期内没有回音的话，该包将会分配给别人。
现在一共有50个包，先到先得，送完的话或者可以委屈一下做个验证的工作~~~
有一点需要注意的是，由于本人技术有限，在用于记录CPU时间的cputime.txt文件中会包含计算机的名称和用户名，注重隐私的朋友可以在打包之前把这个文件内的计算机名称和用户名删去~~~
有啥问题可以在这里回复~~~
因为这个属于测试形式~~~所以大家可以放心折磨客户端~~~有异常情况的话回复通知我一下就可以了~~~
附优美树的定义：
我们来看图说话。
这是一棵有31个顶点的树，如果你数一数的话会发现这些顶点旁边被标记了从0到30的数字，没有两个不同的顶点标记了相同的数字，而每个数字都在这棵树上出现了。这叫一个标号。
如果我们看边上标记的数字的话，你会发现它们恰好是这条边的两个顶点的标记数字的差。这种边上的标记就叫由顶点标号诱导出来的一个边的标号。
这棵树一共有30条边。如果我们仔细数一数边上的数字的话，会发现从1到30的数字都碰巧出现了，满足这种条件的标号就叫做一个优美标号。
如果一棵树能拥有至少一个优美标号的话，我们就说这棵树是优美的。根据这个定义的话，图中的树是优美的。
可能你会觉得优美标号很难得，而这棵树是优美的只不过是凑巧。不过，现在已经证明，顶点数少于等于31的树都是优美的。
在图论中有一个著名的猜想，叫优美树猜想，顾名思义，猜想的内容就是“每棵树都是优美的”。这个猜想至今仍悬而未决。你的计算可以帮助验证这个猜想，或者举出一个反例推翻这个猜想。寻找到反例的参加者在我写的阐述反例的论文中（如果有的话……）被列为第二作者。
但是也不要高兴得太早，寻找到反例的机会是微乎其微的。很多数学家都认为优美树猜想是对的，这样的话也就不存在反例了。不过，你的计算仍然可以帮助对于优美树的研究。
[ 本帖最后由 fwjmath 于 2009-1-22 04:33 编辑 ] |
|
发表于 2008-11-22 07:56:42
发表于 2008-11-22 08:09:42
发表于 2008-11-22 19:11:15
