RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 2023, том 113, выпуск 6, страницы 849–862 (Mi mzm13759)

Эта публикация цитируется в 1 статье

Уточнение оценок немонотонной сложности функций $k$-значной логики

В. В. Кочергинabc, А. В. Михайловичbc

a Московский государственный университет им. М. В. Ломоносова
b Национальный исследовательский университет "Высшая школа экономики", г. Москва
c Московский центр фундаментальной и прикладной математики

Аннотация: Исследуется задача о немонотонной сложности функций $k$-значной логики при реализации логическими схемами в базисах, состоящих из всех монотонных (относительно стандартного порядка) функций и конечного числа немонотонных функций, причем при подсчете изучаемой меры сложности учитываются только элементы схемы, которым приписаны немонотонные функции базиса. С большой точностью найдено значение немонотонной сложности произвольной функции $k$-значной логики: установлены верхняя и нижняя оценки, отличающиеся на константу, не превосходящую $3 \log_2 k+4$.
Библиография: 14 названий.

Ключевые слова: функции многозначной логики, логические схемы, схемная сложность, базисы с нулевыми весами, немонотонная сложность, инверсионная сложность, теорема Маркова.

УДК: 519.714

Поступило: 10.10.2022

DOI: 10.4213/mzm13759


 Англоязычная версия: Mathematical Notes, 2023, 113:6, 794–803

Реферативные базы данных:


© МИАН, 2024