基于二叉决策图的状态组合爆炸问题并行求解方法

布尔函数的可满足性和等价性等问题的NP完备性所导致的状态组合爆炸问题严重地限制了大规模、甚至工业小规模问题的解决。然而在实际问题的处理中,对布尔函数采取恰当的描述并建立相应描述下的操作算法,可以有效地减缓甚至避免问题处理过程中的状态组合复杂性。而本文就是利用了OBDD来建立布尔函数模型并求解实际问题,结果在效率上较传统方法有很大提升。