Home On the dependence of the complexity and depth of reversible circuits consisting of NOT, CNOT, and 2-CNOT gates on the number of additional inputs
Article
Licensed
Unlicensed Requires Authentication

On the dependence of the complexity and depth of reversible circuits consisting of NOT, CNOT, and 2-CNOT gates on the number of additional inputs

  • Dmitry V. Zakablukov EMAIL logo
Published/Copyright: February 16, 2021

Abstract

The paper is concerned with the complexity and depth of reversible circuits consisting of NOT, CNOT, and 2-CNOT gates under constraints on the number of additional inputs. We study the Shannon functions for the complexity L(n, q) and depth D(n, q) of a reversible circuit implementing a map f:2n2n under the condition that the number of additional inputs q is in the range 8n<qn2nn/ϕ(n), where ϕ(n) → ∞ and n / ϕ(n) − log2n → ∞ as n → ∞. We establish the upper estimates L(n,q)2n+8n2n/(log2(q4n)log2n2) and D(n,q)2n+1(2,5+log2nlog2(log2(q4n)log2n2)) for this range of q. The asymptotics L(n,q)n2n/log2q is established for q such that n2qn2nn/ϕ(n), where ϕ(n) → ∞ and n / ϕ(n) − log2n → ∞ as n → ∞.


Note: Originally published in Diskretnaya Matematika (2020) 32, №1, 8–26 (in Russian).


Funding statement: This research was carried out with the financial support of the Russian Foundation for Basic Research (grant no. 16-01-00196 A)

References

[1] Shannon C. E., “The synthesis of two-terminal switching circuits”, Bell System Tech. J., 28:8 (1949), 59–98.10.1002/j.1538-7305.1949.tb03624.xSearch in Google Scholar

[2] Yablonskiy S. V., Introduction to Discrete Mathematics, Nauka, M., 1986 (in Russian), 384 pp.Search in Google Scholar

[3] Lupanov O. B., “On a method of synthesis of circuits”, Izv. vuzov. Radiofizika, 1:1 (1958), 23–26 (in Russian).Search in Google Scholar

[4] Lupanov O. B., “On the schemes from functional elements with delays”, Problemy kibernetiki, vyp. 23, Nauka, M., 1970, 43–81 (in Russian).Search in Google Scholar

[5] Karpova N. A., “On computations with limited memory”, Matematicheskie voprosy kibernetiki, vyp. 2, Nauka, M., 1989, 131–144 (in Russian).Search in Google Scholar

[6] Feynman R., “Quantum mechanical computers”, Optic News, 11:2 (1985).10.1364/CLEO.1984.TUAA2Search in Google Scholar

[7] Maslov D. A., Reversible Logic Synthesis, Ph. D. Thesis, 2003, 165 pp.Search in Google Scholar

[8] Shende V. V., Prasad A. K., Markov I. L., Hayes J. P., “Synthesis of reversible logic circuits”, IEEE Trans. Computer-Aided Des. of Integr. Circuits and Systems, 22:6 (2006), 710–722.10.1109/TCAD.2003.811448Search in Google Scholar

[9] Zakablukov D. V., “On the gate complexity of reversible circuits consisting of NOT, CNOT and 2-CNOT gates”, Discrete Math. Appl., 27:1 (2017), 57–67.10.1515/dma-2017-0007Search in Google Scholar

[10] Zakablukov D. V., “Estimation of the depth of reversible circuits consisting of NOT, CNOT and 2-CNOT gates”, Moscow Univ. Math. Bull., 71:3 (2016), 89-97.10.3103/S0027132216030013Search in Google Scholar

Received: 2017-04-05
Revised: 2020-02-05
Published Online: 2021-02-16
Published in Print: 2021-02-23

© 2021 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 29.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/dma-2021-0006/html
Scroll to top button