基于有序特征值矩阵的对称变量检测算法

2017年第18卷第10期

摘要

关键词

相关研究

回顶部

《信息与电子工程前沿（英文）》 >> 2017年第18卷第10期 doi: 10.1631/FITEE.1601052

基于有序特征值矩阵的对称变量检测算法

. Campus Information Center, Zhejiang University, Hangzhou 310027, China.. College of Information Science & Electronic Engineering, Zhejiang University, Hangzhou 310027, China

发布日期： 2018-01-18

HTML24 PDF 3 收藏 0

摘要

为简化布尔函数中12类对称变量的检测过程，本文提出基于最小项展开或真值表的对称性检测新算法。首先，根据逻辑变量的对称性定义，定义基于真值表的有序特征值矩阵。通过分析12类对称变量有序特征值矩阵的约束条件，提出对称变量检测算法。该算法适用于含无关项布尔函数和不含无关项布尔函数中的对称变量检测。该算法避免了图形方法、谱系数方法、与—异或方法中的变量数限制，也解决了快速算法中的完备性问题。算法用C语言实现并对MCNC91标准电路进行测试。结果表明，与传统方法相比，新算法在适用的变量数、检测含无关项布尔函数、检测类型、检测过程复杂度方面是最优算法。

关键词

布尔函数 ; 对称变量 ; 布尔逻辑代数系统 ; 有序特征值矩阵 ; 真值表