Якоп, решатель ограничений
Я новичок в решении проблем с Якопом. Я просмотрел его документы, но не смог найти решение своей следующей проблемы. у меня есть 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).