![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
В работе получены новые более точные оценки значения функционалов сложности контактных схем и схем из функциональных элементов над базисом из конъюнкции, дизъюнкции и отрицания для булевых функций от четырёх и пяти переменных, которые были получены при помощи перебора и построения схем с использованием компьютера и хранятся в базе данных, которая дополнительно содержит сведения о структуре соответствующих схем и минимальности некоторых из них. Множество всех функций разбито на классы эквивалентности, порождаемые операциями перестановки переменных, а в случае контактных схем, кроме того, с возможным инвертированием переменных. Для каждого класса хранятся известные верхние оценки сложности и доставляющие их схемы. В базу данных включены сведения о схемах, получаемых по методу каскадов, а также результаты перебора всех схем малой сложности.