布尔函数运算的图论实现方法研究 |
| |
引用本文: | 冉蜀阳,陈光禹.布尔函数运算的图论实现方法研究[J].机床电器,1994(1):2-9,35. |
| |
作者姓名: | 冉蜀阳 陈光禹 |
| |
作者单位: | 成都机床电器研究所(冉蜀阳),电子科技大学(陈光禹) |
| |
摘 要: | 本文讨论布尔函数运算的图论实现方法,此方法以BDD为基础,采用图论算法提高布尔函数的运算,可将算法的复杂度从指数型变成多项式型,从而使布尔函数的运算的复杂性发生根本性的变化,从而解决大型数字系统的设计、分析和测试运算中的组合爆炸问题。用图论的方法进行布尔函数的处理的关键是在计算机中建立BDD和化简BDD,本文介绍了一种建立和化简BDD的方法,本文所述方法将BDD作为一种数据结构,在此数据结构上进行布尔函数图论运算。
|
关 键 词: | 布尔函数 图论 算法 二元法策图 |
本文献已被 CNKI 维普 等数据库收录! |
|