GLPK MathProg - 条件约束

Question

我有以下 MILP 问题，代码的相关部分：

param n, integer, >= 0;
set jobs := 1..n;
param P{i in jobs, j in jobs}, binary;

var s{i in jobs}, integer, >=0;
var e{i in jobs}, integer, >=0;

var Cmax, integer, >=0;

minimize total: Cmax;

s.t. crit_3{i in jobs,j in jobs}: s[i] >= e[j];

我希望标准 crit_3 表示以下等式：

基本上，我希望约束仅在矩阵 P[i,j] = 1 时针对 i 和 j 的给定组合激活。我该如何实现？

Answer 1

像 s.t. crit_3{i in jobs,j in jobs: P[i,j]=1}: s[i] >= e[j]; 这样的东西应该可以完成这项工作。