Об уточнении значений функционалов сложности схем для булевых функций от четырёх и пяти переменныхстатья

Работа с статьей


[1] Об уточнении значений функционалов сложности схем для булевых функций от четырёх и пяти переменных / С. А. Ложкин, М. С. Шуплецов, В. А. Коноводов и др. // Материалы X молодежной научной школы по дискретной математике и ее приложениям (Москва, 6-8 октября 2015 г.). — Москва: ИПМ им. М.В.Келдыша, 2015. — С. 42–46. В работе получены новые более точные оценки значения функционалов сложности контактных схем и схем из функциональных элементов над базисом из конъюнкции, дизъюнкции и отрицания для булевых функций от четырёх и пяти переменных, которые были получены при помощи перебора и построения схем с использованием компьютера и хранятся в базе данных, которая дополнительно содержит сведения о структуре соответствующих схем и минимальности некоторых из них. Множество всех функций разбито на классы эквивалентности, порождаемые операциями перестановки переменных, а в случае контактных схем, кроме того, с возможным инвертированием переменных. Для каждого класса хранятся известные верхние оценки сложности и доставляющие их схемы. В базу данных включены сведения о схемах, получаемых по методу каскадов, а также результаты перебора всех схем малой сложности.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть