该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度取决于求解变量的最优编序算法的时间复杂度和空间复杂度,笔者采用的算法时间复杂度为23,空...
基于20个网页-相关网页
简化有序二元决策图
Simplify the ordered binary decision graph
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动