linear-programming - 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];应该做的工作。