摘要
顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长。为了克服大规模OBDDs数据的描述和存储困难,提出了一种带有互补边的共享OBDDs的数据结构,并定义了一组OBDDs节点的关键属性,该数据结构融合了共享OBDDs和带有互补边的OBDDs的特点。最后通过存储空间实例对比分析,证明了该数据结构能够有效描述和存储大规模OBDDs数据。
The scale of ordered binary decision diagrams （OBDDs） increases exponentially with the number of variables. In this paper, to overcome the difficulties of describing and storing large scale OB- DDs data, we propose a data structure of shared OBDDs with complemented edges, in which a set of key attributes of nodes are defined. This data structure merges the features of shared OBDDs and OBDDs with complemented edges. At last, a contrastive analysis of space consuming experiment is carried out to demonstrate that this data structure can describe and store large scale OBDDs data effectively.
出处
《计算机工程与科学》
CSCD
北大核心
2013年第1期180-184,共5页
Computer Engineering & Science
基金
国家自然科学基金资助项目(71071159)
