ОТЗЫВ  научного руководителя на бакалаврскую работу  Глазырина Павла Александровича  Выделение общих с точностью до имен переменных подформул  из базы данных для решения задачи  «Конъюнктивный булевский запрос»   Разработка алгоритмов, уменьшающих вычислительную сложность решения NP-полных задач, является важным направлением фундаментальной информатики. Одним из возможных подходов к разработке таких алгоритмов является сведение решения основной задачи к серии аналогичных задач с исходными данными меньшей длины записи. Одним из примеров, допускающих такого рода сведения, являются задачи логико-предметного подхода к решению задач искусственного интеллекта. Мною был разработан метод и под моим руководством создан алгоритм и программа построения многоуровневого описания классов, существенно уменьшающие время решения исходной задачи при её многократном решении. Формулировки NP-полных задач логико-предметного подхода к решению задач искусственного интеллекта и «Конъюнктивный булевский запрос» практически совпадают и при однократном, решении имеют одинаковые оценки вычислительной сложности. Однако непосредственное применение алгоритма построения многоуровневого описания классов для решения задачи «Конъюнктивный булевский запрос» не представляется возможным из-за того, что в первом случае заранее известно множество целевых формул, а множество постоянных атомарных формул каждый раз может быть различным, во втором случае база данных неизменна, а целевые формулы (запросы) каждый раз могут быть различны. В своей выпускной квалификационной работе Глазырин П.А. разработал алгоритм и написал программу выделения достаточно коротких подформул, изоморфных конъюнкции литералов из базы данных. В процессе разработки алгоритма доказан простой критерий изоморфности конъюнкции двух литералов.  Доказана оценка числа шагов работы этого алгоритма. Оценка экспоненциальна от размера базы, но алгоритм применяется однократно. Используя выделенные подформулы можно строить многоуровневую базу данных, существенно уменьшающую время ответа на каждый из поставленных запросов. Учитывая вышесказанное считаю, что бакалаврская работа Глазырина Павла Александровича может быть оценена на «отлично».  Научный руководитель                                                      Косовская Т.М. д.ф.-м.н., профессор                                                               13 мая 2018 г.