|
|
Международная школа-семинар "Синтаксис и семантика логических систем"
15 августа 2019 г. 12:30–13:00, Турбаза на берегу озера Хубсугул
|
 |
|
 |
|
|
|
Приближенный алгоритм нахождения сложности обратимых реализаций расширенных кронекеровых форм булевых функций
С. Ф. Винокуров, А. С. Францева
Иркутский государственный университет
|
| Количество просмотров: |
| Эта страница: | 68 | | Материалы: | 7 |
|
Аннотация:
В работе продолжается исследование задачи обратимых реализаций полиномиальных нормальных представлений булевых функций и приводится реализация алгоритма нахождения сложности обратимых реализаций расширенных кронекеровых форм булевых функций. Данные исследования представляют также теоретический интерес и могут быть использованы для нахождения неизвестной пока оценки значения функции Шеннона сложности представлений булевых функций в соответствующем классе обратимых реализаций.
Дополнительные материалы:
Слайды_Винокуров_Францева.pdf (357.2 Kb)
,
Винокуров_Францева.pdf (1.4 Mb)
|
|
Обратная связь: