如何添加从集合中选择一个元组的约束？

2024-05-19 • 问答

如果我有一个这样的元组

tuple index{
int i;
int j;
int k;
}
{index}indexs=
{
<1 1 1><1 1 2> <1 2 1> <1 2 3> <2 1 2> <2 1 4>
}

如何添加一个约束，如果i和j相同，则从中选择一个元组？

就像，forall（i，j）之和（k在 ?? 中的k）x[i][j][k]=1

这意味着从和中选择一个元组，从中选择一个元组，并从中选择一个元组？

您可以在所有内容中进行过滤。假设shared_memory来自i，I来自j，而J来自k，则可以编写

或者，如果forall(i in I) forall(j in J : i == j) sum(k in K) x[<i,j,k>] >= 1;和I只是一样