Abstract
The paper is focused on realization of parity functions by circuits in the basis U ∞. This basis contains all functions of the form \({\left( {x_1^{\sigma 1}\& ...\& x_k^{\sigma k}} \right)^\beta }\). A method of construction of circuits for a parity function of n variables with the complexity \(\left\lfloor {\left( {7n - 4} \right)/3} \right\rfloor \) is described. This improves the previously known upper bound of U ∞-complexity of parity functions that was \(\left\lceil {\left( {5n - 1} \right)/2} \right\rceil \). The minimality of constructed circuits is verified for very small n (for n < 7).
References
O. B. Lupanov, Asymptotic Complexity Estimates of Control Systems (Moscow State Univ., Moscow, 1984) [in Russian].
N. P. Red’kin, “Proof of the Minimality of Some Circuits of Functional Elements,” Problemy Kibern. 23, 83 (1970).
N. P. Red’kin, “Minimal Realization of a Linear Function by a Circuit of Functional Elements,” Kibernetika 6, 31 (1971).
Yu. A. Kombarov, “Minimal Circuits in the Sheffer Basis for Linear Boolean Functions,” Diskretn. Analiz Issled. Oper. 20 (4), 65 (2013).
C. P. Schnorr, “Zwei lineare untere Schranken fur die Komplexitat Boolescher Funktionen,” Computing 13, 155 (1974).
Yu. A. Kombarov, “Minimal Realizations of Linear Boolean Functions,” Diskret. Analiz Issled. Oper. 19 (3), 39 (2012).
H. Ch. and S. Muroga, “Logic Networks with a Minimum Number of NOR (NAND) Gates for Parity Functions of n Variables,” IEEE Trans. Comput. C-36 (2), 157 (1987).
I. Wegner, “The Complexity of the Parity Function in Unbounded Fan-in, Unbounded Depth Circuits,” Theor. Comput. Sci. 85, 155 (1991).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © Yu.A. Kombarov, 2015, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2015, Vol. 70, No. 5, pp. 47-50.
About this article
Cite this article
Kombarov, Y.A. Upper estimate of realization complexity of linear functions in a basis consisting of multi-input elements. Moscow Univ. Math. Bull. 70, 226–229 (2015). https://doi.org/10.3103/S0027132215050083
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132215050083