constraint-programming

0зной

1ответ

Как вы выполняете переменное суммирование в языке программирования ограничений ECLiPSe (http://www.eclipseclp.org/examples/)? Я пытаюсь получить эту функцию: :- lib(ic). % include the standard inter

1зной

4ответ

Ограничительная сеть в Objective-C

Я пишу приложение Objective C на Mac OS X 10.7, и мне нужно решить проблему с арифметическими ограничениями. Например, у меня есть два уравнения для прямоугольника, а и б являются длинами сторон: P=2(

0зной

1ответ

Программирование на программирование Eclipse - поиск/6

У меня возникли проблемы с пониманием документации для функции поиска/6 в рамках программирования ограничений ограничений затмения this. Я понимаю, что параметр выбора в основном влияет на порядок зна

1зной

1ответ

как запустить приостановленные цели в прологе с ограничениями

я пытаюсь решить конкретную проблему с помощью prologs ограничений решателей, и я застрял: D Более общая версия моего требования проблемы является так: :- lib(ic).:- lib(ic). solve([A1*X+B1*Y=C1, A2*

0зной

3ответ

Как определить неравенство, участвующее в арифметическом выражении, заданном прологовым запросом?

Я работаю на пролог и столкнулся с таким сценарием - В моем запросе, я прохожу что-то вроде этого: ?- query(2*X + 3*Y >= 3*Z) Теперь, что я хотел бы сделать, это программа пролога захватить выражени

0зной

1ответ

Создание замедленного ограничения с использованием термина единства манипулятора в прологе

Это мое выражение неравенства арифметика в прологе: 2*X + 3*Y > 4*Z Я использовал термин единства манипулятором так: Expr =.. [Op, Lhs, Rhs] И теперь у меня есть Lhs = 2*X + 3*Y, Rhs as 4*Z and Op

2зной

1ответ

Динамический CSP с Cplex

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

6зной

2ответ

Снижение логического выражения

Я, имеющее выражение, предположит, a = 1 && (b = 1 || b != 0) && (c >= 35 || d != 5) && (c >= 38 || d = 6) Я ожидал, что будет снижен до, a = 1 && b != 0 && (c >= 38 || d = 6) Кто-нибудь есть каки