基于Rademacher-Walsh变换谱系数的对称性检测算法

摘要：

为简化逻辑函数中对称变量的检测过程,研究了基于Rademacher-Walsh变换谱系数的对称性检测算法.该算法从逻辑变量6类对称性的定义出发,分析了对称变量的谱系数特征.提出了基于rademacher-walsh变换谱系数检测N(xi|xj)、E(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)6类对称变量的算法.应用实例表明,该算法简便高效,易于编程操作.

关键词：Rademacher-Walsh变换、谱系数、对称变量、逻辑函数

所属期刊栏目：34

分类号：O14;TP301.6(数理逻辑、数学基础)

资助基金：国家自然科学基金61471314

在线出版日期：2019-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：24-27