|
|||||
|
|
| 一种建立二元判断图ROBD(D的算法) | |
| 引用本文： | 白金山,黄贻望,罗坤杰.一种建立二元判断图ROBD(D的算法)[J].科技咨询导报,2007(27):141-142. |
| 作者姓名： | 白金山 黄贻望 罗坤杰 |
| 作者单位： | 贵州大学计算机软件与理论研究所 贵阳550025 |
| 摘 要： | 二元判断图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。 |
| 关 键 词： | 二元判断图 BDD 哈希表 |
| 文章编号： | 1673-0534（2007）09（c）-0141-02 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |