【出 处】：《 计算机工程与科学 》 CSCD 2013年第35卷第1期 180-184页,共5页

【作 者】： 孟礼 ; 武小悦

【摘 要】 顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长。为了克服大规模OBDDs数据的描述和存储困难，提出了一种带有互补边的共享OBDDs的数据结构，并定义了一组OB—DDs节点的关键属性，该数据结构融合了共享OBDDs和带有互补边的OBDDs的特点。最后通过存储空间实例对比分析，证明了该数据结构能够有效描述和存储大规模OBDDs数据。