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

【问题标题】：How do you write the uniqueness symbol in cplex?您如何在 cplex 中编写唯一性符号？
【发布时间】：2022-01-07 08:07:17
【问题描述】：

我必须写这个：

forall (m in M: (都是单个m，只选一个))

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

【问题讨论】：

标签： unique symbols cplex

【解决方案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

【讨论】：