Использование таблиц в ограничениях в minizinc

Я ценю, если кто-нибудь поможет мне с моим вопросом. Мне нужно смоделировать ограничение, согласно которому 4 члена двух массивов следуют определенному шаблону, заданному пользователем в инструменте minizinc.

Например, мне нужно X [0], X [1], Y [0], Y [1], чтобы взять один из следующих шаблонов:

(0,0,1,1), (0,1,0,1) и (0,1,1,1).

Я ценю, если кто-нибудь поможет мне разобраться в этом.


constraints minizinc
person Behnam Zahednejad    schedule 06.11.2018    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Этого легко добиться с помощью ограничение таблицы:

constraint table([X[0], X[1], Y[0], Y[1]], [|
    0,0,1,1 |
    0,1,0,1 |
    0,1,1,1 |
|]);
person Dekker1    schedule 07.11.2018