在C++中使用CPLEX添加条件约束：寻找add_indicator_constraint对应方法

CPLEX C++ API提供了IloIndicatorConstraint类实现和Python add_indicator_constraint完全等效的指示约束功能，使用方法如下：

基础使用步骤 #

• 首先引入头文件<ilconcert/iloindicator.h>，该头文件声明了指示约束的相关类和方法
• 构造指示约束对象：IloIndicatorConstraint(env, ind_var, trigger_value, linear_constr)，参数说明：
  • env：已初始化的IloEnv环境对象
  • ind_var：作为指示变量的IloBoolVar二元变量
  • trigger_value：触发约束生效的指示变量取值，只能是0或1
  • linear_constr：需要绑定的线性约束，支持<=、==、>=三种类型
• 将构造完成的指示约束对象添加到IloModel模型中即可正常参与求解

代码示例 #

#include <ilcplex/ilocplex.h>
#include <ilconcert/iloindicator.h>

int main() {
    IloEnv env;
    try {
        IloModel model(env);
        // 声明变量：二元指示变量z，连续变量x、y
        IloBoolVar z(env, "z");
        IloNumVar x(env, 0, IloInfinity, "x");
        IloNumVar y(env, 0, IloInfinity, "y");
        
        // 实现逻辑：当z=1时，3x + 2y <= 10 约束生效
        IloIndicatorConstraint indConstr(env, z, 1, 3*x + 2*y <= 10);
        model.add(indConstr);
        
        // 后续添加目标函数、其他约束、调用求解流程和普通约束无差异
        IloCplex cplex(model);
        cplex.solve();
    } catch(IloException& e) {
        std::cerr << "求解异常: " << e << std::endl;
    }
    env.end();
    return 0;
}

兼容低版本CPLEX方案 #

如果你使用的是12.7之前的老旧版本CPLEX，未提供IloIndicatorConstraint类，可以用大M法手动实现等效逻辑：

• 假设你需要实现z=1时，expr <= rhs生效，对应等价约束为 expr <= rhs + M * (1 - z)，其中M是线性表达式expr在可行域内的最大上界，取值尽可能贴近实际最大上界，避免过大的M引发数值求解问题。
• 若要实现z=1时，expr >= rhs生效，对应等价约束为 expr >= rhs - M * (1 - z)。
• 若要实现z=1时，expr == rhs生效，同时添加上述两个方向的约束即可。

内容的提问来源于stack exchange，提问作者Nguyễn Đình Quân