关于CPLEX .lp格式中Indicator Constraint的->与<->区别的咨询

你的理解完全正确：

• -> 对应**if...then（如果...那么）**的单向逻辑约束
• <-> 对应**if and only if（当且仅当）**的双向等价逻辑约束

结合你给出的示例具体说明：

• 约束 i1: x14 = 1 <-> x(0) = 0：代表x14=1和x(0)=0两个条件完全等价——只要其中一个成立，另一个必然成立；若其中一个不成立，另一个也一定不成立。
• 约束 i2: x13 = 1 -> x14 = 1：是单向条件限制，意思是如果x13=1，那么x14必须等于1；但如果x13≠1，该约束不对x14的取值做任何限制（假设变量为0-1型，x14可取值0或1）。

内容的提问来源于stack exchange，提问作者nilei