RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив

Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 2020, том 162, книга 3, страницы 311–321 (Mi uzku1563)

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

Оценки немонотонной сложности функций многозначной логики

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

a Московский государственный университет имени М.В. Ломоносова, г. Москва, 119991, Россия
b Национальный исследовательский университет «Высшая школа экономики», г. Москва, 101000, Россия

Аннотация: Исследована задача о сложности реализации функций многозначной логики логическими схемами в базисе, состоящем из элементов двух типов. Элементами первого типа являются произвольные монотонные (относительно стандартного порядка) функции, таким элементам приписан нулевой вес. Конечное число немонотонных функций образует непустое множество элементов второго типа, каждой такой функции приписан единичный вес. Установлены верхняя и нижняя оценки немонотонной сложности (минимального достаточного для реализации числа немонотонных элементов в схеме) произвольной функции $k$-значной логики, разность между которыми не превосходит некоторой абсолютной константы. Разность наилучших известных до этого верхней и нижней оценок отличалась на константу, зависящую от базиса, при этом множество значений таких констант неограничено.

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

УДК: 519.714

Поступила в редакцию: 17.08.2020

DOI: 10.26907/2541-7746.2020.3.311-321



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


© МИАН, 2024