|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Об уточнении значений функционалов сложности схем для булевых функций от четырёх и пяти переменныхдоклад на конференции
- Авторы: Шуплецов М.С., Ложкин С.А., Багров Н.Ю., Данилов Б.Р., Жуков В.В., Коноводов В.А.
- Всероссийская Конференция : Десятая молодежная научная школа по дискретной математике и ее приложениям (Москва, 6-8 октября 2015 г.)
- Даты проведения конференции: 5-11 октября 2015
- Дата доклада: 7 октября 2015
- Тип доклада: Устный
- Докладчик: Шуплецов М.С.
- Место проведения: Институт прикладной математики им. М.В. Келдыша Российской академии наук, Russia
-
Аннотация доклада:
В работе получены новые более точные оценки значения функционалов сложности контактных схем и схем из функциональных элементов над базисом из конъюнкции, дизъюнкции и отрицания для булевых функций от четырёх и пяти переменных, которые были получены при помощи перебора и построения схем с использованием компьютера и хранятся в базе данных, которая дополнительно содержит сведения о структуре соответствующих схем и минимальности некоторых из них. Множество всех функций разбито на классы эквивалентности, порождаемые операциями перестановки переменных, а в случае контактных схем, кроме того, с возможным инвертированием переменных. Для каждого класса хранятся известные верхние оценки сложности и доставляющие их схемы. В базу данных включены сведения о схемах, получаемых по методу каскадов, а также результаты перебора всех схем малой сложности.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Шуплецов Михаил Сергеевич