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 16:30–16:50, Сamp site on the shore of Lake Hovsgol
 


Algorithm for Minimizing Multioperations in the Class of Key Standard Forms

S. I. Todikov

Saint Petersburg Electrotechnical University "LETI"
Supplementary materials:
Adobe PDF 265.1 Kb
Adobe PDF 1.5 Mb

Number of views:
This page:78
Materials:2

Abstract: This article addresses the problem of minimizing multioperations in a class of key standard forms. The work is based on the developed algorithm for minimizing multi-operations for $n = 2$ and $n = 3$. Using the developed algorithm, all minimal representations of multioperations for $n = 2$ and $n = 3$, the average complexity of the minimal representation of multiopearions and the quantitative distribution of multioperations by the minimal complexity of the obtained minimal representation in the class of key standard forms are obtained. The obtained results of minimizing multioperations in the class of key standard forms are compared with the minimization of multioperations in the class of standard forms.

Supplementary materials: Слайды_Тодиков.pdf (265.1 Kb) , Тодиков.pdf (1.5 Mb)
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024