《表9 PreEA和PreEA*实际运行时间的比较》
(s)
表8给出了PreEA、PreEA*和PreHC等算法的ASF指标均值.为公平起见,上述算法中的参数θ均取为0.9在PreHC中,我们考虑邻域规模N为50和100两种情形.如表7所示,在7个特征模型上,PreEA比PreEA*更优而在14个模型上,PreEA比PreEA*差.总体而言,交换替换和修复算子对应的SAT求解器之后,算法的性能有所提升.事实上,PreEA*算法以0.9的概率调用DPLL/CDCL类型SAT求解器,而以0.1的概率调用SLS类型SAT求解器.正如第3.4节的讨论,更多地调用DPLL/CDCL类型SAT求解器有利于算法性能的提升,但是同时会带来算法效率的降低.如表9所示,PreEA*比PreEA需要更多的运行时间.
图表编号 | XD00136455500 严禁用于非法目的 |
---|---|
绘制时间 | 2020.02.01 |
作者 | 向毅、周育人、蔡少伟 |
绘制单位 | 中山大学数据科学与计算机学院、中山大学数据科学与计算机学院、中国科学院软件研究所 |
更多格式 | 高清、无水印(增值服务) |