|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Уточнение оценок немонотонной сложности функций $k$-значной логики
В. В. Кочергинabc, А. В. Михайловичbc a Московский государственный университет им. М. В. Ломоносова
b Национальный исследовательский университет "Высшая школа экономики", г. Москва
c Московский центр фундаментальной и прикладной математики
Аннотация:
Исследуется задача о немонотонной сложности функций $k$-значной логики при реализации
логическими схемами в базисах,
состоящих из всех монотонных (относительно стандартного порядка) функций и конечного
числа немонотонных функций, причем при
подсчете изучаемой меры сложности учитываются только элементы схемы, которым приписаны
немонотонные функции базиса. С большой точностью
найдено значение немонотонной сложности произвольной функции $k$-значной логики:
установлены верхняя и нижняя оценки, отличающиеся на константу, не превосходящую
$3 \log_2 k+4$.
Библиография: 14 названий.
Ключевые слова:
функции многозначной логики, логические схемы, схемная сложность, базисы
с нулевыми весами, немонотонная сложность, инверсионная сложность, теорема Маркова.
Поступило: 10.10.2022
Образец цитирования:
В. В. Кочергин, А. В. Михайлович, “Уточнение оценок немонотонной сложности функций $k$-значной логики”, Матем. заметки, 113:6 (2023), 849–862; Math. Notes, 113:6 (2023), 794–803
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm13759https://doi.org/10.4213/mzm13759 https://www.mathnet.ru/rus/mzm/v113/i6/p849
|
Статистика просмотров: |
Страница аннотации: | 153 | PDF полного текста: | 1 | HTML русской версии: | 59 | Список литературы: | 25 | Первая страница: | 13 |
|