Startseite On the complexity of realizations of Boolean functions in some classes of hypercontact circuits
Artikel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

On the complexity of realizations of Boolean functions in some classes of hypercontact circuits

  • Yury G. Tarazevich EMAIL logo
Veröffentlicht/Copyright: 13. Februar 2024
Veröffentlichen auch Sie bei De Gruyter Brill

Abstract

In the classes EMF(n) of extended matrices over rings of polynomials with idempotent variables, the following subclasses (hypercontact circuits) are defined: HCF(n) (over an arbitrary field F) and HCZ(n) (over the ring of integers), which algebraically extend the class of incident matrices of contact circuits (CC(n)) and realize arbitrary n-place Boolean functions with contact complexity smaller than 322n/2. A lower estimate of the same order is obtained for the corresponding Shannon function in the class HCFq(n) over an arbitrary finite field Fq. For matrices from the class HCZ(n) , we find a physical interpretation in the form of incident-linking matrices of contact-transformer circuits.


Originally published in Diskretnaya Matematika (2022) 34, №3, 90–113 (in Russian).


References

[1] Tarazevich Yu. G., “Augmented polynomial matrices and algebraization of switching circuits”, J. Belarusian State University. Mathematics and Informatics, 3 (2017), 85–93 (in Russian).Suche in Google Scholar

[2] Yablonsky S. V., Introduction to Discrete Mathematics, M.: Nauka, 2003 (in Russian), 384 pp.Suche in Google Scholar

[3] Nigmatullin R. G., The complexity of Boolean functions, M.: Nauka, 1991 (in Russian), 240 pp.Suche in Google Scholar

[4] Maltsev A. I., The foundations of linear algebra, M.: Nauka, 1970 (in Russian), 402 pp.Suche in Google Scholar

[5] Busacker R. G., Saary Th. L., Finite Graphs and Networks: an Introduction with Applications, McGraw-Hill, 1965, 294 pp.Suche in Google Scholar

[6] Lupanov O. B., Asymptotic complexity estimates of control systems, M.: Izd-vo MGU, 1984 (in Russian), 137 pp.Suche in Google Scholar

[7] Zariski O., Samuel P., Commutative Algebra. V. 1, Van Nostrand, Princeton, 1958, 352 pp.Suche in Google Scholar

[8] Evnin A. Yu., “An elementary introduction to matroids”, Matem. obr., 2005, №2(33), 2–33 (in Russian).Suche in Google Scholar

[9] Seifert H., W. Threlfall, A textbook of topology, Academic Press, 1980, 437 pp.Suche in Google Scholar

[10] Oxley J. G., Matroid Theory, Oxford Univ. Press, New York, 1992, 532 pp.Suche in Google Scholar

[11] Boltyanskiy V. G., Efremovich V. A., Visual topology, M.: Nauka, 1982 (in Russian), 160 pp.Suche in Google Scholar

[12] Boltyanskiy V. G., Efremovich V. A., “Sketch of the basic ideas of topology. (Continuation)”, Matem. prosv., ser. 2, 4 (1959), 27–52 (in Russian).Suche in Google Scholar

[13] Boltyanskiy V. G., Efremovich V. A., “Sketch of the basic ideas of topology. (Completion)”, Matem. prosv., ser. 2, 6 (1961), 107–138 (in Russian).Suche in Google Scholar

[14] Kasatkin A. S., Nemtsov M. V., Electrical engineering, 7th edit., M.: Vysshaya shkola, 2002 (in Russian), 542 pp.Suche in Google Scholar

[15] Tarazevich Yu. G., “Algebraic synthesis of hypercontact and contact transformer circuits”, Mater. XIII Mezhdunar. seminara «Diskretnaya matematika i ee prilozheniya», Izd-vo mekh.-matem. f-ta MGU, 2019, 145–148 (in Russian).Suche in Google Scholar

[16] Tarazevich Yu. G., “Realization of a linear function by plane switching circuits and by circuits on a plane integral lattice”, Diskretnaya matematika, 4:1 (1992), 111–116 (in Russian).Suche in Google Scholar

[17] Yablonsky S. V., Elements of mathematical cybernetics, M.: Vysshaya shkola, 2007 (in Russian), 188 pp.Suche in Google Scholar

[18] Korshunov A. D., “Monotone Boolean functions”, Russian Math. Surveys, 58:5 (2003), 929–1001.Suche in Google Scholar

Received: 2018-02-18
Revised: 2021-12-24
Published Online: 2024-02-13
Published in Print: 2024-01-29

© 2024 Walter de Gruyter GmbH, Berlin/Boston

Heruntergeladen am 21.9.2025 von https://www.degruyterbrill.com/document/doi/10.1515/dma-2024-0004/html?lang=de
Button zum nach oben scrollen