Full Text:   <1078>

Summary:  <471>

CLC number: TN431

On-line Access: 2014-12-05

Received: 2014-03-16

Revision Accepted: 2014-05-26

Crosschecked: 2014-11-13

Cited: 0

Clicked: 2576

Citations:  Bibtex RefMan EndNote GB/T7714

 ORCID:

Ji-zhong SHEN

http://orcid.org/0000-0002-9031-2379

-   Go to

Article info.
Open peer comments

Journal of Zhejiang University SCIENCE C 2014 Vol.15 No.12 P.1174-1182

http://doi.org/10.1631/jzus.C1400093


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


Author(s):  Xiao-hua Li, Ji-zhong Shen

Affiliation(s):  Campus Information Center, Zhejiang University, Hangzhou 310027, China; more

Corresponding email(s):   jzshen@zju.edu.cn

Key Words:  Symmetric variable, dj-map, Canonical OR-coincidence algebra system, Boolean function


Xiao-hua Li, Ji-zhong Shen. An algorithm for identifying symmetric variables in the canonical OR-coincidence algebra system[J]. Journal of Zhejiang University Science C, 2014, 15(12): 1174-1182.

@article{title="An algorithm for identifying symmetric variables in the canonical OR-coincidence algebra system",
author="Xiao-hua Li, Ji-zhong Shen",
journal="Journal of Zhejiang University Science C",
volume="15",
number="12",
pages="1174-1182",
year="2014",
publisher="Zhejiang University Press & Springer",
doi="10.1631/jzus.C1400093"
}

%0 Journal Article
%T An algorithm for identifying symmetric variables in the canonical OR-coincidence algebra system
%A Xiao-hua Li
%A Ji-zhong Shen
%J Journal of Zhejiang University SCIENCE C
%V 15
%N 12
%P 1174-1182
%@ 1869-1951
%D 2014
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.C1400093

TY - JOUR
T1 - An algorithm for identifying symmetric variables in the canonical OR-coincidence algebra system
A1 - Xiao-hua Li
A1 - Ji-zhong Shen
J0 - Journal of Zhejiang University Science C
VL - 15
IS - 12
SP - 1174
EP - 1182
%@ 1869-1951
Y1 - 2014
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.C1400093


Abstract: 
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 dj-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.

或-符合代数系统中的对称变量检测算法

逻辑变量对称性在逻辑综合、OBDD化简、故障检测、电路分析及密码学函数构造等领域具有广泛的应用。为简化或-符合代数系统中12类对称变量的检测过程,提出一种新的检测算法。 提出新的基于或-符合展开系数对称性检测算法。该算法可实现12类对称变量的完备性检测,同样适用于与-或-非代数系统和与-异或代数系统。 首先,分析基于或-符合展开布尔函数的子函数系数矩阵和有序子系数矩阵之间的关系(公式5),提出基于有序子系数矩阵的12类对称形式的约束条件(表3)。根据该约束条件,通过判别图的有序特征格值,提出逻辑变量12类对称形式的快速检测算法(图4)。与其他方法相比(表7),该方法有效避免或-符合展开系数和与-异或展开系数及与-或-非展开系数之间的转换,同时解决了图方法中的完备性问题。算法用C语言实现并用MCNC91 benchmarks(表6)进行测试。 提出或-符合代数系统中12类对称变量的检测算法。与其他方法相比,该算法在适用的检测变量数、检测类型、检测过程的复杂度方面最优。
对称变量;图;或-符合代数系统;布尔函数

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article

Reference

[1]Acharya, J., Jafarpour, A., Orlitsky, A., 2011. Expected query complexity of symmetric Boolean functions. Proc. 49th Annual Allerton Conf. on Communication, Control, and Computing, p.26-29.

[2]Blais, E., Weinstein, A., Yoshida, Y., 2012. Partially symmetric functions are efficiently isomorphism-testable. Proc. IEEE 53rd Annual Symp. on Foundation of Computer Science, p.551-560.

[3]Cheng, J., Chen, X., Faraj, K.M., et al., 2003. Expansion of logical function in the OR-coincidence system and the transform between it and maxterm expansion. IEE Proc.-Comput. Dig. Tech., 150(6):397-402.

[4]Falkowski, B., Kannurao, S., 1999. Identification of Boolean symmetries in spectral domain of Reed-Muller transform. Electron. Lett., 35(16):1315-1316.

[5]Heinrich-Litan, L., Molitor, P., 2000. Least upper bounds for the size of OBDDs using symmetry properties. IEEE Trans. Comput., 49(4):360-368.

[6]Hurst, S.L., 1977. Detection of symmetries in combinatorial functions by spectral means. IEE J. Electron. Circ. Syst., 1(5):173-180.

[7]Kannurao, S., Falkowski, B.J., 2002. Identification of complement single variable symmetry in Boolean functions through Walsh transform. IEEE Int. Symp. on Circuits and Systems, p.745-748.

[8]Kannurao, S., Falkowski, B.J., 2003. Single variable symmetry conditions in Boolean functions through Reed-Muller transform. Proc. Int. Symp. on Circuits and Systems, p.680-683.

[9]Kowshik, H., Kumar, P.R., 2013. Optimal computation of symmetric Boolean functions in collocated networks. IEEE J. Sel. Area Commun., 31(4):639-654.

[10]Lian, Y., Li, X., Chen, X., 2005. Detection of partial symmetric functions based on tabular method. Bull. Sci. Tech., 21(2):214-217 (in Chinese).

[11]Mukhopadhyay, A., 1963. Detection of total or partial symmetry of a switching function with the use of decomposition charts. IEEE Trans. Electron. Comput., EC-12(5):553-557.

[12]Muller, D.E., 1954. Application of Boolean algebra to switching circuit design and to error detection. IRE Trans. Electron. Comput., EC-3(3):6-12.

[13]Peng, J., Wu, Q., Kan, H., 2011. On symmetric Boolean functions with high algebraic immunity on even number of variables. IEEE Trans. Inform. Theory, 57(10):7205-7220.

[14]Rahaman, H., Das, D.K., Bhattacharya, B.B., 2003. Mapping symmetric functions to hierarchical modules for path-delay fault testability. Proc. 12th Asian Test Symp., p.284-289.

[15]Rahardja, S., Falkowski, B.J., 1998. Symmetry conditions of Boolean functions in complex Hadamard transform. Electron. Lett., 34(17):1634-1635.

[16]Reed, I., 1954. A class of multiple-error-correcting code and the decoding scheme. IRE Trans Inform. Theory, 4(4):38-49.

[17]Rice, J.E., Muzio, J.C., 2002. Antisymmetries in the realization of Boolean functions. IEEE Int. Symp. on Circuits and Systems, p.69-72.

[18]Shpilka, A., Tal, A., 2011. On the minimal Fourier degree of symmetric Boolean functions. Proc. IEEE 26th Annual Conf. on Computational Complexity, p.200-209.

[19]Wu, X., Chen, X., Hurst, S.L., 1982. Mapping of Reed-Muller coefficients and the minimisation of exclusive OR-switching functions. IEE Proc.-Comput. Dig. Tech., 129(1):15-20.

[20]Zhao, M., Lou, J., Chen, X., 2006. Denotation and application for dj-map of symmetric function. J. Zhejiang Univ. (Sci. Ed.), 33(1):62-65 (in Chinese).

Open peer comments: Debate/Discuss/Question/Opinion

<1>

Please provide your name, email address and a comment





Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - Journal of Zhejiang University-SCIENCE