二叉判定图理论研究及其应用

摘要	第1-5页
ABSTRACT	第5-8页
第一章 绪论	第8-10页
·二叉判定图理论的国内外现状	第8页
·二叉判定图理论研究的目的和意义	第8-9页
·本文主要的研究内容	第9-10页
第二章 二叉判定图的基础知识	第10-24页
·布尔函数和二叉判定图	第10-15页
·相关概念和定理	第10-14页
·变量顺序对二叉判定图大小的影响	第14-15页
·BDD 的基本算法	第15-21页
·一般的构造算法	第15-19页
·深度优先BDD 构造算法	第19-21页
·其它算法	第21-23页
·小结	第23-24页
第三章 用ROBDD 计算极小碰集	第24-34页
·模型诊断的相关概念	第24页
·BDD 计算极小碰集的算法设计	第24-31页
·析取式方程组的相关概念和性质	第24-26页
·调用APPLY 算法和MK 算法	第26-28页
·极小碰集的算法和应用	第28-31页
·实验	第31-34页
第四章 用ROBDD 求解约束满足问题	第34-44页
·约束满足问题	第34-37页
·约束满足问题概念	第34-35页
·约束满足问题的解法	第35-37页
·BDD 计算约束满足问题的算法设计	第37-41页
·实验	第41-43页
·小结	第43-44页
第五章 结论与展望	第44-45页
·结论	第44页
·工作展望	第44-45页
致谢	第45-46页
参考文献	第46-48页