如何为GLOP OR-tools添加条件约束？（仅求和正变量）

错误原因 #

你直接使用w[i] > 0d的写法是错误的——OR-tools中的Variable是建模用的抽象变量，并非运行时的具体数值，不能直接与double类型做比较运算，这类逻辑条件必须通过约束来表达。

正确实现方案 #

要实现“仅对正变量求和”的逻辑，需要引入0-1辅助变量标记每个原变量是否为正，再通过约束关联辅助变量与原变量，最后用辅助变量控制原变量是否加入求和表达式。

1. 定义0-1辅助变量 #

为每个原变量w[i]创建对应0-1变量，用于标记该变量是否为正：

// 假设numVars为变量总数，solver是你的Solver实例
IntVar[] isPositive = new IntVar[numVars];
for (int i = 0; i < numVars; i++)
{
    isPositive[i] = solver.MakeIntVar(0, 1, $"is_positive_{i}");
}

2. 添加约束关联原变量与辅助变量 #

通过大M法（M为足够大的正数，需大于w[i]的最大可能取值）添加约束，确保辅助变量与原变量的逻辑关系：

double M = 1e6; // 根据你的问题规模调整该值
for (int i = 0; i < numVars; i++)
{
    // 约束1：当isPositive[i]=0时，w[i] ≤ 0
    solver.Add(w[i] <= M * isPositive[i]);
    
    // 约束2：当isPositive[i]=1时，w[i] ≥ 极小正数（确保严格大于0）
    solver.Add(w[i] >= 1e-9 * isPositive[i]);
}

3. 构建仅包含正变量的求和表达式 #

利用辅助变量控制求和范围，只有当isPositive[i]=1时，w[i]才会被计入求和：

LinearExpr sumW2positive()
{
    var sum = new LinearExpr();
    for (int i = 0; i < numVars; i++)
    {
        sum += w[i] * isPositive[i];
    }
    return sum;
}

补充说明 #

• 若w[i]是整数变量，可将M设为整数，约束逻辑会更简洁。
• 大M的取值需合理：过大可能导致数值不稳定，过小则无法有效约束变量范围。
• 若仅需排除负数（允许变量为0），可调整约束为solver.Add(w[i] >= 0)，此时求和时0不会影响结果，无需额外处理。

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