两类布尔函数的OBDD阶

• 作者: 张媛 江建国 胡晓璐
• 来源期刊: 软件工程与应用
• 学科: 数学
• 关键词: OBDD 变量序 DNF CNF 布尔函数
• 年，卷（期）: 2018,（6）
• 页码范围: 283-288
• 页数: 6页
• 分类号: O1

摘要

OBDD是布尔函数的一种有效的图形化表示形式。布尔函数的OBDD的阶数对布尔变量的序敏感。本文研究了DNF型和CNF型两种类型布尔函数,给出了这两类函数在一种特定变量序下的OBDD阶的准确值,并证明了这个结论。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张媛	辽宁师范大学数学学院	27	113	6.0	10.0
2	江建国	辽宁师范大学数学学院	17	88	4.0	9.0
3	胡晓璐	辽宁师范大学数学学院	2	0	0.0	0.0