Решающие деревья и связанные с ними меры сложности булевых функций

ФИО студента: Шихова Арсения Игоревна

Руководитель: Подольский Владимир Владимирович

Кампус/факультет: Факультет компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Год защиты: 2019

Существует несколько способов измерения сложности булевой функции. Некоторые из них определяются свойствами самой функции. Другие характеризуют сложность модели, вычисляющей эту функцию. Такими моделями могут быть булевы формулы, булевы схемы, решающие деревья, ветвящиеся программы и так далее. Известно, что для некоторых функций различные меры сложности связаны между собой. В частности, хорошо изучен класс монотонных функций. В данной работе мы исследуем связи между различными мерами сложности для нескольких классов немонотонных булевых функций. В частности, мы сосредоточимся на классе функций с единственным отрицанием ——- это функции, которые могут быть вычислены булевой формулой, состоящей из конъюнкций, дизъюнкций и одного отрицания.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ