你如何在cplex中写唯一性符号？

Question

我必须写下这个：

forall(m in M:(单m且只选一个))

数学唯一性符号是如何实现的？

Answer 1

您可以在要阻止的主题之前计算卡。

range r=1..2;
{int} M[r]=[{1,2},{3}];

int cards[i in r]=card(M[i]);

dvar int x;

subject to
{
  forall(i in r) forall(m in M[i]:cards[i]==1) x==m;
}

给予

x==3

你如何在cplex中写唯一性符号？

How do you write the uniqueness symbol in cplex?

symbols

unique

cplex