RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив

Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2000, номер 3, страницы 48–50 (Mi vmumm1575)

Краткие сообщения

О сложностной иерархии булевых базисов

Д. Ю. Черухин


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

УДК: 519.6

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



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


© МИАН, 2024