Я хотел бы создать ограничение для каждого подмножества набора целых чисел в MiniZinc, в соответствии со строками этого ...
constraint forall (S subset C, k in M) (
% Some constraint over the set S, and integer k
);
Я также хотел бы использовать в ограничении мощность S, а C - это просто набор целых чисел. Есть ли синтаксис для подмножества, который я могу использовать? (указанная выше модель не работает).
В настоящее время нет генераторов массивов / наборов наборов; таким образом, не существует жизнеспособного способа перебора всех подмножеств данного набора, кроме ручного перечисления набора мощности в файле данных.
В большинстве случаев модель может быть переформулирована так, что в этих генераторах нет необходимости. Рассмотрим, например, использование вместо этого набора переменных:
var set of C: S;
% or if you want to declare S in a different way:
% var set of 0..100: S; % Different declaration
% constraint S subset C;
forall (k in M) {
% some cool constraints
}
Это позволит вам создавать модели, включающие ограничения, заявляющие: «Существует такой набор S, при котором выполняются все ограничения».
