OPL CPLEX迭代添加约束：如何修改主块或后处理逻辑？

方法一：主块（Main Block）循环迭代添加约束 #

主块用于控制OPL的求解流程，可在此编写循环逻辑，每次迭代时动态添加约束并重新求解。

示例代码：

// 模型定义
dvar int x[1..3][1..3]; // 示例二维决策变量

main {
  var model = thisOplModel;
  var cplex = new IloCplex();
  cplex.extract(model);

  // 设置迭代次数，按需调整
  for (var iter = 1; iter <= 5; iter++) {
    // 添加约束 x[1][2] == 1
    var newCtr = cplex.addEq(model.x[1][2], 1);
    
    // 求解当前模型
    if (cplex.solve()) {
      writeln("迭代 ", iter, " 求解成功，目标值：", cplex.getObjValue());
      writeln("x[1][2] 值：", cplex.getValue(model.x[1][2]));
    } else {
      writeln("迭代 ", iter, " 求解失败");
    }

    // 若需在下一次迭代前移除当前约束，可启用下方代码
    // cplex.remove(newCtr);
  }

  cplex.end();
}

核心要点： #

• 用cplex.addEq()添加等式约束，同类方法还有addLe()（≤）、addGe()（≥）等。
• 添加约束后调用cplex.solve()重新求解。
• 若无需保留约束，可通过cplex.remove(newCtr)在迭代间清理约束。

方法二：回调（Callback）方式动态添加约束 #

若需在求解器分支定界的迭代过程中（如发现可行解时）自动添加约束，可使用自定义回调（以Lazy约束回调为例）：

示例代码：

// 模型定义
dvar int x[1..3][1..3];

main {
  var model = thisOplModel;
  var cplex = new IloCplex();
  cplex.extract(model);

  // 自定义Lazy约束回调类
  class MyLazyCallback extends IloCplex.LazyConstraintCallback {
    function main(model) {
      this._model = model;
    }
    function invoke() {
      // 获取当前解中x[1][2]的取值
      var val = this.getValue(this._model.x[1][2]);
      // 若当前解不满足约束则添加
      if (val != 1) {
        this.add(this._model.x[1][2] == 1);
      }
    }
  }

  // 注册回调
  var callback = new MyLazyCallback(model);
  cplex.use(callback);

  // 启动求解
  if (cplex.solve()) {
    writeln("求解成功，目标值：", cplex.getObjValue());
    writeln("x[1][2] 值：", cplex.getValue(model.x[1][2]));
  } else {
    writeln("求解失败");
  }

  cplex.end();
}

核心要点： #

• Lazy约束回调会在求解器找到整数可行解时触发，自动检查并补全约束。
• 该方式适用于求解过程中动态修正约束的场景，而非固定次数的预定义迭代。

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