CPLEX C++ 常量约束

Question

我正在用 C++ 制作一个 CPLEX 模型，我需要一个类似的函数：

IloConstraint f(...){
  IloConstraint constr;
        
  if(condition1){
    constr = (x+y >= 1);
    return constr;
  }
          
  if(condition2){
    constr = false;
    return constr;
  }
        
  constr = true;
  return constr;
}

我认为我成功地创建了一个真假约束

constr = (x==x);  and
constr = IloNot(x==x);

我认为这种方法不是很理想，因为它增加了额外的条件和变量。有没有更优化和更易读的方法来做到这一点？类似的东西

constr = IloConstraint(IloFalse); ?

Answer 1

IloConstraint(IloFalse) 将不起作用，因为这将被解释为 IloConstraint((IloConstraintI*)0)（IloFalse 只是扩展为文字 0（零）），这将创建一个没有实现的约束。

真或假约束没有文字。如果您执行IloExpr(env, 1) == IloExpr(env, 1) 之类的操作（以及用于错误约束的!=），则可以不使用额外变量。常量 true 约束的另一个选项是使用空的 IloAnd 或空的 IloOr。

但是，仅使用 x == x、1 >= 2 或类似的东西对我来说似乎更具可读性。额外的表达式通常不会造成问题。引擎将删除那些正在预处理的。

另一种选择是使用IloCplex::ifThen() 创建条件约束。也许这比返回约束的函数更具可读性。