如何为AIMMS约束设置索引域

Question

我们有一组应该满足的约束，“对于U的所有k，l个元素，并且k=/=l”。我们如何在“index domain”行中指定它来指定约束？

Answer 1

将集合索引定义为具有多个索引：k, l (只需在集合U的U字段中填写多个索引)。然后，对于约束中的索引域，使用(k, l) | k <> l。这是您在U中定义的配对的集合(k, l)，限制为不等于l的集合k。

Answer 2

除了@Abby回复之外，您还可以在(k，l)索引的条件中使用任何返回true或false的表达式。所以你可以放置一个参数而不是不等式。