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];が仕事をするべきです。