Разработка и сравнение алгоритмов построения канонического базиса импликаций

ФИО студента: Белов Павел Дмитриевич

Руководитель: Объедков Сергей Александрович

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

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

Оценка: 9

Год защиты: 2016

Данная работа принадлежит области анализа формальных понятий. В работе рассматривались импликации между множествами признаков Основной целью данной работы было исследование алгоритмов построения канонического базиса импликаций Дюкенна-Гига. В процессе работы на языке С++ были написаны эффективные реализации алгоритмов построения базиса импликаций. Кроме того, были реализованы алгоритмы, решающие связанные с построением базиса подзадачи: вычисление замыкания множества, минимизация базиса, редукция контекстов. В ходе работы были разработаны и реализованы различные оптимизации алгоритмов на техническом и алгоритмическом уровнях. По результатам тестирования алгоритмов на реальных и синтетических наборах данных выяснилось, что разработанные оптимизации эффективны и значительно ускоряют работу известных алгоритмов.

Текст работы (работа добавлена 26 мая 2016 г.)

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

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

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

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

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

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