一种建立二元判断图ROBD(D的算法)  

作　　者：白金山[1] 黄贻望[1] 罗坤杰[1] 

机构地区：[1]贵州大学计算机软件与理论研究所,贵阳550025

出　　处：《科技咨询导报》2007年第27期141-142,共2页Science and Technology Consulting Herald

摘　　要：二元判断图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。

关 键 词：二元判断图 BDD 哈希表 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]