Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






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
Supplementary materials:
Adobe PDF 357.2 Kb
Adobe PDF 1.4 Mb

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)
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024