|
|
International workshop "Syntax and semantics of logical systems"
August 15, 2019 12:30–13:00, Ñamp site on the shore of Lake Hovsgol
|
|
|
|
|
|
An Approximate Algorithm for Finding the Complexity of Reversible Implementations Boolean Functions’ Extended Kronecker Forms
S. F. Vinokurov, A. S. Frantseva Irkutsk State University
|
Number of views: |
This page: | 93 | Materials: | 5 |
|
Abstract:
In this paper, the research of the problem of reversible implementations of Boolean functions’ polynomial normal representations (exclusive-or sum-of-products expressions) continues. An implementation of the algorithm for finding the complexity of reversible implementations Boolean functions’ extended Kronecker forms is given. These researches are also theoretical interest and can be used to find an unknown estimate of the Shannon function’s value of the complexity of Boolean functions’ representations in the corresponding class of reversible implementations.
Supplementary materials:
Ñëàéäû_Âèíîêóðîâ_Ôðàíöåâà.pdf (357.2 Kb)
,
Âèíîêóðîâ_Ôðàíöåâà.pdf (1.4 Mb)
|
|