含无关项布尔函数的对称变量检测算法

• 作者: 厉晓华 张永波
• 来源期刊: 浙江大学学报（理学版）
• 学科: 工学
• 关键词: 对称变量 有序特征值矩阵 布尔函数 真值表 任意项
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 电子科学
• 页码范围: 186-190
• 页数: 5页
• 分类号: TN.431
• 字数: 3528字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-9497.2017.02.011

摘要

为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	厉晓华	浙江大学信息中心	39	110	6.0	9.0
2	张永波	浙江旅游职业学院信息中心	17	85	4.0	9.0