name: Параметро-эффективная расшифровка булевых функций
keyword_list: булевы функции ограниченного веса запросы на эквивалентность запросы на сравнение запросы на значение замкнутые классы Поста точная расшифровка параметро-эффективная расшифровка
abstract: Целью диссертации является исследование вопросов сложности точной параметро-эффективной расшифровки замкнутых классов Поста и класса булевых функций ограниченного веса. Результаты диссертационной работы заключаются в следующем. Получены значения сложности параметро-эффективной точной расшифровки класса булевых функций ограниченного веса для трех типов запросов в отдельности: на значение, на расширенную и ограниченную эквивалентность. Получены значения сложности точной расшифровки запросами на сравнение класса функций малого веса: 1, 2, 3. Доказан порядок сложности точной расшифровки запросами на сравнение класса функций ограниченного веса в случае, когда растет арность функций, а ее вес не меняется. Доказаны оценки сложности параметро-эффективной точной расшифровки запросами на значение классов самодвойственных функций и классов счетной этажерки решетки Поста. Также доказаны оценки расшифровки запросами на сравнение всех классов решетки Поста.
chairman_dissertation_council.name: Владимир
chairman_dissertation_council.surname: Чубариков
chairman_dissertation_council.patronymic: Николаевич
chairman_dissertation_council.position: Председатель диссертационного совета МГУ.01.17
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: -
chairman_dissertation_council.scopus_author_id: 6602349502
chairman_dissertation_council.rinc_id: -
chairman_dissertation_council.url: https://istina.msu.ru/profile/ChubarikovVN2012/
chairman_dissertation_council.orcid: -
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Андрей
organization_supervisor.surname: Шафаревич
organization_supervisor.patronymic: Игоревич
organization_supervisor.position: Декан механико-математического факультета МГУ имени М.В.Ломоносова
organization_supervisor.territory: РОССИЯ
rubrics.code: 27.41.41
rubrics.name: Алгоритмы решения задач вычислительной и дискретной математики
rubrics.code: 27.47.15
rubrics.name: Математическая теория управляющих систем
oecds.code: 01.01.PQ
oecds.name: MATHEMATICS
speciality_codes.name: Математическая логика, алгебра, теория чисел и дискретная математика
speciality_codes.code: 1.1.5.
supervisors.fio: Гасанов Э.Э.
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Дискретная математика и математическая кибернетика
supervisors.responsible_type: Научный руководитель
opponents.fio: Вороненко А.А.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Дискретная математика и математическая кибернетика
opponents.responsible_type: Оппонент
opponents.fio: Золотых Н.Ю.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Дискретная математика и математическая кибернетика
opponents.responsible_type: Оппонент
opponents.fio: Перпер Е.М.
opponents.scientific_degree: Кандидат физико-математических наук
opponents.speciality_code: Дискретная математика и математическая кибернетика
opponents.responsible_type: Оппонент
protection_organization.short_name: МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА, МГУ ИМЕНИ М.В.ЛОМОНОСОВА, МОСКОВСКИЙ УНИВЕРСИТЕТ ИЛИ МГУ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА"
protection_organization.ogrn: 1037700258694
protection_organization.supervisor_name: ВИКТОР
protection_organization.supervisor_surname: САДОВНИЧИЙ
protection_organization.supervisor_patronymic: АНТОНОВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА, МГУ ИМЕНИ М.В.ЛОМОНОСОВА, МОСКОВСКИЙ УНИВЕРСИТЕТ ИЛИ МГУ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА"
author_organization.ogrn: 1037700258694
author_organization.supervisor_name: ВИКТОР
author_organization.supervisor_surname: САДОВНИЧИЙ
author_organization.supervisor_patronymic: АНТОНОВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения