《表2 调用SAT求解器次数》

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

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

《结合问题特征的分组式诊断方法》

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

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

调用SAT求解器是算法的主要耗时，因此列出调用SAT求解器次数如表2，其中所列出都是去除最好与最差情况后平均情况下的调用SAT求解器次数，更具代表性.由表2，LLBRS-tree算法在求解单诊断时需要判断所有结点，然而GD算法仍然可以利用分组方法减少了调用SAT求解器的次数.同时从Δ这里一列可以看到，GD算法所需要调用SAT求解器的次数相比LL-BRS-tree算法减少较多.对于不同电路，GD算法优化效果不同.

图表编号	XD0017139400 严禁用于非法目的
绘制时间	2018.03.01
作者	刘梦、欧阳丹彤、刘伯文、张立明、张永刚
绘制单位	吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院、吉林大学符号计算与知识工程教育部重点实验室
更多格式	高清、无水印（增值服务）