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

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