同一变量排序下的多OBDD合并算法

• 作者: 智慧来
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 有序决策图(OBDD) 同一变量排序 多有序决策图(OBDD)合并 Apply算法
• 年，卷（期）: 2014,（17）
• 所属期刊栏目: 博士论坛
• 页码范围: 20-23
• 页数: 4页
• 分类号: TP18
• 字数: 2389字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1312-0067

摘要

有序决策图（OBDD）是一种用于表示布尔表达式的数据结构，并在许多领域得到了广泛应用。在分布式或者动态环境下，利用已知布尔表达式的OBDD构造目标布尔表达式的OBDD是一个决定实际问题解决效率的关键问题。基于Shannon分解原理提出了一个同一变量排序下的OBDD合并算法。该算法首先建立目标布尔表达式的表存储模型，然后按照变量排序的逆序，依次处理各个变量，并且合并取值相同的行，直到所有变量处理完毕。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	智慧来	河南理工大学计算机科学与技术学院	21	159	8.0	12.0