如何限制Coin-OR CLP Java变量为整数或布尔值？

我使用Java版CLP实现编写了一个小程序。有时求解结果会返回小数，但我的变量实际应为取值范围0到1的布尔型，因此希望将这些变量限制为整数，或直接定义为布尔型变量。

当前代码示例如下：

CLP model = new CLP();
var expr = model.createExpression();
var goal = model.createExpression();
var var = model.addVariable().lb(0).ub(1);
expr.add(1, var);
var var2 = model.addVariable().lb(0).ub(1);
expr.add(1, var2);
var var3 = model.addVariable().lb(0).ub(1);
expr.add(1, var3);
expr.eq(1);
goal.add(4, var);
goal.add(2, var2);
goal.add(1, var3);
goal.asObjective();
model.minimize();
model.solve();

以上并非完整代码，因完整代码难以在此说明。请问是否有方法将变量限制为0和1？是否需要更换其他实现？

1. 在CLP中标记变量为整数类型 #

CLP默认处理连续变量，仅设置lb(0).ub(1)只会让变量在0到1之间连续取值，因此会出现小数结果。你需要显式将变量标记为整数变量，CLP的Java API提供了integer()方法来实现这一点，修改变量定义代码即可：

// 给每个0-1变量添加.integer()标记，约束其只能取0或1的整数值
var var = model.addVariable().lb(0).ub(1).integer();
var var2 = model.addVariable().lb(0).ub(1).integer();
var var3 = model.addVariable().lb(0).ub(1).integer();

修改后求解器会按整数规划逻辑处理变量，不会返回小数结果。

2. 是否需要更换实现？ #

如果CLP处理你的整数规划问题时出现求解效率低、结果不准确等问题，可以考虑其他优化求解器的Java实现：

• 商业求解器：CPLEX、Gurobi（性能强劲，但需要授权）
• 开源求解器：SCIP、GLPK的Java绑定（免费，适合中小规模问题）

但优先建议先尝试上述标记整数变量的方法，CLP本身支持整数规划求解，大部分场景下足够满足需求。

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