《表7 CBS类问题实例的实验结果》
(s)
对比实验主要记录下迭代法、优化后的增量法与两种完备求解器Cachet和sharpSAT求解同一实例所需的时间以进行性能对比.本文采取了多种测试用例对算法的性能进行了测试,对于每一问题测试用例,均将算法执行50次,最终取平均值作为结果.值得注意的是,本文提出的两种方法是不完备的,但对于在表1~表7中的全部实例,迭代法与增量法求解出的模型数均是精确的.也就是说,实验部分是在求出给定问题的全部模型的前提下,与完备方法进行求解时间的比对.
图表编号 | XD00136464300 严禁用于非法目的 |
---|---|
绘制时间 | 2020.02.01 |
作者 | 贺甫霖、刘磊、吕帅、牛当当、王强 |
绘制单位 | 吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学)、吉林大学计算机科学与技术学院、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学)、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学)、西北农林科技大学信息工程学院、吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室(吉林大学) |
更多格式 | 高清、无水印(增值服务) |