22、图搜索空间剪枝与3-击中集问题核大小的研究

图搜索空间剪枝与3-击中集问题核大小的研究

1. 搜索空间剪枝技术的实验评估

在图的搜索空间剪枝技术研究中，使用了可从bliss网站（ http://www.tcs.hut.fi/Software/bliss ）下载的图集合作为基准图。实验使用的bliss版本为0.65，相关更详细的结果图可在 http://users.ics.tkk.fi/tjunttil/experiments/TAPAS2011 获取。

为了验证基线（即未采用新剪枝技术，但使用了文献[3]中技术的bliss 0.65版本）与当前先进水平的可比性，将其与nauty 2.4版本在相同基准图集合上进行了比较，如图4所示。

在所有实验中，对每个基准图进行两次排列和运行，并设置十分钟的时间限制。超时的运行在时间图中标记为700秒，在搜索空间图中标记为$10^8$个节点。由于篇幅限制以及主要目的是评估所提出的剪枝技术，未与类似工具saucy（仅进行自同构群计算，无规范标签计算）和traces（采用混合深度优先/广度优先搜索，且使用计算更密集的细化函数）进行比较。

<

技术	运行时间改进	搜索空间大小改进