Якоп, решатель ограничений

Я новичок в решении проблем с Якопом. Я просмотрел его документы, но не смог найти решение своей следующей проблемы. у меня есть matrix[n][n] из nxn доменные переменные IntVar, Теперь мне нужно применить к нему следующее ограничение:

matrix[matrix[i][j]][k] == x

Вот x является обычным целым числом, я имею в виду не переменную домена. Проблема, с которой я сталкиваюсь, заключается в том, что matrix[i][j] переменная домена, и я не могу дать ее в качестве первого индекса в matrix[index][k] снова. Я буду очень признателен за вашу помощь.

1 ответ

Для этого вам нужно использовать ограничения элементов. Сначала создайте вектор matrix_k, представляющий столбец k матрицы. Затем вы можете использовать ограничение Element вида Element(matrix[i][j], matrix_k, x).

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