布尔函数运算的图论实现方法研究

本文讨论布尔函数运算的图论实现方法，此方法以BDD为基础，采用图论算法提高布尔函数的运算，可将算法的复杂度从指数型变成多项式型，从而使布尔函数的运算的复杂性发生根本性的变化，从而解决大型数字系统的设计、分析和测试运算中的组合爆炸问题。用图论的方法进行布尔函数的处理的关键是在计算机中建立BDD和化简BDD，本文介绍了一种建立和化简BDD的方法，本文所述方法将BDD作为一种数据结构，在此数据结构上进行布尔函数图论运算。