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表示以下等式：

​

​

基本上，当矩阵Pi，j= 1时，我希望约束只对给定的i和j组合激活，我如何实现这一点？

Answer 1

像s.t. crit_3{i in jobs,j in jobs: P[i,j]=1}: s[i] >= e[j];这样的人应该做好这份工作。