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