constraint-programming

4зной

3ответ

Если у меня есть массив чисел и список сумм, суммирующих элементы массива, то какой наиболее эффективный подход (или, по крайней мере, не грубой взлом) для определения того, какой из элементов включен

2зной

1ответ

Нужна помощь в определении соответствующих ограничений

Я очень новичок в программировании с ограничениями и попытаюсь найти некоторые реальные ситуации, чтобы проверить его. Я нашел один, я думаю, может быть разрешен с помощью CP. Вот он: У меня есть груп

0зной

1ответ

Не форсируйте распределение переменных в Optaplanner

Я попытался использовать optaplanner в первый раз (довольно просто, помощь очень полная, и сообщение об ошибке очень явное). Моя проблема проста: выделить комнаты командам, в зависимости от их размера

7зной

2ответ

Решение головоломки «Подача голограммы» в Прологе

Некоторое время назад я создал проблему для Codeforces April Fools Day Contest 2014 - «Feed the Golorp»: http://codeforces.com/contest/409/problem/I. Пожалуйста, прочитайте заявление о проблеме по пре

0зной

1ответ

Получить список переменных в пространстве в Gecode

Gecode использует Space s для представления проблемы ограничения ограничений в процессе: каждый раз, когда достигается точка принятия решения, копируется Space. Я хочу провести анализ этих пространств

0зной

1ответ

Создание уникальных решений с программированием Constraint

У меня была короткая экспозиция CP и MiniZinc, но я не эксперт. У меня есть модель CP, которую я не могу разместить здесь, ATM, реализованный в MiniZinc. Мне нужно создать все возможные решения пробле

1зной

1ответ

Можете ли вы использовать переменную в опции [limit (x)] кумулятивного предиката в прологе?

Я просто хочу сделать что-то вроде этого schedule(Activities, GLB) :- get_start_times(Activities,StartTimes), get_resources(Activities,Resources), get_durations(Activities,Durations),

3зной

2ответ

Решите чрезвычайно простую формулу в прологе: A = B + C?

У меня есть очень простое уравнение, которое я хотел бы быть в состоянии решить в прологе: А = В + С Я хотел бы, чтобы иметь возможность написать предикат, выражающий это соотношение, которое может об

2зной

2ответ

CLPFD для реальных чисел

CLP (FD) позволяет пользователю установить домен для каждой переменной wannabe-integer, чтобы он мог решать уравнения. Пока все хорошо. Однако вы не можете сделать то же самое в CLP (R) или подобных я