An algorithm for identifying symmetric variables in the canonical OR-coincidence algebra system

作者：Li, Xiao-hua; Shen, Ji-zhong^*

来源：Journal of Zhejiang University-Science C(Computers and Electronics), 2014, 15(12): 1174-1182.

DOI：10.1631/jzus.C1400093

• Symmetric variable
• d(j)-map
• Canonical OR-coincidence algebra system
• Boolean function

To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence (COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the relationships between the coefficient matrices of sub-functions and the order coefficient subset matrices based on OR-NXOR expansion around two arbitrary logical variables, the constraint conditions of the order coefficient subset matrices are revealed for 12 types of symmetric variables. Based on the proposed constraints, the algorithm is realized by judging the order characteristic square value matrices. The proposed method avoids the transformation process from OR-NXOR expansion to AND-OR-NOT expansion, or to AND-XOR expansion, and solves the problem of completeness in the d (j) -map method. The application results show that, compared with traditional methods, the new algorithm is an optimal detection method in terms of applicability of the number of logical variables, detection type, and complexity of the identification process. The algorithm has been implemented in C language and tested on MCNC91 benchmarks. Experimental results show that the proposed algorithm is convenient and efficient.

• 出版日期2014-12
• 单位浙江大学