指示器约束"->“和"<->”在.lp格式文件中的区别是什么？
提问于 2022-10-17 00:05:43
我对CPLEX完全陌生，我正试图解决CPLEX12.9的一个问题。我不知道指示器约束"->“和"<->”之间有什么区别。这是否意味着"->“等于"If .然后”和"<->“等于”当且仅当if...then"？
该示例如下：
i1: x14 = 1 <-> x(0) = 0
i2: x13 = 1 -> x14 = 1
回答 1
Stack Overflow用户
发布于 2022-10-17 01:37:35
是的，->的意思是如果是那样的话，<->表示等价
例如，如果您用OPL编写
dvar int x;
dvar boolean b;
subject to
{
b==(x==1);
}然后在lp文件中可以看到
i1: x1 = 1 <-> x = 1如果你写
dvar int x;
dvar boolean b;
subject to
{
(b==1)=>(x==1);
}然后在lp文件中可以看到
i2: x1 = 1 -> x3 = 1页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/74094229
复制相关文章
![[Java]Srping Boot 让hibernate 自动创建的表是InnoDB引擎的设置](https://ask.qcloudimg.com/http-save/yehe-2353021/28dy2dmkr4.png)
腾讯云开发者
