Мне дают ввод:
int: nShows;
array[1..nShows] of int: length;
array[1..nShows] of bool: tv;
Так что у меня есть nShows количество шоу, и те, кто имеет "true" в массиве tv, должны транслироваться на одном из двух каналов (неважно, что).
Так что я получаю:
array[1..nShows] of var int: start;
constraint cumulative(start, length, tv, 2);
Но меня беспокоит то, что не важно, будет ли шоу номер 3 находится на канале 1 или 2, там могут быть симметрии (та же модель меняет канал 1 на 2). Как я могу предотвратить это? Кумулятивно ли избавиться от симметрии, подобные этим?