Алгоритм DPLL
Алгоритм DPLL История и реализация Алгоритм Дэвиса–Патнэма–Логемана–Лавленда (DPLL) был представлен в 1961 году. Он основан на обратном отслеживании и является […]
Вики
Constraint programming
Вики
Теории выполнимости по модулю
Теории выполнимости по модулю Основы SMT SMT (Satisfiability Modulo Theories) – это метод решения задач, основанный на теории выполнимости. SMT-решатели
Вики
Программирование ограничений
Программирование ограничений Основы программирования с ограничениями Программирование с ограничениями – это метод решения задач, основанный на логике и ограничениях. Ограничения
Вики
Барьерная функция
Барьерная функция Определение барьерной функции Барьерная функция – непрерывная функция, увеличивающаяся до бесконечности при приближении к границе допустимой области. Используется
Вики
Удовлетворение ограничений
Удовлетворение ограничений Определение и история Удовлетворение ограничений – это проблема нахождения значений переменных, удовлетворяющих ограничениям. Проблема возникла в 1970-х годах
Вики
Ограниченная оптимизация
Ограниченная оптимизация Определение и примеры оптимизации ограничений Оптимизация ограничений – это процесс нахождения оптимального решения, удовлетворяющего заданным ограничениям. Ограничения могут
Вики
Тестовые функции для оптимизации
Тестовые функции для оптимизации Обзор статьи Статья представляет собой обзор статьи о многокритериальной оптимизации с использованием эволюционных алгоритмов. В статье
Вики
Проблема с расписанием работы медсестры
Проблема с расписанием работы медсестры Определение и сложность задачи Задача составления расписания медсестер (NSP) – это поиск оптимального распределения медсестер
Вики
Ограничение (математика)
Ограничение (математика) Основы ограничений в математике Ограничения – условия задачи оптимизации, которым должно удовлетворять решение. Существуют ограничения равенства, неравенства и
Вики
JaCoP (решатель)
Якоп (решатель) Обзор JaCoP JaCoP – это библиотека для решения задач с ограничениями, написанная на Java. Она предоставляет интерфейс для
Вики
Программирование логики ограничений
Программирование логики ограничений Основы логики ограничений Логика ограничений – это расширение логики первого порядка, позволяющее выражать ограничения на переменные. Ограничения
Вики
Constraint programming – Wikipedia
Программирование ограничений Программирование ограничений – это метод решения задач, основанный на ограничениях и переменных. Задачи удовлетворения ограничений (CSP) включают поиск
Вики
Constraint satisfaction problem – Wikipedia
Проблема удовлетворения ограничений CSP – это класс задач, в которых необходимо найти набор значений переменных, удовлетворяющих ограничениям. Задачи CSP могут