Многопоточный решатель проблемы MaxSAT
MaxSAT локальный поиск псевдобулева оптимизация
Программа предназначена для решения задач максимальной булевой выполнимости (MaxSAT) с применением методов локального поиска. Основная новизна состоит в использовании принципа склеивания переменных. В данной метаэвристике выполняется объединение булевых переменных, над которыми построена КНФ, в «склеенные» переменные. Декартово произведения доменов склеенных переменных – это метрическое пространство с метрикой Хэмминга. Решатель выполняет локальный поиск для сопряженной функции в новом пространстве. Для выхода из локальных экстремумов применяются различные варианты эволюционных эвристик. При длительных стагнациях строится новое множество склеенных переменных. Программа разработана при поддержке совета по грантам Президента Российской Федерации (стипендия СП-3545.2019.5) и в рамках госзадания по проекту FWEW-2021-0003 (№ гос регистрации: 121041300065-9)
Решение комбинаторных задач, допускающих постановки в контексте псевдобулевой оптимизации.
Александр
Стрекаловский
Сергеевич
заведующий отделом
Доктор физико-математических наук
Профессор
M-1324-2014
6602292517
4230
-
РОССИЯ
Игорь
Бычков
Вячеславович
директор
РОССИЯ
28.23.17
Логика в искусственном интеллекте
28.23.29
Программная реализация интеллектуальных систем
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Ирина
Грибанова
Александровна
Разработка и реализация алгоритмов работы программы, тестирование.
РОССИЯ
Александр
Семенов
Анатольевич
Разработка алгоритмов работы программы.
РОССИЯ
Илья
Отпущенников
Владимирович
Разработка архитектуры и алгоритмов программы, реализация программного кода, тестирование.
РОССИЯ
ФАНО России
Федеральное агентство научных организаций
5137746009462
Организация
Правительство Российской Федерации
Федеральные государственные бюджетные учреждения
ИДСТУ СО РАН
Федеральное государственное бюджетное учреждение науки Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук)
1023801757000
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения