Запитання з тегом «constraint-programming»

Якщо у мене є складна проблема, один із стандартних підходів - це висловити це як екземпляр SAT і спробувати запустити на ньому SAT-рішення. Інший стандартний підхід - це висловити це як проблему задоволення обмежень та спробувати використовувати вирішувач CSP. Вони відчувають себе якось невиразно схожими на те, які проблеми можуть …

18 heuristics  sat-solvers  constraint-programming 

Чи вирішені проблеми "відвідування партії" в Prolog? Наприклад: Бердок Малдун та Карлотта Пінкстоун сказали, що приїдуть, якщо приїде Альбус Дамблдор. Альбус Дамблдор і Дейзі Доддрідж заявили, що приїдуть, якщо приїде Карлотта Пінкстоун. Альбус Дамблдор, Бердок Малдун і Карлотта Пінкстоун всі сказали, що приїдуть, якщо приїде Ельфріда Клагг. Карлотта Пінкстоун та …

18 logic  constraint-programming  prolog  logic-programming 

Розглянемо модель CSP, де зміна значення певної змінної є дорогою. Чи є якась робота, де цільова функція також враховує кількість змін значення змінної під час процесу пошуку? Приклад: змінна, що дорого змінюється, може контролюватися деяким іншим агентом, і для зміни змінної може бути деяке накладне залучення цього агента. Інший приклад: …

10 algorithms  constraint-programming