指示器约束"->“和"<->”在.lp格式文件中的区别是什么？
指示器约束"->“和"<->”在.lp格式文件中的区别是什么？
提问于 2022-10-17 08: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 09: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
复制相关文章
相似问题
腾讯云开发者
