带有互补边的共享OBDDs及数据结构

• 作者: 孟礼 武小悦
• 来源期刊: 计算机工程与科学
• 学科: 社会科学
• 关键词: 大规模OBDDs 共享OBDDs 互补边 数据结构
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 研究与实现
• 页码范围: 180-184
• 页数: 5页
• 分类号: C934
• 字数: 3352字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.01.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	武小悦	国防科学技术大学信息系统与管理学院	65	448	12.0	17.0
2	孟礼	国防科学技术大学信息系统与管理学院	3	2	1.0	1.0