|
|
Международная школа-семинар "Синтаксис и семантика логических систем"
15 августа 2019 г. 16:30–16:50, Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
Алгоритм минимизация мультопераций в классе ключевых стандартных форм
С. И. Тодиков Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина)
|
Количество просмотров: |
Эта страница: | 101 | Материалы: | 3 |
|
Аннотация:
В работе рассматривается вопрос минимизации мультиопераций
в классе ключевых стандартных форм. В основе работы лежит
разработанный алгоритм минимизации мультиопераций для $n = 2$ и $n = 3$ в
классе ключевых стандартных форм. С помощью разработанного алгоритма
получены минимальные представления мультиопераций для $n = 2$ и $n = 3$,
средняя сложность минимального представления мультиопераций и
количественное распределение мультиопераций по сложностям полученных
минимальных представлений в классе ключевых стандартных форм.
Произведено сравнение полученных результатов минимизации
мультиопераций в классе ключевых стандартных форм с минимизацией
мультиопераций в классе стандартных форм.
Дополнительные материалы:
Слайды_Тодиков.pdf (265.1 Kb)
,
Тодиков.pdf (1.5 Mb)
|
|