Abstract
We introduce the concept of the uniform width of a contact circuit. For each Boolean function, we find the minimal possible value of the uniform width of a contact circuit implementing this function. We prove constructively that this value does not exceed 3. We also establish that, for almost all Boolean functions on n variables, it equals 3.
Similar content being viewed by others
REFERENCES
O. B. Lupanov, Asymptotic Complexity Bounds for Control Systems (Mosk. Gos. Univ., 1984) [in Russian].
C. E. Shannon, Trans. AIEE 57, 713–723 (1938).
C. E. Shannon, Bell Syst. Tech. J. 28 (1), 59–98 (1949).
A. D. Korshunov, Russ. Math. Surv. 67 (1), 93–165 (2012).
Kh. A. Madatyan, “Synthesis of contact circuits of limited width,” Problems in Cybernetics (Nauka, Moscow, 1965), Vol. 14, pp. 301–307 [in Russian].
N. A. Karpova, “On bounded memory computations,” Mathematical Issues of Cybernetics (Nauka, Moscow, 1989), Vol. 2, pp. 131–144 [in Russian].
E. A. Okol’nishnikova, “On the complexity of branching programs,” Mathematical Issues of Cybernetics (Nauka, Moscow, 2001), Vol. 10, pp. 69–82 [in Russian].
S. A. Lozhkin, Lectures on Fundamental Cybernetics: A Tutorial (Mosk. Gos. Univ., Moscow, 2004) [in Russian].
V. A. Konovodov, “On the synthesis of circuits of limited width,” Proceedings of the 8th Youth Scientific School on Discrete Mathematics and Applications, Moscow, October 24–29, 2001 (Moscow, 2011), pp. 37–41.
S. S. Kravtsov, “Realization of Boolean functions in a class of circuits of functional and commutation elements,” Problems in Cybernetics (Nauka, Moscow, 1967), Vol. 19, pp. 285–292 [in Russian].
K. A. Popkov, Diskret. Mat. 31 (2), 124–143 (2019).
K. A. Popkov, Intellekt. Syst. Teor. Prilozh. 23 (3), 97–130 (2019).
K. A. Popkov, Math. Notes 107 (4), 653–662 (2020).
N. P. Red’kin, Reliability and Diagnostics of Circuits (Mosk. Univ., Moscow, 1992) [in Russian].
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated by I. Ruzanova
Rights and permissions
About this article
Cite this article
Popkov, K.A. On Implementation of Boolean Functions by Contact Circuits with a Constant Uniform Width. Dokl. Math. 102, 502–504 (2020). https://doi.org/10.1134/S1064562420060150
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562420060150