constraint-satisfaction

0зной

1ответ

Нужна помощь при решении проблемы ограничения (2-й)

Я решил следующую задачу обработки ограничений. Не могли бы вы проверить, правильно ли это? One of the prisoners of a high-level security prison sees a way to escape. Almost free, he reaches a corrid

algorithm artificial-intelligence constraints constraint-programming constraint-satisfaction 2011-05-16

---

0зной

2ответ

Максимальное количество назначенных переменных в удовлетворении ограничений

Каковы некоторые известные алгоритмы (или ресурсы для поиска алгоритмов), чтобы найти назначение, которое максимизирует число назначенных переменных в задаче ограничения ограничений (в случае отсутств

algorithm language-agnostic constraint-programming constraint-satisfaction 2013-02-21

---

2зной

1ответ

minisat как найти все решения SAT эффективно

Я нашел способ найти все решения, используя способ, описанный в этом link. Это прекрасно работает, но оно медленное. Поскольку он пересчитывает ограничения с самого начала, i_e не использует преимущес

optimization satisfiability constraint-satisfaction 2014-10-14

---

1зной

1ответ

Как вернуть значение по умолчанию в конец цикла в схеме?

Я пытаюсь реализовать отслеживание слежения в схеме. До сих пор у меня есть следующее: (define (backtrack n graph assignment) (cond (assignment-complete n assignment) (assignment)) (define

loops scheme backtracking constraint-satisfaction 2013-11-08

---