|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Исследование проблемы выполнимости булевых формул с помощью методов машинного обучениякурсовая работа (Специалист)
- Научный руководитель: Боков Г.В.
- Автор: Горшкова Мария Геннадьевна
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической теории интеллектуальных систем
- Год защиты: 2022
- Курс: 3
- Аннотация: В работе исследовалась возможность применения методов машинного обучения к решению проблемы выполнимости булевых формул. Для этого автором был реализован следующий подход. Сначала было показано, что любую формулу можно привести к симметрическому виду, при котором выполнимость формулы на наборе значений переменных равносильна её выполнимости на двойственном наборе. Затем было показано, что выполнимость симметрической булевой формулы F равносильна тому, что аффинное подпространство Aff(F) симметрических матриц, соответствующих дизъюнктам формулы F, лежит в гиперплоскости, заданной набором, на котором формула F истинна. В заключение с использованием методов машинного обучения автором была опровергнута гипотеза о том, что с помощью расстояния от единичной матрицы до Aff(F) можно идентифицировать выполнимость формулы F.
- Добавил в систему: Боков Григорий Владимирович