《表1 两种方法对R (C≤9, K10) 的计算结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于集合理论的求解Ramsey数算法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

实验通过局部测试验证本文方法求解Ramsey的正确性.若判断当n为最大值时本文方法是否正确，应先计算当n取小数值时本文方法的正确性.当n<9时，R（C≤n，Kn+1）与R（C≤n，Kn+2）的上、下界计算用时较短；当n=9时计算用时最长，计算R（C≤n，Kn+1）本文方法和传统单核DNA方法分别用时16.37，68.85s；计算R（C≤n，Kn+2）本文方法和单核DNA方法分别用时226.18，925.36s，可见当n=9时本文方法运算效率高于单核DNA方法.当n≤9时，检验本文方法是否正确可以通过测算R（C≤n，Kn+1）与R（C≤n，Kn+2）得出.表1和表2分别列出了当n=9时本文方法与传统单核DNA方法的计算结果.当p=4时，当前迭代步骤的顶点数为n，当前迭代步骤中取得的中间图数为gn，本文方法在当前迭代步骤形成的图数量为HMRC，单核DNA方法在当前迭代步骤形成的图数量为HSRC.由表1和表2可见，单核DAN方法和本文方法在相同计算条件下运行结果相同，表明多核算法MRC正确.