MiniZinc: ограничение на сумму по двум индексам массива «k», «j» для всех индексов «i» в 3dArray создает TypeError

Как, надеюсь, поясняет приведенный ниже код, я хочу реализовать ограничение, при котором для каждого «i» сумма по всем «j» и «k» для этого конкретного «i» в ARRAY[k,i,j] должна быть меньше, чем или равно 1.

constraint forall(i in 1..10)( sum(j in 1..10, k in 1..10)(ARRAY[k,i,j] <= 1) );

Однако я получаю эту ошибку:

MiniZinc: type error: no function or predicate with this signature found: `sum(var int)'
Cannot use the following functions or predicates with the same identifier:
function int : sum(array [$T] of int: x);
    (argument 1 expects type array[$_] of int, but type var int given)
function int : sum(array [int] of opt int: x);
    (argument 1 expects type array[int] of opt int, but type var int given)
function var int : sum(array [$T] of var int: x);
    (argument 1 expects type array[$_] of var int, but type var int given)
function var int : sum(array [int] of var opt int: x);
    (argument 1 expects type array[int] of var opt int, but type var int given)
function float : sum(array [$T] of float: x);
    (argument 1 expects type array[$_] of float, but type var int given)
function float : sum(array [int] of opt float: x);
    (argument 1 expects type array[int] of opt float, but type var int given)
function var float : sum(array [$T] of var float: x);
    (argument 1 expects type array[$_] of var float, but type var int given)
function var float : sum(array [int] of var opt float: x);
    (argument 1 expects type array[int] of var opt float, but type var int given)

Что означает ошибка и как заставить ограничение делать то, что я хочу?

Формы c голосовым вводом в React с помощью Speechly
Формы c голосовым вводом в React с помощью Speechly
Пытались ли вы когда-нибудь заполнить веб-форму в области электронной коммерции, которая требует много кликов и выбора? Вас попросят заполнить дату,...
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Будучи разработчиком веб-приложений, легко впасть в заблуждение, считая, что приложение без JavaScript не имеет права на жизнь. Нам становится удобно...
Flatpickr: простой модуль календаря для вашего приложения на React
Flatpickr: простой модуль календаря для вашего приложения на React
Если вы ищете пакет для быстрой интеграции календаря с выбором даты в ваше приложения, то библиотека Flatpickr отлично справится с этой задачей....
В чем разница между Promise и Observable?
В чем разница между Promise и Observable?
Разберитесь в этом вопросе, и вы значительно повысите уровень своей компетенции.
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Клиент для URL-адресов, cURL, позволяет взаимодействовать с множеством различных серверов по множеству различных протоколов с синтаксисом URL.
Четыре эффективных способа центрирования блочных элементов в CSS
Четыре эффективных способа центрирования блочных элементов в CSS
У каждого из нас бывали случаи, когда нам нужно отцентрировать блочный элемент, но мы не знаем, как это сделать. Даже если мы реализуем какой-то...
1
0
18
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Ошибка возникает из-за того, что условие (<=) помещено не в то место. Он должен быть вне тела sum:

constraint forall(i in 1..10)( sum(j in 1..10, k in 1..10)(ARRAY[k,i,j]) <= )

Другие вопросы по теме