RUS  ENG
Полная версия
ВИДЕОТЕКА

Международная школа-семинар "Синтаксис и семантика логических систем"
15 августа 2019 г. 16:30, Турбаза на берегу озера Хубсугул


Алгоритм минимизация мультопераций в классе ключевых стандартных форм

С. И. Тодиков

Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина)

Аннотация: В работе рассматривается вопрос минимизации мультиопераций в классе ключевых стандартных форм. В основе работы лежит разработанный алгоритм минимизации мультиопераций для $n = 2$ и $n = 3$ в классе ключевых стандартных форм. С помощью разработанного алгоритма получены минимальные представления мультиопераций для $n = 2$ и $n = 3$, средняя сложность минимального представления мультиопераций и количественное распределение мультиопераций по сложностям полученных минимальных представлений в классе ключевых стандартных форм. Произведено сравнение полученных результатов минимизации мультиопераций в классе ключевых стандартных форм с минимизацией мультиопераций в классе стандартных форм.


© МИАН, 2024