《表1 GVMA问题不同VM数量和DN数量下的求解效率》
研究了初始的虚拟机分配问题和生成的CNF公式的子句规模、将原始问题转化为CNF公式的时间、SAT求解器求解时间和最大二部图匹配时间,其结果如表1~表5所示。可以看出,大部分实例都可以在2 s内被求解,只有一个例外,就是GVMA的最大总时间达到了10 s,这是因为当虚拟机的数目增长到一定程度,转化时间占了求解时间的很大部分。CNF公式的规模随着测试样例规模的增加而增加,这得益于现代SAT求解器的高效。可以看出SAT求解部分的时间并没有明显增加,因此,时间主要消耗在原始问题到CNF公式的转换上。
图表编号 | XD00197054000 严禁用于非法目的 |
---|---|
绘制时间 | 2020.07.01 |
作者 | 吕帅、徐玥、张桐搏、李广力、池策 |
绘制单位 | 吉林大学计算机科学与技术学院、吉林大学计算机科学与技术学院、吉林大学计算机科学与技术学院、中国科学院计算技术研究所计算机体系结构国家重点实验室、中国科学院大学、吉林大学软件学院 |
更多格式 | 高清、无水印(增值服务) |