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

Posted 2023-02-24

【中文标题】您如何在 cplex 中编写唯一性符号？

【英文标题】：How do you write the uniqueness symbol in cplex?

【发布时间】：2022-01-07 08:07:17

【问题描述】：

我必须写这个：

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

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

【参考方案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