论文部分内容阅读
广义相容算法是逻辑综合理论中用于求解函数列阵质蕴涵项的常用算法，它适用范围较广，可直接用于多输出函数的质蕴涵项计算。但是在实际应用中，尤其是在原始数据量较大的情形下，算法仍然存在着运算量大、计算时间长等缺点。该文针对实际应用中的一些具体情况，对该算法进行改进和精简，以空间的消耗来改善算法的时间复杂度。